Edit Profile (opens in new tab) Zuliani, Paolo Co-Author Distance Author ID: zuliani.paolo Published as: Zuliani, Paolo; Zuliani, P. Documents Indexed: 16 Publications since 2000, including 1 Additional arXiv Preprint Co-Authors: 19 Co-Authors with 11 Joint Publications 584 Co-Co-Authors all top 5 Co-Authors 4 single-authored 6 Clarke, Edmund Melson jun. 2 Platzer, André 2 Shmarov, Fedor 1 Anticoli, Linda 1 Baier, Christel 1 Bartocci, Ezio 1 Faeder, James R. 1 Gao, Sicun 1 Gong, Haijun 1 Grumberg, Orna 1 Komuravelli, Anvesh 1 Lin, Shan 1 Paoletti, Nicola 1 Piazza, Carla 1 Revell, Jeremy 1 Smolka, Scott A. 1 Soudjani, Sadegh 1 Taglialegne, Leonardo 1 Younes, Håkan L. S. Serials 2 Acta Informatica 2 Formal Methods in System Design all top 5 Fields 13 Computer science (68-XX) 5 Quantum theory (81-XX) 3 Statistics (62-XX) 2 Biology and other natural sciences (92-XX) 1 History and biography (01-XX) 1 Probability theory and stochastic processes (60-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 12 Publications have been cited 76 times in 61 Documents Cited by ▼ Year ▼ Quantum programming. Zbl 0963.68037 Sanders, J. W.; Zuliani, P. 19 2000 Statistical model checking for cyber-physical systems. Zbl 1348.68128 Clarke, Edmund M.; Zuliani, Paolo 8 2011 Bayesian statistical model checking with application to Stateflow/Simulink verification. Zbl 1291.68273 Zuliani, Paolo; Platzer, André; Clarke, Edmund M. 8 2013 Bayesian statistical model checking with application to Simulink/Stateflow verification. Zbl 1361.68154 Zuliani, Paolo; Platzer, André; Clarke, Edmund M. 8 2010 ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems. Zbl 1366.68183 Shmarov, Fedor; Zuliani, Paolo 8 2015 Compiling quantum programs. Zbl 1079.68020 Zuliani, Paolo 6 2005 Quantum programming with mixed states. Zbl 1277.68061 Zuliani, Paolo 5 2007 Statistical verification of probabilistic properties with unbounded until. Zbl 1325.68158 Younes, Håkan L. S.; Clarke, Edmund M.; Zuliani, Paolo 4 2011 Computational modeling and verification of signaling pathways in cancer. Zbl 1349.92074 Gong, Haijun; Zuliani, Paolo; Komuravelli, Anvesh; Faeder, James R.; Clarke, Edmund M. 3 2012 Rare-event verification for stochastic hybrid systems. Zbl 1362.68192 Zuliani, Paolo; Baier, Christel; Clarke, Edmund M. 3 2012 Towards quantum programs verification: from Quipper circuits to QPMC. Zbl 1480.81028 Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, Paolo 3 2016 Reasoning about faulty quantum programs. Zbl 1183.68155 Zuliani, Paolo 1 2009 Towards quantum programs verification: from Quipper circuits to QPMC. Zbl 1480.81028 Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, Paolo 3 2016 ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems. Zbl 1366.68183 Shmarov, Fedor; Zuliani, Paolo 8 2015 Bayesian statistical model checking with application to Stateflow/Simulink verification. Zbl 1291.68273 Zuliani, Paolo; Platzer, André; Clarke, Edmund M. 8 2013 Computational modeling and verification of signaling pathways in cancer. Zbl 1349.92074 Gong, Haijun; Zuliani, Paolo; Komuravelli, Anvesh; Faeder, James R.; Clarke, Edmund M. 3 2012 Rare-event verification for stochastic hybrid systems. Zbl 1362.68192 Zuliani, Paolo; Baier, Christel; Clarke, Edmund M. 3 2012 Statistical model checking for cyber-physical systems. Zbl 1348.68128 Clarke, Edmund M.; Zuliani, Paolo 8 2011 Statistical verification of probabilistic properties with unbounded until. Zbl 1325.68158 Younes, Håkan L. S.; Clarke, Edmund M.; Zuliani, Paolo 4 2011 Bayesian statistical model checking with application to Simulink/Stateflow verification. Zbl 1361.68154 Zuliani, Paolo; Platzer, André; Clarke, Edmund M. 8 2010 Reasoning about faulty quantum programs. Zbl 1183.68155 Zuliani, Paolo 1 2009 Quantum programming with mixed states. Zbl 1277.68061 Zuliani, Paolo 5 2007 Compiling quantum programs. Zbl 1079.68020 Zuliani, Paolo 6 2005 Quantum programming. Zbl 0963.68037 Sanders, J. W.; Zuliani, P. 19 2000 all cited Publications top 5 cited Publications all top 5 Cited by 143 Authors 6 Ying, Mingsheng 5 Legay, Axel 4 Abate, Alessandro 4 Feng, Yuan 4 Zuliani, Paolo 3 Duan, Runyao 3 Falaschi, Moreno 3 Hermith, Diana 3 Mancini, Toni 3 Mari, Federico 3 Massini, Annalisa 3 Melatti, Igor 3 Soudjani, Sadegh 3 Tronci, Enrico 2 Chiarugi, Davide 2 Cordy, Maxime 2 Haesaert, Sofie 2 Ji, Zhengfeng 2 Kwiatkowska, Marta Z. 2 Milios, Dimitrios 2 Oishi, Meeko M. K. 2 Olarte, Carlos 2 Papadakis, Mike 2 Piazza, Carla 2 Platzer, André 2 Romanello, Riccardo 2 Sanguinetti, Guido 2 Thorpe, Adam J. 2 Zamani, Majid 1 Ali, Hesham A. 1 Ameen, El-Mahdy M. 1 Amy, Matthew 1 Badawy, Mahmoud 1 Badings, Thom S. 1 Baier, Christel 1 Banach, Richard 1 Bernini, Andrea 1 Biondi, Fabrizio 1 Bøgsted Poulsen, Danny 1 Bortolussi, Luca 1 Brim, Luboš 1 Brodo, Linda 1 Češka, Milan 1 Chang, Zhengwei 1 Chen, Jianxin 1 Chen, Taolue 1 Chraibi, Hassane 1 Clarke, Edmund Melson jun. 1 Daca, Przemysław 1 David, Alexandre 1 Degano, Pierpaolo 1 Della Giustina, D. 1 Diciolla, Marco 1 Du Bois, André Rauber 1 Dullerud, Geir E. 1 Dutfoy, Anne 1 Feitosa, Samuel S. 1 Felty, Amy P. 1 Fiadeiro, José Luiz 1 Galtier, Thomas 1 Garnier, Josselin 1 Gielerak, Roman 1 Ginis, Kyriakos G. 1 Goldsztejn, Alexandre 1 Groote, Jan Friso 1 Grosu, Radu 1 Guo, Wensheng 1 Hasanbeig, Hosein 1 Hehner, Eric C. R. 1 Henzinger, Thomas A. 1 Ishii, Daisuke 1 Jansen, Nils 1 Jegourel, Cyrille 1 Kawamoto, Yusuke 1 Koutsoukos, Xenofon D. 1 Křetínský, Jan 1 Kröning, Daniel 1 Lal, Ratan 1 Lampis, Michael 1 Larsen, Kim Guldstrand 1 Lavaei, Abolfazl 1 Lazreg, Sami 1 Li, Yangjia 1 Litvintseva, L. V. 1 Londero, C. 1 Lopes, Antónia 1 Mahmoud, Mohamed Yousri 1 Mereacre, Alexandru 1 Mikucionis, Marius 1 Mousavi, Mohammadreza 1 Neubauer, Sophie A. 1 Nimbe, Peter 1 Ortiz, Kendric R. 1 Papakyriakou, Michalis A. 1 Papaspyrou, Nikolaos S. 1 Pavlović, Duško 1 Perdrix, Simon 1 Petrov, Tatjana 1 Piveta, Eduardo Kessler 1 Poonawala, Hasan A. ...and 43 more Authors all top 5 Cited in 19 Serials 4 Acta Informatica 4 Automatica 4 Theoretical Computer Science 4 Information and Computation 4 Formal Aspects of Computing 3 Formal Methods in System Design 3 Journal of Logical and Algebraic Methods in Programming 2 International Journal of Theoretical Physics 2 Information Processing Letters 1 Artificial Intelligence 1 New Generation Computing 1 Journal of Computer and Systems Sciences International 1 The Journal of Artificial Intelligence Research (JAIR) 1 European Journal of Control 1 European Series in Applied and Industrial Mathematics (ESAIM): Probability and Statistics 1 Journal of Applied Mathematics 1 Natural Computing 1 Quantum Information Processing 1 ACM Transactions on Computational Logic all top 5 Cited in 14 Fields 50 Computer science (68-XX) 18 Quantum theory (81-XX) 11 Systems theory; control (93-XX) 9 Mathematical logic and foundations (03-XX) 6 Statistics (62-XX) 5 Probability theory and stochastic processes (60-XX) 5 Biology and other natural sciences (92-XX) 4 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Measure and integration (28-XX) 1 Special functions (33-XX) 1 Functional analysis (46-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year