Follow
Marco B. Caminati
Title
Cited by
Cited by
Year
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
292006
Sound auction specification and implementation
MB Caminati, M Kerber, C Lange, C Rowat
Proceedings of the Sixteenth ACM Conference on Economics and Computation …, 2015
222015
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
182013
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
152019
Preliminaries to classical first order model theory
M Caminati
Formalized Mathematics 19 (3), 155-167, 2011
152011
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
112006
Custom automations in Mizar
MB Caminati, G Rosolini
Journal of Automated Reasoning 50, 147-160, 2013
102013
Balancing prescriptions with constraint solvers
JKF Bowles, MB Caminati
Automated Reasoning for Systems Biology and Medicine, 243-267, 2019
92019
An integrated framework for verifying multiple care pathways
J Bowles, MB Caminati, S Cha
2017 International Symposium on Theoretical Aspects of Software Engineering …, 2017
92017
A verified algorithm enumerating event structures
J Bowles, MB Caminati
Intelligent Computer Mathematics: 10th International Conference, CICM 2017 …, 2017
92017
Mind the gap: addressing behavioural inconsistencies with formal methods
JKF Bowles, MB Caminati
2016 23rd Asia-Pacific Software Engineering Conference (APSEC), 313-320, 2016
82016
First order languages: Further syntax and semantics
M Caminati
Formalized Mathematics 19 (3), 179-192, 2011
82011
Correct composition of dephased behavioural models
J Bowles, MB Caminati
Formal Aspects of Component Software: 14th International Conference, FACS …, 2017
72017
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
72015
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
72011
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
62020
Basic first-order model theory in Mizar
MB Caminati
Journal of Formalized Reasoning 3 (1), 49-77, 2010
62010
An integrated approach to a combinatorial optimisation problem
J Bowles, MB Caminati
International Conference on Integrated Formal Methods, 284-302, 2019
52019
A flexible approach for finding optimal paths with minimal conflicts
JKF Bowles, MB Caminati
International Conference on Formal Engineering Methods, 209-225, 2017
52017
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
52013
The system can't perform the operation now. Try again later.
Articles 1–20