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
Contact
No contact links provided.
Publications
10 items
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
Fair ω-Regular Games
arXiv.org · 2023
Cited
0
Resume (English only)
Co-authors
44 total
Co-author 1
Co-author 1
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
Co-author 8
Co-author 8