N. Piterman
发表
Fabian J Theis,
J. Fisher,
B. Göttgens,
2015,
Nature Biotechnology.
Amir Pnueli,
Nir Piterman,
Yaniv Sa'ar,
2006,
VMCAI.
J. Fisher,
N. Piterman,
S. Nusser-Stein,
2012,
Molecular systems biology.
Samin Ishtiaq,
Moshe Y. Vardi,
Nir Piterman,
2015,
Scientific Reports.
K. Chatterjee,
N. Piterman,
2018
.
M. Huth,
N. Piterman,
Daniel Wagner,
2009
.
Nir Piterman,
Jasmin Fisher,
J. Fisher,
2010,
Briefings in functional genomics.
Thomas A. Henzinger,
Nir Piterman,
Jasmin Fisher,
2007
.
Alex S. Taylor,
J. Fisher,
N. Piterman,
2014
.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Nir Piterman,
2007,
Inf. Comput..
A. Pnueli,
N. Piterman,
L. Zuck,
2006
.
O. Kupferman,
N. Piterman,
Universal Co-B,
2009
.
Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning (Extended Abstract)
Nir Piterman,
Oksana Tkachuk,
Claudia Cauli,
2021,
Description Logics.
Alex S. Taylor,
Samin Ishtiaq,
Moshe Y. Vardi,
2012
.
R. Bodík,
J. Fisher,
N. Piterman,
2013,
POPL.
Matthew A. Clarke,
J. Fisher,
N. Piterman,
2019,
Proceedings of the National Academy of Sciences.
J. Fisher,
N. Piterman,
A. Hajnal,
2015,
Biophysical journal.
N. Piterman,
D. Hausmann,
2022,
ArXiv.
Moshe Y. Vardi,
Nir Piterman,
N. Piterman,
2003,
Theor. Comput. Sci..
T. Henzinger,
K. Chatterjee,
N. Piterman,
2007,
Inf. Comput..
N. Piterman,
D. Hausmann,
2022,
ArXiv.
David Harel,
Nir Piterman,
Jasmin Fisher,
2005
.
Nir Piterman,
Jasmin Fisher,
Antje Beyer,
2012
.
Berthold Göttgens,
Nir Piterman,
Jasmin Fisher,
2018,
BMC Systems Biology.
Berthold Göttgens,
Nir Piterman,
Jasmin Fisher,
2016,
BMC Bioinformatics.
Nir Piterman,
Benjamin A. Hall,
Jasmin Fisher,
2018,
Automated Reasoning for Systems Biology and Medicine.
David Harel,
Nir Piterman,
Jasmin Fisher,
2005,
Proceedings of the National Academy of Sciences of the United States of America.
Thomas A. Henzinger,
Nir Piterman,
Jasmin Fisher,
2007,
PLoS Comput. Biol..
Amir Pnueli,
Nir Piterman,
A. Pnueli,
2018,
Handbook of Model Checking.
Koen Claessen,
Samin Ishtiaq,
Qinsi Wang,
2013,
CAV.
Nir Piterman,
David Shorthouse,
Jasmin Fisher,
2018,
Integrative biology : quantitative biosciences from nano to macro.
Nir Piterman,
Benjamin A. Hall,
David Shorthouse,
2018,
bioRxiv.
Moshe Y. Vardi,
Nir Piterman,
Jasmin Fisher,
2012
.
Moshe Y. Vardi,
Nir Piterman,
Jasmin Fisher,
2011,
FM.
Moshe Y. Vardi,
Nir Piterman,
N. Piterman,
2003,
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Krishnendu Chatterjee,
Nir Piterman,
K. Chatterjee,
2012,
The Journal of Symbolic Logic.
Scott A. Smolka,
Nir Piterman,
N. Piterman,
2013,
Lecture Notes in Computer Science.
Michael Huth,
Daniel Wagner,
Nir Piterman,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Michael Huth,
Daniel Wagner,
Nir Piterman,
2010,
Perform. Evaluation.
Michael Huth,
Daniel Wagner,
Nir Piterman,
2009,
FCT.
Michael Huth,
Daniel Wagner,
Nir Piterman,
2008,
2008 Fifth International Conference on Quantitative Evaluation of Systems.
Nir Piterman,
Alexey Bakhirkin,
N. Piterman,
2016,
TACAS.
A dynamic physical model of cell migration, differentiation and apoptosis in Caenorhabditis elegans.
Nir Piterman,
Jasmin Fisher,
Antje Beyer,
2012,
Advances in experimental medicine and biology.
Garvit Juniwal,
Samin Ishtiaq,
Nir Piterman,
2014,
CAV.
Krishnendu Chatterjee,
Nir Piterman,
K. Chatterjee,
2018,
CONCUR.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Nir Piterman,
2007,
FoSSaCS.
Yehia Abd Alrahman,
N. Piterman,
Giuseppe Perelli,
2019,
AAMAS.
Dejan Nickovic,
Thomas A. Henzinger,
Moshe Y. Vardi,
2011,
CONCUR.
Amir Pnueli,
Nir Piterman,
Roderick Bloem,
2006,
J. Comput. Syst. Sci..
N. Piterman,
Mathieu Lehaut,
D. Hausmann,
2023,
ArXiv.
Orna Kupferman,
Moshe Y. Vardi,
Nir Piterman,
2002,
CAV.
Nir Piterman,
Jasmin Fisher,
Byron Cook,
2011,
VMCAI.
Thomas A. Henzinger,
Nir Piterman,
T. Henzinger,
2006,
CSL.
Nir Piterman,
Sudeep Juvekar,
N. Piterman,
2006,
CAV.
Moshe Y. Vardi,
Roy Armoni,
Nir Piterman,
2005,
BMC@CAV.
Orna Kupferman,
Moshe Y. Vardi,
Nir Piterman,
2000,
Verification: Theory and Practice.
Nir Piterman,
Alexey Bakhirkin,
Josh Berdine,
2014,
SAS.
Yehia Abd Alrahman,
N. Piterman,
2021,
Auton. Agents Multi Agent Syst..
Ali Sinan Köksal,
Nir Piterman,
Jasmin Fisher,
2015,
CAV.
Orna Kupferman,
Moshe Y. Vardi,
Nir Piterman,
2001,
CONCUR.
Nir Piterman,
Yehia Abd Alrahman,
Shaun Azzopardi,
2022,
AAMAS.
Sebastián Uchitel,
Nicolás D'Ippolito,
Nir Piterman,
2013,
TSEM.
Moshe Y. Vardi,
Nir Piterman,
N. Piterman,
2003,
Theor. Comput. Sci..
Nir Piterman,
Byron Cook,
Heidy Khlaaf,
2017,
J. ACM.
Dejan Nickovic,
Nir Piterman,
N. Piterman,
2010,
FORMATS.
Orna Kupferman,
Nir Piterman,
O. Kupferman,
2009,
FoSSaCS.
Orna Kupferman,
Moshe Y. Vardi,
Nir Piterman,
2007,
Formal Methods Syst. Des..
Orna Grumberg,
Moshe Y. Vardi,
Roy Armoni,
2003,
CAV.
Moshe Y. Vardi,
O. Kupferman,
N. Piterman,
2002,
LPAR.
Orna Kupferman,
Moshe Y. Vardi,
Nir Piterman,
2010,
Essays in Memory of Amir Pnueli.
Alex S. Taylor,
Samin Ishtiaq,
Moshe Y. Vardi,
2012,
CAV.
Sebastián Uchitel,
Nicolás D'Ippolito,
Nir Piterman,
2010,
FSE '10.
Nir Piterman,
N. Piterman,
Nir Piterman,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Rastislav Bodík,
Ali Sinan Köksal,
Nir Piterman,
2013,
POPL.
Nir Piterman,
Byron Cook,
Heidy Khlaaf,
2015,
CAV.
Nir Piterman,
Claudia Cauli,
N. Piterman,
2017,
CIAA.
Nir Piterman,
N. Piterman,
2011,
2011 Eighteenth International Symposium on Temporal Representation and Reasoning.
Patrice Godefroid,
Nir Piterman,
Patrice Godefroid,
2008,
International Journal on Software Tools for Technology Transfer.
Orna Kupferman,
Moshe Y. Vardi,
Nir Piterman,
2006,
CAV.
Thomas A. Henzinger,
Nir Piterman,
Jasmin Fisher,
2008,
FMSB.
Alex S. Taylor,
Samin Ishtiaq,
Nir Piterman,
2013,
CHI.
Amir Pnueli,
Lenore D. Zuck,
Nir Piterman,
2006
.
Nir Piterman,
Manuela L. Bujorianu,
N. Piterman,
2015,
CyPhy.
Yehia Abd Alrahman,
N. Piterman,
2023,
ArXiv.
Magdalena Ortiz,
N. Piterman,
Claudia Cauli,
2022,
IJCAR.
Nir Piterman,
Victor Braberman,
Yehia Abd Alrahman,
2020,
2021 American Control Conference (ACC).
Rupak Majumdar,
Nir Piterman,
Anne-Kathrin Schmuck,
2019,
TACAS.
Yehia Abd Alrahman,
N. Piterman,
M. Martel,
2022,
ICTAC.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Nir Piterman,
2008,
ArXiv.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Nir Piterman,
2008
.
Amir Pnueli,
Nir Piterman,
A. Pnueli,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Sebastián Uchitel,
Nicolás D'Ippolito,
Nir Piterman,
2016,
IEEE Transactions on Software Engineering.
Sebastián Uchitel,
Nicolás D'Ippolito,
Nir Piterman,
2011,
2011 33rd International Conference on Software Engineering (ICSE).