Sfoglia per Autore
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework
2010 F. Chesani; P. Mello; M. Montali; S. Storari; P. Torroni
Declarative Specification and Verification of Service Choreographies
2010 M. Montali; M. Pesic; W. M. P. van der Aalst; F. Chesani; P. Mello; S. Storari
Social Commitments in Time: Satisfied or Compensated
2010 P. Torroni; F. Chesani; P. Mello; M. Montali
Monitoring Time-Aware Social Commitments with Reactive Event Calculus
2010 F. Chesani; P. Mello; M. Montali; P. Torroni
Analysis of the GLARE and GPROVE approaches to Clinical Guidelines
2010 A. Bottrighi; F.Chesani; P. Mello; M. Montali; S. Montani; S. Storari; P. Terenziani
Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems
2011 S. Bragaglia; F. Chesani; E. Fry; 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
Fuzzy Conformance Checking of Observed Behaviour with Expectations
2011 S. Bragaglia; F. Chesani; P. Mello; M. Montali; D. Sottara
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
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
Towards data-aware constraints in declare
2013 M. Montali; F. Chesani; P. Mello; F. M. Maggi
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
Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes
2015 Bragaglia, Stefano; 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
Abductive Reasoning on Compliance Monitoring Balancing Flexibility and Regulation
2017 Chesani, Federico; Mello, Paola; Montali, Marco
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
Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors
2020 Massimiliano de Leoni, Paolo Felli, Marco Montali
SMT-based Safety Checking of Parameterized Multi-Agent Systems
2021 Felli P.; Gianola A.; Montali M.
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
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
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework | F. Chesani; P. Mello; M. Montali; S. Storari; P. Torroni | 2010-01-01 | MULTIAGENT AND GRID SYSTEMS | - | 1.01 Articolo in rivista | - |
Declarative Specification and Verification of Service Choreographies | M. Montali; M. Pesic; W. M. P. van der Aalst; F. Chesani; P. Mello; S. Storari | 2010-01-01 | ACM TRANSACTIONS ON THE WEB | - | 1.01 Articolo in rivista | - |
Social Commitments in Time: Satisfied or Compensated | P. Torroni; F. Chesani; P. Mello; M. Montali | 2010-01-01 | - | SPRINGER | 4.01 Contributo in Atti di convegno | - |
Monitoring Time-Aware Social Commitments with Reactive Event Calculus | F. Chesani; P. Mello; M. Montali; P. Torroni | 2010-01-01 | - | Austrian Society for Cybernetics Studies | 4.01 Contributo in Atti di convegno | - |
Analysis of the GLARE and GPROVE approaches to Clinical Guidelines | A. Bottrighi; F.Chesani; P. Mello; M. Montali; S. Montani; S. Storari; P. Terenziani | 2010-01-01 | - | Springer | 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 | - |
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 | - |
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 | - |
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 | - |
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 | - |
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 | - |
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 | - |
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 | - |
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 | - |
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 | - |
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 | - |
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 | - |
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 | - |
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 | - |
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 |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile