Maier, Paul;Jain, Dominik;Sachenbacher, MartinCompiling AI Engineering Models for Probabilistic Inference191--203Proc. KI-2011To appearSpringer2011
Maier, Paul;Jain, Dominik;Sachenbacher, MartinDiagnostic Hypothesis Enumeration vs. Probabilistic Inference for Hierarchical Automata ModelsWorkshop Proc. DX-20112011
Anika Schumann, Martin Sachenbacher, Jinbo HuangConstraint-Based Optimal Testing Using DNNF GraphsLecture Notes in Computer Science20095732731-745
Martin Sachenbacher, Martin LeuckerModeling and Optimization for Efficient Electrical Mobility: Challenges from the E-Tour ProjectCP Workshop on Constraint Reasoning and Optimization for Computational Sustainability (CROCS)2009
Martin Leucker, Martin SachenbacherEnergy Informatics – Computer Science for Power and Energy Systems of the FutureEuropean Computer Science Summit, 5th Annual INFORMATICS-Europe Meeting (ECSS-2009)8-9 October 2009, Paris2009
Paul Maier, Martin SachenbacherSelf-Monitoring and Control for Embedded Systems using Hybrid Constraint AutomataSelf-X in EngineeringBenjamin Klöpper, Wilhelm DangelmaierMonsenstein und Vannerdat2009
Paul Maier, Martin Sachenbacher, Thomas Rühr, Lukas KuhnConstraint-Based Integration of Plan Tracking and Prognosis for Autonomous ProductionLecture Notes in Computer Science20095803
Stefan Heinz, Martin SachenbacherUsing Model Counting to Find Optimal Distinguishing TestsLecture Notes in Computer Science20095547117-131
Anika Schumann, Martin Sachenbacher, Jinbo Huang Computing Optimal Tests for Non-deterministic Systems Using DNNF GraphsElectronic Notes in Theoretical Computer Science2009253287-99
Andreas ArtmeierModels and Algorithms for Efficient Electromobility2nd International Conference on Computational Sustainability (CompSust) Doctoral Consortium2010