Marco B. Caminati
Cited by
Cited by
Nonseparable Werner states in spontaneous parametric down-conversion
M Caminati, F De Martini, R Perris, F Sciarrino, V Secondi
Physical Review A 73 (3), 032312, 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
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
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
Preliminaries to classical first order model theory
M Caminati
Formalized Mathematics 19 (3), 155-167, 2011
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 74 (6), 062304, 2006
Custom automations in Mizar
MB Caminati, G Rosolini
Journal of Automated Reasoning 50, 147-160, 2013
Balancing prescriptions with constraint solvers
JKF Bowles, MB Caminati
Automated Reasoning for Systems Biology and Medicine, 243-267, 2019
An integrated framework for verifying multiple care pathways
J Bowles, MB Caminati, S Cha
2017 International Symposium on Theoretical Aspects of Software Engineering …, 2017
A verified algorithm enumerating event structures
J Bowles, MB Caminati
Intelligent Computer Mathematics: 10th International Conference, CICM 2017 …, 2017
Mind the gap: addressing behavioural inconsistencies with formal methods
JKF Bowles, MB Caminati
2016 23rd Asia-Pacific Software Engineering Conference (APSEC), 313-320, 2016
First order languages: Further syntax and semantics
M Caminati
Formalized Mathematics 19 (3), 179-192, 2011
Correct composition of dephased behavioural models
J Bowles, MB Caminati
Formal Aspects of Component Software: 14th International Conference, FACS …, 2017
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
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
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
Basic first-order model theory in Mizar
MB Caminati
Journal of Formalized Reasoning 3 (1), 49-77, 2010
An integrated approach to a combinatorial optimisation problem
J Bowles, MB Caminati
International Conference on Integrated Formal Methods, 284-302, 2019
A flexible approach for finding optimal paths with minimal conflicts
JKF Bowles, MB Caminati
International Conference on Formal Engineering Methods, 209-225, 2017
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
The system can't perform the operation now. Try again later.
Articles 1–20