Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach Montali Marco Heftet / 2010 / Engelsk
AIxIA 2024 – Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25–28, 2024 Proceedings Artale, Alessandro Heftet / 2025 / Engelsk
Process Mining Workshops ICPM 2022 International Workshops, Bozen-Bolzano, Italy, October 23–28, 2022, Revised Selected Papers Montali Marco Heftet / 2023 / Engelsk
Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings Fodor, Paul Heftet / 2019 / Engelsk
Business Process Management 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings Weske Mathias Heftet / 2018 / Engelsk
Business Process Management Forum BPM Forum 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings Weske Mathias Heftet / 2018 / Engelsk
