Luís Monteiro

Ana Paula Maldonado, Luís Monteiro, Markus Roggenbach: Towards Bialgebraic Semantics for the Linear Time - Branching Time Spectrum. WADT 2010: 209-225

Elisabete Freire, Luís Monteiro: Defining Behaviours by Quasi-finality. SBMF 2009: 290-305

Luís Monteiro: A Coalgebraic Characterization of Behaviours in the Linear Time - Branching Time Spectrum. WADT 2008: 251-265

Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung (Eds.): Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings. Lecture Notes in Computer Science 3580, Springer 2005, isbn 3-540-27580-0

Luís Monteiro: A Noninterleaving Model of Concurrency Based on Transition Systems with Spatial Structure. Electr. Notes Theor. Comput. Sci. 106: 261-277 (2004)

Luís Monteiro: Observation systems. Electr. Notes Theor. Comput. Sci. 33: 261-275 (2000)

Luís Monteiro: Semantic domains based on sets with families of equivalences. Electr. Notes Theor. Comput. Sci. 11: 71-104 (1998)

Luís Monteiro, António Porto: Entailment-Based Actions for Coordination. Theor. Comput. Sci. 192(2): 259-286 (1998)

Luís Caires, Luís Monteiro: Verifiable and Executable Logic Specifications of Concurrent Objects in L_pi. ESOP 1998: 42-56

Luís Caires, Luís Monteiro: Proof Net Semantics of Proof Search Computation. ALP/HOA 1997: 194-208

Jean-Marie Jacquet, Luís Monteiro: Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics. Comput. Lang. 22(2/3): 51-77 (1996)

Vasco Pedro, Luís Monteiro: Modules and Specifications. APPIA-GULP-PRODE 1996: 499-510

J. Baptista, Luís Monteiro: Handling Calls to Missing Predicates. APPIA-GULP-PRODE 1996: 511-522

Vasco Pedro, Luís Monteiro: Modules and Specifications. JELIA 1996: 284-300

Aida Vitória, Margarida Mamede, Luís Monteiro: The Retrieval Problem in a Concept Language with Number Restrictions. EPIA 1995: 69-82

Vasco Pedro, Luís Monteiro: An Approach to Verification in Contextual Logic Programming. ILPS 1995: 634

Jean-Marie Jacquet, Luís Monteiro: Towards Resource Handling in Logic Programming: the PPL Framework and its Semantics. ICLP Workshop: Process-Based Parallel Logic Programming 1994: 38-53

Luís Caires, Luís Monteiro: Higher-Order Polymorphic Unification for Logic Programming. ICLP 1994: 419-433

Jean-Marie Jacquet, Luís Monteiro: PP-clauses: A Means for Handling Resources. ICLP 1994: 743

Jean-Marie Jacquet, Luís Monteiro: Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics. JELIA 1994: 379-399

Margarida Mamede, Luís Monteiro: Towards Complete Answers in Concept Languages. EPIA 1993: 121-135

Jean-Marie Jacquet, Luís Monteiro: Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming. JICSLP 1992: 98-112

Margarida Mamede, Luís Monteiro: A Contraint Logic Programming Scheme for Taxonomic Reasoning. JICSLP 1992: 255-269

Jean-Marie Jacquet, Luís Monteiro: Extended Horn Clauses: The Framework and Some Semantics. CONCUR 1991: 281-297

Margarida Mamede, Luís Monteiro: A Constraint-Based Language for Querying Taxonomic Systems. EPIA 1991: 60-75

Luís Monteiro, António Porto: Syntactic and Semantic Inheritance in Logic Programming. Declarative Programming 1991: 163-173

Luís Monteiro, António Porto: A Transformational View of Inheritance in Logic Programming. ICLP 1990: 481-494

Jean-Marie Jacquet, Luís Monteiro: Comparative Semantics for a Parallel Contextual Logic Programming Language. NACLP 1990: 195-214

Luís Monteiro, António Porto: Contextual Logic Programming. ICLP 1989: 284-299

Luís Moniz Pereira, Luís Monteiro, José C. Cunha, Joaquim Nunes Aparício: Delta Prolog: A Distributed Backtracking Extension with Events. ICLP 1986: 69-83

Luís Monteiro, Fernando C. N. Pereira: A Sheaf-Theoretic Model of Concurrency. LICS 1986: 66-76

Luís Monteiro: A Proposal for Distributed Programming in Logic. Implementations of Prolog 1984: 329-340

Luís Monteiro: A Horn Clause-like Logic for Specifying Concurrency. ICLP 1982: 1-8

Luís Monteiro: An Extension to Horn Clause Logic Allowing the Definition of Concurrent Processes. ICFPC 1981: 401-407