| Nonseparable Werner states in spontaneous parametric down-conversion M Caminati, F De Martini, R Perris, F Sciarrino, V Secondi Physical Review A—Atomic, Molecular, and Optical Physics 73 (3), 032312, 2006 | 31 | 2006 |
| Sound auction specification and implementation MB Caminati, M Kerber, C Lange, C Rowat Proceedings of the Sixteenth ACM Conference on Economics and Computation …, 2015 | 24 | 2015 |
| A qualitative comparison of the suitability of four theorem provers for basic auction theory C Lange, MB Caminati, M Kerber, T Mossakowski, C Rowat, M Wenzel, ... International Conference on Intelligent Computer Mathematics, 200-215, 2013 | 18 | 2013 |
| A framework for automated conflict detection and resolution in medical guidelines J Bowles, MB Caminati, S Cha, J Mendoza Science of computer programming 182, 42-63, 2019 | 16 | 2019 |
| Preliminaries to classical first order model theory M Caminati Formalized Mathematics 19 (3), 155-167, 2011 | 15 | 2011 |
| An integrated framework for verifying multiple care pathways J Bowles, MB Caminati, S Cha 2017 International Symposium on Theoretical Aspects of Software Engineering …, 2017 | 12 | 2017 |
| Entanglement, EPR correlations, and mesoscopic quantum superposition by the high-gain quantum injected parametric amplification M Caminati, F De Martini, R Perris, F Sciarrino, V Secondi Physical Review A—Atomic, Molecular, and Optical Physics 74 (6), 062304, 2006 | 11 | 2006 |
| Custom automations in Mizar MB Caminati, G Rosolini Journal of Automated Reasoning 50, 147-160, 2013 | 10 | 2013 |
| A verified algorithm enumerating event structures J Bowles, MB Caminati Intelligent Computer Mathematics: 10th International Conference, CICM 2017 …, 2017 | 9 | 2017 |
| Balancing prescriptions with constraint solvers JKF Bowles, MB Caminati Automated Reasoning for Systems Biology and Medicine, 243-267, 2019 | 8 | 2019 |
| Mind the gap: addressing behavioural inconsistencies with formal methods JKF Bowles, MB Caminati 2016 23rd Asia-Pacific Software Engineering Conference (APSEC), 313-320, 2016 | 8 | 2016 |
| First order languages: Further syntax and semantics M Caminati Formalized Mathematics 19 (3), 179-192, 2011 | 8 | 2011 |
| Vickrey-clarke-groves (vcg) auctions M Caminati, M Kerber, C Lange, C Rowat College Inf. Sci. Technol., Pennsylvania State Univ., State College, PA, USA, 2015 | 7 | 2015 |
| Definition of first order language with arbitrary alphabet. Syntax of terms, atomic formulas and their subterms M Caminati Formalized Mathematics 19 (3), 169-178, 2011 | 7 | 2011 |
| A national initiative in data science for health: an evaluation of the UK Farr Institute H Hemingway, R Lyons, Q Li, I Buchan, J Ainsworth, J Pell, A Morris, ... International Journal of Population Data Science 5 (1), 2020 | 6 | 2020 |
| A flexible approach for finding optimal paths with minimal conflicts JKF Bowles, MB Caminati International Conference on Formal Engineering Methods, 209-225, 2017 | 6 | 2017 |
| Correct composition of dephased behavioural models J Bowles, MB Caminati Formal Aspects of Component Software: 14th International Conference, FACS …, 2017 | 6 | 2017 |
| Basic first-order model theory in Mizar MB Caminati Journal of Formalized Reasoning 3 (1), 49-77, 2010 | 6 | 2010 |
| Proving soundness of combinatorial Vickrey auctions and generating verified executable code MB Caminati, M Kerber, C Lange, C Rowat arXiv preprint arXiv:1308.1779, 2013 | 5 | 2013 |
| Experimental high-gain quantum-injected optical parametric amplification and multiphoton phase-covariant cloning M Caminati, F De Martini, F Sciarrino Laser physics 16, 1551-1556, 2006 | 5 | 2006 |
Manfred KerberUniversity of BirminghamVerified email at cs.bham.ac.uk
