Nir Piterman
Scholar

Nir Piterman

Google Scholar ID: I8vnLTgAAAAJ
Professor in Computer Science, University of Gothenburg and Chalmers University of Technolog, Sweden
VerificationAutomataLogicGamesExecutable Biology
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,438
 
H-index
24
 
i10-index
42
 
Publications
20
 
Co-authors
44
list available
Publications
11 items
Solving Streett and Emerson-Lei Games with Universal Trees
2026
Cited
0
sweap: Reactive Synthesis for Infinite-State Integer Problems
2026
Cited
0
Fast Obligation Translation and Synthesis
2026
Cited
0
Symbolic Synthesis for LTLf+ Obligations
2026
Cited
0
From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
2026
Cited
0
Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis
2025
Cited
0
Engineering an LTLf Synthesis Tool
2025
Cited
0
On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem
2025
Cited
0
Co-authors
11 total
Moshe Y. Vardi
Moshe Y. Vardi
Rice University
Thomas Henzinger
Thomas Henzinger
IST Austria
Byron Cook
Byron Cook
Professor of Computer Science, UCL, Amazon
Krishnendu Chatterjee
Krishnendu Chatterjee
Professor, IST Austria
Orna Kupferman
Orna Kupferman
Professor of Computer Science, The Hebrew University
Sebastian Uchitel
Sebastian Uchitel
Universidad de Buenos Aires and Imperial College London
Yehia Abd Alrahman
Yehia Abd Alrahman
Associate Professor in Computing, University of Gothenburg and Chalmers University of Technology
Roderick Bloem
Roderick Bloem
Graz University of Technology