Home > Research > Publications & Outputs
  1. Published

    Ceremonial Encounters: Spanish perceptions of the South Pacific 1567-1794

    Camino, M., 2011, European Perceptions of Terra Australis. Scott, A., Hiatt, A., McIlroy, C. & Wortham, C. (eds.). Ashgate Publishing, p. 117-139 23 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter (peer-reviewed)

  2. Published

    ‘Red fury’: historical memory and Spanish football

    Camino, M., 1/10/2014, In: Memory Studies. 7, 4, p. 500-512 13 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  3. 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/MagazineJournal articlepeer-review

  4. 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/MagazineJournal articlepeer-review

  5. Published

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

    Caminati, M. B., Kerber, M., Lange, C. & Rowat, C., 30/06/2014, International Conference on Intelligent Computer Mathematics. Springer, Vol. 8543. p. 236-251

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

  6. Published

    Budget imbalance criteria for auctions: a formalized theorem

    Caminati, M. B., Kerber, M. & Rowat, C., 30/06/2014, Trends in Contemporary Computer Science. Bialystok University of Technology Publishing Office, (arXiv preprint arXiv:1412.0542).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNChapter (peer-reviewed)peer-review

  7. Published

    Problem set for first order theorem provers in the TPTP format

    Caminati, M. B., Kerber, M. & Rowat, C., 2015

    Research output: Exhibits, objects and web-based outputsSoftware

  8. Published

    Sound auction specification and implementation

    Caminati, M. B., Kerber, M., Lange, C. & Rowat, C., 15/06/2015, Proceedings of the Sixteenth ACM Conference on Economics and Computation (EC '15). ACM, p. 547-564

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

  9. Published

    Corecursion for Compositional Verification

    Caminati, M. B. & Kerber, M., 14/01/2016

    Research output: Other contribution

  10. Published

    Einstein Podolsky Rosen correlations involving mesoscopic quantum systems

    Caminati, M., De Martini, F. & Sciarrino, F., 10/07/2006, AIP Conference Proceedings. 1 ed. American Institute of Physics, Vol. 844.

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

Back to top