mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
Login
de
en
Advanced search
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
(1156)
Institute of Informatics
(7677)
Informatics 1 - Chair of Applied Software Engineering (Prof. Brügge)
(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 (N.N.)
(1)
Informatics 4 - Chair of Software & Systems Engineering (Prof. Pretschner)
(253)
Informatics 5 - Chair of Scientific Computing (Prof. Bungartz)
(3048)
Informatics 5 - Associate Professorship of Scientific Computing (Prof. Bader)
(47)
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)
(1833)
Informatics 6 - Associate Professorship of Cyber Physical Systems (Prof. Althoff)
(25)
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)
(717)
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)
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)
(90)
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)
(3)
Informatics 13 - Associate Professorship of Integrated Computing Systems- (Prof. Baumgarten)
(115)
Informatics 14 - Chair of efficient algorithms (N.N.)
(65)
Informatics 14 - Chair of Algorithms and Complexity (Prof. Albers)
(8)
Informatics 14 - Associate Professorship of Theoretical Computer Science (Prof. Räcke)
Informatics 15 - Chair of Computer Graphics and Visualization (Prof. Westermann)
Informatics 15 - Associate Professorship of Physics-based Simulation (Prof. Thuerey)
(7)
Informatics 16 - Chair of Computer Aided Medical Procedures (Prof. Navab)
(1)
Informatics 16 - Associate Professorship of Augmented Reality (Prof. Klinker)
Informatics 16 - Associate Professorship of Image-based Biomedical Modeling (Prof. Menze)
(4)
Informatics 17 - Chair of Information Systems (Prof. Krcmar)
(1358)
Informatics 18 - Chair of Decision Science & Systems (Prof. Bichler)
(7)
Informatics 18 - Associate Professorship of Algorithmic Game Theory (Prof. Brandt)
Informatics 19 - Chair of Software Engineering for Business Information Systems (Prof. Matthes)
(8)
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)
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
Partnerschaftliche Einrichtungen
Jahrbuch 1989 - 2007
mediaTUM Gesamtbestand
Einrichtungen
Fakultäten
Fakultät für Informatik
Institut für Informatik
Informatik 9 - Lehrstuhl für Bildverarbeitung und Künstliche Intelligenz (Prof. Cremers)
Sort by:
Autor(en) des Beitrags
Autor(en) des Beitrags (descending)
Titel des Beitrags
Titel des Beitrags (descending)
Dokumenttyp
Dokumenttyp (descending)
Jahr
Jahr (descending)
Jahr / Monat
Jahr / Monat (descending)
and:
Autor(en) des Beitrags
Autor(en) des Beitrags (descending)
Titel des Beitrags
Titel des Beitrags (descending)
Dokumenttyp
Dokumenttyp (descending)
Jahr
Jahr (descending)
Jahr / Monat
Jahr / Monat (descending)
next
Items per page
5
10
15
20
25
50
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:
Autor(en) des Beitrags
Autor(en) des Beitrags (descending)
Titel des Beitrags
Titel des Beitrags (descending)
Dokumenttyp
Dokumenttyp (descending)
Jahr
Jahr (descending)
Jahr / Monat
Jahr / Monat (descending)
and:
Autor(en) des Beitrags
Autor(en) des Beitrags (descending)
Titel des Beitrags
Titel des Beitrags (descending)
Dokumenttyp
Dokumenttyp (descending)
Jahr
Jahr (descending)
Jahr / Monat
Jahr / Monat (descending)
next
Login
