Home > Research > Publications & Outputs

Research

Publications and Research Outputs

Advanced search »

88801 - 88900 out of 105,951Page size: 100
  1. Published

    Procedural Innovation and the Surreptitious Creation of Judicial Supremacy in the United Kingdom

    Campbell, D. & Allan, J., 1/09/2019, In: Journal of Law and Society. 46, 3, p. 347-366 20 p.

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

  2. Published

    Introduction

    Campbell, J., Gray, A., Erickson, M., Hanson, S. & Wood, H., 8/11/2007, CCCS Selected Working Papers. Routledge Taylor & Francis Group, Vol. 2. p. 1-12 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Foreword/postscript

  3. Published

    Exploring the interaction between law and economics: The limits of formalism

    Campbell, D. & Picciotto, S., 30/09/1998, In: Legal Studies. 18, 3, p. 249-278 30 p.

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

  4. Published

    The Sovereignty of Scotland and of the United Kingdom

    Campbell, D., 6/06/2023, In: Law Quarterly Review. 139, 2, p. 354-360 7 p.

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

  5. Published

    A multimedia enhanced transport service in a quality of service architecture

    Campbell, A., Coulson, G. & Hutchison, D., 1/01/1994, NOSSDAV 1993: Network and Operating System Support for Digital Audio and Video. Shepherd, D., Blair, G., Coulson, G., Davies, N. & Garcia, F. (eds.). Springer, p. 124-137 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 846 LNCS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  6. Published

    Dynamic QoS management for scalable video flows

    Campbell, A., Hutchison, D. & Aurrecoechea, C., 1/01/1995, NOSSDAV 1995: Network and Operating Systems Support for Digital Audio and Video. Little, T. D. C. & Gusella, R. (eds.). Springer, p. 101-112 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1018).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  7. Published

    Review: Campbell, J. 2021. Review of "The biopolitics of water: Governance, scarcity and populations", Routledge, 2021, by Sophie Hellberg

    Campbell, J., 4/01/2021, In: Water Alternatives.

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

  8. Published

    Temperature Tantrum

    Campbell, D., 1/07/2021, In: Law Quarterly Review. 137, p. 380-384 5 p.

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

  9. Published

    Bridging design thinking and entrecomp for entrepreneurship workshops: A learning experience

    Campbell, D., Balis, G. & Aryana, B., 26/08/2020, The Sixth International Conference on Design Creativity 26-28 August 2020, University of Oulu, Finland Proceedings. Boujut, J.-F., Cascini, G., Ahmed-Kristensen, S., Geogiev, G. V. & Iivari, N. (eds.). Glasgow: Design Society, p. 247-254 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  10. Published

    A review of speleothems as archives for palaeofire proxies, with Australian case studies

    Campbell, M., McDonough, L., Treble, P., Baker, A., Kosarac, N., Coleborn, K., Wynn, P. M. & Schmitt, A. K., 30/06/2023, In: Reviews of Geophysics. 61, 2, e2022RG000790.

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

  11. Published

    183 How are specialist palliative care units using ranitidine in the medical management of adults with malignant bowel obstruction? A survey of UK hospices

    Campbell, A., Rawlinson, F. & Gadoud, A., 1/03/2020, In: BMJ Supportive and Palliative Care. 10, Suppl 1, p. A73-A73

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

  12. Published

    Interventions for the prevention of spontaneous preterm birth: a scoping review of systematic reviews

    Campbell, F., Salam, S., Sutton, A., SM, J., Mitchell, C., Amabebe, E., Balen, J., BM, G., Parris, K., Soma-Pillay, P., Chauke, L., Narice, B. & DO, A., 31/05/2022, In: BMJ Open. 12, 5, e052576.

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

  13. Published

    Contractual Relations: A Contribution to the Critique of the Classical Law of Contract

    Campbell, D., 29/09/2022, Oxford: Oxford University Press. 464 p.

    Research output: Book/Report/Proceedings › Book

  14. Published

    A Review of Speleothems as Archives for Paleofire Proxies, With Australian Case Studies

    Campbell, M., McDonough, L., Treble, P. C., Baker, A., Kosarac, N., Coleborn, K., Wynn, P. M. & Schmitt, A. K., 30/06/2023, In: Reviews of Geophysics. 61, 2

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

  15. Published

    Review of P Benson, Justice in Transactions

    Campbell, D., 10/2020, In: Law Quarterly Review. 136, p. 682-84 3 p.

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

  16. Published

    Scholars of Contract Law edited by James Goudkamp and Donal Nolan. Oxford: Hart Publishing, 2020, xix + 416 pp (£85 hardback) ISBN: 978-1-50-993846-9

    Campbell, D., 1/12/2023, In: Legal Studies. 43, 4, p. 762 - 766 5 p.

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

  17. Published

    Politics 2.0: the Multifaceted Effect of Broadband Internet on Political Participation

    Campante, F., Durante, R. & Sobbrio, F., 31/08/2018, In: Journal of the European Economic Association. 16, 4, p. 1094-1136 43 p.

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

  18. Published

    Media and social capital

    Campante, F., Durante, R. & Tesei, A., 31/08/2022, In: Annual Review of Economics. 14, p. 69-91 23 p.

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

  19. Published

    The virus of fear: The Political Impact of Ebola in the United States

    Campante, F., Depetris-Chauvin, E. & Durante, R., 1/01/2024, In: American Economic Journal: Applied Economics. 16, 1, p. 480-509 30 p.

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

  20. Published

    Beam tests of ATLAS SCT silicon strip detector modules.

    Campabadal, F., Brodbeck, T. J., Chilingarov, A., Hughes, G., Ratoff, P. N., Sloan, T. & et al., A. S. C., 02/2005, In: Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment. 538, 1-3, p. 384-407 24 p.

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

  21. Published

    Stigma Machine [graphic animation]

    Camp, T. (Artist) & Tyler, I. E. (Artist), 30/11/2018

    Research output: Exhibits, objects and web-based outputs › Digital or Visual Products

  22. Published

    The hidden complexity of long-term care: How context mediates knowledge translation and use of best practices

    Cammer, A., Morgan, D., Stewart, N., McGilton, K., Rycroft-Malone, J., Dopson, S. & Estabrooks, C., 1/12/2014, In: Gerontologist. 54, 6, p. 1013-1023 11 p.

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

  23. Published

    Fire risk perpetuates poverty and fire use among Amazonian smallholders

    Cammelli, F., Garrett, R. D., Barlow, J. & Parry, L., 1/07/2020, In: Global Environmental Change. 63, 10 p., 102096.

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

  24. Published

    Chinese whispers: my journey towards understanding and appreciating reflection

    Cammack, I., 1/04/2012, In: Reflective Practice. 13, 2, p. 209-222 14 p.

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

  25. Published

    ‘Ghosts Don’t Cry’: State of Exception and the Mother(land) in Pedro Almodóvar’s Live Flesh (1997) and Volver (2006)

    Camino Maroto, M., 31/05/2024, In: Studies in European Cinema. 21, 2, p. 128-155 28 p.

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

  26. Published

    War, Gender, and Lasting Emotion: Letters and Photographs of Masha Bruskina and Olga Bancic, 1941-44

    Camino Maroto, M., 2/01/2023, In: Women's History Review. 32, 1, p. 36-61 26 p.

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

  27. Published

    Jews, Bolsheviks and the Shoah between amnesia and anamnesis

    Camino Maroto, M. M., 5/10/2016, The holocaust in the twenty-first century: contesting/contested memories. Seymour, D. & Camino, M. (eds.). New York: Routledge, (Routledge Studies in Cultural History).

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

  28. Published

    Gendered Crossings. By Allyson Poska.

    Camino Maroto, M., 30/06/2017, In: American Historical Review. 122, 3, p. 805–806 2 p.

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

  29. E-pub ahead of print

    The Indies of the setting sun: How early modern Spain mapped the Far East as the Transpacific West

    Camino Maroto, M. & Padron, R., 8/08/2022, (E-pub ahead of print) In: Journal of Spanish Cultural Studies. 23, 3, 3 p.

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

  30. Published

    Isabel Barreto, Navigator of the South Seas and Governor of the Isles of Salomon

    Camino Maroto, M., 8/05/2024, Early Modern Women’s Mobility, Authority, and Agency Across the Spanish Empire. Cruz, A. J. & Franganillo, A. (eds.). Cambridge: Cambridge University Press, p. 55-78 24 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  31. Published

    Citizen Ivanov versus Comrade Tito: Partisans in Soviet and Yugoslav Cinema of the Second Word War (1960-1985)

    Camino Maroto, M. M., 1/03/2019, In: Quarterly Review of Film and Video. 36, 1, p. 1-25 25 p.

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

  32. Published

    Memories of Resistance and the Holocaust on Film

    Camino Maroto, M. M., 6/06/2018, London: Palgrave Macmillan. 265 p.

    Research output: Book/Report/Proceedings › Book

  33. Published

    La memoria cinematográfica de la guerrilla antifranquista. Ed. Pere Joan Tous and Cornelia Ruhe,

    Camino Maroto, M., 31/12/2018, In: Anales Literatura Española Contemporánea. 43, 2, p. 550-553 4 p.

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

  34. Published

    ‘Ser mujer, ni estar ausente’: Sor Juana’s Silence in María Luisa Bemberg’s Yo, la peor de todas/ I, The Worst of All (1992).

    Camino, M., 04/2009, Identity, Nation and Discourse: Latin American Women Writers and Artists. Taylor, C. (ed.). Cambridge: Cambridge Scholars Publishing, 260 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  35. Published

    (Un)folding the map of early modern Ireland: Spenser, Moryson and Bartlett

    Camino, M., 1997, In: Cartographica. 34, 4, p. 1-17 17 p.

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

  36. Published

    'Good luck with the strike': Mining, Dancing and Stephen Daldry's Billy Elliot

    Camino, M., 11/2010, In: Film International. 8, 5, p. 29-39 11 p.

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

  37. Published

    To eat or not to eat: Feasting and Fasting in Tirso's El burlador de Sevilla and Buñuel's El discreto encanto de la burguesía

    Camino, M., 2003, In: Letras Peninsulares. 16, 1, p. 249-261 13 p.

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

  38. Published

    '¡Volviose en luto la boda!': Ritual and the Technologies of Power in Lope's Fuente Ovejuna

    Camino, M., 04/2004, In: Modern Language Review. 99, 2, p. 382-393 12 p.

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

  39. Published

    Film, Memory and the Legacy of the Spanish Civil War: Resistance and Guerrilla 1936-2010

    Camino, M., 2011, London: Palgrave Macmillan. 216 p.

    Research output: Book/Report/Proceedings › Book

  40. Published

    A Spanish Mission in Tahiti: Coastal Views and Eighteenth-century Cultural Syncretism.

    Camino, M., 2007, In: The Globe. 59, p. 6-20 15 p.

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

  41. Published

    Blood of an Innocent: Montxo Armendriz's Silencio Roto (2001) and Guillermo del Toro's El laberinto del fauno (2006)

    Camino, M., 2009, In: Studies in Hispanic Cinemas. 6, 1, p. 45-64 20 p.

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

  42. Published

    'Volvemos a empezar': Return Journeys of the Spanish Maquis

    Camino, M., 2011, In: Journal of Iberian and Latin American Studies. 17, 1, p. 27-39 14 p.

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

  43. Published

    'My honour I'll bequeath unto the knife': Public Heroism, Private Sacrifice, and Early Modern Rapes of Lucrece

    Camino, M., 1996, Imagining culture: essays in early modern history and literature. Hart, J. (ed.). New York: Garland Press, p. 95-107 13 p.

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

  44. Published

    Negotiating woman: Ana Caro El conde Partinuplés and Pedro Calderón de la Barca's La vida es sueño.

    Camino, M., 2007, In: Tulsa Studies in Womens Literature. 26, 2, p. 199- 216 18 p.

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

  45. Published

    Ficción, afición y seducción: Ana Caro's Valor, agravio y mujer

    Camino, M., 1996, In: Bulletin of the Comediantes. 48, 1, p. 37-50 14 p.

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

  46. Published

    Staging the Southern Continent 1565-1606

    Camino, M., 2003, In: The Globe. 54, 1, p. 13-22 10 p.

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

  47. Published

    'Vivir sin ti': Motherhood, Melodrama and espanolada in Pedro Almodóvar's Todo sobre mi madre (1999) and Volver (2006).

    Camino, M., 2010, In: Bulletin of Spanish Studies: Hispanic Studies and Researches on Spain, Portugal and Latin America. 87, 5, p. 625-642 17 p.

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

  48. Published

    Exploring the Explorers: Spaniards in Oceania 1519-1794

    Camino, M., 2008, Manchester: Manchester University Press. 243 p.

    Research output: Book/Report/Proceedings › Book

  49. Published

    'That map which deep impression bears': The Politics of Conquest in Lucrece

    Camino, M., 1996, Shakespeare: world views. Kerr, H., Eaden, R. & Mitton, M. (eds.). Cranbury, NJ: Associated University Presses, p. 124-145 22 p.

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

  50. Published

    Transvestism, Translation and Transgression: Angela de Azevedo's El muerto disimulado

    Camino, M., 07/2001, In: Forum for Modern Language Studies. 37, 3, p. 314-325 12 p.

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

  51. Published

    El melodrama fascista y la memoria cinematográfica del maquis español 1954-2006

    Camino, M., 2011, In: Imagofagia. 4

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

  52. Published

    The Museum and the Forum: Greenwich's The price of tea and Te Papa's Virgin in a condom

    Camino, M., 11/2002, In: Te Ara: Journal of Museums Aotearoa . 27, 2, p. 26-31 6 p.

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

  53. Published

    Review of Gonzalo Fernandez de Oviedo, Misfortunes and Shipwrecks in the Seas of the Indies .... . Translated and edited by Glen F Dille

    Camino, M., 2012, In: Bulletin of Hispanic Studies. 89, 3, p. 325-326 2 p.

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

  54. Published

    'En distintas cuadras': Engendering the Americas in Sor Juana's Los empeños de una casa

    Camino, M., 12/2002, In: Romance Studies. 20, 2, p. 155-164 10 p.

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

  55. Published

    Women, War and Wounds: The Spanish Civil War in Victor Erice's El espíritu de la colmena and David Trueba's Soldados de Salamina

    Camino, M., 07/2007, In: International Journal of Iberian Studies . 20, 2, p. 91-104 14 p.

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

  56. Published

    'Madrid me mata': Killing the Husband in Pedro Almodóvar's ¿Qué he hecho yo para merecer esto? and Alex de la Iglesia's La comunidad

    Camino, M., 07/2005, In: Forum for Modern Language Studies. 41, 3, p. 333-342 10 p.

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

  57. Published

    'Las naves de la conquista': Woman and the Fatherland in El burlador de Sevilla

    Camino, M., 2003, In: Bulletin of the Comediantes. 55, 1, p. 69-86 17 p.

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

  58. Published

    'Methinks I see an evil lurk unespied': Visualizing Conquest in Spenser's A View of the Present State of Ireland

    Camino, M., 1998, In: Spenser Studies . 12, p. 169-194 25 p.

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

  59. Published

    Producing the City: Bird's-eye Views and Social Control in Hapsburg Spain

    Camino, M., 1999, In: Cartographica. 36, 3, p. 17-30 14 p.

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

  60. Published

    A Waxen World: Early Modern Women's Geographical (Un)Awareness

    Camino, M., 1999, In: Parergon. 16, 1, p. 101-132 33 p.

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

  61. Published

    Representaciones del Pacífico 1519-1606

    Camino, M., 2000, Imperios y Naciones en el Pacífico. Elizalde, M. D., Fradera , J. M. & Alonso, L. (eds.). Madrid : AECI-CSIC, p. 154-176 23 p.

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

  62. Published

    María de Zayas and Ana Caro: The Space of Woman's Solidarity in the Spanish Golden Age

    Camino, M., 1999, In: Hispanic Review. 67, 1, p. 18-47 30 p.

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

  63. Published

    Genocide amid the Olive Groves: Review of The Spanish Holocaust: Inquisition and Extermination in Twentieth-Century Spain. By Paul Preston

    Camino, M., 22/03/2012, Times Higher Education, p. 50-51 2 p.

    Research output: Contribution to specialist publication › Book/Film/Article review

  64. Published

    Mapping terra incognita: The Reification of America in the Works of Hernán Cortés, Amerigo Vespucci and Thomas More

    Camino, M., 1993, Travellers' tales, real and imaginary, in the Hispanic world and its literature. Kenwood, A. (ed.). Melbourne: Vox Hispanica, p. 7-22 16 p.

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

  65. Published

    Franco’s Crypt: Spanish Culture and Memory since 1936: By Jeremy Treglown

    Camino, M., 27/02/2014, Times Higher Education, p. 49 1 p.

    Research output: Contribution to specialist publication › Book/Film/Article review

  66. Published

    Maps, traffic and representation: The Iberian Pacific from Magellan to Queirós

    Camino, M., 2001, Crossings: Travel, Art, Literature, Politics. Teeuwen , R. & Chang, S.-L. (eds.). Taipei: Bookman, p. 203-225 23 p.

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

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

  68. 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)

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

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

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

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

  73. 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)

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

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

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

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

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

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

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

  81. Published

    Corecursion for Compositional Verification

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

    Research output: Other contribution

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

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

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

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

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

  87. Published

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

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

    Research output: Thesis › Doctoral Thesis

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

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

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

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

  92. Published

    Reasoning about Dynamic Auctions

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

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

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

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

  95. Forthcoming

    Representation Theorems Obtained by Mining across Web Sources for Hints

    Caminati, M. & Bowles, J., 30/12/2022, (Accepted/In press) 2023 6th International Conference on Information and Computer Technologies (ICICT). IEEE, 8 p. (2023 6th International Conference on Information and Computer Technologies (ICICT)).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

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

  97. Published

    Reasoning about Auctions

    Caminati, M., Kerber, M., Lange, C. & Rowat, C., 30/06/2014.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

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

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

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

Previous 1...885 886 887 888 889 890 891 892 ...1060 Next

Back to top