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
(1346)
Institute of Informatics
(10778)
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)
(317)
Informatics 5 - Chair of Scientific Computing (Prof. Bungartz)
(3343)
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)
(1921)
Informatics 6 - Associate Professorship of Cyber Physical Systems (Prof. Althoff)
(233)
2022
(6)
2021
(31)
2020
(36)
2019
(16)
2018
(31)
2017
(40)
2016
(21)
2015
(11)
2014
(4)
2013
(5)
2012
(4)
2011
(7)
2010
(4)
2009
(4)
2008
(9)
2007
(3)
2006
(2)
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)
(12)
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)
(757)
Informatics 9 - Chair of Computer Vision and Artificial Intelligence (Prof. Cremers)
(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)
(10)
Informatics 16 - Chair of Computer Aided Medical Procedures (Prof. Navab)
(1732)
Informatics 16 - Associate Professorship of Image-based Biomedical Modeling (N.N.)
(4)
Informatics 16 - Associate Professorship of Augmented Reality (Prof. Klinker)
(315)
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)
(3)
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
(1467)
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
(6455)
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 6 - Professur für Cyber Physical Systems (Prof. Althoff)
2016
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
H. Roehm, J. Oehlerking, T. Heinz, and M. Althoff
STL model checking of continuous and hybrid systems
Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis
2016
Han, D.; El-Guindy, A. ; Althoff, M.
Power Systems Transient Stability Analysis via Optimal Rational {L}yapunov Functions
Proceedings of the IEEE Power and Energy Society General Meeting
2016
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles
2016
Silvia Magdici and Mircea Lazar
On probabilistic state space abstraction of deterministic switched systems
551-558
Proc. of the 19th IEEE International Conference on System Theory, Control and Computing
IEEE
2015
Zeestraten, M. ~J. ~A.;Pereira, A.;Althoff, M.;Calinon, S.
Online Motion Synthesis with Minimal Intervention Control and Formal Safety Guarantees
2116-2121
Proc. of IEEE International Conference on Systems, Man, and Cybernetics
2016
Roehm, H.;Oehlerking, J.;Woehrle, M.;Althoff, M.
Reachset Conformance Testing of Hybrid Automata
277-286
Proc. of Hybrid Systems: Computation and Control
2016
Roehm, H.;Oehlerking, J.;Heinz, T.;Althoff, M.
{STL} Model Checking of Continuous and Hybrid Systems
412–427
Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis
2016
Pereira, A.;Althoff, M.
Overapproximative Arm Occupancy Prediction for Human-Robot Interaction Built from Archetypal Movements
1394-1401
International Conference on Robotics and Automation
2016
Magdici, S.;Althoff, M.
Fail-Safe Motion Planning of Autonomous Vehicles
452-458
Proc. of the 19th International IEEE Conference on Intelligent Transportation Systems
2016
Han, D.;Rizaldi, A.;El-Guindy, A.;Althoff, M.
On Enlarging Backward Reachable Sets via Zonotopic Set Membership
685-692
Proc.of the IEEE International Symposium on Intelligent Control
2016
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