Home > Research > Researchers > Dr Marco Caminati > Publications

Research

Dr Marco Caminati

Lecturer in Computer Science

1 - 41 out of 41Page size: 100
RSS feed of this list
  1. 2022
  2. 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

  3. 2020
  4. Published

    A formally verified SMT approach to true concurrency

    Bowles, J. & Caminati, M. B., 24/10/2020, Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020.

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

  5. Published

    A national initiative in data science for health: an evaluation of the UK Farr Institute

    Hemingway, H., Lyons, R., Li, Q., Buchan, I., Ainsworth, J., Pell, J., Morris, A., Barnes, M. R., Bedford, H., Bennie, M., others, . & Caminati, M., 8/04/2020, In: International Journal of Population Data Science. 5, 1, 32935051.

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

  6. 2019
  7. Published

    An integrated approach to a combinatorial optimisation problem

    Bowles, J. & Caminati, M. B., 22/11/2019, Integrated Formal Methods. Springer, Vol. 11918. p. 204-382

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

  8. Published

    Correct composition in the presence of behavioural conflicts and dephasing

    Bowles, J. & Caminati, M. B., 15/10/2019, In: Science of Computer Programming. 185, 102323.

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

  9. Published

    A framework for automated conflict detection and resolution in medical guidelines

    Bowles, J., Caminati, M. B., Cha, S. & Mendoza, J., 1/08/2019, In: Science of Computer Programming. p. 42-63

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

  10. Published

    Balancing prescriptions with constraint solvers

    Bowles, J. & Caminati, M. B., 12/06/2019, Automated Reasoning for Systems Biology and Medicine. Springer, Vol. 30.

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

  11. 2018
  12. Published

    Formalization and Automation of Quality Assurance Processes in Radiation Oncology

    Munbodh, R., Zaveri, H., Caminati, M. B. & Bowles, J., 31/07/2018, University of St Andrews.

    Research output: Other contribution

  13. Published

    An integrated framework for verifying multiple care pathways

    Bowles, J., Caminati, M. B. & Cha, S., 7/02/2018, 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 17595273

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

  14. 2017
  15. Published

    A flexible approach for finding optimal paths with minimal conflicts

    Bowles, J. & Caminati, M. B., 11/10/2017, ICFEM: International Conference on Formal Engineering Methods. Springer, Vol. 10610. p. 209-225

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

  16. Published

    Correct composition of dephased behavioural models

    Bowles, J. & Caminati, M. B., 14/09/2017, Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings 14. Springer, Vol. 10487.

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

  17. Published

    A verified algorithm enumerating event structures

    Bowles, J. & Caminati, M. B., 28/06/2017, Intelligent Computer Mathematics. Springer, Vol. 10383.

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

  18. 2016
  19. Published

    Mind the gap: addressing behavioural inconsistencies with formal methods

    Bowles, J. & Caminati, M. B., 6/12/2016, 2016 23rd Asia-Pacific Software Engineering Conference (APSEC). IEEE, 16777776

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

  20. Published

    Corecursion for Compositional Verification

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

    Research output: Other contribution

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

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

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

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

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

  27. 2014
  28. 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

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

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

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

  32. 2013
  33. 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

  34. Published

    A qualitative comparison of the suitability of four theorem provers for basic auction theory

    Lange, C., Caminati, M. B., Kerber, M., Mossakowski, T., Rowat, C., Wenzel, M. & Windsteiger, W., 1/07/2013, Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings 6. Springer, Vol. 7961. p. 200-215

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

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

  36. Published

    Auction Theory Toolbox

    Lange, C., Rowat, C., Kerber, M., Wenzel, M., Caminati, M., Mossakowski, T. & Windsteiger, W., 2013

    Research output: Exhibits, objects and web-based outputs › Software

  37. 2012
  38. 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

  39. Published

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

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

    Research output: Thesis › Doctoral Thesis

  40. 2011
  41. 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

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

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

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

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

  46. 2010
  47. 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

  48. 2009
  49. 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

  50. 2008
  51. 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

  52. 2006
  53. 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

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

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

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

Back to top