Nir Piterman - Concepedia

Author

Nir Piterman

Also Known As

Chatterjee, Krishnendu, Di Stefano, Luca, Krishnendu Chatterjee (496830), N. Piterman, NIR PITERMAN, Nir Piterman, Nir Pitermaný, Nuzzo, Pierluigi, Piterman, Nir

199

Publications

Citations

H-Index

Concepts

All Affiliations

University of Leicester Imperial College London École Polytechnique Fédérale de Lausanne Microsoft Research (United Kingdom)Weizmann Institute of Science

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	19	27	1.7K
2	Medicine	4	4	546
3	Business	3	3	159
4	Social Sciences	2	2	485
5	Language Studies	1	1	13

Nir Piterman

Publications

Citations

H-Index

Page 1

	Year	Citations
Synthesis of Reactive(1) designs Roderick Bloem, Barbara Jobstmann, Nir Piterman, Journal of Computer and System Sciences Architectural DesignIndustrial DesignDesignDesign ThinkingGenerative Design	2011	460
Decoding the regulatory network of early blood development from single-cell gene expression measurements Victoria Moignard, Steven Woodhouse, Laleh Haghverdi, Nature Biotechnology Early Blood DevelopmentDevelopmental BiologyEngineeringSingle Cell SequencingMedicine	2015	418
Strategy logic Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman Information and Computation	2010	195
From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata Nir Piterman Theory Of ComputingRabin AutomatonStreett AutomataDeterministic SystemEngineering	2006	158
From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata Nir Piterman Logical Methods in Computer Science Streett AutomataLogical AutomatonEngineeringAutomated ReasoningParity Acceptance Conditions	2007	129
Specify, Compile, Run: Hardware from PSL Roderick Bloem, Stefan Galler, Barbara Jobstmann, Electronic Notes in Theoretical Computer Science Hardware ModelingEngineeringHardware Verification LanguageComputer ArchitectureSoftware Engineering	2007	123
Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development Jasmin Fisher, Nir Piterman, Alex Hajnal, PLoS Computational Biology Pattern FormationCell LineageSignal TransductionDevelopmental BiologyCell Regulation	2007	100
Computational insights into <i>Caenorhabditis elegans</i> vulval development Jasmin Fisher, Nir Piterman, E. Jane Albert Hubbard, Proceedings of the National Academy of Sciences	2005	99
Faster Solutions of Rabin and Streett Games Nir Piterman, Amir Pnueli Mathematical ProgrammingComputational Complexity TheoryEngineeringCombinatorial GameGame Theory	2006	97
SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data Steven Woodhouse, Nir Piterman, Christoph M. Wintersteiger, BMC Systems Biology	2018	96

Page 1