Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 62
Titolo Autore(i) Anno Periodico Editore Tipo File
Role Monitoring in Open Agent Societies F. Chesani; P. Mello; M. Montali; P. Torroni 2010-01-01 - Springer 4.01 Contributo in Atti di convegno -
Declarative Technologies for Open Agent Systems and Beyond F. Chesani; P. Mello; M. Montali; P. Torroni 2010-01-01 - Springer 4.01 Contributo in Atti di convegno -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
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 -
Mostrati risultati da 41 a 60 di 62
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