The SCEAS System
Navigation Menu

Search the dblp DataBase


Carlos Caleiro: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker
    Logics for Specifying Concurrent Information Systems. [Citation Graph (1, 0)][DBLP]
    Logics for Databases and Information Systems, 1998, pp:167-198 [Conf]
  2. Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas
    A Linear Temporal Logic Approach to Objects with Transactions. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:170-184 [Conf]
  3. Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
    Synchronization of Logics with Mixed Rules: Completeness Preservation. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:465-478 [Conf]
  4. Carlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas
    Quantum Institutions. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:50-64 [Conf]
  5. Carlos Caleiro, Amílcar Sernadas, Cristina Sernadas
    Fibring Logics: Past, Present and Future. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (1), 2005, pp:363-388 [Conf]
  6. Carlos Caleiro, Paula Gouveia, Jaime Ramos
    Completeness Results for Fibred Parchments: Beyond the Propositional Base. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:185-200 [Conf]
  7. Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas
    Combining Logics: Parchments Revisited. [Citation Graph (0, 0)][DBLP]
    WADT, 2001, pp:48-70 [Conf]
  8. Carlos Caleiro, Jaime Ramos
    Cryptomorphisms at Work. [Citation Graph (0, 0)][DBLP]
    WADT, 2004, pp:45-60 [Conf]
  9. Carlos Caleiro, Cristina Sernadas, Amílcar Sernadas
    Parameterisation of Logics. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:48-62 [Conf]
  10. Hans-Dieter Ehrich, Carlos Caleiro
    Specifying Communication in Distributed Information Systems. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2000, v:36, n:8, pp:591-616 [Journal]
  11. Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
    Denotational Semantics of Object Specification. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1998, v:35, n:9, pp:729-773 [Journal]
  12. Carlos Caleiro, Luca Viganò, David A. Basin
    Metareasoning about Security Protocols using Distributed Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:125, n:1, pp:67-89 [Journal]
  13. Carlos Caleiro, Luca Viganò, David A. Basin
    Deconstructing Alice and Bob. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:135, n:1, pp:3-22 [Journal]
  14. Carlos Caleiro, Luca Viganò, David A. Basin
    Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:6, pp:637-663 [Journal]
  15. Carlos Caleiro, Walter Alexandre Carnielli, Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas
    Fibring Non-Truth-Functional Logics: Completeness Preservation. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2003, v:12, n:2, pp:183-211 [Journal]
  16. Carlos Caleiro, Gunter Saake, Amílcar Sernadas
    Deriving Liveness Goals from Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:22, n:5/6, pp:521-553 [Journal]
  17. Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
    Fibring of Logics as a Categorial Construction. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:2, pp:149-179 [Journal]
  18. Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
    Synchronization of Logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1997, v:59, n:1, pp:217-247 [Journal]
  19. Carlos Caleiro, Luca Viganò, David A. Basin
    On the semantics of Alice&Bob specifications of security protocols. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:367, n:1-2, pp:88-122 [Journal]
  20. Carlos Caleiro, Jaime Ramos
    Combining Classical and Intuitionistic Implications. [Citation Graph (0, 0)][DBLP]
    FroCos, 2007, pp:118-132 [Conf]
  21. Carlos Caleiro, Ricardo Gonçalves
    On the Algebraization of Many-Sorted Logics. [Citation Graph (0, 0)][DBLP]
    WADT, 2006, pp:21-36 [Conf]

  22. Two Many Values: An Algorithmic Outlook on Suszko's Thesis. [Citation Graph (, )][DBLP]

  23. A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. [Citation Graph (, )][DBLP]

  24. Algebraic Valuations as Behavioral Logical Matrices. [Citation Graph (, )][DBLP]

  25. Classic-Like Analytic Tableaux for Finite-Valued Logics. [Citation Graph (, )][DBLP]

  26. Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities. [Citation Graph (, )][DBLP]

Search in 0.004secs, Finished in 0.007secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002