Home > Research > Researchers > Dr Marco Caminati > Publications

Research

Dr Marco Caminati

Lecturer in Computer Science

1 - 25 out of 41Page size: 25
RSS feed of this list
Sort by: Type
  1. Chapter (peer-reviewed)
  2. 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

  3. Chapter
  4. 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

  5. Conference contribution/Paper
  6. 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

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

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

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

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

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

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

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

  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

    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

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

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

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

  19. Conference paper
  20. 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

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

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

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

  25. Doctoral Thesis
  26. Published

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

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

    Research output: Thesis › Doctoral Thesis

  27. Other contribution
  28. 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

  29. Published

    Corecursion for Compositional Verification

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

    Research output: Other contribution

  30. Journal article
  31. 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

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

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

Previous 1 2 Next

Back to top