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
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
(1088)
Chairs of Informatics
(8016)
Informatics 1 - Chair of Applied Software Engineering (Prof. Brügge)
Informatics 2 - Chair of Formal Languages, Compiler Construction, Software Construction (Prof. Seidl)
(2)
Informatics 3 - Chair of Database Systems (Prof. Kemper)
(61)
Informatik 3 - Assistant Professorship of Data Mining and Analytics (Prof. Günnemann)
(1)
Informatics 4 - Chair of Software and Systems Engineering (Prof. Broy)
(1)
Informatics 4 - Informatics 4 - Software and Systems Engineering (Prof. Pretschner)
(243)
Hardware-oriented Algorithms and Software for High Performance Computing (Prof. Bader)
(12)
Informatics 5 - Field of Scientific Computing (Prof. Huckle)
Informatics 5 - Chair of Scientific Computing (Prof. Bungartz)
(2954)
Informatik 6 - Assistant Professorship Cyber Physical Systems (Prof. Althoff)
(17)
Informatik 6 - Fachgebiet Biomimetische Robotersysteme und Maschinelles Lernen (Prof. van der Smagt)
Informatics 6 - Field of Informatics with focus on Telerobotics and Sensor Data Fusion (Prof. Burschka)
(6)
Informatics 6 - Chair of Robotics and Embedded Systems (Prof. Knoll)
(1734)
Informatics 7 - Chair of Theoretical Computer Science (Prof. Esparza)
Informatics 7 - Field of Informatics with Focus on Theoretical Informatics (Prof. Rybalchenko)
Informatics 8 - Chair of Network Architectures (Prof. Carle)
(693)
Informatics 9 - Field of Informatics with Focus on Intelligent Autonomous Systems (Prof. Beetz)
Informatics 9 - Chair of Computer Vision and Pattern Recognition (Prof. Cremers)
(27)
Emmy Noether-Nachwuchsgruppe (Dr. Sachenbacher)
(27)
Informatik 9 - Professur für Dynamic Vision and Learning (Leal-Taixe)
Informatics 10 - Chair of Computer Technology and Computer Organization (Prof. Schulz)
(25)
Informatics 10 - Field of Parallel and Distributed Architectures (Prof. Gerndt)
(5)
Informatics 11 - Chair of Applied Informatics / Cooperative Systems (Prof. Schlichter)
(4)
Informatik 11 - Lehrstuhl für Connected Mobility (Prof. Ott)
(85)
Informatics 11 - Field of Programming and Application of Distributed Systems
Informatics 12 - Chair of Bioinformatics (Prof. Rost)
Informatics 12 - Field of Bioinformatics (Prof. Kramer)
Informatik 13 - Fachgebiet Vernetzte Rechensysteme (Prof. Baumgarten)
(114)
Informatics 13 - Chair of Business Information Systems (Prof. Jacobsen)
(2)
Informatik 14 - Lehrstuhl für Algorithmen und Komplexität (Prof. Albers)
(8)
Informatics 14 - Chair of Efficient Algorithms (N.N.)
(65)
Informatics 14 - Field of Theoretical Informatics (Prof. Räcke)
Informatik 15 - Assistant Professorship Games Engineering (Prof. Thuerey)
(4)
Informatics 15 - Chair of Computer Graphics and Visualization (Prof. Westermann)
Informatik 15 - Professur für Visual Computing (Prof. Nießner)
Informatics 16 - Field of Augmented Reality (Prof. Klinker)
Informatics 16 - Chair of Computer Aided Medical Procedures (Prof. Navab)
(1)
Informatik 16 - Assistant Professorship Bildbasierte biomedizinische Modellierung (Prof. Menze)
(4)
Informatics 17 - Chair for Information Systems (Prof. Krcmar)
(1304)
Informatics 18 - Field of Algorithmic Game Theory (Prof. Brandt)
Informatics 18 - Chair of Decision Sciences & Systems (Prof. Bichler)
(648)
Informatics 19 - Chair of Software Engineering for Business Applications (Prof. Matthes)
(8)
Informatics 20 - Chair of IT Security (Prof. Eckert)
(1)
Informatics 21 - Field of Programming (Prof. Nipkow)
Informatik 23 - Lehrstuhl für Sensorbasierte Robotersysteme und Intelligente Assistenzsysteme (Prof. Albu-Schäffer)
Informatik 24 - Lehrstuhl für Cyber Trust (Prof. Grossklags)
Informatics 25 - Chair for database systems (Prof. Neumann)
Assistant Professorship Games Engineering (Prof. Thuerey)
Assistant Professorship Bildbasierte Biomedizinische Modellierung (Prof. Menze)
Fachgebiet Cyber-Physical Systems and their Implementation (Prof. Althoff)
Center for Digital Technology and Management (CDTM) (Prof. Brügge)
Rechnerbetriebsgruppe Informatik (RBG-IN)
Technical Reports
Center of Life and Food Sciences Weihenstephan
Fakultät für Medizin
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
Lehrstühle der Informatik
Informatik 9 - Lehrstuhl für Bildverarbeitung und Mustererkennung (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
