mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
Login
de
en
mediaTUM Content
University Bibliography
2024
(2930)
2023
(7321)
2022
(8635)
2021
(8884)
2020
(8178)
2019
(8873)
2018
(8706)
Fakultäten
(7975)
Architektur
(163)
Bau Geo Umwelt
(970)
Chemie
(185)
Elektrotechnik und Informationstechnik
(1342)
Informatik
(536)
Informatik 1 - Lehrstuhl für Angewandte Softwaretechnik (Prof. Brügge)
(4)
Informatik 2 - Lehrstuhl für Sprachen und Beschreibungsstrukturen in der Informatik (Prof. Seidl)
(1)
Informatik 3 - Lehrstuhl für Datenbanksysteme (Prof. Kemper)
Informatik 3 - Professur für Data Mining and Analytics (Prof. Günnemann)
Informatik 4 - Lehrstuhl für Software und Systems Engineering (Prof. Broy)
Informatik 4 - Lehrstuhl für Software & Systems Engineering (Prof. Pretschner)
(23)
Informatik 5 - Professur für Wissenschaftliches Rechnen (Prof. Huckle)
(1)
Informatik 5 - Lehrstuhl für Wissenschaftliches Rechnen (Prof. Bungartz)
(83)
Informatik 5 - Professur für Hardware-nahe Algorithmik und Software für Höchstleistungsrechnen (Prof. Bader)
(5)
Informatik 6 - Assistant Professorship Cyber Physical Systems (Prof. Althoff)
(28)
Informatik 6 - Professur für Biomimetische Robotersysteme und Maschinelles Lernen (Prof. van der Smagt)
(1)
Informatik 6 - Professur für Informatik mit Schwerpunkt Telerobotik und Sensordatenfusion - (Prof. Burschka)
(3)
Informatik 6 - Lehrstuhl für Echtzeitsysteme und Robotik (Prof. Knoll)
(71)
Informatik 7 - Lehrstuhl für Theoretische Informatik (Prof. Esparza)
Informatik 7 - Professur für Formale Methoden der Softwarezuverlässigkeit (Prof. Kretínský)
Informatik 8 - Lehrstuhl für Netzarchitekturen und Netzdienste (Prof. Carle)
(41)
Informatik 9 - Professur für Informatik mit Schwerpunkt Intelligente Autonome Systeme (N.N.)
(1)
Informatik 9 - Lehrstuhl für Bildverarbeitung und Mustererkennung (Prof. Cremers)
(1)
Informatik 9 - Professur für Dynamic Vision and Learning (Leal-Taixe)
Informatik 10 - Professur für Architektur paralleler und verteilter Systeme - (Prof. Gerndt)
(2)
Informatik 10 - Lehrstuhl für Rechnertechnik und Rechnerorganisation (Prof. Schulz)
(6)
Informatik 11 - Professur für Programmierung und Anwendung verteilter Systeme (Prof. Brüggemann-Klein)
Informatik 11 - Lehrstuhl für Angewandte Informatik / Kooperative Systeme (Prof. Schlichter)
(1)
Informatik 11 - Lehrstuhl für Connected Mobility (Prof. Ott)
(18)
Informatik 12 - Lehrstuhl für Bioinformatik (Prof. Rost)
(4)
Informatik 12 - Professur für Computational Biology (Prof. Gagneur)
(1)
Informatik 13 - Professur für Vernetzte Rechensysteme (Prof. Baumgarten)
(1)
Informatik 13 - Lehrstuhl für Wirtschaftsinformatik (Prof. Jacobsen)
Informatik 14 - Professur für Theoretische Informatik - (Prof. Räcke)
Informatik 14 - Lehrstuhl für Algorithmen und Komplexität (Prof. Albers)
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)
Informatik 15 - Professur für Visual Computing (Prof. Nießner)
Informatik 16 - Assistant Professorship Bildbasierte biomedizinische Modellierung (Prof. Menze)
(5)
Informatik 16 - Professur für Erweiterte Realität - (Prof. Klinker)
(3)
Informatik 16 - Lehrstuhl für Anwendungen in der Medizin (Prof. Navab)
(123)
Informatik 17 - Lehrstuhl für Wirtschaftsinformatik (Prof. Krcmar)
(92)
Informatik 18 - Professur für Algorithmische Spieltheorie (Prof. Brandt)
(1)
Informatik 18 - Lehrstuhl für Wirtschaftsinformatik und Entscheidungstheorie (Prof. Bichler)
(15)
Informatik 19 - Lehrstuhl für Software Engineering betrieblicher Informationssyteme (Prof. Matthes)
(2)
Informatik 20 - Lehrstuhl für Sicherheit in der Informatik (Prof. Eckert)
(2)
Informatik 21 - Lehrstuhl für Logik und Verifikation (Prof. Nipkow)
(1)
Informatik 23 - Lehrstuhl für Sensorbasierte Robotersysteme und Intelligente Assistenzsysteme (Prof. Albu-Schäffer)
(1)
Informatik 24 - Lehrstuhl für Cyber Trust (Prof. Grossklags)
Informatik 25 - Lehrstuhl für Data Science and Engineering (Prof. Neumann)
Maschinenwesen
(1291)
Mathematik
(128)
Medizin
(710)
Physik
(273)
Sport- und Gesundheitswissenschaften
(294)
TUM Campus Straubing für Biotechnologie und Nachhaltigkeit
(83)
TUM School of Education
(181)
TUM School of Governance
(64)
Wirtschaftswissenschaften
(464)
Wissenschaftszentrum Weihenstephan
(1296)
Integrated Research Centers
(481)
Zentrale Einrichtungen
(252)
2017
(8694)
2016
(8829)
2015
(8221)
2014
(7133)
2013
(6750)
2012
(5780)
2011
(5563)
2010
(5420)
2009
(4595)
2008
(4104)
1989 - 2007
Electronic Examination Papers
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
mediaTUM Gesamtbestand
Hochschulbibliographie
2018
Fakultäten
Informatik
Informatik 6 - Assistant Professorship Cyber Physical Systems (Prof. Althoff)
Back
Back to start of result list
Permanent link for displayed object
If you experience problems opening the document, please try this link.
Document type:
Konferenzbeitrag
Author(s):
M. Althoff, S. Bak, X. Chen, C. Fan, M. Forets, G. Frehse, N. Kochdumper, Y. Li, S. Mitra, R. Ray, C. Schilling and S. Schupp
Title:
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
Pages contribution:
23-52
Book / Congress title:
Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems
Year:
2018
Fulltext / DOI:
doi:10.29007/73mb
BibTeX
Occurrences:
mediaTUM Gesamtbestand
Einrichtungen
Schools
TUM School of Computation, Information and Technology
Departments
Computer Engineering
Informatik 6 - Professur für Cyber Physical Systems (Prof. Althoff)
2018
mediaTUM Gesamtbestand
Hochschulbibliographie
2018
Fakultäten
Informatik
Informatik 6 - Assistant Professorship Cyber Physical Systems (Prof. Althoff)