Marco B. Caminati

36 papers A* 1B 1C 6Misc 1Journal 22Unranked 4
YearRankTypeTitle / Venue / Authors
2024 C conf
O
DLT
Marco B. Caminati
2024 J jnl
O
CoRR
Marco B. Caminati
2023 C conf
Isabelle Formalisation of Original Representation Theorems.
CICM
Marco B. Caminati
2023 J jnl
Isabelle Formalisation of Original Representation Theorems.
CoRR
Marco B. Caminati
2023 — conf
Representation Theorems Obtained by Mining across Web Sources for Hints.
ICICT
Marco B. Caminati, Juliana Küster Filipe Bowles
2023 J jnl
Representation Theorems Obtained by Miningacross Web Sources for Hints.
CoRR
Marco B. Caminati, Juliana Küster Filipe Bowles
2020 — conf
A Formally Verified SMT Approach to True Concurrency.
CILC
Juliana Küster Filipe Bowles, Marco B. Caminati
2020 J jnl
Correct composition in the presence of behavioural conflicts and dephasing.
Sci. Comput. Program.
Juliana Küster Filipe Bowles, Marco B. Caminati
2019 J jnl
A framework for automated conflict detection and resolution in medical guidelines.
Sci. Comput. Program.
Juliana Bowles, Marco B. Caminati, Suhyun Cha, Juan Mendoza
2019 B conf
An Integrated Approach to a Combinatorial Optimisation Problem.
IFM
Juliana Bowles, Marco B. Caminati
2019 — ch.
Balancing Prescriptions with Constraint Solvers.
Automated Reasoning for Systems Biology and Medicine
Juliana Küster Filipe Bowles, Marco B. Caminati
2017 C conf
A Flexible Approach for Finding Optimal Paths with Minimal Conflicts.
ICFEM
Juliana Küster Filipe Bowles, Marco B. Caminati
2017 J jnl
A Flexible Approach for Finding Optimal Paths with Minimal Conflicts.
CoRR
Juliana Bowles, Marco B. Caminati
2017 C conf
A Verified Algorithm Enumerating Event Structures.
CICM
Juliana Bowles, Marco B. Caminati
2017 J jnl
A Verified Algorithm Enumerating Event Structures.
CoRR
Juliana Bowles, Marco B. Caminati
2017 Misc conf
An integrated framework for verifying multiple care pathways.
TASE
Juliana Bowles, Marco B. Caminati, Suhyun Cha
2017 — conf
Correct Composition of Dephased Behavioural Models.
FACS
Juliana Bowles, Marco B. Caminati
2017 J jnl
Correct Composition of Dephased Behavioural Models.
CoRR
Juliana Bowles, Marco B. Caminati
2016 C conf
Mind the Gap: Addressing Behavioural Inconsistencies with Formal Methods.
APSEC
Juliana Küster Filipe Bowles, Marco B. Caminati
2015 A* conf
Sound Auction Specification and Implementation.
EC
Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat
2015 J jnl
VCG - Combinatorial Vickrey-Clarke-Groves Auctions.
Arch. Formal Proofs
Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat
2014 J jnl
Budget Imbalance Criteria for Auctions: A Formalized Theorem.
CoRR
Marco B. Caminati, Manfred Kerber, Colin Rowat
2014 J jnl
Pseudo-Canonical Formulae are Classical.
Formaliz. Math.
Marco B. Caminati, Artur Kornilowicz
2014 C conf
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?
CICM
Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat
2014 J jnl
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?
CoRR
Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat
2013 J jnl
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
CoRR
Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger
2013 — conf
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory.
MKM/Calculemus/DML
Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger
2013 J jnl
Custom Automations in Mizar.
J. Autom. Reason.
Marco B. Caminati, Giuseppe Rosolini
2013 J jnl
Proving soundness of combinatorial Vickrey auctions and generating verified executable code.
CoRR
Marco B. Caminati, Manfred Kerber, Christoph Lange, Colin Rowat
2012 J jnl
A simplified framework for first-order languages and its formalization in Mizar
CoRR
Marco B. Caminati
2011 J jnl
Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms.
Formaliz. Math.
Marco B. Caminati
2011 J jnl
First Order Languages: Further Syntax and Semantics.
Formaliz. Math.
Marco B. Caminati
2011 J jnl
Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages.
Formaliz. Math.
Marco B. Caminati
2011 J jnl
Preliminaries to Classical First Order Model Theory.
Formaliz. Math.
Marco B. Caminati
2011 J jnl
Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem.
Formaliz. Math.
Marco B. Caminati
2010 J jnl
Basic first-order model theory in Mizar.
J. Formaliz. Reason.
Marco B. Caminati