A. Bottrighi; F. Chesani; P. Mello; M. Montali; S. Montani; P. Terenziani, Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge, in: Business Process Management Workshops BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II, BERLIN, Springer-Verlag, 2012, 100, pp. 200 - 211 (atti di: Business Process Management Workshops -- BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011) [Contribution to conference proceedings]
D. Sottara; P. Mello; G. Morlini; F. Malaguti; L. Luccarini, Modelling SBR cycle management and optimization using events and workflows, in: iEMSs 2012 - Managing Resources of a Limited Planet: Proceedings of the 6th Biennial Meeting of the International Environmental Modelling and Software Society, 2012, pp. 196 - 203 (atti di: iEMSs 2012 - Managing Resources of a Limited Planet. The 6th Biennial Meeting of the International Environmental Modelling and Software Society, Leipzig; Germany, 1-5 July 2012) [Contribution to conference proceedings]
L. Luccarini; D. Pulcini; D. Sottara; S. Bragaglia; P. Mello, Monitoring the performance of soft sensors used in WWTPs by means of formal verification, in: iEMSs 2012 - Managing Resources of a Limited Planet: Proceedings of the 6th Biennial Meeting of the International Environmental Modelling and Software Society, 2012, pp. 2371 - 2378 (atti di: 6th Biennial Meeting of the International Environmental Modelling and Software Society: Managing Resources of a Limited Planet, iEMSs 2012;, Leipzig; Germany;, 1-5 July 2012) [Contribution to conference proceedings]
D. Sottara; S. Bragaglia; P. Mello; D. Pulcini; L. Luccarini; D. Giunchi, Ontologies, rules, workflow and predictive models: Knowledge assets for an EDSS, in: iEMSs 2012 - Managing Resources of a Limited Planet: Proceedings of the 6th Biennial Meeting of the International Environmental Modelling and Software Society, 2012, pp. 204 - 211 (atti di: iEMSs 2012 - Managing Resources of a Limited Planet: Proceedings of the 6th Biennial Meeting of the International Environmental Modelling and Software Society, Leipzig; Germany;, 1 July 2012 through 5 July 2012;) [Contribution to conference proceedings]
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, Process Mining Manifesto, in: Business Process Management Workshops - BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I, BERLIN, Springer-Verlag, 2012, 99LNBIP, pp. 169 - 194 (atti di: Business Process Management Workshops - BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011) [Contribution to conference proceedings]
S. Bragaglia; F. Chesani; P. Mello; M. Montali; P. Torroni, Reactive event calculus for monitoring global computing applications, in: Logic Programs, Norms and Action. Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday, HEIDELBERG, Springer-Verlag, 2012, pp. 123 - 146 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
S. Bragaglia; P. Mello; D. Sottara, Towards an Interactive Personal Care System driven by Sensor Data, in: Popularize Artificial Intelligence - Proceedings of the AI*IA Workshop and Prize for Celebrating 100th Anniversary of Alan Turing's Birth, 2012, Aachen, CEUR WORKSHOP PROCEEDINGS, 2012, 860, pp. 54 - 59 (atti di: Popularize Artificial Intelligence 2012 - 12th Symposium of the Italian Association for Artificial Intelligence, Roma, 15 Giugno 2012) [Contribution to conference proceedings]
M. Alberti; M. Cattafi; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni, A computational logic application framework for service discovery and contracting, «INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH», 2011, 8, pp. 1 - 25 [Scientific article]
M. Fornaciari; D. Sottara; A. Prati; P. Mello; R. Cucchiara, An evidential fusion architecture for people surveillance in wide open areas, in: Proceedings of the 6th international conference on Hybrid Artificial Intelligent Systems, BERLIN, Springer-Verlag, 2011, 6678, pp. 239 - 246 (atti di: The 6th international conference on Hybrid artificial intelligent systems, Wroclaw, Poland, May 23-25, 2011) [Contribution to conference proceedings]
M. Montali; P. Torroni; N. Zannone; P. Mello; V. Bryl, Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos, «AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS», 2011, 23, pp. 193 - 223 [Scientific article]
D. Sottara;P. Mello;C. Sartori;E. Fry, Enhancing a production rule engine with predictive models using PMML, in: Proceedings of the 2011 workshop on Predictive markup language modeling, New York, NY, USA, ACM, 2011, pp. 39 - 47 (atti di: Predictive markup language modeling, San Diego, 21-24/08/2011) [Contribution to conference proceedings]
S. Bragaglia; F. Chesani; E. Fry; P. Mello; M. Montali; D. Sottara, Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems, in: Rule-Based Modeling and Computing on the Semantic Web, BERLIN, Springer-Verlag, 2011, 7018, pp. 267 - 281 (atti di: RuleML 2011 - America. The 5th International Symposium on Rules: Research Based and Industry Focused, Fort Lauderdale, Florida, USA, November 3-5, 2011) [Contribution to conference proceedings]
S. Bragaglia; F. Chesani; P. Mello; M. Montali; D. Sottara, Fuzzy Conformance Checking of Observed Behaviour with Expectations, in: AI*IA 2011: Artificial Intelligence Around Man and Beyond, BERLIN, Springer-Verlag, 2011, 6934, pp. 80 - 91 (atti di: AI*IA 2011 - Artificial Intelligence Around Man and Beyond - Twelfth International Conference on Advances in Artificial Intelligence - Italian Association for Artificial Intelligence (AI*IA)., Palermo, Italy, September 15-17, 2011) [Contribution to conference proceedings]
F. Chesani; P. Mello; M. Montali; P. Torroni, Modeling and verifying business process and choreographies through the abductive proof procedure SCIFF and its extensions., «INTELLIGENZA ARTIFICIALE», 2011, 5 (1), pp. 101 - 105 [Scientific article]
F. Chesani; P. Mello; M. Montali; P. Torroni, Monitoring time-aware commitments within agent-based simulation environments, «CYBERNETICS AND SYSTEMS», 2011, 42, pp. 546 - 566 [Scientific article]
