Carlos Caleiro

According to our database1, Carlos Caleiro
  • authored at least 54 papers between 1996 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Compositional Meaning in Logic.
Logica Universalis, 2017

On the characterization of fibred logics, with applications to conservativity and finite-valuedness.
J. Log. Comput., 2017

Generalized Probabilistic Satisfiability.
Electr. Notes Theor. Comput. Sci., 2017

Robust reputation-based ranking on multipartite rating networks.
CoRR, 2017

Recommendation via matrix completion using Kolmogorov complexity.
CoRR, 2017

Merging fragments of classical logic.
CoRR, 2017

Disjoint Fibring of Non-deterministic Matrices.
Proceedings of the Logic, Language, Information, and Computation, 2017

Classical Generalized Probabilistic Satisfiability.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Merging Fragments of Classical Logic.
Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

2016
Decidability and complexity of fibred logics without shared connectives.
Logic Journal of the IGPL, 2016

2015
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics.
Theor. Comput. Sci., 2015

An Equation-Based Classical Logic.
Proceedings of the Logic, Language, Information, and Computation, 2015

2014
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics.
CoRR, 2014

2013
Abstract Valuation Semantics.
Studia Logica, 2013

On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators.
Logica Universalis, 2013

A Labeled Deduction System for the Logic UB.
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

Symbolic Probabilistic Analysis of Off-Line Guessing.
Proceedings of the Computer Security - ESORICS 2013, 2013

2012
Many-valuedness Meets Bivalence: Using Logical Values in an EffectiveWay.
Multiple-Valued Logic and Soft Computing, 2012

Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics.
Proceedings of the Logic, Language, Information and Computation, 2012

2011
Distributed temporal logic for the analysis of security protocol models.
Theor. Comput. Sci., 2011

Hierarchical logical consequence.
Logic Journal of the IGPL, 2011

Towards a Behavioral Algebraic Theory of Logical Valuations.
Fundam. Inform., 2011

FAST: An Efficient Decision Procedure for Deduction and Static Equivalence.
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

2010
Two Many Values: An Algorithmic Outlook on Suszko's Thesis.
Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

Efficient Decision Procedures for Message Deducibility and Static Equivalence.
Proceedings of the Formal Aspects of Security and Trust - 7th International Workshop, 2010

2009
Behavioral Algebraization of Logics.
Studia Logica, 2009

Labelled Tableaux for Distributed Temporal Logic.
J. Log. Comput., 2009

Behavioral algebraization of da Costa's C-systems.
Journal of Applied Non-Classical Logics, 2009

Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities.
Electr. Notes Theor. Comput. Sci., 2009

Classic-Like Analytic Tableaux for Finite-Valued Logics.
Proceedings of the Logic, 2009

Algebraic Valuations as Behavioral Logical Matrices.
Proceedings of the Logic, 2009

2008
A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL.
Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008

2007
From Fibring to Cryptofibring. A Solution to the Collapsing Problem.
Logica Universalis, 2007

Combining Classical and Intuitionistic Implications.
Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

2006
On the semantics of Alice&Bob specifications of security protocols.
Theor. Comput. Sci., 2006

On the Algebraization of Many-Sorted Logics.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2006

Quantum Institutions.
Proceedings of the Algebra, Meaning, and Computation, 2006

2005
Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis.
Logic Journal of the IGPL, 2005

Deconstructing Alice and Bob.
Electr. Notes Theor. Comput. Sci., 2005

Metareasoning about Security Protocols using Distributed Temporal Logic.
Electr. Notes Theor. Comput. Sci., 2005

Fibring Logics: Past, Present and Future.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2004
Cryptomorphisms at Work.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

2003
Fibring Non-Truth-Functional Logics: Completeness Preservation.
Journal of Logic, Language and Information, 2003

2002
Completeness Results for Fibred Parchments: Beyond the Propositional Base.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

2001
Combining Logics: Parchments Revisited.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

2000
Specifying Communication in Distributed Information Systems.
Acta Inf., 2000

1999
Fibring of Logics as a Categorial Construction.
J. Log. Comput., 1999

1998
Denotational Semantics of Object Specification.
Acta Inf., 1998

Parameterisation of Logics.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Logics for Specifying Concurrent Information Systems.
Proceedings of the Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1998

1997
Synchronization of Logics.
Studia Logica, 1997

Synchronization of Logics with Mixed Rules: Completeness Preservation.
Proceedings of the Algebraic Methodology and Software Technology, 1997

A Linear Temporal Logic Approach to Objects with Transactions.
Proceedings of the Algebraic Methodology and Software Technology, 1997

1996
Deriving Liveness Goals from Temporal Logic Specifications.
J. Symb. Comput., 1996


  Loading...