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="Piterman, Nir"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Tractable probabilistic
\mu
-calculus that expresses probabilistic temporal logics
Pablo Castro
,
Cecilia Kilmurray
,
Nir Piterman
Leibniz International Proceedings in Informatics (LIPIcs)
30
, 2015, pp. 211-223
Synthesis from temporal specifications: New applications in robotics and model-driven development
Nir Piterman
Lecture Notes in Computer Science
8087
, 2013, pp. 45-49
Synthesis of Reactive(1) designs
Roderick Bloem
,
Barbara Jobstmann
,
Nir Piterman
,
Amir Pnueli
,
Yaniv Sa'ar
Journal of Computer and System Sciences
78
(3), 2012, pp. 911-938
Strategy logic
Krishnendu Chatterjee
,
Thomas A. Henzinger
,
Nir Piterman
Information and Computation
208
(6), 2010, pp. 677-693
Bridging the gap between fair simulation and trace inclusion
Yonit Kesten
,
Nir Piterman
,
Amir Pnueli
Information and Computation
200
(1), 2005, pp. 35-61
From bidirectionality to alternation
Nir Piterman
,
Moshe Y. Vardi
Theoretical Computer Science
295
(1-3), 2003, pp. 295-321
Pushdown specifications
Orna Kupferman
,
Nir Piterman
,
Moshe Y. Vardi
Technical Report (2002-53), 2002
Extended temporal logic revisited
Orna Kupferman
,
Nir Piterman
,
Moshe Y. Vardi
Technical Report (2001-42), 2001
From bidirectionality to alternation
Nir Piterman
,
Moshe Y. Vardi
Lecture Notes in Computer Science
2136
, 2001, pp. 598-610
Fair equivalence relations
Orna Kupferman
,
Nir Piterman
,
Moshe Y. Vardi
Lecture Notes in Computer Science
1974
, 2000, pp. 151-163