World's Best Scientists 2026 revealed!

D-Index & Metrics

Engineering and Technology

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

Nir Piterman publication distribution in Engineering and Technology in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Engineering and Technology in 2026. The highlighted bar marks where Nir Piterman sits on this spectrum.

38–47 publications: 20 scientists 48–57 publications: 35 scientists 58–67 publications: 96 scientists 68–77 publications: 135 scientists 78–87 publications: 190 scientists 88–97 publications: 259 scientists 98–107 publications: 283 scientists 108–117 publications: 369 scientists 118–127 publications: 341 scientists 128–137 publications: 386 scientists 138–147 publications: 372 scientists 148–157 publications: 457 scientists 158–167 publications: 415 scientists 168–177 publications: 407 scientists 178–187 publications: 421 scientists 188–197 publications: 378 scientists 198–207 publications: 403 scientists 208–217 publications: 317 scientists 218–227 publications: 346 scientists 228–237 publications: 321 scientists 238–247 publications: 260 scientists 248–257 publications: 280 scientists 258–267 publications: 240 scientists 268–277 publications: 214 scientists 278–287 publications: 242 scientists 288–297 publications: 203 scientists 298–307 publications: 166 scientists 308–317 publications: 154 scientists 318–327 publications: 175 scientists 328–337 publications: 159 scientists 338–347 publications: 99 scientists 348–357 publications: 131 scientists 358–367 publications: 106 scientists 368–377 publications: 118 scientists 378–387 publications: 97 scientists 388–397 publications: 108 scientists 398–407 publications: 82 scientists 408–417 publications: 71 scientists 418–427 publications: 64 scientists 428–437 publications: 55 scientists 438–447 publications: 54 scientists 448–457 publications: 60 scientists 458–467 publications: 47 scientists 468–477 publications: 40 scientists 478–487 publications: 30 scientists 488–497 publications: 29 scientists 498–507 publications: 38 scientists 508–517 publications: 40 scientists 518–527 publications: 32 scientists 528–537 publications: 23 scientists 538–547 publications: 28 scientists 548–557 publications: 23 scientists 558–567 publications: 19 scientists 568–577 publications: 16 scientists 578–587 publications: 17 scientists 588–597 publications: 18 scientists 598–607 publications: 22 scientists 608–617 publications: 15 scientists 618–627 publications: 9 scientists 628–637 publications: 11 scientists 638–647 publications: 21 scientists 648–657 publications: 12 scientists 658–667 publications: 9 scientists 668–677 publications: 11 scientists 678–687 publications: 9 scientists 688–697 publications: 6 scientists 698–707 publications: 14 scientists 708–717 publications: 7 scientists 718–727 publications: 8 scientists 728–737 publications: 10 scientists 738–747 publications: 9 scientists 748–757 publications: 5 scientists 758–767 publications: 5 scientists 768–777 publications: 11 scientists 778–787 publications: 7 scientists 788–797 publications: 2 scientists 798–803 publications: 4 scientists 804+ publications: 100 scientists
38 publications 804+

This scientist: 170 publications — 36th percentile

36% of scientists in this discipline score the same or lower.

The last bar groups every scientist with 804 publications or more.

Nir Piterman D-index placement in Engineering and Technology in 2026

The chart shows the D-index (discipline H-index) distribution of Engineering and Technology scientists ranked by Research.com in 2026. The highlighted bar marks where Nir Piterman sits on this spectrum.

30 D-Index: 59 scientists 31 D-Index: 114 scientists 32 D-Index: 129 scientists 33 D-Index: 189 scientists 34 D-Index: 200 scientists 35 D-Index: 262 scientists 36 D-Index: 311 scientists 37 D-Index: 312 scientists 38 D-Index: 350 scientists 39 D-Index: 385 scientists 40 D-Index: 348 scientists 41 D-Index: 362 scientists 42 D-Index: 426 scientists 43 D-Index: 380 scientists 44 D-Index: 310 scientists 45 D-Index: 341 scientists 46 D-Index: 301 scientists 47 D-Index: 306 scientists 48 D-Index: 271 scientists 49 D-Index: 246 scientists 50 D-Index: 210 scientists 51 D-Index: 253 scientists 52 D-Index: 213 scientists 53 D-Index: 221 scientists 54 D-Index: 195 scientists 55 D-Index: 186 scientists 56 D-Index: 170 scientists 57 D-Index: 167 scientists 58 D-Index: 166 scientists 59 D-Index: 144 scientists 60 D-Index: 152 scientists 61 D-Index: 141 scientists 62 D-Index: 138 scientists 63 D-Index: 131 scientists 64 D-Index: 118 scientists 65 D-Index: 114 scientists 66 D-Index: 119 scientists 67 D-Index: 95 scientists 68 D-Index: 87 scientists 69 D-Index: 77 scientists 70 D-Index: 89 scientists 71 D-Index: 69 scientists 72 D-Index: 54 scientists 73 D-Index: 46 scientists 74 D-Index: 55 scientists 75 D-Index: 54 scientists 76 D-Index: 49 scientists 77 D-Index: 53 scientists 78 D-Index: 46 scientists 79 D-Index: 28 scientists 80 D-Index: 39 scientists 81 D-Index: 36 scientists 82 D-Index: 24 scientists 83 D-Index: 26 scientists 84 D-Index: 36 scientists 85 D-Index: 18 scientists 86 D-Index: 25 scientists 87 D-Index: 19 scientists 88 D-Index: 26 scientists 89 D-Index: 27 scientists 90 D-Index: 23 scientists 91 D-Index: 15 scientists 92 D-Index: 12 scientists 93 D-Index: 9 scientists 94 D-Index: 15 scientists 95 D-Index: 10 scientists 96 D-Index: 13 scientists 97 D-Index: 13 scientists 98 D-Index: 9 scientists 99 D-Index: 7 scientists 100 D-Index: 7 scientists 101 D-Index: 8 scientists 102 D-Index: 7 scientists 103 D-Index: 7 scientists 104 D-Index: 9 scientists 105 D-Index: 6 scientists 106 D-Index: 9 scientists 107+ D-Index: 99 scientists
30 D-Index 107+

This scientist: 39 D-Index — 24th percentile

24% of scientists in this discipline score the same or lower.

The last bar groups every scientist with 107 D-Index or more.

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

Recently Published Articles