Marco B. Caminati

CoRR, 2023

Isabelle Formalisation of Original Representation Theorems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

Representation Theorems Obtained by Mining across Web Sources for Hints.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Information and Computer Technologies, 2023

2020

Correct composition in the presence of behavioural conflicts and dephasing.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2020

A Formally Verified SMT Approach to True Concurrency.

[BibT_eX]

[DOI]

Proceedings of the 35th Italian Conference on Computational Logic, 2020

2019

Balancing Prescriptions with Constraint Solvers.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

A framework for automated conflict detection and resolution in medical guidelines.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

An Integrated Approach to a Combinatorial Optimisation Problem.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2017

An integrated framework for verifying multiple care pathways.

[BibT_eX]

[DOI]

Suhyun Cha

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

A Verified Algorithm Enumerating Event Structures.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

A Flexible Approach for Finding Optimal Paths with Minimal Conflicts.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2017

Correct Composition of Dephased Behavioural Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

2016

Mind the Gap: Addressing Behavioural Inconsistencies with Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015

VCG - Combinatorial Vickrey-Clarke-Groves Auctions.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2015

Sound Auction Specification and Implementation.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth ACM Conference on Economics and Computation, 2015

2014

Pseudo-Canonical Formulae are Classical.

[BibT_eX]

[DOI]

Artur Kornilowicz

Formaliz. Math., 2014

Budget Imbalance Criteria for Auctions: A Formalized Theorem.

[BibT_eX]

[DOI]

Manfred Kerber

Colin Rowat

CoRR, 2014

Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

2013

Custom Automations in Mizar.

[BibT_eX]

[DOI]

Giuseppe Rosolini

J. Autom. Reason., 2013

Proving soundness of combinatorial Vickrey auctions and generating verified executable code.

[BibT_eX]

[DOI]

CoRR, 2013

A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 2013

2012

A simplified framework for first-order languages and its formalization in Mizar

[BibT_eX]

[DOI]

CoRR, 2012

2011

Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem.

[BibT_eX]

[DOI]

Formaliz. Math., 2011

Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages.

[BibT_eX]

[DOI]

Formaliz. Math., 2011

First Order Languages: Further Syntax and Semantics.

[BibT_eX]

[DOI]

Formaliz. Math., 2011

Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms.

[BibT_eX]

[DOI]

Formaliz. Math., 2011

Preliminaries to Classical First Order Model Theory.

[BibT_eX]

[DOI]

Formaliz. Math., 2011

2010

Basic first-order model theory in Mizar.

[BibT_eX]

[DOI]