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="Asarin, Eugene"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Generating functions of timed languages
Eugene Asarin
,
Nicolas Basset
,
Aldric Degorre
,
Dominique Perrin
Lecture Notes in Computer Science
7464
, 2012, pp. 124-135
Low dimensional hybrid systems - decidable, undecidable, don't know
Eugene Asarin
,
Venkatesh P. Mysore
,
Amir Pnueli
,
Gerardo Schneider
Information and Computation
211
, 2012, pp. 138-159
Two size measures for timed languages
Eugene Asarin
,
Aldric Degorre
Leibniz International Proceedings in Informatics (LIPIcs)
8
, 2010, pp. 376-387
Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools
Eugene Asarin
,
Gordon Pace
,
Gerardo Schneider
,
Sergio Yovine
Theoretical Computer Science
390
(1), 2008, pp. 1-26
Hybridization methods for the analysis of nonlinear systems
Eugene Asarin
,
Thao Dang
,
Antoine Girard
Acta Informatica
43
(7), 2007, pp. 451-476
Algorithmic analysis of polygonal hybrid systems, part I: Reachability
Eugene Asarin
,
Gerardo Schneider
,
Sergio Yovine
Theoretical Computer Science
379
(1-2), 2007, pp. 231-265
Scheduling with timed automata
Yasmina Abdeddaïm
,
Eugene Asarin
,
Oded Maler
Theoretical Computer Science
354
(2), 2006, pp. 272-300
Noisy Turing machines
Eugene Asarin
,
Pieter Collins
Lecture Notes in Computer Science
3580
, 2005, pp. 1031-1042
Timed regular expressions
Eugene Asarin
,
Paul Caspi
,
Oded Maler
Journal of the ACM
49
(2), 2002, pp. 172-206
Approximate reachability analysis of piecewise-linear dynamical systems
Eugene Asarin
,
Olivier Bournez
,
Thao Dang
,
Oded Maler
misc, 2000
Achilles and the tortoise climbing up the arithmetical hierarachy
Eugene Asarin
,
Oded Maler
Journal of Computer and System Sciences
57
(3), 1998, pp. 389-398
Reachability analysis of dynamical systems having piecewise-constant derivatives
Eugene Asarin
,
Oded Maler
,
Amir Pnueli
Theoretical Computer Science
138
(1), 1995, pp. 35-65
Achilles and the tortoise climbing up the arithmetical hierarchy
Eugene Asarin
,
Oded Maler
Lecture Notes in Computer Science
1026
, 1995, pp. 471-483
On some relations between dynamical systems and transition systems
Eugene Asarin
,
Oded Maler
Lecture Notes in Computer Science
820
, 1994, pp. 59-72