| 2011 |
|---|
| 12 | Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos. Marco Montali, Paolo Torroni, Nicola Zannone, Paola Mello, Volha Bryl. Autonomous Agents and Multi-Agent Systems (23): 193-223 (2011). Web SearchBibTeXDownload |
| 11 | Process Mining Manifesto. Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, Malú Castellanos, Jan Claes, Jonathan Cook, Nicola Costantini, Francisco Curbera, Ernesto Damiani, Massimiliano de Leoni, Pavlos Delias, Boudewijn F. van Dongen, Marlon Dumas, Schahram Dustdar, Dirk Fahland, Diogo R. Ferreira, Walid Gaaloul, Frank van Geffen, Sukriti Goel, Christian W. Günther, Antonella Guzzo, Paul Harmon, Arthur H. M. ter Hofstede, John Hoogland, Jon Espen Ingvaldsen, Koki Kato, Rudolf Kuhn, Akhil Kumar, Marcello La Rosa, Fabrizio Maria Maggi, Donato Malerba, R. S. Mans, Alberto Manuel, Martin McCreesh, Paola Mello, Jan Mendling, Marco Montali, Hamid R. Motahari Nezhad, Michael zur Muehlen, Jorge Muñoz-Gama, Luigi Pontieri, Joel Ribeiro, Anne Rozinat, Hugo Seguel Pérez, Ricardo Seguel Pérez, Marcos Sepúlveda, Jim Sinur, Pnina Soffer, Minseok Song, Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo, Wei Tan, Chris Turner, Jan Vanthienen, George Varvaressos, Eric Verbeek, Marc Verdonk, Roberto Vigo, Jianmin Wang, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, Moe Thandar Wynn. Business Process Management Workshops (1) 2011, 169-194. Web SearchBibTeXDownload |
| 2010 |
|---|
| 10 | Declarative specification and verification of service choreographiess. Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari. TWEB (4) (2010). Web SearchBibTeXDownload |
| 1998 |
|---|
| 9 | Optimizing Modular Logic Languages. Michele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello. ACM Comput. Surv. (30): 10 (1998). Web SearchBibTeXDownload |
| 1997 |
|---|
| 8 | A Unifying View for Logic Programming with Non-Monotonic Reasoning. Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello. Theor. Comput. Sci. (184): 1-5 (1997). Web SearchBibTeXDownload |
| 1995 |
|---|
| 7 | An Abductive Framework for Extended Logic Programming. Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello. LPNMR 1995, 330-343. Web SearchBibTeXDownload |
| 1994 |
|---|
| 6 | Modularity in Logic Programming. Michele Bugliesi, Paola Mello. ICLP 1994, 15-17. Web SearchBibTeX |
| 1993 |
|---|
| 5 | Partial Deduction for Structured Logic Programming. Michele Bugliesi, Evelina Lamma, Paola Mello. J. Log. Program. (16): 89-122 (1993). Web SearchBibTeXDownload |
| 1992 |
|---|
| 4 | Normal logic programs as open positive programs. Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello. CNKBS 1992, 9-11. Web SearchBibTeX |
| 3 | Normal Logic Programs as Open Positive Programs. Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello. JICSLP 1992, 783-797. Web SearchBibTeX |
| 1991 |
|---|
| 2 | Abductive Reasoning in a Multi-Theory Framework. Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello. AI*IA 1991, 137-146. Web SearchBibTeXDownload |
| 1990 |
|---|
| 1 | Partial Evaluation for Hierarchies of Logic Theories. Michele Bugliesi, Evelina Lamma, Paola Mello. NACLP 1990, 359-376. Web SearchBibTeX |
