mediaTUM
Universitätsbibliothek
Technische Universität München
User: Guest
 
Login
de
en
mediaTUM Content
University Bibliography
2022
(2207)
2021
(7595)
2020
(7429)
2019
(8376)
2018
(8413)
2017
(8538)
2016
(8704)
2015
(8137)
Fakultäten
(7369)
Architektur
(125)
Bau Geo Umwelt
(911)
Chemie
(470)
Elektrotechnik und Informationstechnik
(1228)
Informatik
(499)
Lehrstuhl für Bildverarbeitung und Mustererkennung (Prof. Cremers)
(4)
Lehrstuhl für Connected Mobility (Prof. Ott)
(8)
Lehrstuhl für Cyber Trust (Prof. N.N.)
Lehrstuhl für Informatik 12 / Bioinformatik (Prof. Rost)
(2)
Lehrstuhl für Informatik 1 / Angewandte Softwaretechnik (Prof. Brügge)
(4)
Lehrstuhl für Informatik 2 / Sprachen und Beschreibungsstrukturen (Prof. Seidl)
(2)
Lehrstuhl für Informatik 3 / Datenbanksysteme (Prof. Kemper)
(2)
Lehrstuhl für Informatik 4 / Software und Systems Engineering (Prof. Broy)
(4)
Lehrstuhl für Informatik 5 / Wissenschaftliches Rechnen (Prof. Bungartz)
(41)
Lehrstuhl für Informatik 6 / Echtzeitsysteme und Robotik (Prof. Knoll)
(117)
Lehrstuhl für Informatik 7 / Theoretische Informatik (Prof. Esparza)
(2)
Lehrstuhl für Informatik / Angewandte Informatik - Kooperative Systeme (Prof. Schlichter)
(3)
Lehrstuhl für Informatik / Effiziente Algorithmen (Prof. N.N.)
(7)
Lehrstuhl für Informatik / Grafik und Visualisierung (Prof. Westermann)
(4)
Lehrstuhl für Informatik / Informatik-Anwendungen in der Medizin (Prof. Navab)
(136)
Lehrstuhl für Informatik / Rechnertechnik und Rechnerorganisation (Prof. Bode)
(6)
Lehrstuhl für Informatik / Software Engineering betrieblicher Informationssyteme (Prof. Matthes)
Lehrstuhl für Informatik / Wirtschaftsinformatik (Prof. Krcmar)
(54)
Lehrstuhl für Logik und Verifikation in der Informatik (Prof. Nipkow)
(1)
Lehrstuhl für Netzarchitekturen und Netzdienste (Prof. Carle)
(33)
Lehrstuhl für Sensorbasierte Robotersysteme und Intelligente Assistenzsysteme (Prof. Albu-Schäffer)
(1)
Lehrstuhl für Sicherheit in der Informatik (Prof. Eckert)
(3)
Lehrstuhl für Theoretische Informatik (Prof. Albers)
(1)
Lehrstuhl für Wirtschaftsinformatik (Prof. Jacobsen)
Lehrstuhl für Wirtschaftsinformatik und Entscheidungstheorie (Prof. Bichler)
(6)
Professur für Algorithmik und Software für Höchstleistungsrechnen (Prof. Bader)
(3)
Professur für Algorithmische Spieltheorie (Prof. Brandt)
Professur für Architektur paralleler und verteilter Systeme (Prof. Gerndt)
Professur für Bildbasierte biomedizinische Modellierung (Prof. Menze)
Professur für Biomimetische Robotersysteme und Maschinelles Lernen (Prof. van der Smagt)
(1)
Professur für Cyber Physical Systems (Prof. Althoff)
(11)
Professur für Datenbanksysteme (Prof. Neumann)
Professur für Erweiterte Realität (Prof. Klinker)
(21)
Professur für Formale Methoden der Softwarezuverlässigkeit (Prof. Kretínský)
Professur für Games Engineering (Prof. Thuerey)
Professur für Intelligente Autonome Systeme (Prof. N.N.)
(2)
Professur für Programmierung / Anwendung verteilter Systeme (Prof. Brüggemann-Klein)
Professur für Telerobotik und Sensordatenfusion (Prof. Burschka)
Professur für Theoretische Informatik (Prof. Räcke)
Professur für Vernetzte Rechensysteme (Prof. Baumgarten)
(8)
Professur für Wissenschaftliches Rechnen (Prof. Huckle)
Stiftungslehrstuhl für Software Engineering (Prof. Pretschner)
(16)
Maschinenwesen
(1269)
Mathematik
(138)
Medizin
(646)
Physik
(164)
Sport- und Gesundheitswissenschaften
(176)
TUM School of Education
(136)
Wirtschaftswissenschaften
(333)
Wissenschaftszentrum Weihenstephan
(1276)
Integrated Research Centers
(496)
Zentrale Einrichtungen
(272)
2014
(7059)
2013
(6740)
2012
(5739)
2011
(5501)
2010
(5360)
2009
(4527)
2008
(4062)
1989 - 2007
Electronic Examination Papers
Open Access Publikationen
Research Data
TUM.University Press
Collections
Projects
Institutions
mediaTUM Gesamtbestand
Hochschulbibliographie
2015
Fakultäten
Informatik
Professur für Cyber Physical Systems (Prof. Althoff)
Sort by:
Autor(en) des Beitrags
Autor(en) des Beitrags (descending)
Publikationsdatum
Publikationsdatum (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)
Publikationsdatum
Publikationsdatum (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
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
Mesesan, G.;Icer, E.;Althoff, M.
Hierarchical Genetic Path Planner for Highly Redundant Manipulators
Proc. of the Workshop on Task Planning for Intelligent Robots in Service and Manufacturing
2015
Han, D.;Althoff, M.
Control Synthesis for Non-Polynomial Systems: A Domain of Attraction Perspective
1160–1167
Proc. of the 54th IEEE Conference on Decision and Control
2015
Rizaldi, A.;Althoff, M.
Formalising Traffic Rules for Accountability of Autonomous Vehicles
1658–1665
Proc. of the 18th IEEE International Conference on Intelligent Transportation Systems
2015
Giusti, A.;Althoff, M.
Automatic Centralized Controller Design for Modular and Reconfigurable Robot Manipulators
3268-3275
Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems
2015
Althoff, D.;Althoff, M.;Scherer, S.
Online Safety Verification of Trajectories for Unmanned Flight with Offline Computed Robust Invariant Sets
3470-3477
Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems
2015
Söntges, S.;Althoff, M.
Determining the Nonexistence of Evasive Trajectories for Collision Avoidance Systems
956–961
Proc. of the 18th IEEE International Conference on Intelligent Transportation Systems
2015
Althoff, M.
An Introduction to CORA 2015
120–151
Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems
2015
Rizaldi, A.;Söntges, S.;Althoff, M.
On Time-Memory Trade-Off for Collision Detection
1173–1180
Proc. of the IEEE Intelligent Vehicles Symposium
2015
Pereira, A.;Althoff, M.
Safety Control of Robots under Computed Torque Control using Reachable Sets
Proc. of the IEEE International Conference on Robotics and Automation
2015
Sort by:
Autor(en) des Beitrags
Autor(en) des Beitrags (descending)
Publikationsdatum
Publikationsdatum (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)
Publikationsdatum
Publikationsdatum (descending)
Titel des Beitrags
Titel des Beitrags (descending)
Dokumenttyp
Dokumenttyp (descending)
Jahr
Jahr (descending)
Jahr / Monat
Jahr / Monat (descending)
next