MONTALI, MARCO
MONTALI, MARCO
DIP. DI ELETTRONICA,INFORMATICA,SISTEMISTICA-DEIS
On the Flexibility of Declarative Process Specifications
2024 Corea C.; Felli P.; Montali M.; Patrizi F.
A Semantic Approach to Decidability in Epistemic Planning
2023 Burigana A.; Felli P.; Montali M.; Troquard N.
Repairing Soundness Properties in Data-Aware Processes
2023 Felli P.; Montali M.; Winkler S.
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints
2022 Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Daniela Loreti ;Fabrizio Maria Maggi ;Paola Mello ; Marco Montali;Elena Palmieri; Sergio Tessaris
Optimising Business Process Discovery Using Answer Set Programming
2022 Chesani, Federico; Di Francescomarino, Chiara; Ghidini, Chiara; Grundler, Giulia; Loreti, Daniela; Maggi, Fabrizio Maria; Mello, Paola; Montali, Marco; Tessaris, Sergio
SMT-based Safety Checking of Parameterized Multi-Agent Systems
2021 Felli P.; Gianola A.; Montali M.
Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors
2020 Massimiliano de Leoni, Paolo Felli, Marco Montali
Towards the Generation of the "Perfect" Log Using Abductive Logic Programming
2019 Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi,Paola Mello, Marco Montali, Vasyl Skydanienko, Sergio Tessaris
Abductive Reasoning on Compliance Monitoring Balancing Flexibility and Regulation
2017 Chesani, Federico; Mello, Paola; Montali, Marco
Abducing Compliance of Incomplete Event Logs
2016 Chesani, Federico; Masellis, Riccardo De; Francescomarino, Chiara Di; Ghidini, Chiara; Mello, Paola; Montali, Marco; Tessaris, Sergio
Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes
2015 Bragaglia, Stefano; Chesani, Federico; Mello, Paola; Montali, Marco
Gamified children universities: An exploratory study
2014 Del Fatto, Vincenzo; Dodero, Gabriella; Gennari, Rosella; Melonio, Alessandra; Montali, Marco; Razniewski, Simon; Torello, Santina; Wang, Xiaofeng; Zini, Floriano
Towards data-aware constraints in declare
2013 M. Montali; F. Chesani; P. Mello; F. M. Maggi
Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge
2012 A. Bottrighi; F. Chesani; P. Mello; M. Montali; S. Montani; P. Terenziani
Process Mining Manifesto
2012 W. van der Aalst; A. Adriansyah; A. K. Alves de Medeiros; F. Arcieri; T. Baier; T. Blickle; R. P. Jagadeesh Chandra Bose; P. van den Brand; R. Brandtjen; J. C. A. M. Buijs; A. Burattin; J. Carmona; M. Castellanos; J. Claes; J. Cook; N. Costantini; F. Curbera; E. Damiani; M. de Leoni; P. Delias; B. F. van Dongen; M. Dumas; S. Dustdar; D. Fahland; D. R. Ferreira; W. Gaaloul; F. van Geffen; S. Goel; C. W. Gunther; A. Guzzo; P. Harmon; A. H. M. ter Hofstede; J. Hoogland; J. E. Ingvaldsen; K. Kato; R. Kuhn; A. Kumar; M. La Rosa; F. M. Maggi; D. Malerba; R. S. Mans; A. Manuel; M. McCreesh; P. Mello; J. Mendling; M. Montali; H. R. M. Nezhad; M. zur Muehlen; J. Munoz-Gama; L. Pontieri; J. Ribeiro; A. Rozinat; H. S. Perez; R. S. Perez; M. Sepulveda; J. Sinur; P. Soffer; M. Song; A. Sperduti; G. Stilo; C. Stoel; K. D. Swenson; M. Talamo; W. Tan; C. Turner; J. Vanthienen; G. Varvaressos; E. Verbeek; M. Verdonk; R. Vigo; J. Wang; B. Weber; M. Weidlich; T. Weijters; L. Wen; M. Westergaard; M. T. Wynn
Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems
2011 S. Bragaglia; F. Chesani; E. Fry; P. Mello; M. Montali; D. Sottara
Fuzzy Conformance Checking of Observed Behaviour with Expectations
2011 S. Bragaglia; F. Chesani; P. Mello; M. Montali; D. Sottara
Modeling and verifying business process and choreographies through the abductive proof procedure SCIFF and its extensions.
2011 F. Chesani; P. Mello; M. Montali; P. Torroni
A Logic-Based, Reactive Calculus of Events
2010 F. Chesani; P. Mello; M. Montali; P. Torroni
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes
2010 M. Montali; P. Torroni; F. Chesani; P. Mello; M. Alberti; E. Lamma
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| On the Flexibility of Declarative Process Specifications | Corea C.; Felli P.; Montali M.; Patrizi F. | 2024-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| A Semantic Approach to Decidability in Epistemic Planning | Burigana A.; Felli P.; Montali M.; Troquard N. | 2023-01-01 | - | IOS Press BV | 4.01 Contributo in Atti di convegno | FAIA-372-FAIA230286.pdf |
| Repairing Soundness Properties in Data-Aware Processes | Felli P.; Montali M.; Winkler S. | 2023-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | - |
| Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints | Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Daniela Loreti ;Fabrizio Maria Maggi... ;Paola Mello ; Marco Montali;Elena Palmieri; Sergio Tessaris | 2022-01-01 | - | - | 4.01 Contributo in Atti di convegno | paper_21.pdf |
| Optimising Business Process Discovery Using Answer Set Programming | Chesani, Federico; Di Francescomarino, Chiara; Ghidini, Chiara; Grundler, Giulia; Loreti, Daniela...; Maggi, Fabrizio Maria; Mello, Paola; Montali, Marco; Tessaris, Sergio | 2022-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| SMT-based Safety Checking of Parameterized Multi-Agent Systems | Felli P.; Gianola A.; Montali M. | 2021-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors | Massimiliano de Leoni, Paolo Felli, Marco Montali | 2020-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Towards the Generation of the "Perfect" Log Using Abductive Logic Programming | Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi...,Paola Mello, Marco Montali, Vasyl Skydanienko, Sergio Tessaris | 2019-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Abductive Reasoning on Compliance Monitoring Balancing Flexibility and Regulation | Chesani, Federico; Mello, Paola; Montali, Marco | 2017-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Abducing Compliance of Incomplete Event Logs | Chesani, Federico; Masellis, Riccardo De; Francescomarino, Chiara Di; Ghidini, Chiara; Mello, Pao...la; Montali, Marco; Tessaris, Sergio | 2016-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes | Bragaglia, Stefano; Chesani, Federico; Mello, Paola; Montali, Marco | 2015-01-01 | - | Springer International Publishing | 2.01 Capitolo / saggio in libro | - |
| Gamified children universities: An exploratory study | Del Fatto, Vincenzo; Dodero, Gabriella; Gennari, Rosella; Melonio, Alessandra; Montali, Marco; Ra...zniewski, Simon; Torello, Santina; Wang, Xiaofeng; Zini, Floriano | 2014-01-01 | - | Association for Computing Machinery, Inc | 4.01 Contributo in Atti di convegno | - |
| Towards data-aware constraints in declare | M. Montali; F. Chesani; P. Mello; F. M. Maggi | 2013-01-01 | - | ACM | 4.01 Contributo in Atti di convegno | - |
| Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge | A. Bottrighi; F. Chesani; P. Mello; M. Montali; S. Montani; P. Terenziani | 2012-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| Process Mining Manifesto | W. van der Aalst; A. Adriansyah; A. K. Alves de Medeiros; F. Arcieri; T. Baier; T. Blickle; R. P.... Jagadeesh Chandra Bose; P. van den Brand; R. Brandtjen; J. C. A. M. Buijs; A. Burattin; J. Carmona; M. Castellanos; J. Claes; J. Cook; N. Costantini; F. Curbera; E. Damiani; M. de Leoni; P. Delias; B. F. van Dongen; M. Dumas; S. Dustdar; D. Fahland; D. R. Ferreira; W. Gaaloul; F. van Geffen; S. Goel; C. W. Gunther; A. Guzzo; P. Harmon; A. H. M. ter Hofstede; J. Hoogland; J. E. Ingvaldsen; K. Kato; R. Kuhn; A. Kumar; M. La Rosa; F. M. Maggi; D. Malerba; R. S. Mans; A. Manuel; M. McCreesh; P. Mello; J. Mendling; M. Montali; H. R. M. Nezhad; M. zur Muehlen; J. Munoz-Gama; L. Pontieri; J. Ribeiro; A. Rozinat; H. S. Perez; R. S. Perez; M. Sepulveda; J. Sinur; P. Soffer; M. Song; A. Sperduti; G. Stilo; C. Stoel; K. D. Swenson; M. Talamo; W. Tan; C. Turner; J. Vanthienen; G. Varvaressos; E. Verbeek; M. Verdonk; R. Vigo; J. Wang; B. Weber; M. Weidlich; T. Weijters; L. Wen; M. Westergaard; M. T. Wynn | 2012-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems | S. Bragaglia; F. Chesani; E. Fry; P. Mello; M. Montali; D. Sottara | 2011-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| Fuzzy Conformance Checking of Observed Behaviour with Expectations | S. Bragaglia; F. Chesani; P. Mello; M. Montali; D. Sottara | 2011-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| Modeling and verifying business process and choreographies through the abductive proof procedure SCIFF and its extensions. | F. Chesani; P. Mello; M. Montali; P. Torroni | 2011-01-01 | INTELLIGENZA ARTIFICIALE | - | 1.01 Articolo in rivista | - |
| A Logic-Based, Reactive Calculus of Events | F. Chesani; P. Mello; M. Montali; P. Torroni | 2010-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
| Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes | M. Montali; P. Torroni; F. Chesani; P. Mello; M. Alberti; E. Lamma | 2010-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |