Nir Piterman

发表

Nir Piterman, 2017, International Journal on Software Tools for Technology Transfer.

Nir Piterman, Jasmin Fisher, Antje Beyer, 2012, Advances in experimental medicine and biology.

David Harel, Nir Piterman, Jasmin Fisher, 2005, Proceedings of the National Academy of Sciences of the United States of America.

Fabian J Theis, J. Fisher, B. Göttgens, 2015, Nature Biotechnology.

Amir Pnueli, Nir Piterman, Roderick Bloem, 2007, COCV@ETAPS.

Amir Pnueli, Nir Piterman, Roderick Bloem, 2006, J. Comput. Syst. Sci..

Sebastián Uchitel, Nicolás D'Ippolito, Nir Piterman, 2013, TSEM.

Amir Pnueli, Nir Piterman, Uri Klein, 2012, VMCAI.

Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2007, Formal Methods Syst. Des..

Stefan J. Galler, A. Pnueli, R. Bloem, 2007, Design, Automation and Test in Europe.

Thomas A. Henzinger, Nir Piterman, T. Henzinger, 2006, CSL.

Amir Pnueli, Nir Piterman, A. Pnueli, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).

Berthold Göttgens, Nir Piterman, Jasmin Fisher, 2018, BMC Systems Biology.

Berthold Göttgens, Nir Piterman, Jasmin Fisher, 2016, BMC Bioinformatics.

Nir Piterman, Jasmin Fisher, Rastislav Bodik, 2014, Front. Bioeng. Biotechnol..

Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2006, CAV.

Nir Piterman, N. Piterman, Nir Piterman, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).

Moshe Y. Vardi, Nir Piterman, N. Piterman, 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..

Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2010, Essays in Memory of Amir Pnueli.

Samin Ishtiaq, Moshe Y. Vardi, Nir Piterman, 2015, Scientific Reports.

Nir Piterman, Gerardo Schneider, Shaun Azzopardi, 2021, ATVA.

Matthew A. Clarke, J. Fisher, N. Piterman, 2019, Proceedings of the National Academy of Sciences.

Nir Piterman, Benjamin A. Hall, Jasmin Fisher, 2018, Automated Reasoning for Systems Biology and Medicine.

J. Fisher, N. Piterman, A. Hajnal, 2015, Biophysical journal.

Thomas A. Henzinger, Nir Piterman, Jasmin Fisher, 2007, PLoS Comput. Biol..

J. Fisher, I. Rimann, Magdalene Adamczyk, 2012, Molecular systems biology.

Nir Piterman, Byron Cook, Heidy Khlaaf, 2017, J. ACM.

Nir Piterman, Byron Cook, Heidy Khlaaf, 2015, CAV.

Alex S. Taylor, Samin Ishtiaq, Nir Piterman, 2013, CHI.

Nir Piterman, Jasmin Fisher, J. Fisher, 2014 .

Moshe Y. Vardi, Nir Piterman, N. Piterman, 2003, Theor. Comput. Sci..

Michael Huth, Nir Piterman, Jim Huan-Pu Kuo, 2015, Semantics, Logics, and Calculi.

David Harel, Nir Piterman, Jasmin Fisher, 2005 .

Orna Grumberg, Moshe Y. Vardi, Roy Armoni, 2003, CAV.

Michael Huth, Nir Piterman, Jim Huan-Pu Kuo, 2014, ArXiv.

M. Huth, Daniel Wagner, Yuyan Jiang, 2010, 2010 Seventh International Conference on the Quantitative Evaluation of Systems.

Amir Pnueli, Nir Piterman, A. Pnueli, 2018, Handbook of Model Checking.

Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2002, CAV.

Perdita Stevens, Joost P. Katoen, G. Behrmann, 2006 .

Moshe Y. Vardi, J. Fisher, Nir Piterman, 2011, FM.

Moshe Y. Vardi, Nir Piterman, Jasmin Fisher, 2012 .

Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman, 2007, Inf. Comput..

Garvit Juniwal, Samin Ishtiaq, Nir Piterman, 2014, CAV.

Alex S. Taylor, J. Fisher, N. Piterman, 2014 .

Michael Huth, Daniel Wagner, Nir Piterman, 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.

Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman, 2008, ArXiv.

J. Fisher, B. Göttgens, S. Woodhouse, 2016, BMC Bioinformatics.

J. Fisher, Nir Piterman, Rastislav Bodík, 2014, Front. Bioeng. Biotechnol..

Nir Piterman, Jasmin Fisher, Byron Cook, 2011, VMCAI.

J. Fisher, M. Hengartner, A. Hajnal, 2012, Advances in experimental medicine and biology.

Orna Kupferman, Moshe Y. Vardi, Nir Piterman, 2001, CONCUR.