2026 Nir Piterman: Engineering and Technology Researcher – H-Index, Publications & Awards

D-Index & Metrics

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Engineering and Technology	39	7673	7404	71	68	170	6453

Discipline name

D-Index

World Ranking

Current World Ranking

National Ranking

Current National Ranking

Publications

Citations

Engineering and Technology

7673

7404

170

6453

Engineering and Technology

D-Index

Citations

6453

World Ranking

7673

National Ranking

Overview

Nir Piterman is affiliated with the University of Gothenburg in Sweden. Their research primarily spans the field of Computer Science, with a considerable focus on Computational Theory and Mathematics, as well as Artificial Intelligence. Additional subfields of interest include Computer Networks and Communications, Software, and Hardware and Architecture.

Their work covers numerous topics related to formal verification and system modeling. Main areas of study include:

Formal Methods in Verification
Logic, programming, and type systems
Petri Nets in System Modeling
Modular Robots and Swarm Intelligence
Embedded Systems Design Techniques
Service-Oriented Architecture and Web Services
Distributed systems and fault tolerance

Recent published papers associated with their research include:

Modelling and verification of reconfigurable multi-agent systems (2021), published in Europe PMC (PubMed Central)
Language support for verifying reconfigurable interacting systems (2023), published in International Journal on Software Tools for Technology Transfer
Control and Discovery of Environment Behaviour (2020), published in IEEE Transactions on Software Engineering
Software artifact for "Full LTL Synthesis over Infinite-state Arenas" (2025), published in arXiv (Cornell University)
A workbench for preprocessor design and evaluation: toward benchmarks for parity games (2024), published by Technische Universität Berlin - Universitätsbibliothek

Frequent coauthors collaborating with Nir Piterman include:

Yehia Abd Alrahman
Shaun Azzopardi
Daniel Hausmann
Gerardo Schneider
Mathieu Lehaut

Their publications appear regularly in certain venues, with the following venues hosting multiple contributions:

arXiv (Cornell University)
Europe PMC (PubMed Central)
International Journal on Software Tools for Technology Transfer
IEEE Transactions on Software Engineering
Technische Universität Berlin - Universitätsbibliothek

Best Publications

Synthesis of reactive(1) designs

Nir Piterman;Amir Pnueli;Yaniv Sa'ar

718
Citations
Synthesis of Reactive(1) designs

Roderick Bloem;Barbara Jobstmann;Nir Piterman;Amir Pnueli

519
Citations
From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata

Nir Piterman

510
Citations
Decoding the regulatory network of early blood development from single-cell gene expression measurements

Victoria Moignard;Steven Woodhouse;Laleh Haghverdi;Andrew J Lilly

444
Citations
Strategy logic

Krishnendu Chatterjee;Thomas A. Henzinger;Nir Piterman

390
Citations
Safraless compositional synthesis

Orna Kupferman;Nir Piterman;Moshe Y. Vardi

185
Citations
Specify, Compile, Run: Hardware from PSL

Roderick Bloem;Stefan Galler;Barbara Jobstmann;Nir Piterman

163
Citations
Automatic Hardware Synthesis from Specifications: A Case Study

R. Bloem;S. Galler;B. Jobstmann;N. Piterman

149
Citations
From Nondeterministic B"uchi and Streett Automata to Deterministic Parity Automata

Nir Piterman

143
Citations
Solving games without determinization

Thomas A. Henzinger;Nir Piterman

134
Citations
Computational insights into Caenorhabditis elegans vulval development

Jasmin Fisher;Nir Piterman;E. Jane Albert Hubbard;Michael J. Stern

126
Citations
Faster Solutions of Rabin and Streett Games

N. Piterman;A. Pnueli

123
Citations
Predictive modeling of signaling crosstalk during C. elegans vulval development.

Jasmin Fisher;Nir Piterman;Alex Hajnal;Thomas A Henzinger;Thomas A Henzinger

122
Citations
Enhanced vacuity detection in linear temporal logic

Roy Armoni;Limor Fix;Alon Flaisher;Orna Grumberg

118
Citations
Bridging the gap between fair simulation and trace inclusion

Yonit Kesten;Nir Piterman;Amir Pnueli

109
Citations
Interactive presentation: Automatic hardware synthesis from specifications: a case study

Roderick Bloem;Stefan Galler;Barbara Jobstmann;Nir Piterman

109
Citations
From liveness to promptness

Orna Kupferman;Nir Piterman;Moshe Y. Vardi

106
Citations
Synthesizing nonanomalous event-based controllers for liveness goals

Nicolás D'ippolito;Victor Braberman;Nir Piterman;Sebastián Uchitel

100
Citations
SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data.

Steven Woodhouse;Nir Piterman;Christoph M. Wintersteiger;Berthold Göttgens

92
Citations
BTR: training asynchronous Boolean models using single-cell expression data.

Chee Yee Lim;Huange Wang;Steven Woodhouse;Nir Piterman

81
Citations
Synthesis of live behaviour models

Nicolás Roque D'Ippolito;Victor Braberman;Nir Piterman;Sebastián Uchitel

77
Citations
Extended Temporal Logic Revisited

Orna Kupferman;Nir Piterman;Moshe Y. Vardi

76
Citations
Generalized parity games

Krishnendu Chatterjee;Thomas A. Henzinger;Nir Piterman

76
Citations
Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals

N. D'Ippolito;V. Braberman;N. Piterman;S. Uchitel

11
Citations