Home > Research > Publications & Outputs
  1. Published

    Vickrey-clarke-groves (vcg) auctions

    Caminati, M., Kerber, M., Lange, C. & Rowat, C., 2015, In: College Inf. Sci. Technol., Pennsylvania State Univ., State College, PA, USA.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  2. Published

    A contribution to an Auction Theory Toolbox through code and discussion

    Caminati, M. B., 30/04/2013, 39th Annual Convention of The Society for the Study of Artificial Intelligence and the Simulation of Behaviour (SSAISB).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  3. Published
  4. Published

    Pseudo-Canonical Formulae are Classical

    Caminati, M. B. & Kornilowicz, A., 30/06/2014, In: Formalized Mathematics.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  5. Published

    Basic first-order model theory in Mizar

    Caminati, M. B., 17/12/2010, In: Journal of Formalized Reasoning. 3, 1

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  6. Published

    Yet another proof of Goedel's completeness theorem for first-order classical logic

    Caminati, M. B., 11/10/2009, (arXiv preprint arXiv:0910.2059).

    Research output: Working paperPreprint

  7. Published

    Nonseparable Werner states in spontaneous parametric down-conversion

    Caminati, M., De Martini, F., Perris, R., Sciarrino, F. & Secondi, V., 14/03/2006, In: Physical review a. 73, 032312 .

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  8. Published

    Reasoning about Dynamic Auctions

    Caminati, M., Kerber, M. & Rowat, C., 30/04/2015.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  9. Published

    Custom automations in Mizar

    Caminati, M. B. & Rosolini, G., 1/11/2012, In: Journal of Automated Reasoning. 50, p. 147–160

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  10. Published

    VCG-combinatorial Vickrey-clarke-groves auctions

    Caminati, M. B., Kerber, M., Lange-Bever, C. & Rowat, C., 30/04/2015, In: Archive of Formal Proofs.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

Back to top