Volgen
Marco B. Caminati
Titel
Geciteerd door
Geciteerd door
Jaar
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
Preliminaries to classical first order model theory
M Caminati
Formalized Mathematics 19 (3), 155-167, 2011
152011
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
142019
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
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
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
Balancing prescriptions with constraint solvers
JKF Bowles, MB Caminati
Automated Reasoning for Systems Biology and Medicine, 243-267, 2019
62019
Correct composition of dephased behavioural models
J Bowles, MB Caminati
Formal Aspects of Component Software: 14th International Conference, FACS …, 2017
62017
Basic first-order model theory in Mizar
MB Caminati
Journal of Formalized Reasoning 3 (1), 49-77, 2010
62010
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
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
52006
A flexible approach for finding optimal paths with minimal conflicts
JKF Bowles, MB Caminati
International Conference on Formal Engineering Methods, 209-225, 2017
42017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20