autore : Paola Mello
14
pubblicazioni
Declarative Specification and Verification of Service Choreographies (ACM Transactions on the Web, 2009) — Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification (2007) — Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone La programmazione logica nello sviluppo del software: dai modelli agli strumenti (1995) — Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini Modularity in Logic Programming (The Journal of Logic Programming, 1994) — Michele Bugliesi, Evelina Lamma, Paola Mello Techniques for Implementing Contexts in Logic Programming (ELP'92) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini Implementing Contexts in Logic Programming (ELP'92) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini An Extended Warren Abstract Machine for the Execution of Structured Logic Programs (The Journal of Logic Programming, 1992) — Evelina Lamma, Paola Mello, Antonio Natali Reflection Mechanisms for Combining Prolog Databases (Software: Practice and Experience, 1991) — Evelina Lamma, Paola Mello, Antonio Natali The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming (1989) — Evelina Lamma, Paola Mello, Antonio Natali Logic Programming in a Software Engineering Perspective (1989) — Paola Mello, Antonio Natali, Cristina Ruggieri Meta-Programming in Prolog Through Direct Introspection (1988) — Marco Cavalieri, Evelina Lamma, Paola Mello, Antonio Natali