Foto del docente

Paola Mello

Full Professor

Department of Computer Science and Engineering

Academic discipline: ING-INF/05 Information Processing Systems

Publications

E. Lamma; P. Mello; M. Montali; F. Riguzzi; S. Storari, Inducing Declarative Logic-Based Models from Labeled Traces, in: Business Process Management, 2007, 4714, pp. 344 - 359 (atti di: 5th International Conference on Business Process Management (BPM 2007), Brisbane, Australia, 24-28 Settembre 2007) [Contribution to conference proceedings]

E. LAMMA; F. RIGUZZI ; S. STORARI; P. MELLO; M. MONTALI, Learning DecSerFlow Models from Labeled Traces, in: First International Workshop on the Induction of Process Models, s.l, s.n, 2007, pp. 13 - 16 (atti di: First International Workshop on the Induction of Process Models, Corvallis, Oregon, 24/6/2007) [Abstract]

E. Lamma; P. Mello; M. Montali; F. Riguzzi; S. Storari, Learning DecSerFlow Models from Labelled Traces, in: Proceedingfs of the 5th International Workshop on Induction of Process Models, IPM 2007, CORVALLIS, s.n, 2007(atti di: 24th International Conference on Machine Learning, Corvallis, Oregon, USA, 20-24 Giugno 2007) [Contribution to conference proceedings]

M. Alberti; F. Chesani; D. Daolio; M. Gavanelli; E. Lamma; P. Mello; P. Torroni, Specification and Verification of Agent Interaction Protocols in a Logic-based System, «SCALABLE COMPUTING. PRACTICE AND EXPERIENCE», 2007, 8(1), pp. 1 - 13 [Scientific article]

F. Chesani; P. Mello; M. Montali; S. Storari, Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic, in: Artificial Intelligence in Medicine, 2007, 4594, pp. 479 - 488 (atti di: 11th Conference on Artificial Intelligence in Medicine (AIME 2007), Amsterdam, the Netherlands, 7-11 Luglio 2007) [Contribution to conference proceedings]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni., Web Service Contracting: Specification and Reasoning with SCIFF, in: The Semantic Web: Research and Applications, 2007, 4519, pp. 68 - 83 (atti di: The Semantic Web: Research and Applications, 4th European Semantic Web Conference, (ESWC 2007), Innsbruck, Austria, June 3-7, 2007) [Contribution to conference proceedings]

F. Chesani; P. De Matteis; P. Mello; M. Montali; S. Storari, A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening., in: Foundations of Intelligent Systems, 2006, 4203, pp. 338 - 343 (atti di: 16th International Symposium on Methodologies for Intelligent Systems, Bari, 27- 29 Settembre 2006) [Contribution to conference proceedings]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello, A Verifiable Logic-Based Agent Architecture., in: Foundations of Intelligent Systems, Berlin, Springer Verlag, 2006, 4203, pp. 188 - 197 (atti di: Foundations of Intelligent Systems. 16th International Symposium on Methodologies for Intelligent Systems (ISMIS 2006), Bari, Italy, 27-29 Settembre 2006) [Contribution to conference proceedings]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali, A-priori verification of web services with abduction., in: Proceedings of CILC 2006, Bari, Italy, June 2006., s.l, s.n, 2006(atti di: Convegno Italiano di Logica Computazionale, Bari, Italy, Giugno 2006) [Contribution to conference proceedings]

G. Giacomelli; P. Mello; M. Milano; B. Poli; A. Roli; G. Siroli, A.I. Artificial Intelligence Scienza o Fantascienza, 2006. [Exhibition]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari, Abduction for Specifying and Verifying Web Service Choreographies., in: Proceedings of the 4th International Workshop on AI for Service Composition (AISC06)., s.l, s.n, 2006(atti di: 4th International Workshop on AI for Service Composition (AISC06). In conjunction with ECAI 2006, Riva del Garda, 28 August - 1 September 2006) [Contribution to conference proceedings]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali, An Abductive Framework for A-Priori Verification of Web Services, in: Proceedings of the Eighth Symposium on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, NEW YORK, ACM Press, 2006, pp. 39 - 50 (atti di: Eighth Symposium on Principles and Practice of Declarative Programming, Venice, Italy, July 10-12) [Contribution to conference proceedings]

E.Lamma; P.Mello; A.Nanetti; F.Riguzzi; S.Storari; G.Valastro, Artificial Intelligence Techniques for Monitoring Dangerous Infections, «IEEE TRANSACTIONS ON INFORMATION TECHNOLOGY IN BIOMEDICINE», 2006, 10, n. 1, Gennaio, pp. 143 - 155 [Scientific article]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; P. Torroni, Compliance Verification of Agent Interaction: a Logic-Based Software Tool, «APPLIED ARTIFICIAL INTELLIGENCE», 2006, 20(2-4), pp. 133 - 157 [Scientific article]

M. ALBERTI; F. CHESANI; M. GAVANELLI; E. LAMMA; P. MELLO; M. MONTALI; S. STORARI; P. TORRONI, Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool, in: Web Services and Formal Methods, 2006, 4184, pp. 58 - 72 (atti di: Third International Workshop, WS-FM, Vienna, September 8-9, 2006) [Contribution to conference proceedings]

Latest news

At the moment no news are available.