Marco Montali

Books by Marco Montali

Total count: 8

• Specification and Verification of Declarative Open Interaction ModelsA Logic-Based Approach

  Springer2010-01-01
• 
  Business Process Management ForumBPM Forum 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings

  Springer2018-08-11
• 
  Business Process Management16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings

  Springer2018-08-11
• 
  Rules and ReasoningThird International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

  Springer2019-09-14
• Enterprise Design, Operations, and Computing26th International Conference, EDOC 2022, Bozen-Bolzano, Italy, October 3-7, 2022, Proceedings

  Springer International Publishing AG2022-01-01
• Enterprise Design, Operations, and Computing. EDOC 2022 WorkshopsIDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations and Doctoral Consortium Track, Bozen-Bolzano, Italy, October 4-7, 2022, Revised Selected Papers

  Springer International Publishing AG2023-01-01
• Process Mining WorkshopsICPM 2022 International Workshops, Bozen-Bolzano, Italy, October 23-28, 2022, Revised Selected Papers

  Springer2023-01-01
• AIxIA 2024 - Advances in Artificial IntelligenceXXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings

  Springer2025-01-01