The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Luís Caires: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Luís Caires
    A Language for the Logical Specification of Processes and Relations. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:150-164 [Conf]
  2. Luís Caires, Luís Monteiro
    Proof Net Semantics of Proof Search Computation. [Citation Graph (0, 0)][DBLP]
    ALP/HOA, 1997, pp:194-208 [Conf]
  3. Luís Caires, Luca Cardelli
    A Spatial Logic for Concurrency (Part II). [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:209-225 [Conf]
  4. Luís Caires, Étienne Lozes
    Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2004, pp:240-257 [Conf]
  5. João Costa Seco, Luís Caires
    A Basic Model of Typed Components. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2000, pp:108-128 [Conf]
  6. Luís Moniz Pereira, Luís Caires, José Júlio Alferes
    SLWV - A Theorem Prover for Logic Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:1-23 [Conf]
  7. Luís Caires, Luís Monteiro
    Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi. [Citation Graph (0, 0)][DBLP]
    ESOP, 1998, pp:42-56 [Conf]
  8. João Costa Seco, Luís Caires
    Subtyping First-Class Polymorphic Components. [Citation Graph (0, 0)][DBLP]
    ESOP, 2005, pp:342-356 [Conf]
  9. João Costa Seco, Luís Caires
    Types for Dynamic Reconfiguration. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:214-229 [Conf]
  10. Luís Caires
    Behavioral and Spatial Observations in a Logic for the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:72-89 [Conf]
  11. José A. S. Alegria, Artur M. Dias, Luís Caires
    Towards Distributed Tools for Heterogeneous Logic Programming Environments. [Citation Graph (0, 0)][DBLP]
    ICLP, 1989, pp:505-520 [Conf]
  12. Luís Caires, Luís Monteiro
    Higher-Order Polymorphic Unification for Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:419-433 [Conf]
  13. Luís Caires, Luca Cardelli
    A Spatial Logic for Concurrency. [Citation Graph (0, 0)][DBLP]
    TACS, 2001, pp:1-37 [Conf]
  14. 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. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:38-57 [Conf]
  15. Luís Caires, Luca Cardelli
    A spatial logic for concurrency (part I). [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:186, n:2, pp:194-235 [Journal]
  16. Luís Caires, Luca Cardelli
    A spatial logic for concurrency - II. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:322, n:3, pp:517-565 [Journal]
  17. Luís Caires, Étienne Lozes
    Elimination of quantifiers and undecidability in spatial logics for concurrency. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:358, n:2-3, pp:293-314 [Journal]
  18. Luís Caires
    Logical Semantics of Types for Concurrency. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:16-35 [Conf]
  19. Luís Caires, Hugo Torres Vieira
    Extensionality of Spatial Observations in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:3, pp:131-149 [Journal]

  20. Session Types as Intuitionistic Linear Propositions. [Citation Graph (, )][DBLP]


  21. The Conversation Calculus: A Model of Service-Oriented Computation. [Citation Graph (, )][DBLP]


  22. Conversation Types. [Citation Graph (, )][DBLP]


  23. A Process Calculus Analysis of Compensations. [Citation Graph (, )][DBLP]


  24. Spatial-Behavioral Types, Distributed Services, and Resources. [Citation Graph (, )][DBLP]


Search in 0.055secs, Finished in 0.056secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002