Search Results - Sachenbacher, Martin

  • Showing 1 - 10 results of 10
Refine Results
  1. 1
    Guest Editors' Introduction: Special Section on Computational Sustainability: Where Computer Science meets Sustainable Development

    Guest Editors' Introduction: Special Section on Computational Sustainability: Where Computer Science meets Sustainable Development by Milano, Michela, O'Sullivan, Barry, Sachenbacher, Martin

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Automated plan assessment in cognitive manufacturing

    Automated plan assessment in cognitive manufacturing by Maier, Paul, Sachenbacher, Martin, Rühr, Thomas, Kuhn, Lukas

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Efficient Energy-Optimal Routing for Electric Vehicles

    Efficient Energy-Optimal Routing for Electric Vehicles by Sachenbacher, Martin, Leucker, Martin, Artmeier, Andreas, Haselmayr, Julian

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Factory monitoring and control with mixed hardware/software, discrete/continuous models

    Factory monitoring and control with mixed hardware/software, discrete/continuous models by Maier, P., Sachenbacher, M.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Integrated plan tracking and prognosis for autonomous production processes

    Integrated plan tracking and prognosis for autonomous production processes by Maier, P., Sachenbacher, M., Ruhr, T., Kuhn, L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs

    Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs by Schumann, Anika, Sachenbacher, Martin, Huang, Jinbo

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    Prototype for model-based on-board diagnosis of automotive systems

    Prototype for model-based on-board diagnosis of automotive systems by Sachenbacher, Martin, Struss, Peter, Carlen, Claes M

    Published in Ai communications
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Preproceedings of the Workshop on Applications of Formal Methods and Digital Twins

    Preproceedings of the Workshop on Applications of Formal Methods and Digital Twins by Hallé, Sylvain, Soueidi, Chukri, Falcone, Yliès, Kamburjan, Eduard, Klungre, Vidar, Tapia Tarifa, Silvia Lizeth, Schlatte, Rudolf, Giese, Martin, Cameron, David, Johnsen, Einar Broch, Schiff, Jonas, Weigl, Alexander, Leucker, Martin, Sachenbacher, Martin, Vosteen, Lars Bernd, Thoma, Daniel, Ali, Aliyu Tanko, Pferscher, Andrea, Wunderling, Benjamin, Aichernig, Bernhard K, Muskardin, Edi

    Request full text
    Report
    Save to List
    Saved in:
  9. 9
    Computing Cost-Optimal Definitely Discriminating Tests

    Computing Cost-Optimal Definitely Discriminating Tests by Schumann, Anika, Huang, Jinbo, Sachenbacher, Martin

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Advances in Design and Implementation of OBD Functions for Diesel Injection Based on a Qualitative Approach to Diagnosis

    Advances in Design and Implementation of OBD Functions for Diesel Injection Based on a Qualitative Approach to Diagnosis by Sachenbacher, Martin, Struss, Peter, Weber, Reinhard

    Request full text
    Report
    Save to List
    Saved in:

Search Tools: