Marco B. Caminati

Identifiers

• name variant Marco B. Caminati 0.60 · backfill

Papers (9)

1. Correct Composition of Dephased Behavioural Models cs.LO · 2017 · author #2
2. A Flexible Approach for Finding Optimal Paths with Minimal Conflicts cs.SE · 2017 · author #2
3. A Verified Algorithm Enumerating Event Structures cs.LO · 2017 · author #2
4. Budget Imbalance Criteria for Auctions: A Formalized Theorem q-fin.MF · 2014 · author #1
5. Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? cs.LO · 2014 · author #1
6. Proving soundness of combinatorial Vickrey auctions and generating verified executable code cs.GT · 2013 · author #1
7. A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory cs.LO · 2013 · author #2
8. A simplified framework for first-order languages and its formalization in Mizar math.LO · 2012 · author #1
9. Yet another proof of Goedel's completeness theorem for first-order classical logic math.LO · 2009 · author #1

Mentions

• 1303.4193 #2 · backfill · confidence 0.70 Marco B. Caminati
• 1205.4316 #1 · backfill · confidence 0.70 Marco B. Caminati
• 0910.2059 #1 · backfill · confidence 0.70 Marco B. Caminati

Frequent Coauthors

• Colin Rowat 4 shared papers
• Manfred Kerber 4 shared papers
• Christoph Lange 3 shared papers
• Juliana Bowles 3 shared papers
• Makarius Wenzel 1 shared papers
• Till Mossakowski 1 shared papers
• Wolfgang Windsteiger 1 shared papers