Travelled to:1 × Belgium
1 × Cyprus
1 × France
1 × Germany
1 × Portugal
3 × Italy
4 × USA
Collaborated with:E.Lamma A.Natali A.Ciampolini C.Stefanelli M.Gavanelli M.Milano M.Montali F.Chesani M.Alberti M.Bugliesi C.Ruggieri P.Torroni F.M.Maggi A.Brogi P.Mancarella D.Daolio
Talks about:logic (10) program (7) constraint (3) object (3) verif (3) communic (2) partial (2) specif (2) prolog (2) declar (2)
Person: Paola Mello
DBLP: Mello:Paola
Contributed to:
2013
2008
20062004199919991997
19961994
19941992
199219901989
1987
1986Wrote 16 papers:
- SAC-2013-MontaliCMM #constraints #towards
- Towards data-aware constraints in declare (MM, FC, PM, FMM), pp. 1391–1396.
- ICLP-2008-MontaliTACGLM #declarative #logic programming #specification #using #verification
- Verification from Declarative Specifications Using Logic Programming (MM, PT, MA, FC, MG, EL, PM), pp. 440–454.
- PPDP-2006-AlbertiGLCMM #abduction #framework #verification #web #web service
- An abductive framework for a-priori verification of web services (MA, MG, EL, FC, PM, MM), pp. 39–50.
- SAC-2004-AlbertiDTGLM #interactive #protocol #specification #verification
- Specification and verification of agent interaction protocols in a logic-based system (MA, DD, PT, MG, EL, PM), pp. 72–78.
- ICLP-1999-GavanelliLMM
- Domains as First Class Objects in CLP(FD) (MG, EL, PM, MM), p. 608.
- SAC-1999-CiampoliniLMS #abduction #coordination #logic
- Abductive Coordination for Logic Agents (AC, EL, PM, CS), pp. 134–140.
- ICLP-1997-LammaMM #constraints #logic programming #reasoning
- Reasoning on Constraints in Constraint Logic Programming (EL, MM, PM), p. 413.
- RWLW-1996-CiampoliniLMS #distributed #implementation #logic
- Distributed logic objects: A fragment of rewriting logic and its implementation (AC, EL, PM, CS), pp. 110–125.
- ICLP-1994-LammaM #composition #logic programming
- Modularity in Logic Programming (EL, PM), pp. 15–17.
- PDP-1994-CiampoliniLMS #architecture #parallel #unification
- Multi-level Copying For Unification In Parallel Architectures (AC, EL, PM, CS), pp. 518–525.
- JICSLP-1992-BrogiLMM #logic programming #source code
- Normal Logic Programs as Open Positive Programs (AB, EL, PM, PM), pp. 783–797.
- LOPSTR-1992-LammaM #partial evaluation
- A Rationalisation of the ATMS in Terms of Partial Evaluation (EL, PM), pp. 118–131.
- NACLP-1990-BugliesiLM #logic #partial evaluation
- Partial Evaluation for Hierarchies of Logic Theories (MB, EL, PM), pp. 359–376.
- NACLP-1989-MelloNR #logic programming #perspective #re-engineering
- Logic Programming in a Software Engineering Perspective (PM, AN, CR), pp. 441–458.
- ECOOP-1987-MelloN #communication #prolog
- Objects as Communicating Prolog Units (PM, AN), pp. 181–191.
- ESOP-1986-MelloN #communication #prolog #source code
- Programs as Collections of Communicating Prolog Units (PM, AN), pp. 274–288.