Concepedia

Nir Piterman

NP

42

Publications

3K

Citations

26

H-Index

2003

Active since

Affiliations

University of Leicester(Current)

Imperial College London

École Polytechnique Fédérale de Lausanne

Microsoft Research (United Kingdom)

Weizmann Institute of Science

Nir Piterman is an author at University of Leicester specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSystems EngineeringVerificationAutomated ReasoningComputer EngineeringSoftware DesignAutomation

Publications per year

2003–2021

42

Publications

42

Synthesis of Reactive(1) designs

Roderick Bloem, Barbara Jobstmann, Nir Piterman et al. · Journal of Computer and System Sciences · 2011 · 460 citations

Architectural Design, Industrial Design, Design +5

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

Victoria Moignard, Steven Woodhouse, Laleh Haghverdi et al. · Nature Biotechnology · 2015 · 418 citations · Full text

Early Blood Development, Developmental Biology, Engineering +13

Strategy logic

Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman · Information and Computation · 2010 · 195 citations · Full text

From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata

Nir Piterman · 2006 · 158 citations · Full text

Theory Of Computing, Rabin Automaton, Streett Automata +14

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

Nir Piterman · Logical Methods in Computer Science · 2007 · 129 citations · Full text

Streett Automata, Logical Automaton, Engineering +14

Rows per page

1–5 of 42