mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
Login
de
en
mediaTUM Content
University Bibliography
2022
(1671)
2021
(6060)
2020
(7240)
2019
(8215)
2018
(8261)
2017
(8447)
2016
(8609)
2015
(8040)
2014
(6946)
Fakultäten
(6452)
Architektur
(145)
Bau Geo Umwelt
(818)
Chemie
(340)
Elektrotechnik und Informationstechnik
(1106)
Informatik
(357)
Assistant Professorship Bildbasierte biomedizinische Modellierung (Prof. Menze)
Assistant Professorship Games Engineering (Prof. Thuerey)
Assistant Professur für Cyber Physical Systems (Prof. Althoff)
(4)
Fachgebiet Algorithmik und Software für Höchstleistungsrechnen (Prof. Bader)
(6)
Fachgebiet Algorithmische Spieltheorie (Prof. Brandt)
Fachgebiet Architektur paralleler und verteilter Systeme (Prof. Gerndt)
Fachgebiet Biomimetische Robotersysteme und Maschinelles Lernen (Prof. van der Smagt)
Fachgebiet Datenbanksysteme (Prof. Neumann)
Fachgebiet Erweiterte Realität (Prof. Klinker)
(19)
Fachgebiet Intelligente Autonome Systeme (Prof. N.N.)
(1)
Fachgebiet Programmierung / Anwendung verteilter Systeme (Prof. Brüggemann-Klein)
Fachgebiet Telerobotik und Sensordatenfusion (Prof. Burschka)
(1)
Fachgebiet Theoretische Informatik (Prof. Räcke)
Fachgebiet Vernetzte Rechensysteme (Prof. Baumgarten)
(7)
Fachgebiet Wissenschaftliches Rechnen (Prof. Huckle)
Full Professorship Theoretische Informatik (Prof. Albers)
(6)
Lehrstuhl für Bildverarbeitung und Mustererkennung (Prof. Cremers)
Lehrstuhl für Cyber Trust (Prof. N.N.)
Lehrstuhl für Informatik 12 / Bioinformatik (Prof. Rost)
Lehrstuhl für Informatik 1 / Angewandte Softwaretechnik (Prof. Brügge)
Lehrstuhl für Informatik 2 / Sprachen und Beschreibungsstrukturen (Prof. Seidl)
Lehrstuhl für Informatik 3 / Datenbanksysteme (Prof. Kemper)
(1)
Lehrstuhl für Informatik 4 / Software und Systems Engineering (Prof. Broy)
Lehrstuhl für Informatik 5 / Wissenschaftliches Rechnen (Prof. Bungartz)
(73)
Lehrstuhl für Informatik 6 / Echtzeitsysteme und Robotik (Prof. Knoll)
(108)
Lehrstuhl für Informatik 7 / Theoretische Informatik (Prof. Esparza)
Lehrstuhl für Informatik / Angewandte Informatik - Kooperative Systeme (Prof. Schlichter)
Lehrstuhl für Informatik / Effiziente Algorithmen (Prof. Mayr)
(11)
Lehrstuhl für Informatik / Grafik und Visualisierung (Prof. Westermann)
Lehrstuhl für Informatik / Informatik-Anwendungen in der Medizin (Prof. Navab)
(90)
Lehrstuhl für Informatik / Rechnertechnik und Rechnerorganisation (Prof. Bode)
Lehrstuhl für Informatik / Software Engineering betrieblicher Informationssyteme (Prof. Matthes)
Lehrstuhl für Informatik / Wirtschaftsinformatik (Prof. Krcmar)
Lehrstuhl für Logik und Verifikation in der Informatik (Prof. Nipkow)
Lehrstuhl für Netzarchitekturen und Netzdienste (Prof. Carle)
(25)
Lehrstuhl für Sensorbasierte Robotersysteme und Intelligente Assistenzsysteme (Prof. Albu-Schäffer)
Lehrstuhl für Sicherheit in der Informatik (Prof. Eckert)
(1)
Lehrstuhl für Wirtschaftsinformatik (Prof. Jacobsen)
Lehrstuhl für Wirtschaftsinformatik und Entscheidungstheorie (Prof. Bichler)
Stiftungslehrstuhl für Software Engineering (Prof. Pretschner)
(13)
Maschinenwesen
(1091)
Mathematik
(100)
Medizin
(612)
Physik
(82)
Sport- und Gesundheitswissenschaften
(165)
TUM School of Education
(121)
Wirtschaftswissenschaften
(400)
Wissenschaftszentrum Weihenstephan
(1019)
Integrated Research Centers
(293)
Zentrale Einrichtungen
(201)
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
2014
Fakultäten
Informatik
Assistant Professur für 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)
Items per page
10
20
50
100
Hess, D.;Althoff, M.;Sattel, T.
Formal Verification of Maneuver Automata for Parameterized Motion Primitives
1474-1481
Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems
2014
Althoff, M.
Formal and Compositional Analysis of Power Systems using Reachable Sets
IEEE Transactions on Power Systems
2014
29
5
2270-2280
Althoff, M.;Krogh, B. H.
Reachability Analysis of Nonlinear Differential-Algebraic Systems
IEEE Transactions on Automatic Control
2014
59
2
371-383
Althoff, M.;Dolan, J. M.
Online Verification of Automated Road Vehicles Using Reachability Analysis
IEEE Transactions on Robotics
2014
30
4
903-918
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)
Login
