CRIS Current Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 62
Titolo Autore(i) Anno Periodico Editore Tipo File
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 -
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 -
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 -
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 -
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 -
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 -
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
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