World's Best Scientists 2026 revealed!

D-Index & Metrics

Engineering and Technology

D-Index
39
Citations
6453
World Ranking
7673
National Ranking
71

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

  • Synthesis of Reactive(1) designs

    Roderick Bloem;Barbara Jobstmann;Nir Piterman;Amir Pnueli

  • From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata

    Nir Piterman

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

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

  • Strategy logic

    Krishnendu Chatterjee;Thomas A. Henzinger;Nir Piterman

  • Safraless compositional synthesis

    Orna Kupferman;Nir Piterman;Moshe Y. Vardi

  • Specify, Compile, Run: Hardware from PSL

    Roderick Bloem;Stefan Galler;Barbara Jobstmann;Nir Piterman

  • Automatic Hardware Synthesis from Specifications: A Case Study

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

  • From Nondeterministic B"uchi and Streett Automata to Deterministic Parity Automata

    Nir Piterman

  • Solving games without determinization

    Thomas A. Henzinger;Nir Piterman

  • Computational insights into Caenorhabditis elegans vulval development

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

  • Faster Solutions of Rabin and Streett Games

    N. Piterman;A. Pnueli

  • Predictive modeling of signaling crosstalk during C. elegans vulval development.

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

  • Enhanced vacuity detection in linear temporal logic

    Roy Armoni;Limor Fix;Alon Flaisher;Orna Grumberg

  • Bridging the gap between fair simulation and trace inclusion

    Yonit Kesten;Nir Piterman;Amir Pnueli

  • Interactive presentation: Automatic hardware synthesis from specifications: a case study

    Roderick Bloem;Stefan Galler;Barbara Jobstmann;Nir Piterman

  • From liveness to promptness

    Orna Kupferman;Nir Piterman;Moshe Y. Vardi

  • Synthesizing nonanomalous event-based controllers for liveness goals

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

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

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

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

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

  • Synthesis of live behaviour models

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

  • Extended Temporal Logic Revisited

    Orna Kupferman;Nir Piterman;Moshe Y. Vardi

  • Generalized parity games

    Krishnendu Chatterjee;Thomas A. Henzinger;Nir Piterman

  • Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals

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

Frequent Co-Authors

Moshe Y. Vardi
Moshe Y. Vardi Rice University
Amir Pnueli
Amir Pnueli Weizmann Institute of Science
Byron Cook
Byron Cook Amazon (United States)
Sebastian Uchitel
Sebastian Uchitel University of Buenos Aires
Orna Kupferman
Orna Kupferman Hebrew University of Jerusalem
Thomas A. Henzinger
Thomas A. Henzinger Institute of Science and Technology Austria
Krishnendu Chatterjee
Krishnendu Chatterjee Institute of Science and Technology Austria
Berthold Göttgens
Berthold Göttgens University of Cambridge
Lenore D. Zuck
Lenore D. Zuck University of Illinois at Chicago
Roderick Bloem
Roderick Bloem Graz University of Technology

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Best Scientists Citing Nir Piterman

Trending Scientists