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
[1]
Hilfe
Suche: Author="Maler, Oded"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Computing reachable states for nonlinear biological models
Thao Dang
,
Colas Le Guernic
,
Oded Maler
Theoretical Computer Science
412
(21), 2011, pp. 2095-2107
Scheduling with timed automata
Yasmina Abdeddaïm
,
Eugene Asarin
,
Oded Maler
Theoretical Computer Science
354
(2), 2006, pp. 272-300
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
An efficient automata approach to some problems on context-free grammars
Ahmed Bouajjani
,
Javier Esparza
,
Alain Finkel
,
Oded Maler
,
Peter Rossmanith
,
Bernard Willems
,
Pierre Wolper
Information Processing Letters
74
(5-6), 2000, pp. 221-227
On the representation of timed polyhedra
Olivier Bournez
,
Oded Maler
Lecture Notes in Computer Science
1853
, 2000, pp. 793-807
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
On syntactic congruences for
\omega
-languages
Oded Maler
,
Ludwig Staiger
Theoretical Computer Science
183
(1), 1997, pp. 93-112
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 the synthesis of discrete controllers for timed systems
Oded Maler
,
Amir Pnueli
,
Joseph Sifakis
Lecture Notes in Computer Science
900
, 1995, pp. 229-242
On the learnability of infinitary regular sets
Oded Maler
,
Amir Pnueli
Information and Computation
118
(2), 1995, pp. 316-326
A decomposition theorem for probabilistic transition systems
Oded Maler
Theoretical Computer Science
145
(1-2), 1995, pp. 391-396
On some relations between dynamical systems and transition systems
Eugene Asarin
,
Oded Maler
Lecture Notes in Computer Science
820
, 1994, pp. 59-72
On the effects of noise and speed on computations
Bernard Delyon
,
Oded Maler
Theoretical Computer Science
129
(2), 1994, pp. 279-291
On syntactic congruences for
\omega
-languages
Oded Maler
,
Ludwig Staiger
Lecture Notes in Computer Science
665
, 1993, pp. 586-594
A decomposition theorem for probabilistic transition systems
Oded Maler
Lecture Notes in Computer Science
665
, 1993, pp. 323-332