Concepedia

Marco B. Caminati

MB

Statistics

Publications

6

Citations

82

H-Index

6

Active since

2006

Affiliations

University of St Andrews(Current)

Sapienza University of Rome

Marco B. Caminati is an author at University of St Andrews specializing in computing, computer science, and formal methods.

ORCID

Publications per year

2006–2019

6

Publications

6

Nonseparable Werner states in spontaneous parametric down-conversion

Marco B. Caminati, F. De Martini, Riccardo Perris et al. · Physical Review A · 2006 · 23 citations · Full text

, , +14

Sound Auction Specification and Implementation

Marco B. Caminati, Manfred Kerber, Christoph Lange et al. · 2015 · 15 citations · Full text

, , +10

A framework for automated conflict detection and resolution in medical guidelines

Juliana Bowles, Marco B. Caminati, Jorge Mendoza · Science of Computer Programming · 2019 · 12 citations · Full text

, , +11

Preliminaries to Classical First Order Model Theory

Marco B. Caminati · Formalized Mathematics · 2011 · 11 citations · Full text

, , +16

An integrated framework for verifying multiple care pathways

Juliana Bowles, Marco B. Caminati · 2017 · 11 citations · Full text

, , +14

1–5 of 6