×
Edit Profile (opens in new tab)

Piterman, Nir

Co-Author Distance
Author ID: piterman.nir Recent zbMATH articles by "Piterman, Nir"
Published as: Piterman, Nir
External Links: ORCID
Documents Indexed: 57 Publications since 2000
2 Contributions as Editor
Co-Authors: 65 Co-Authors with 57 Joint Publications
1,202 Co-Co-Authors
all top 5

Co-Authors

2 single-authored
15 Vardi, Moshe Ya’akov
10 Kupferman, Orna
8 Pnueli, Amir
6 Fisher, Jasmin
6 Henzinger, Thomas A.
5 Chatterjee, Krishnendu
5 Huth, Michael R. A.
4 Cook, Byron
4 Kuo, Jim Huan-Pu
3 Khlaaf, Heidy
2 Armoni, Roy
2 Cauli, Claudia
2 Fang, Yi
2 Fix, Limor
2 Kesten, Yonit
2 Nickovic, Dejan
2 Sa’ar, Yaniv
2 Zuck, Lenore D.
1 Ahmed, Zara
1 Alrahman, Yehia Abd
1 Azzopardi, Shaun
1 Bakhirkin, Alexey
1 Benque, David
1 Berezin, Sergey
1 Bloem, Roderick
1 Bodik, Rastislav
1 Braberman, Víctor
1 Bujorianu, Manuela L.
1 Castro, Pablo F.
1 Dahl, Anna Caroline E.
1 D’Ippolito, Nicolás
1 Flaisher, Alon
1 Fraer, Ranan
1 Godefroid, Patrice
1 Grinchtein, Olga
1 Grumberg, Orna
1 Hall, Benjamin A.
1 Harel, David
1 Hausmann, Daniel
1 Hubbard, E. Jane Albert
1 Huddleston, Scott
1 Jobstmann, Barbara
1 Juvekar, Sudeep
1 Kilmurray, Cecilia
1 Klein, Uri
1 Köksal, Ali Sinan
1 Krepska, Elzbieta
1 Leucker, Martin
1 Mateescu, Maria
1 Nanavati, Jay
1 Ortiz, Magdalena
1 Pu, Yewen
1 Riechert, Maik
1 Schneider, Gerardo
1 Singh, Anmol V.
1 Skoblov, Nikita
1 Sloth, Christoffer
1 Smolka, Scott A.
1 Srivastava, Saurabh
1 Stern, Michael J.
1 Swerdlin, Naamah
1 Tiemeyer, Andreas
1 Uchitel, Sebastian
1 Wagner, Daniel
1 Wisniewski, Rafael
all top 5

Serials

3 Information and Computation
2 Lecture Notes in Computer Science
1 Journal of Computer and System Sciences
1 The Journal of Symbolic Logic
1 Theoretical Computer Science
1 Formal Methods in System Design
1 Journal of the ACM
1 Logical Methods in Computer Science
all top 5

Fields

58 Computer science (68-XX)
19 Mathematical logic and foundations (03-XX)
10 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
5 Biology and other natural sciences (92-XX)
3 Probability theory and stochastic processes (60-XX)
3 Systems theory; control (93-XX)
2 General and overarching topics; collections (00-XX)
1 Combinatorics (05-XX)
1 Information and communication theory, circuits (94-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

49 Publications have been cited 582 times in 457 Documents Cited by ▼ Year ▼
Strategy logic. Zbl 1205.68197
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
70
2010
Synthesis of Reactive(1) designs. Zbl 1247.68050
Bloem, Roderick; Jobstmann, Barbara; Piterman, Nir; Pnueli, Amir; Sa’ar, Yaniv
62
2012
From nondeterministic Büchi and Streett automata to deterministic parity automata. Zbl 1125.68067
Piterman, Nir
62
2007
Synthesis of reactive(1) designs. Zbl 1176.68126
Piterman, Nir; Pnueli, Amir; Sa’ar, Yaniv
48
2006
Solving games without determinization. Zbl 1225.68118
Henzinger, Thomas A.; Piterman, Nir
41
2006
From liveness to promptness. Zbl 1192.68416
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
35
2009
Strategy logic. Zbl 1151.03327
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
31
2007
Safraless compositional synthesis. Zbl 1188.68193
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
25
2006
Generalized parity games. Zbl 1195.68053
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
18
2007
Pushdown specifications. Zbl 1023.68624
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
15
2002
Enhanced vacuity detection in linear temporal logic. Zbl 1278.68153
Armoni, Roy; Fix, Limor; Flaisher, Alon; Grumberg, Orna; Piterman, Nir; Tiemeyer, Andreas; Vardi, Moshe Y.
15
2003
Temporal logic and fair discrete systems. Zbl 1392.68263
Piterman, Nir; Pnueli, Amir
13
2018
Global model-checking of infinite-state systems. Zbl 1103.68077
Piterman, Nir; Vardi, Moshe Y.
12
2004
Inferring network invariants automatically. Zbl 1222.68379
Grinchtein, Olga; Leucker, Martin; Piterman, Nir
11
2006
Extended temporal logic revisited. Zbl 1006.68086
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
8
2001
From mtl to deterministic timed automata. Zbl 1290.68077
Ničković, Dejan; Piterman, Nir
8
2010
On automation of \(\mathsf{CTL}^*\) verification for infinite-state systems. Zbl 1381.68154
Cook, Byron; Khlaaf, Heidy; Piterman, Nir
7
2015
An automata-theoretic approach to infinite-state systems. Zbl 1288.68158
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
6
2010
LTL generalized model checking revisited. Zbl 1206.68187
Godefroid, Patrice; Piterman, Nir
6
2009
Liveness with invisible ranking. Zbl 1202.68248
Fang, Yi; Piterman, Nir; Pnueli, Amir; Zuck, Lenore
6
2004
From liveness to promptness. Zbl 1135.03336
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
6
2007
Bridging the gap between fair simulation and trace inclusion. Zbl 1082.68055
Kesten, Yonit; Piterman, Nir; Pnueli, Amir
5
2005
Dynamic reactive modules. Zbl 1343.68167
Fisher, Jasmin; Henzinger, Thomas A.; Nickovic, Dejan; Piterman, Nir; Singh, Anmol V.; Vardi, Moshe Y.
5
2011
Model checking linear properties of prefix-recognizable systems. Zbl 1010.68078
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
5
2002
Tractable probabilistic \(\mu\)-calculus that expresses probabilistic temporal logics. Zbl 1355.68173
Castro, Pablo; Kilmurray, Cecilia; Piterman, Nir
5
2015
Verifying increasingly expressive temporal logics for infinite-state systems. Zbl 1426.68166
Cook, Byron; Khlaaf, Heidy; Piterman, Nir
5
2017
Fatal attractors in parity games. Zbl 1260.68231
Huth, Michael; Kuo, Jim Huan-Pu; Piterman, Nir
4
2013
Minimizing generalized Büchi automata. Zbl 1188.68174
Juvekar, Sudeep; Piterman, Nir
4
2006
Bounded asynchrony: concurrency for modeling cell-cell interactions. Zbl 1375.92018
Fisher, Jasmin; Henzinger, Thomas A.; Mateescu, Maria; Piterman, Nir
4
2008
Proving stabilization of biological systems. Zbl 1318.92014
Cook, Byron; Fisher, Jasmin; Krepska, Elzbieta; Piterman, Nir
4
2011
From bidirectionality to alternation. Zbl 1044.68101
Piterman, Nir; Vardi, Moshe Y.
3
2003
Synthesis of biological models from mutation experiments. Zbl 1301.92023
Koksal, Ali Sinan; Pu, Yewen; Srivastava, Saurabh; Bodik, Rastislav; Fisher, Jasmin; Piterman, Nir
3
2013
Combinations of qualitative winning for stochastic parity games. Zbl 07649914
Chatterjee, Krishnendu; Piterman, Nir
3
2019
Effective synthesis of asynchronous systems from GR(1) specifications. Zbl 1326.68186
Klein, Uri; Piterman, Nir; Pnueli, Amir
3
2012
Liveness with incomprehensible ranking. Zbl 1126.68474
Fang, Yi; Piterman, Nir; Pnueli, Amir; Zuck, Lenore
3
2004
Fair equivalence relations. Zbl 1274.68194
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
3
2003
Static analysis of parity games: alternating reachability under parity. Zbl 1474.68053
Huth, Michael; Kuo, Jim Huan-Pu; Piterman, Nir
2
2016
The Rabin index of parity games: its complexity and approximation. Zbl 1332.68060
Huth, Michael; Kuo, Jim Huan-Pu; Piterman, Nir
2
2015
Bridging the gap between fair simulation and trace inclusion. Zbl 1278.68178
Kesten, Yonit; Piterman, Nir; Pnueli, Amir
2
2003
Three-valued abstractions of Markov chains: completeness for a sizeable fragment of PCTL. Zbl 1252.03037
Huth, Michael; Piterman, Nir; Wagner, Daniel
2
2009
Finding recurrent sets with backward analysis and trace partitioning. Zbl 1420.68063
Bakhirkin, Alexey; Piterman, Nir
2
2016
Combining state-based and scenario-based approaches in modeling biological systems. Zbl 1088.93504
Fisher, Jasmin; Harel, David; Hubbard, E. Jane Albert; Piterman, Nir; Stern, Michael J.; Swerdlin, Naamah
1
2005
From bidirectionality to alternation. Zbl 0999.68103
Piterman, Nir; Vardi, Moshe Y.
1
2001
The modal transition system control problem. Zbl 1372.68184
D’Ippolito, Nicolás; Braberman, Victor; Piterman, Nir; Uchitel, Sebastián
1
2012
Tools and algorithms for the construction and analysis of systems. 19th international conference, TACAS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Zbl 1268.68030
1
2013
Fair equivalence relations. Zbl 1044.68110
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
1
2000
Lower bounds on witnesses for nonemptiness of universal co-Büchi automata. Zbl 1234.68221
Kupferman, Orna; Piterman, Nir
1
2009
SAT-based induction for temporal safety properties. Zbl 1272.68219
Armoni, Roy; Fix, Limor; Fraer, Ranan; Huddleston, Scott; Piterman, Nir; Vardi, Moshe Y.
1
2005
Fairness for infinite-state systems. Zbl 1420.68122
Cook, Byron; Khlaaf, Heidy; Piterman, Nir
1
2015
Combinations of qualitative winning for stochastic parity games. Zbl 07649914
Chatterjee, Krishnendu; Piterman, Nir
3
2019
Temporal logic and fair discrete systems. Zbl 1392.68263
Piterman, Nir; Pnueli, Amir
13
2018
Verifying increasingly expressive temporal logics for infinite-state systems. Zbl 1426.68166
Cook, Byron; Khlaaf, Heidy; Piterman, Nir
5
2017
Static analysis of parity games: alternating reachability under parity. Zbl 1474.68053
Huth, Michael; Kuo, Jim Huan-Pu; Piterman, Nir
2
2016
Finding recurrent sets with backward analysis and trace partitioning. Zbl 1420.68063
Bakhirkin, Alexey; Piterman, Nir
2
2016
On automation of \(\mathsf{CTL}^*\) verification for infinite-state systems. Zbl 1381.68154
Cook, Byron; Khlaaf, Heidy; Piterman, Nir
7
2015
Tractable probabilistic \(\mu\)-calculus that expresses probabilistic temporal logics. Zbl 1355.68173
Castro, Pablo; Kilmurray, Cecilia; Piterman, Nir
5
2015
The Rabin index of parity games: its complexity and approximation. Zbl 1332.68060
Huth, Michael; Kuo, Jim Huan-Pu; Piterman, Nir
2
2015
Fairness for infinite-state systems. Zbl 1420.68122
Cook, Byron; Khlaaf, Heidy; Piterman, Nir
1
2015
Fatal attractors in parity games. Zbl 1260.68231
Huth, Michael; Kuo, Jim Huan-Pu; Piterman, Nir
4
2013
Synthesis of biological models from mutation experiments. Zbl 1301.92023
Koksal, Ali Sinan; Pu, Yewen; Srivastava, Saurabh; Bodik, Rastislav; Fisher, Jasmin; Piterman, Nir
3
2013
Tools and algorithms for the construction and analysis of systems. 19th international conference, TACAS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Zbl 1268.68030
1
2013
Synthesis of Reactive(1) designs. Zbl 1247.68050
Bloem, Roderick; Jobstmann, Barbara; Piterman, Nir; Pnueli, Amir; Sa’ar, Yaniv
62
2012
Effective synthesis of asynchronous systems from GR(1) specifications. Zbl 1326.68186
Klein, Uri; Piterman, Nir; Pnueli, Amir
3
2012
The modal transition system control problem. Zbl 1372.68184
D’Ippolito, Nicolás; Braberman, Victor; Piterman, Nir; Uchitel, Sebastián
1
2012
Dynamic reactive modules. Zbl 1343.68167
Fisher, Jasmin; Henzinger, Thomas A.; Nickovic, Dejan; Piterman, Nir; Singh, Anmol V.; Vardi, Moshe Y.
5
2011
Proving stabilization of biological systems. Zbl 1318.92014
Cook, Byron; Fisher, Jasmin; Krepska, Elzbieta; Piterman, Nir
4
2011
Strategy logic. Zbl 1205.68197
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
70
2010
From mtl to deterministic timed automata. Zbl 1290.68077
Ničković, Dejan; Piterman, Nir
8
2010
An automata-theoretic approach to infinite-state systems. Zbl 1288.68158
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
6
2010
From liveness to promptness. Zbl 1192.68416
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
35
2009
LTL generalized model checking revisited. Zbl 1206.68187
Godefroid, Patrice; Piterman, Nir
6
2009
Three-valued abstractions of Markov chains: completeness for a sizeable fragment of PCTL. Zbl 1252.03037
Huth, Michael; Piterman, Nir; Wagner, Daniel
2
2009
Lower bounds on witnesses for nonemptiness of universal co-Büchi automata. Zbl 1234.68221
Kupferman, Orna; Piterman, Nir
1
2009
Bounded asynchrony: concurrency for modeling cell-cell interactions. Zbl 1375.92018
Fisher, Jasmin; Henzinger, Thomas A.; Mateescu, Maria; Piterman, Nir
4
2008
From nondeterministic Büchi and Streett automata to deterministic parity automata. Zbl 1125.68067
Piterman, Nir
62
2007
Strategy logic. Zbl 1151.03327
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
31
2007
Generalized parity games. Zbl 1195.68053
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
18
2007
From liveness to promptness. Zbl 1135.03336
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
6
2007
Synthesis of reactive(1) designs. Zbl 1176.68126
Piterman, Nir; Pnueli, Amir; Sa’ar, Yaniv
48
2006
Solving games without determinization. Zbl 1225.68118
Henzinger, Thomas A.; Piterman, Nir
41
2006
Safraless compositional synthesis. Zbl 1188.68193
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
25
2006
Inferring network invariants automatically. Zbl 1222.68379
Grinchtein, Olga; Leucker, Martin; Piterman, Nir
11
2006
Minimizing generalized Büchi automata. Zbl 1188.68174
Juvekar, Sudeep; Piterman, Nir
4
2006
Bridging the gap between fair simulation and trace inclusion. Zbl 1082.68055
Kesten, Yonit; Piterman, Nir; Pnueli, Amir
5
2005
Combining state-based and scenario-based approaches in modeling biological systems. Zbl 1088.93504
Fisher, Jasmin; Harel, David; Hubbard, E. Jane Albert; Piterman, Nir; Stern, Michael J.; Swerdlin, Naamah
1
2005
SAT-based induction for temporal safety properties. Zbl 1272.68219
Armoni, Roy; Fix, Limor; Fraer, Ranan; Huddleston, Scott; Piterman, Nir; Vardi, Moshe Y.
1
2005
Global model-checking of infinite-state systems. Zbl 1103.68077
Piterman, Nir; Vardi, Moshe Y.
12
2004
Liveness with invisible ranking. Zbl 1202.68248
Fang, Yi; Piterman, Nir; Pnueli, Amir; Zuck, Lenore
6
2004
Liveness with incomprehensible ranking. Zbl 1126.68474
Fang, Yi; Piterman, Nir; Pnueli, Amir; Zuck, Lenore
3
2004
Enhanced vacuity detection in linear temporal logic. Zbl 1278.68153
Armoni, Roy; Fix, Limor; Flaisher, Alon; Grumberg, Orna; Piterman, Nir; Tiemeyer, Andreas; Vardi, Moshe Y.
15
2003
From bidirectionality to alternation. Zbl 1044.68101
Piterman, Nir; Vardi, Moshe Y.
3
2003
Fair equivalence relations. Zbl 1274.68194
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
3
2003
Bridging the gap between fair simulation and trace inclusion. Zbl 1278.68178
Kesten, Yonit; Piterman, Nir; Pnueli, Amir
2
2003
Pushdown specifications. Zbl 1023.68624
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
15
2002
Model checking linear properties of prefix-recognizable systems. Zbl 1010.68078
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
5
2002
Extended temporal logic revisited. Zbl 1006.68086
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
8
2001
From bidirectionality to alternation. Zbl 0999.68103
Piterman, Nir; Vardi, Moshe Y.
1
2001
Fair equivalence relations. Zbl 1044.68110
Kupferman, Orna; Piterman, Nir; Vardi, Moshe Y.
1
2000
all cited Publications top 5 cited Publications
all top 5

Cited by 697 Authors

31 Kupferman, Orna
24 Murano, Aniello
21 Zimmermann, Martin
18 Raskin, Jean-François
16 Vardi, Moshe Ya’akov
14 Perelli, Giuseppe
14 Piterman, Nir
14 Schewe, Sven
13 Chatterjee, Krishnendu
12 Mogavero, Fabio
12 Wooldridge, Michael J.
11 Avni, Guy
11 Gutierrez, Julian
10 Bozzelli, Laura
10 Lehtinen, Karoliina
9 Bloem, Roderick
8 Bouyer, Patricia
8 Bruyère, Véronique
8 Henzinger, Thomas A.
8 Křetínský, Jan
8 Markey, Nicolas
7 Boker, Udi
7 Esparza, Javier
7 Finkbeiner, Bernd
7 Guha, Shibashis
7 Montanari, Angelo
7 Randour, Mickael
7 Sickert, Salomon
7 Weinert, Alexander
6 Benerecetti, Massimo
6 Chockler, Hana
6 Cimatti, Alessandro
6 Filiot, Emmanuel
6 Majumdar, Rupak
6 Peron, Adriano
6 Sorrentino, Loredana
6 Topcu, Ufuk
5 Baier, Christel
5 Brihaye, Thomas
5 Hausmann, Daniel
5 Leucker, Martin
5 Maoz, Shahar
5 Neider, Daniel
5 Pnueli, Amir
5 Rubin, Sasha
5 Schmuck, Anne-Kathrin
5 Turrini, Andrea
4 Amram, Gal
4 Belardinelli, Francesco
4 Bresolin, Davide
4 Della Monica, Dario
4 Dell’Erba, Daniele
4 Ehlers, Rüdiger
4 Fijalkow, Nathanaël
4 Goeminne, Aline
4 Hahn, Ernst Moritz
4 Harrenstein, Paul
4 Jobstmann, Barbara
4 Kuperberg, Denis
4 Kuusisto, Antti
4 Kwiatkowska, Marta Z.
4 Leroux, Stéphane
4 Malvone, Vadim
4 Pradic, Pierre
4 Riba, Colin
4 Rönnholm, Raine
4 Schröder, Lutz
4 Schuppan, Viktor
4 Strichman, Ofer
4 Vardi, Gal
3 Alrajeh, Dalal
3 Belta, Calin A.
3 Cavezza, Davide Giacomo
3 Chebotarev, Anatoli N.
3 Chiari, Michele
3 Colcombet, Thomas
3 Doyen, Laurent
3 Ebrahimi, Masoud
3 Exibard, Léo
3 Fisher, Jasmin
3 Fisman, Dana
3 Gardy, Patrick
3 Goranko, Valentin F.
3 Griggio, Alberto
3 Hague, Matthew
3 Jacobs, Swen
3 Kobayashi, Naoki
3 Könighofer, Robert
3 Lange, Martin
3 Laroussinie, François
3 Larsen, Kim Guldstrand
3 Li, Yong
3 Magnago, Enrico
3 Mandrioli, Dino
3 Maubert, Bastien
3 Meggendorfer, Tobias
3 Menghi, Claudio
3 Najib, Muhammad
3 Naumov, Pavel G.
3 Oualhadj, Youssouf
...and 597 more Authors
all top 5

Cited in 41 Serials

43 Information and Computation
25 Acta Informatica
24 Logical Methods in Computer Science
22 Theoretical Computer Science
19 Formal Methods in System Design
13 Artificial Intelligence
11 ACM Transactions on Computational Logic
7 Discrete Event Dynamic Systems
6 Automatica
6 Journal of Computer and System Sciences
6 Formal Aspects of Computing
5 Information Processing Letters
5 Nonlinear Analysis. Hybrid Systems
3 Cybernetics and Systems Analysis
3 Annals of Mathematics and Artificial Intelligence
3 Journal of Logical and Algebraic Methods in Programming
2 Annals of Pure and Applied Logic
2 Journal of Automated Reasoning
2 The Journal of Artificial Intelligence Research (JAIR)
2 European Journal of Control
2 Computer Languages, Systems & Structures
2 Algorithms
2 Games
2 Computer Science Review
2 Modelirovanie i Analiz Informatsionnykh Sistem
2 TheoretiCS
1 Journal of Philosophical Logic
1 The Journal of Symbolic Logic
1 SIAM Journal on Computing
1 Science of Computer Programming
1 Mathematical Structures in Computer Science
1 Distributed Computing
1 Journal of Logic, Language and Information
1 ACM Transactions on Modeling and Computer Simulation
1 Theory of Computing Systems
1 Journal of the ACM
1 Fundamenta Informaticae
1 The Journal of Logic and Algebraic Programming
1 Theory and Practice of Logic Programming
1 Foundations and Trends in Theoretical Computer Science
1 RAIRO. Theoretical Informatics and Applications
all top 5

Cited in 13 Fields

409 Computer science (68-XX)
174 Mathematical logic and foundations (03-XX)
117 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
36 Systems theory; control (93-XX)
16 Combinatorics (05-XX)
8 Operations research, mathematical programming (90-XX)
7 Biology and other natural sciences (92-XX)
6 Probability theory and stochastic processes (60-XX)
3 Information and communication theory, circuits (94-XX)
2 Measure and integration (28-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Statistics (62-XX)
1 Quantum theory (81-XX)

Citations by Year