Home > Research > Publications & Outputs

Research

Publications and Research Outputs

« Simple search

Reset

to
82926 - 82950 out of 98,571Page size: 25
  1. Published

    'Ya no es Lucrecia Lucrecia': Woman and limpieza de sangre in Rojas Zorrilla's Lucrecia y Tarquino

    Camino, M., 1997, In: Revista Canadiense de Estudios Hispánicos . 21, 1, p. 329-351 23 p.

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

  2. Published

    Cross-cultural Engagements in the South Pacific: Quirós' Australia 1606

    Camino, M., 2007, Pedro Fernàndez de Quiros et le Vanuatu: Découverte mutuelle et historiographie d'un acte fondateur, 1606. Angleviel, F. (ed.). Port Vila (Vanuatu): Délégation de l'Union européenne au Vanuatu & Groupe de Recherche en Histoire Océanienne, p. 57-83 27 p.

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

  3. Published

    Ceremonial Encounters: Malaspina in the Pacific

    Camino, M., 11/2011, Europe-New Zealand Research Series, 6, 2, p. 10-36 27 p.

    Research output: Contribution to specialist publication › Article

  4. Published

    Foundational films: the memorialization of resistance in Italy, France, Belarus and Yugoslavia

    Camino, M., 2015, Film, history and public memory : new perspectives. McGarry, F. & Carlsten, J. M. (eds.). London: Palgrave, p. 83-100 18 p.

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

  5. Published

    'Spindles for swords': The Re/Dis-covery of María de Zayas' Presence

    Camino, M., 1994, In: Hispanic Review. 62, p. 39-51 13 p.

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

  6. Published

    "Iberian Visions of the Pacific Ocean, 1507-1899" by Reiner Buschmann

    Camino, M., 2015, In: Journal of Pacific History. 50, 2, p. 249-251 3 p.

    Research output: Contribution to Journal/Magazine › Book/Film/Article review › peer-review

  7. 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/ISSN › Chapter (peer-reviewed)

  8. 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/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

    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

  11. 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/ISSN › Conference contribution/Paper › peer-review

  12. 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/ISSN › Chapter (peer-reviewed) › peer-review

  13. 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 outputs › Software

  14. 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/ISSN › Conference contribution/Paper › peer-review

  15. Published

    Corecursion for Compositional Verification

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

    Research output: Other contribution

  16. 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/ISSN › Conference contribution/Paper › peer-review

  17. 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

  18. 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

  19. 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

  20. 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/ISSN › Conference contribution/Paper › peer-review

  21. Published

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

    Caminati, M. B., 19/05/2012

    Research output: Thesis › Doctoral Thesis

  22. 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

  23. 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

  24. 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

  25. 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

Previous 1...3314 3315 3316 3317 3318 3319 3320 3321 ...3943 Next

Back to top