| 2009 |
|---|
| 26 | EE | Luís Caires,
Hugo Torres Vieira:
Conversation Types.
ESOP 2009: 285-300 |
| 2008 |
|---|
| 25 | EE | Hugo Torres Vieira,
Luís Caires,
João Costa Seco:
The Conversation Calculus: A Model of Service-Oriented Computation.
ESOP 2008: 269-283 |
| 24 | EE | Luís Caires,
Carla Ferreira,
Hugo Torres Vieira:
A Process Calculus Analysis of Compensations.
TGC 2008: 87-103 |
| 23 | EE | Luís Caires:
Spatial-behavioral types for concurrency and resource control in distributed systems.
Theor. Comput. Sci. 402(2-3): 120-141 (2008) |
| 2007 |
|---|
| 22 | | Luís Caires,
Vasco Thudichum Vasconcelos:
CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings
Springer 2007 |
| 21 | EE | Luís Caires:
Logical Semantics of Types for Concurrency.
CALCO 2007: 16-35 |
| 20 | EE | Luís Caires,
Hugo Torres Vieira:
Extensionality of Spatial Observations in Distributed Systems.
Electr. Notes Theor. Comput. Sci. 175(3): 131-149 (2007) |
| 2006 |
|---|
| 19 | EE | João Costa Seco,
Luís Caires:
Types for Dynamic Reconfiguration.
ESOP 2006: 214-229 |
| 18 | EE | Luís Caires:
Spatial-Behavioral Types, Distributed Services, and Resources.
TGC 2006: 98-115 |
| 17 | EE | Michele Boreale,
Roberto Bruni,
Luís Caires,
Rocco De Nicola,
Ivan Lanese,
Michele Loreti,
Francisco Martins,
Ugo Montanari,
António Ravara,
Davide Sangiorgi,
Vasco Thudichum Vasconcelos,
Gianluigi Zavattaro:
SCC: A Service Centered Calculus.
WS-FM 2006: 38-57 |
| 16 | EE | Luís Caires,
Étienne Lozes:
Elimination of quantifiers and undecidability in spatial logics for concurrency.
Theor. Comput. Sci. 358(2-3): 293-314 (2006) |
| 2005 |
|---|
| 15 | | 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 |
| 14 | EE | João Costa Seco,
Luís Caires:
Subtyping First-Class Polymorphic Components.
ESOP 2005: 342-356 |
| 2004 |
|---|
| 13 | EE | Luís Caires,
Étienne Lozes:
Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency.
CONCUR 2004: 240-257 |
| 12 | EE | Luís Caires:
Behavioral and Spatial Observations in a Logic for the pi-Calculus.
FoSSaCS 2004: 72-89 |
| 11 | EE | Luís Caires,
Luca Cardelli:
A spatial logic for concurrency - II.
Theor. Comput. Sci. 322(3): 517-565 (2004) |
| 2003 |
|---|
| 10 | EE | Luís Caires,
Luca Cardelli:
A spatial logic for concurrency (part I).
Inf. Comput. 186(2): 194-235 (2003) |
| 2002 |
|---|
| 9 | EE | Luís Caires,
Luca Cardelli:
A Spatial Logic for Concurrency (Part II).
CONCUR 2002: 209-225 |
| 2001 |
|---|
| 8 | EE | Luís Caires,
Luca Cardelli:
A Spatial Logic for Concurrency.
TACS 2001: 1-37 |
| 2000 |
|---|
| 7 | EE | João Costa Seco,
Luís Caires:
A Basic Model of Typed Components.
ECOOP 2000: 108-128 |
| 1998 |
|---|
| 6 | EE | Luís Caires,
Luís Monteiro:
Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi.
ESOP 1998: 42-56 |
| 1997 |
|---|
| 5 | | Luís Caires,
Luís Monteiro:
Proof Net Semantics of Proof Search Computation.
ALP/HOA 1997: 194-208 |
| 1996 |
|---|
| 4 | | Luís Caires:
A Language for the Logical Specification of Processes and Relations.
ALP 1996: 150-164 |
| 1994 |
|---|
| 3 | | Luís Caires,
Luís Monteiro:
Higher-Order Polymorphic Unification for Logic Programming.
ICLP 1994: 419-433 |
| 1992 |
|---|
| 2 | | Luís Moniz Pereira,
Luís Caires,
José Júlio Alferes:
SLWV - A Theorem Prover for Logic Programming.
ELP 1992: 1-23 |
| 1989 |
|---|
| 1 | | José A. S. Alegria,
Artur M. Dias,
Luís Caires:
Towards Distributed Tools for Heterogeneous Logic Programming Environments.
ICLP 1989: 505-520 |
