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
7 items
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
Full LTL Synthesis over Infinite-state Arenas
2023
Cited
1
Adding Reconfiguration to Zielonka's Asynchronous Automata
Electronic Proceedings in Theoretical Computer Science · 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
Co-author 4
Co-author 4
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