Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Nir Piterman

Decoding the Regulatory Network of Early Blood Development From Single-Cell Gene Expression Measurements

Nature Biotechnology
Applied MicrobiologyBiotechnologyBiomedical EngineeringMolecular MedicineBioengineering
2015English

Environmentally-Friendly GR(1) Synthesis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Bringing LTL Model Checking to Biologists

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Backward Analysis via Over-Approximate Abstraction and Under-Approximate Subtraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Bridging the Gap Between Fair Simulation and Trace Inclusion

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2005English

Global Model-Checking of Infinite-State Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Liveness With Invisible Ranking

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2006English

From Liveness to Promptness

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy