| Model checking and the state explosion problem EM Clarke, W Klieber, M Nováček, P Zuliani LASER Summer School on Software Engineering, 1-30, 2011 | 482 | 2011 |
| A bayesian approach to model checking biological systems SK Jha, EM Clarke, CJ Langmead, A Legay, A Platzer, P Zuliani Computational Methods in Systems Biology: 7th International Conference, CMSB …, 2009 | 315 | 2009 |
| Statistical model checking for cyber-physical systems EM Clarke, P Zuliani International symposium on automated technology for verification and …, 2011 | 233 | 2011 |
| Quantum programming J Sanders, P Zuliani Mathematics of Program Construction, 80-99, 2000 | 209 | 2000 |
| Bayesian statistical model checking with application to simulink/stateflow verification P Zuliani, A Platzer, EM Clarke Proceedings of the 13th ACM international conference on Hybrid systems …, 2010 | 176 | 2010 |
| Bayesian statistical model checking with application to Stateflow/Simulink verification P Zuliani, A Platzer, EM Clarke Formal Methods in System Design 43, 338-367, 2013 | 172 | 2013 |
| Statistical model checking for Markov decision processes D Henriques, J Martins, P Zuliani, A Platzer, EM Clarke QEST 2012: 9th International Conference on Quantitative Evaluation of …, 2012 | 162 | 2012 |
| Pathways to cellular supremacy in biocomputing L Grozinger, M Amos, TE Gorochowski, P Carbonell, DA Oyarzún, R Stoof, ... Nature communications 10 (1), 5250, 2019 | 151 | 2019 |
| Modeling and simulating the noisy behavior of near-term quantum computers K Georgopoulos, C Emary, P Zuliani Physical Review A 104 (6), 062432, 2021 | 111 | 2021 |
| An empirical exploration of the distributions of the Chidamber and Kemerer object-oriented metrics suite G Succi, W Pedrycz, S Djokic, P Zuliani, B Russo Empirical Software Engineering 10 (1), 81-104, 2005 | 107 | 2005 |
| A mechanistic Individual-based Model of microbial communities PG Jayathilake, P Gupta, B Li, C Madsen, O Oyebamiji, ... PloS one 12 (8), e0181965, 2017 | 97 | 2017 |
| Analysis and verification of the HMGB1 signaling pathway H Gong, P Zuliani, A Komuravelli, JR Faeder, EM Clarke BMC bioinformatics 11, 1-13, 2010 | 89 | 2010 |
| Open source software for the public administration GL Kovács, S Drozdik, P Zuliani, G Succi Proceedings of the 6th international workshop on computer science and …, 2004 | 85 | 2004 |
| Statistical verification of probabilistic properties with unbounded until HLS Younes, EM Clarke, P Zuliani Brazilian Symposium on Formal Methods, 144-160, 2010 | 72 | 2010 |
| Probreach: verified probabilistic delta-reachability for stochastic hybrid systems F Shmarov, P Zuliani Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | 69 | 2015 |
| Logical reversibility P Zuliani IBM Journal of Research and Development 45 (6), 807-818, 2001 | 62 | 2001 |
| Quantum programming, DPhil thesis P Zuliani University of Oxford, 2001 | 62 | 2001 |
| NUFEB: A massively parallel simulator for individual-based modelling of microbial communities B Li, D Taniguchi, JP Gedara, V Gogulancea, R Gonzalez-Cabaleiro, ... PLoS Computational Biology 15 (12), e1007125, 2019 | 60 | 2019 |
| Rare-event verification for stochastic hybrid systems P Zuliani, C Baier, EM Clarke Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012 | 54 | 2012 |
| Statistical model checking for biological applications P Zuliani International Journal on Software Tools for Technology Transfer 17, 527-536, 2015 | 43 | 2015 |
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu