| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Luís Caires, Hugo Torres Vieira |
SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications.  |
TACAS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Frank Pfenning, Bernardo Toninho |
Towards concurrent type theory. |
TLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernardo Toninho, Luís Caires, Frank Pfenning |
Functions as Session-Typed Processes. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho |
Linear Logical Relations for Session-Based Concurrency. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Rocco De Nicola, Rosario Pugliese, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro |
Core Calculi for Service-Oriented Computing. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Luís Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino |
Tools and Verification. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Pfenning, Luís Caires, Bernardo Toninho |
Proof-Carrying Code in a Session-Typed Process Calculus. |
CPP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernardo Toninho, Luís Caires, Frank Pfenning |
Dependent session types via intuitionistic linear type theory. |
PPDP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão |
Type-Based Access Control in Data-Centric Systems. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Hugo Torres Vieira |
Conversation types. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Vasco Thudichum Vasconcelos |
18th International Conference on Concurrency Theory. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernardo Toninho, Luís Caires |
A Spatial-Epistemic Logic for Reasoning about Security Protocols |
SecCo |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Frank Pfenning |
Session Types as Intuitionistic Linear Propositions. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Hugo Torres Vieira |
Analysis of Service Oriented Software Systems with the Conversation Calculus. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mário Pires, Luís Caires |
A Type System for Access Control Views in Object-Oriented Languages. |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Hugo Torres Vieira |
Conversation Types. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires |
Spatial-behavioral types for concurrency and resource control in distributed systems. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires |
Dynamic Spatial Logics: A Tutorial Survey. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Luís Caires, Carla Ferreira, Hugo Torres Vieira |
A Process Calculus Analysis of Compensations. |
TGC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Torres Vieira, Luís Caires, João Costa Seco |
The Conversation Calculus: A Model of Service-Oriented Computation. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Hugo Torres Vieira |
Extensionality of Spatial Observations in Distributed Systems. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Vasco Thudichum Vasconcelos (eds.) |
CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings |
CONCUR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Luís Caires |
Logical Semantics of Types for Concurrency. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Étienne Lozes |
Elimination of quantifiers and undecidability in spatial logics for concurrency. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires |
Spatial-Behavioral Types, Distributed Services, and Resources. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | João Costa Seco, Luís Caires |
Types for Dynamic Reconfiguration. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
ICALP |
2005 |
DBLP BibTeX RDF |
|
| 1 | João Costa Seco, Luís Caires |
Subtyping First-Class Polymorphic Components. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Luca Cardelli |
A spatial logic for concurrency - II. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Étienne Lozes |
Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires |
Behavioral and Spatial Observations in a Logic for the pi-Calculus. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Luca Cardelli |
A spatial logic for concurrency (part I). |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Luca Cardelli |
A Spatial Logic for Concurrency (Part II). |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Luca Cardelli |
A Spatial Logic for Concurrency. |
TACS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | João Costa Seco, Luís Caires |
A Basic Model of Typed Components. |
ECOOP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Luís Monteiro |
Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Luís Monteiro |
Proof Net Semantics of Proof Search Computation. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires |
A Language for the Logical Specification of Processes and Relations. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Luís Monteiro |
Higher-Order Polymorphic Unification for Logic Programming. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Luís Moniz Pereira, Luís Caires, José Júlio Alferes |
SLWV - A Theorem Prover for Logic Programming. |
ELP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | José A. S. Alegria, Artur M. Dias, Luís Caires |
Towards Distributed Tools for Heterogeneous Logic Programming Environments. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")