Items where Author is "Caminati, Marco B"

Bowles, Juliana and Caminati, Marco B (2017) Correct composition of dephased behavioural models. In: Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings 14 :. Springer. ISBN 9783319680347

Caminati, Marco B and Kerber, Manfred (2016) Corecursion for Compositional Verification. UNSPECIFIED.

Caminati, Marco B and Kerber, Manfred and Lange-Bever, Christoph and Rowat, Colin (2015) VCG-combinatorial Vickrey-clarke-groves auctions. Archive of Formal Proofs.

Caminati, Marco B and Kerber, Manfred and Rowat, Colin (2015) Problem set for first order theorem provers in the TPTP format. UNSPECIFIED.

Caminati, Marco B and Kerber, Manfred and Rowat, Colin (2014) Budget imbalance criteria for auctions: a formalized theorem. In: Trends in Contemporary Computer Science :. arXiv preprint arXiv:1412.0542 . Bialystok University of Technology Publishing Office. ISBN 978-83-62582-58-7

Caminati, Marco B and Kerber, Manfred and Lange, Christoph and Rowat, Colin (2013) Proving soundness of combinatorial Vickrey auctions and generating verified executable code. Other. UNSPECIFIED.

Lange, Christoph and Caminati, Marco B and Kerber, Manfred and Mossakowski, Till and Rowat, Colin and Wenzel, Makarius and Windsteiger, Wolfgang (2013) A qualitative comparison of the suitability of four theorem provers for basic auction theory. In: Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings 6 :. Springer, pp. 200-215. ISBN 978-3-642-39319-8

Caminati, Marco B (2013) A contribution to an Auction Theory Toolbox through code and discussion. In: 39th Annual Convention of The Society for the Study of Artificial Intelligence and the Simulation of Behaviour (SSAISB) :. UNSPECIFIED. ISBN 978-1-62993-966-7

Caminati, Marco B (2012) A simplified framework for first-order languages and its formalization in Mizar. PhD thesis, UNSPECIFIED.

Caminati, Marco B (2009) Yet another proof of Goedel's completeness theorem for first-order classical logic. Other. UNSPECIFIED.

Caminati, M Martini and Sciarrino, F and Caminati, Marco B (2006) Experimental high-gain quantum-injected optical parametric amplification and multiphoton phase-covariant cloning. Laser physics, 16 (11). 1551–1556.