 | 2009 |
|---|
| 33 |       | Elisabete Freire,
Luís Monteiro:
Defining Behaviours by Quasi-finality.
SBMF 2009: 290-305 |
| 2008 |
|---|
| 32 | | Luís Monteiro:
A Coalgebraic Characterization of Behaviours in the Linear Time - Branching Time Spectrum.
WADT 2008: 251-265 |
| 2005 |
|---|
| 31 |  | Luís Caires,
Giuseppe F. Italiano,
Luís Monteiro,
Catuscia Palamidessi,
Moti Yung:
Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
Springer 2005 |
| 2004 |
|---|
| 30 | | Luís Monteiro:
A Noninterleaving Model of Concurrency Based on Transition Systems with Spatial Structure.
Electr. Notes Theor. Comput. Sci. 106: 261-277 (2004) |
| 2000 |
|---|
| 29 | | Luís Monteiro:
Observation systems.
Electr. Notes Theor. Comput. Sci. 33: (2000) |
| 1998 |
|---|
| 28 | | Luís Caires,
Luís Monteiro:
Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi.
ESOP 1998: 42-56 |
| 27 | | Luís Monteiro:
Semantic domains based on sets with families of equivalences.
Electr. Notes Theor. Comput. Sci. 11: (1998) |
| 26 | | Luís Monteiro,
António Porto:
Entailment-Based Actions for Coordination.
Theor. Comput. Sci. 192(2): 259-286 (1998) |
| 1997 |
|---|
| 25 | | Luís Caires,
Luís Monteiro:
Proof Net Semantics of Proof Search Computation.
ALP/HOA 1997: 194-208 |
| 1996 |
|---|
| 24 | | Vasco Pedro,
Luís Monteiro:
Modules and Specifications.
APPIA-GULP-PRODE 1996: 499-510 |
| 23 | | J. Baptista,
Luís Monteiro:
Handling Calls to Missing Predicates.
APPIA-GULP-PRODE 1996: 511-522 |
| 22 | | Vasco Pedro,
Luís Monteiro:
Modules and Specifications.
JELIA 1996: 284-300 |
| 21 | | 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) |
| 1995 |
|---|
| 20 | | Aida Vitória,
Margarida Mamede,
Luís Monteiro:
The Retrieval Problem in a Concept Language with Number Restrictions.
EPIA 1995: 69-82 |
| 19 | | Vasco Pedro,
Luís Monteiro:
An Approach to Verification in Contextual Logic Programming.
ILPS 1995: 634 |
| 1994 |
|---|
| 18 | | Luís Caires,
Luís Monteiro:
Higher-Order Polymorphic Unification for Logic Programming.
ICLP 1994: 419-433 |
| 17 | | Jean-Marie Jacquet,
Luís Monteiro:
PP-clauses: A Means for Handling Resources.
ICLP 1994: 743 |
| 16 | | 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 |
| 15 | | Jean-Marie Jacquet,
Luís Monteiro:
Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics.
JELIA 1994: 379-399 |
| 1993 |
|---|
| 14 | | Margarida Mamede,
Luís Monteiro:
Towards Complete Answers in Concept Languages.
EPIA 1993: 121-135 |
| 1992 |
|---|
| 13 | | Margarida Mamede,
Luís Monteiro:
A Contraint Logic Programming Scheme for Taxonomic Reasoning.
JICSLP 1992: 255-269 |
| 12 | | Jean-Marie Jacquet,
Luís Monteiro:
Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming.
JICSLP 1992: 98-112 |
| 1991 |
|---|
| 11 | | Jean-Marie Jacquet,
Luís Monteiro:
Extended Horn Clauses: The Framework and Some Semantics.
CONCUR 1991: 281-297 |
| 10 | | Luís Monteiro,
António Porto:
Syntactic and Semantic Inheritance in Logic Programming.
Declarative Programming 1991: 163-173 |
| 9 | | Margarida Mamede,
Luís Monteiro:
A Constraint-Based Language for Querying Taxonomic Systems.
EPIA 1991: 60-75 |
| 1990 |
|---|
| 8 | | Luís Monteiro,
António Porto:
A Transformational View of Inheritance in Logic Programming.
ICLP 1990: 481-494 |
| 7 | | Jean-Marie Jacquet,
Luís Monteiro:
Comparative Semantics for a Parallel Contextual Logic Programming Language.
NACLP 1990: 195-214 |
| 1989 |
|---|
| 6 | | Luís Monteiro,
António Porto:
Contextual Logic Programming.
ICLP 1989: 284-299 |
| 1986 |
|---|
| 5 | | 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 |
| 4 | | Luís Monteiro,
Fernando C. N. Pereira:
A Sheaf-Theoretic Model of Concurrency
LICS 1986: 66-76 |
| 1984 |
|---|
| 3 | | Luís Monteiro:
A Proposal for Distributed Programming in Logic.
Implementations of Prolog 1984: 329-340 |
| 1982 |
|---|
| 2 | | Luís Monteiro:
A Horn Clause-like Logic for Specifying Concurrency.
ICLP 1982: 1-8 |
| 1981 |
|---|
| 1 | | Luís Monteiro:
An Extension to Horn Clause Logic Allowing the Definition of Concurrent Processes.
ICFPC 1981: 401-407 |
