mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
 
Login
de
en
mediaTUM Content
University Bibliography
2022
(1742)
2021
(7216)
2020
(7241)
2019
(8216)
2018
(8264)
2017
(8447)
2016
(8609)
Fakultäten
(7766)
Architektur
(145)
Chemie
(509)
Elektrotechnik und Informationstechnik
(1299)
Informatik
(447)
Informatik 1 - Lehrstuhl für Angewandte Softwaretechnik (Prof. Brügge)
(5)
Informatik 2 - Lehrstuhl für Sprachen und Beschreibungsstrukturen in der Informatik (Prof. Seidl)
(1)
Informatik 3 - Fachgebiet Datenbanksysteme (Prof. Neumann)
Informatik 3 - Lehrstuhl für Datenbanksysteme (Prof. Kemper)
(4)
Informatik 3 - Professur für Data Mining and Analytics (Prof. Günnemann)
Informatik 4 - Lehrstuhl für Software und Systems Engineering (Prof. Broy)
(6)
Informatik 5 - Fachgebiet Hardware-nahe Algorithmik und Software für Höchstleistungsrechnen (Prof. Bader)
(6)
Informatik 5 - Lehrstuhl für Wissenschaftliches Rechnen (Prof. Bungartz)
(66)
Informatik 5 - Fachgebiet Wissenschaftliches Rechnen (Prof. Huckle)
Informatik 6 - Assistant Professorship Cyber Physical Systems (Prof. Althoff)
(20)
Informatik 6 - Fachgebiet Biomimetische Robotersysteme und Maschinelles Lernen (Prof. van der Smagt)
(3)
Informatik 6 - Fachgebiet Informatik mit Schwerpunkt Telerobotik und Sensordatenfusion (Prof. Burschka)
Informatik 6 - Lehrstuhl für Echtzeitsysteme und Robotik (Prof. Knoll)
(80)
Informatik 7 - Lehrstuhl für Theoretische Informatik (Prof. Esparza)
(2)
Informatik 7 - Professur für Formale Methoden der Softwarezuverlässigkeit (Prof. Kretínský)
Informatik 8 - Lehrstuhl für Netzarchitekturen und Netzdienste (Prof. Carle)
(39)
Informatik 9 - Fachgebiet Informatik mit Schwerpunkt Intelligente Autonome Systeme (N.N.)
(1)
Informatik 9 - Lehrstuhl für Bildverarbeitung und Mustererkennung (Prof. Cremers)
(2)
Informatik 10 - Fachgebiet Architektur paralleler und verteilter Systeme (Prof. Gerndt)
(3)
Informatik 10 - Lehrstuhl für Rechnertechnik und Rechnerorganisation (Prof. Schulz)
(9)
Informatik 11 - Fachgebiet Programmierung und Anwendung verteilter Systeme (Prof. Brüggemann-Klein)
(1)
Informatik 11 - Lehrstuhl für Angewandte Informatik / Kooperative Systeme (Prof. Schlichter)
(5)
Informatik 11 - Lehrstuhl für Connected Mobility (Prof. Ott)
(18)
Informatik 12 - Lehrstuhl für Bioinformatik (Prof. Rost)
(6)
Informatik 12 - Professur für Computational Biology (Prof. Gagneur)
Informatik 13 - Fachgebiet Vernetzte Rechensysteme (Prof. Baumgarten)
(8)
Informatik 13 - Lehrstuhl für Wirtschaftsinformatik (Prof. Jacobsen)
(1)
Informatik 14 - Fachgebiet Theoretische Informatik (Prof. Räcke)
Informatik 14 - Lehrstuhl für Effiziente Algorithmen (N.N.)
(1)
Informatik 15 - Assistant Professorship Games Engineering (Prof. Thuerey)
Informatik 15 - Lehrstuhl für Grafik und Visualisierung (Prof. Westermann)
(3)
Informatik 16 - Assistant Professorship Bildbasierte biomedizinische Modellierung (Prof. Menze)
(1)
Informatik 16 - Fachgebiet Erweiterte Realität (Prof. Klinker)
(7)
Informatik 16 - Lehrstuhl für Anwendungen in der Medizin (Prof. Navab)
(118)
Informatik 17 - Lehrstuhl für Wirtschaftsinformatik (Prof. Krcmar)
Informatik 18 - Fachgebiet Algorithmische Spieltheorie (Prof. Brandt)
Informatik 18 - Lehrstuhl für Wirtschaftsinformatik und Entscheidungstheorie (Prof. Bichler)
(3)
Informatik 19 - Lehrstuhl für Software Engineering betrieblicher Informationssyteme (Prof. Matthes)
(3)
Informatik 20 - Lehrstuhl für Sicherheit in der Informatik (Prof. Eckert)
(1)
Informatik 21 - Lehrstuhl für Logik und Verifikation (Prof. Nipkow)
(2)
Informatik 22 - Lehrstuhl für Software Engineering (Prof. Pretschner)
(29)
Informatik 23 - Lehrstuhl für Sensorbasierte Robotersysteme und Intelligente Assistenzsysteme (Prof. Albu-Schäffer)
Informatik 24 - Lehrstuhl für Cyber Trust (Prof. Grossklags)
Informatik 27 - Full Professorship Theoretische Informatik - Liesel Beckmann Professur - (Prof. Albers)
Bau Geo Umwelt
(886)
Maschinenwesen
(1367)
Mathematik
(145)
Medizin
(720)
Physik
(160)
Sport- und Gesundheitswissenschaften
(279)
TUM School of Education
(92)
TUM School of Governance
(13)
Wirtschaftswissenschaften
(361)
Wissenschaftszentrum Weihenstephan
(1360)
Integrated Research Centers
(540)
Zentrale Einrichtungen und Institute
(303)
2015
(8040)
2014
(6946)
2013
(6660)
2012
(5650)
2011
(5399)
2010
(5237)
2009
(4436)
2008
(4011)
1989 - 2007
Electronic Examination Papers
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
mediaTUM Gesamtbestand
Hochschulbibliographie
2016
Fakultäten
Informatik
Informatik 6 - Assistant Professorship Cyber Physical Systems (Prof. Althoff)
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
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
Han, D.;El-Guindy, A.;Althoff, M.
Estimating the Domain of Attraction based on the Invariance Principle
5569-5576
Proc. of the 55th IEEE Conference on Decision and 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