mediaTUM - Media and Publication Server

User: Guest

mediaTUM Content

University Bibliography

Electronic Examination Papers

Open Access Publikationen

Research Data

TUM.University Press

Collections

Projects

Institutions

TUM Board of Management

Academic Departments

Department of Mathematics

Physics Department

TUM School of Governance

Department of Chemistry

TUM School of Management

TUM Department of Civil, Geo and Environmental Engineering

Department of Architecture

Faculty of Mechanical Engineering

Department of Electrical and Computer Engineering

Faculty of Informatics

Examination Papers (1222)

Institute of Informatics (8096)

Informatics 1 - Chair of Applied Software Engineering (Prof. Bhatotia) (1)

Informatics 1 - Assistant Professorship of Digital Health (Prof. Jonas)

Informatics 2 - Chair of Formal Languages, Compiler Construction, Software Construction (Prof. Seidl) (2)

Informatics 3 - Chair of database systems (Prof. Kemper) (61)

Informatics 3 - Assistant Professorship of Database Systems (Prof. Giceva)

Informatics 4 - Chair of Software & Systems Engineering (Prof. Pretschner komm.) (1)

Informatics 4 - Chair of Software & Systems Engineering (Prof. Pretschner) (280)

Informatics 5 - Chair of Scientific Computing (Prof. Bungartz) (3154)

Informatics 5 - Associate Professorship of Scientific Computing (Prof. Bader) (56)

Informatics 5 - Assistant Professorship of Quantum Computing (Prof. Mendl)

Informatics 5 - Associate Professorship of Scientific computing - (N.N.)

Informatics 6 - Chair of Robotics, Artificial Intelligence and Real-time Systems (Prof. Knoll) (1913)

Informatics 6 - Associate Professorship of Cyber Physical Systems (Prof. Althoff) (35)

Informatics 6 - Associate Professorship of Biomimetische Robotersysteme und Maschinelles Lernen (N.N.)

Informatics 6 - Associate Professorship of Informatik mit Schwerpunkt Telerobotik und Sensordatenfusion - (Prof. Burschka) (6)

Informatics 7 - Chair of Theoretical Computer Science (Prof. Esparza)

Informatics 7 - Assistant Professorship of Formal Methods for Software Reliability (Prof. Kretínský)

Informatics 7 - Assistant Professorship of Theoretical Foundations of Artificial Intelligence (Prof. Ghoshdastidar)

Informatics 8 - Chair of Network Architectures and Services (Prof. Carle) (723)

Informatics 9 - Chair of Computer Vision and Artificial Intelligence (Prof. Cremers) (27)

Emmy Noether-Nachwuchsgruppe (Dr. Sachenbacher) (27)

Informatics 9 - Associate Professorship of Intelligent Autonomous Systems (Prof. Beetz)

Informatics 9 - Assistant Professorship of Dynamic Vision and Learning (Prof. Leal-Taixe)

Informatik 9 - Professur für Machine Learning for Robotics (Prof. Leutenegger)

Informatics 10 - Chair of Computer Architecture and Parallel Systems (Prof. Schulz) (27)

Informatics 10 - Associate Professorship of Architecture of Parallel and Distributed Systems - (Prof. Gerndt) (5)

Informatics 11 - Chair of Applied Informatics - Cooperative Systems (N.N.) (4)

Informatics 11 - Chair of Connected Mobility (Prof. Ott) (97)

Informatics 11 - Associate Professorship of Applied Informatics - Cooperative Systems (Prof. Brüggemann-Klein)

Informatics 12 - Chair of Bioinformatics (Prof. Rost)

Informatics 13 - Chair of Application and Middleware Systems (Prof. Jacobsen) (4)

Informatics 13 - Associate Professorship of Integrated Computing Systems- (Prof. Baumgarten) (138)

Informatics 14 - Chair of efficient algorithms (N.N.) (65)

Informatics 14 - Chair of Algorithms and Complexity (Prof. Albers) (13)

Informatics 14 - Associate Professorship of Theoretical Computer Science (Prof. Räcke)

Informatics 15 - Chair of Computer Graphics and Visualization (Prof. Westermann)

Informatik 15 - Professur für Machine Learning of 3D Scene Geometry (Prof. Dai)

Informatics 15 - Associate Professorship of Physics-based Simulation (Prof. Thuerey) (7)

Informatics 16 - Chair of Computer Aided Medical Procedures (Prof. Navab) (30)

Informatics 16 - Associate Professorship of Image-based Biomedical Modeling (N.N.) (4)

Informatics 16 - Associate Professorship of Augmented Reality (Prof. Klinker) (30)

Informatik 16 - Professur für Healthcare and Rehabilitation Robotics (Prof. Piazza)

Informatik 17 - Lehrstuhl für Wirtschaftsinformatik und Geschäftsprozessmanagement (Prof. Rinderle-Ma)

Informatics 18 - Chair of Decision Science & Systems (Prof. Bichler) (43)

Informatics 18 - Associate Professorship of Algorithmic Game Theory (Prof. Brandt)

Informatics 19 - Chair of Software Engineering for Business Information Systems (Prof. Matthes) (8)

Informatik 19 - Professur für Legal Tech (Prof. Grabmair)

Informatics 20 - Chair of IT Security (Prof. Eckert) (1)

Informatics 21 - Chair of Logik und Verifikation (Prof. Nipkow)

Informatics 23 - Chair of Sensorbasierte Robotersysteme und intelligente Assistenzsysteme (Prof. Albu-Schäffer)

Informatics 24 - Associate Professorship of Cyber Trust (Prof. Grossklags)

Informatics 25 - Chair of Data Science and Engineering (Prof. Neumann)

Informatics 26 - Associate Professorship of Data Analytics and Machine Learning (Prof. Günnemann) (2)

Informatics 28 - Associate Professorship of Visual Computing (Prof. Nießner)

Informatics 29 - Chair of Computational Molecular Medicine (Prof. Gagneur)

Rechnerbetriebsgruppe Informatik (RBG-IN)

Ehemalige Einrichtungen (1393)

Technical Reports

Center of Life and Food Sciences Weihenstephan

TUM School of Medicine

Faculty of Sport and Health Science

TUM School of Education

Academic department Aerospace and Geodesy

TUM Campus Straubing für Biotechnologie und Nachhaltigkeit

Research Centers

Service Facilities

TUM Institute for LifeLong Learning

Partnerschaftliche Einrichtungen

mediaTUM GesamtbestandEinrichtungenFakultätenFakultät für InformatikInstitut für InformatikInformatik 9 - Lehrstuhl für Bildverarbeitung und Künstliche Intelligenz (Prof. Cremers)

Sort by:
and:

Items per page

Maier, Paul;Jain, Dominik;Sachenbacher, Martin
Compiling AI Engineering Models for Probabilistic Inference
191--203
Proc. KI-2011
To appear
Springer
2011

Maier, Paul;Jain, Dominik;Sachenbacher, Martin
Diagnostic Hypothesis Enumeration vs. Probabilistic Inference for Hierarchical Automata Models
Workshop Proc. DX-2011
2011

Anika Schumann, Martin Sachenbacher, Jinbo Huang
Constraint-Based Optimal Testing Using DNNF Graphs
Lecture Notes in Computer Science
2009
5732
731-745

Martin Sachenbacher, Martin Leucker
Modeling and Optimization for Efficient Electrical Mobility: Challenges from the E-Tour Project
CP Workshop on Constraint Reasoning and Optimization for Computational Sustainability (CROCS)
2009

Martin Leucker, Martin Sachenbacher
Energy Informatics – Computer Science for Power and Energy Systems of the Future
European Computer Science Summit, 5th Annual INFORMATICS-Europe Meeting (ECSS-2009)
8-9 October 2009, Paris
2009

Paul Maier, Martin Sachenbacher
Self-Monitoring and Control for Embedded Systems using Hybrid Constraint Automata
Self-X in Engineering
Benjamin Klöpper, Wilhelm Dangelmaier
Monsenstein und Vannerdat
2009

Paul Maier, Martin Sachenbacher, Thomas Rühr, Lukas Kuhn
Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production
Lecture Notes in Computer Science
2009
5803

Stefan Heinz, Martin Sachenbacher
Using Model Counting to Find Optimal Distinguishing Tests
Lecture Notes in Computer Science
2009
5547
117-131

Anika Schumann, Martin Sachenbacher, Jinbo Huang
Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs
Electronic Notes in Theoretical Computer Science
2009
253
2
87-99

Andreas Artmeier
Models and Algorithms for Efficient Electromobility
2nd International Conference on Computational Sustainability (CompSust) Doctoral Consortium
2010

Sort by:
and: