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
Research Centers
TUM Board of Management
Partnerschaftliche Einrichtungen
Schools and Faculties
Department of Chemistry
Department of Electrical and Computer Engineering
Faculty of Informatics
Examination Papers
(1333)
Institute of Informatics
(10720)
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)
(310)
Informatics 5 - Chair of Scientific Computing (Prof. Bungartz)
(3334)
Informatics 5 - Associate Professorship of Scientific Computing (Prof. Bader)
(63)
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)
(1903)
Informatics 6 - Associate Professorship of Cyber Physical Systems (Prof. Althoff)
(230)
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)
(11)
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)
(750)
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)
(103)
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 (Mayer komm.)
(4)
Informatics 13 - Associate Professorship of Integrated Computing Systems- (N.N.)
(138)
Informatics 14 - Chair of efficient algorithms (N.N.)
(65)
Informatics 14 - Chair of Algorithms and Complexity (Prof. Albers)
(14)
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)
(9)
Informatics 16 - Chair of Computer Aided Medical Procedures (Prof. Navab)
(1727)
Informatics 16 - Associate Professorship of Image-based Biomedical Modeling (N.N.)
(4)
Informatics 16 - Associate Professorship of Augmented Reality (Prof. Klinker)
(311)
Informatik 16 - Professur für Healthcare and Rehabilitation Robotics (Prof. Piazza)
Informatik 17 - Lehrstuhl für Wirtschaftsinformatik und Geschäftsprozessmanagement (Prof. Rinderle-Ma)
(78)
Informatics 18 - Chair of Decision Science & Systems (Prof. Bichler)
(70)
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)
(3)
Informatics 21 - Chair of Logik und Verifikation (Prof. Nipkow)
Informatics 23 - Chair of Sensorbasierte Robotersysteme und intelligente Assistenzsysteme (Prof. Albu-Schäffer)
(2)
Informatics 24 - Associate Professorship of Cyber Trust (Prof. Grossklags)
Informatik 24 - Professur für Ethics in Systems Design and Machine Learning (Prof. Kilbertus)
Informatics 25 - Chair of Data Science and Engineering (Prof. Neumann)
Informatics 26 - Associate Professorship of Data Analytics and Machine Learning (Prof. Günnemann)
(3)
Informatics 28 - Associate Professorship of Visual Computing (Prof. Nießner)
Informatics 29 - Chair of Computational Molecular Medicine (Prof. Gagneur)
Informatik 31 - Lehrstuhl für Artificial Intelligence in Healthcare and Medicine (Prof. Rückert)
Informatik 32 - Lehrstuhl für Computational Imaging and AI in Medicine (Prof. Schnabel)
Informatik Heilbronn 1 - Professur für Effiziente Algorithmen (Prof. Luttenberger)
Informatik Heilbronn 2 - Professur für Rechnerarchitektur & Betriebssysteme (Prof. Trinitis)
Informatik Heilbronn 3 - Professur für Software Engineering (Prof. Krusche)
Informatics Heilbronn 4 - Professorship of Computational Mathematics (Prof. Raskin)
Rechnerbetriebsgruppe Informatik (RBG-IN)
Ehemalige Einrichtungen
(1461)
Technical Reports
Department of Mathematics
TUM School of Medicine
Physics Department
Faculty of Sport and Health Science
TUM Campus Straubing für Biotechnologie und Nachhaltigkeit
TUM School of Computation, Information and Technology in formation
(1)
TUM School of Engineering and Design
Center of Life and Food Sciences Weihenstephan
TUM School of Management
TUM School of Social Sciences and Technology
(6306)
Service Facilities
TUM Institute for LifeLong Learning
Central Administration
mediaTUM Gesamtbestand
Einrichtungen
Schools und 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)
Export-Markierung
Export-Markierung (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)
Export-Markierung
Export-Markierung (descending)
Titel des Beitrags
Titel des Beitrags (descending)
Dokumenttyp
Dokumenttyp (descending)
Jahr
Jahr (descending)
Jahr / Monat
Jahr / Monat (descending)
next
Items per page
10
20
50
100
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)
Export-Markierung
Export-Markierung (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)
Export-Markierung
Export-Markierung (descending)
Titel des Beitrags
Titel des Beitrags (descending)
Dokumenttyp
Dokumenttyp (descending)
Jahr
Jahr (descending)
Jahr / Monat
Jahr / Monat (descending)
next
Login
