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
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
172013
Sound auction specification and implementation
MB Caminati, M Kerber, C Lange, C Rowat
Proceedings of the Sixteenth ACM Conference on Economics and Computation …, 2015
152015
Preliminaries to Classical First Order Model Theory.
MB Caminati
Formaliz. Math. 19 (3), 155-167, 2011
142011
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 (2), 147-160, 2013
102013
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
92019
Correct composition of dephased behavioural models
J Bowles, MB Caminati
International Conference on Formal Aspects of Component Software, 233-250, 2017
82017
An integrated framework for verifying multiple care pathways
J Bowles, MB Caminati, S Cha
2017 International Symposium on Theoretical Aspects of Software Engineering …, 2017
82017
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
De Gruyter Open, 2011
82011
Definition of first order language with arbitrary alphabet. Syntax of terms, atomic formulas and their subterms.
MB Caminati
Formaliz. Math. 19 (3), 169-178, 2011
72011
Balancing prescriptions with constraint solvers
JKF Bowles, MB Caminati
Automated Reasoning for Systems Biology and Medicine, 243-267, 2019
62019
A flexible approach for finding optimal paths with minimal conflicts
JKF Bowles, MB Caminati
International Conference on Formal Engineering Methods, 209-225, 2017
52017
A verified algorithm enumerating event structures
J Bowles, MB Caminati
International Conference on Intelligent Computer Mathematics, 239-254, 2017
52017
Experimental high-gain quantum-injected optical parametric amplification and multiphoton phase-covariant cloning
M Caminati, F De Martini, F Sciarrino
Laser physics 16 (11), 1551-1556, 2006
52006
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
42015
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
42013
Basic first-order model theory in Mizar
MB Caminati
Journal of Formalized Reasoning 3 (1), 49-77, 2010
42010
An integrated approach to a combinatorial optimisation problem
J Bowles, MB Caminati
International Conference on Integrated Formal Methods, 284-302, 2019
32019
The system can't perform the operation now. Try again later.
Articles 1–20