Items where Author is "Caminati, Marco B."

Journal Article

Bowles, Juliana and Caminati, Marco B. (2019) Correct composition in the presence of behavioural conflicts and dephasing. Science of Computer Programming, 185: 102323. ISSN 0167-6423

Bowles, Juliana and Caminati, Marco B. and Cha, S. and Mendoza, J. (2019) A framework for automated conflict detection and resolution in medical guidelines. Science of Computer Programming. pp. 42-63. ISSN 0167-6423

Caminati, Marco B. and Kornilowicz, Artur (2014) Pseudo-Canonical Formulae are Classical. Formalized Mathematics.

Contribution in Book/Report/Proceedings

Bowles, Juliana and Caminati, Marco B. (2020) A formally verified SMT approach to true concurrency. In: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020 :. UNSPECIFIED.

Bowles, Juliana and Caminati, Marco B. (2019) An integrated approach to a combinatorial optimisation problem. In: Integrated Formal Methods :. Springer, pp. 204-382. ISBN 9783030349684

Bowles, Juliana and Caminati, Marco B. (2019) Balancing prescriptions with constraint solvers. In: Automated Reasoning for Systems Biology and Medicine :. Springer. ISBN 9783030172978

Bowles, Juliana and Caminati, Marco B. and Cha, Suhyun (2018) An integrated framework for verifying multiple care pathways. In: 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) :. IEEE. ISBN 9781538619247

Bowles, Juliana and Caminati, Marco B. (2017) A flexible approach for finding optimal paths with minimal conflicts. In: ICFEM: International Conference on Formal Engineering Methods :. Springer, pp. 209-225. ISBN 9783319686905

Bowles, Juliana and Caminati, Marco B. (2017) A verified algorithm enumerating event structures. In: Intelligent Computer Mathematics :. Springer. ISBN 9783319620749

Bowles, Juliana and Caminati, Marco B. (2016) Mind the gap : addressing behavioural inconsistencies with formal methods. In: 2016 23rd Asia-Pacific Software Engineering Conference (APSEC) :. IEEE. ISBN 9781509055753

Caminati, Marco B. and Kerber, Manfred and Lange, Christoph and Rowat, Colin (2015) Sound auction specification and implementation. In: Proceedings of the Sixteenth ACM Conference on Economics and Computation (EC '15) :. ACM, pp. 547-564. ISBN 9781450334105

Caminati, Marco B. and Kerber, Manfred and Lange, Christoph and Rowat, Colin (2014) Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? In: International Conference on Intelligent Computer Mathematics :. Springer, pp. 236-251. ISBN 978-3-319-08433-6

Other

Munbodh, R. and Zaveri, H. and Caminati, Marco B. and Bowles, Juliana (2018) Formalization and Automation of Quality Assurance Processes in Radiation Oncology. University of St Andrews.