Home > Research > Researchers > Dr Marco Caminati > Publications

Research

Dr Marco Caminati

Lecturer in Computer Science

26 - 41 out of 41Page size: 25
RSS feed of this list
Sort by: Type
  1. Journal article
  2. 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/Magazine › Journal article › peer-review

  3. 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/Magazine › Journal article › peer-review

  4. Published

    Pseudo-Canonical Formulae are Classical

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

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  5. 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/Magazine › Journal article › peer-review

  6. Published

    Definition of first order language with arbitrary alphabet. Syntax of terms, atomic formulas and their subterms

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 169-178

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  7. Published

    First order languages: Further syntax and semantics

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 179-192

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  8. Published

    Free interpretation, quotient interpretation and substitution of a letter with a term for first order languages

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 193-203

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  9. Published

    Preliminaries to classical first order model theory

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 155-167

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  10. Published

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

    Caminati, M., 30/09/2011, In: Formalized Mathematics. 19, 3, p. 205-222

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  11. 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/Magazine › Journal article › peer-review

  12. Published

    PART A-Quantum information-Entanglement, EPR correlations, and mesoscopic quantum superposition by the high-gain quantum injected parametric amplification

    Caminati, M., Martini, F. D., Perris, R., Sciarrino, F. & Secondi, V., 7/12/2006, In: Physical Review-Section A-Atomic Molecular and Optical Physics. 74, 062304.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  13. 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/Magazine › Journal article › peer-review

  14. Published

    Experimental high-gain quantum-injected optical parametric amplification and multiphoton phase-covariant cloning

    Caminati, M. M., Sciarrino, F. & Caminati, M. B., 2006, In: Laser physics. 16, 11, p. 1551–1556

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  15. Preprint
  16. Published

    Proving soundness of combinatorial Vickrey auctions and generating verified executable code

    Caminati, M. B., Kerber, M., Lange, C. & Rowat, C., 8/08/2013, (arXiv preprint arXiv:1308.1779).

    Research output: Working paper › Preprint

  17. 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 paper › Preprint

  18. Published

    An upper bound on the number of zeros of a piecewise polinomial function

    Caminati, M., 15/10/2008, (arXiv preprint arXiv:0810.2634).

    Research output: Working paper › Preprint

Previous 1 2 Next

Back to top