| 1998 | ESOP | Verifiable and Executable Logic Specifications of Concurrent Objects in L | Lus Caires, Lus Monteiro |
| 1996 | JELIA | Modules and Specifications. | Vasco Pedro, Lus Monteiro |
| 1995 | EPIA | The Retrieval Problem in a Concept Language with Number Restrictions. | Aida Vitria, Margarida Mamede, Lus Monteiro |
| 1994 | ICLP | Higher-Order Polymorphic Unification for Logic Programming. | Lus Caires, Lus Monteiro |
| 1994 | ICLP | PP-clauses: A Means for Handling Resources. | Jean-Marie Jacquet, Lus Monteiro |
| 1994 | ICLP | Towards Resource Handling in Logic Programming: the PPL Framework and its Semantics. | Jean-Marie Jacquet, Lus Monteiro |
| 1994 | JELIA | Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics. | Jean-Marie Jacquet, Lus Monteiro |
| 1993 | EPIA | Towards Complete Answers in Concept Languages. | Margarida Mamede, Lus Monteiro |
| 1992 | ICLP | Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming. | Jean-Marie Jacquet, Lus Monteiro |
| 1992 | ICLP | A Contraint Logic Programming Scheme for Taxonomic Reasoning. | Margarida Mamede, Lus Monteiro |
| 1991 | CONCUR | Extended Horn Clauses: The Framework and Some Semantics. | Jean-Marie Jacquet, Lus Monteiro |
| 1991 | EPIA | A Constraint-Based Language for Querying Taxonomic Systems. | Margarida Mamede, Lus Monteiro |
| 1990 | ICLP | A Transformational View of Inheritance in Logic Programming. | Lus Monteiro, Antnio Porto |
| 1989 | ICLP | Contextual Logic Programming. | Lus Monteiro, Antnio Porto |
| 1986 | ICLP | Delta Prolog: A Distributed Backtracking Extension with Events. | Lus Moniz Pereira, Lus Monteiro, Jos C. Cunha, Joaquim Nunes Aparcio |
| 1986 | LICS | A Sheaf-Theoretic Model of Concurrency | Lus Monteiro, Fernando C. N. Pereira |
| 1982 | ICLP | A Horn Clause-like Logic for Specifying Concurrency. | Lus Monteiro |