Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Dullerud, Geir"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A decidable class of planar linear hybrid systems
Pavithra Prabhakar
,
Vladimeros Vladimerou
,
Mahesh Viswanathan
,
Geir Dullerud
Theoretical Computer Science
574
, 2015, pp. 1-17
Specifications for decidable hybrid games
Vladimeros Vladimerou
,
Pavithra Prabhakar
,
Mahesh Viswanathan
,
Geir Dullerud
Theoretical Computer Science
412
(48), 2011, pp. 6770-6785
STORMED hybrid systems
Vladimeros Vladimerou
,
Pavithra Prabhakar
,
Mahesh Viswanathan
,
Geir Dullerud
Lecture Notes in Computer Science
5126
, 2008, pp. 136-147