Carlos Caleiro

82 papers A* 2A 1C 9Misc 1Journal 46Unranked 23

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	An Infinite Family of Finite-Valued Paraconsistent Algebraizable Logics. Stud Logica Hugo Albuquerque, Carlos Caleiro
2024	J	`jnl`	Equivalence of finite non-deterministic logical matrices is undecidable. CoRR Carlos Caleiro, Pedro Filipe, Sérgio Marcelino
2024	J	`jnl`	Modular Many-Valued Semantics for combined Logics. J. Symb. Log. Carlos Caleiro, Sérgio Marcelino
2023	J	`jnl`	Some more theorems on structural entailment relations and non-deterministic semantics. CoRR Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio
2022	J	`jnl`	A Robust Reputation-Based Group Ranking System and Its Resistance to Bribery. ACM Trans. Knowl. Discov. Data João Saúde, Guilherme Ramos, Ludovico Boratto, Carlos Caleiro
2022	J	`jnl`	AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA'S LOGIC {\mathscr {C}}_1 AND SOME OF ITS PARACONSISTENT EXTENSIONS. Bull. Symb. Log. Hugo Albuquerque, Carlos Caleiro
2022	Misc	`conf`	Computational Properties of Partial Non-deterministic Matrices and Their Logics. LFCS Sérgio Marcelino, Carlos Caleiro, Pedro Filipe
2022	J	`jnl`	Computational properties of finite PNmatrices. J. Log. Comput. Pedro Filipe, Sérgio Marcelino, Carlos Caleiro
2022	J	`jnl`	Modular many-valued semantics for combined logics. CoRR Carlos Caleiro, Sérgio Marcelino
2022	—	`conf`	Monadicity of Non-deterministic Logical Matrices is Undecidable. NCL Pedro Filipe, Carlos Caleiro, Sérgio Marcelino
2021	J	`jnl`	Axiomatizing non-deterministic many-valued generalized consequence relations. Synth. Sérgio Marcelino, Carlos Caleiro
2021	J	`jnl`	On the index of convergence of a class of Boolean matrices with structural properties. Int. J. Control Guilherme Ramos, Sérgio Pequito, Carlos Caleiro
2021	J	`jnl`	What is a logical theory? On theories containing assertions and denials. Synth. Carolina Blasio, Carlos Caleiro, João Marcos
2020	—	`conf`	A Novel Similarity Measure for Group Recommender Systems with Optimal Time Complexity. BIAS Guilherme Ramos, Carlos Caleiro
2020	J	`jnl`	A Robust Reputation-based Group Ranking System and its Resistance to Bribery. CoRR João Saúde, Guilherme Ramos, Ludovico Boratto, Carlos Caleiro
2020	—	`conf`	Infectious semantics and analytic calculi for even more inclusion logics. ISMVL Carlos Caleiro, Sérgio Marcelino, Pedro Filipe
2020	J	`jnl`	On the negative impact of social influence in recommender systems: A study of bribery in collaborative hybrid algorithms. Inf. Process. Manag. Guilherme Ramos, Ludovico Boratto, Carlos Caleiro
2019	C	`conf`	Analytic Calculi for Monadic PNmatrices. WoLLIC Carlos Caleiro, Sérgio Marcelino
2019	J	`jnl`	Combining fragments of classical logic: When are interaction principles needed? Soft Comput. Carlos Caleiro, Sérgio Marcelino, João Marcos
2019	J	`jnl`	Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities. Theor. Comput. Sci. Carlos Caleiro, Filipe Casal, Andreia Mordido
2019	J	`jnl`	Probabilistic logic over equations and domain restrictions. Math. Struct. Comput. Sci. Andreia Mordido, Carlos Caleiro
2019	J	`jnl`	Semi-BCI Algebras. J. Multiple Valued Log. Soft Comput. Regivan H. N. Santiago, Benjamín R. C. Bedregal, João Marcos, Carlos Caleiro, Jocivania Pinheiro
2018	J	`jnl`	Characterizing finite-valuedness. Fuzzy Sets Syst. Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio
2018	J	`jnl`	Combining fragments of classical logic: When are interaction principles needed? CoRR Carlos Caleiro, Sérgio Marcelino, João Marcos
2018	J	`jnl`	Semi-BCI Algebras. CoRR Regivan H. N. Santiago, Benjamín R. C. Bedregal, João Marcos, Carlos Caleiro, Jocivania Pinheiro
2018	C	`conf`	The robust minimal controllability problem for switched linear continuous-time systems. ACC Guilherme Ramos, Sérgio Pequito, Carlos Caleiro
2017	A*	`conf`	Classical Generalized Probabilistic Satisfiability. IJCAI Carlos Caleiro, Filipe Casal, Andreia Mordido
2017	J	`jnl`	Compositional Meaning in Logic. Logica Universalis Carlos Caleiro, Luca Viganò
2017	C	`conf`	Disjoint Fibring of Non-deterministic Matrices. WoLLIC Sérgio Marcelino, Carlos Caleiro
2017	—	`conf`	Merging Fragments of Classical Logic. FroCoS Carlos Caleiro, Sérgio Marcelino, João Marcos
2017	J	`jnl`	Merging fragments of classical logic. CoRR Carlos Caleiro, Sérgio Marcelino, João Marcos
2017	J	`jnl`	On the characterization of fibred logics, with applications to conservativity and finite-valuedness. J. Log. Comput. Sérgio Marcelino, Carlos Caleiro
2017	J	`jnl`	Recommendation via matrix completion using Kolmogorov complexity. CoRR Guilherme Ramos, João Saúde, Carlos Caleiro, Soummya Kar
2017	A*	`conf`	Reputation-Based Ranking Systems and Their Resistance to Bribery. ICDM João Saúde, Guilherme Ramos, Carlos Caleiro, Soummya Kar
2017	J	`jnl`	Robust reputation-based ranking on multipartite rating networks. CoRR João Saúde, Guilherme Ramos, Carlos Caleiro, Soummya Kar
2016	J	`jnl`	Decidability and complexity of fibred logics without shared connectives. Log. J. IGPL Sérgio Marcelino, Carlos Caleiro
2016	—	`conf`	Generalized Probabilistic Satisfiability. LSFA Carlos Caleiro, Filipe Casal, Andreia Mordido
2015	C	`conf`	An Equation-Based Classical Logic. WoLLIC Andreia Mordido, Carlos Caleiro
2015	J	`jnl`	Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. Theor. Comput. Sci. Carlos Caleiro, João Marcos, Marco Volpe
2014	J	`jnl`	Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. CoRR Carlos Caleiro, João Marcos, Marco Volpe
2013	C	`conf`	A Labeled Deduction System for the Logic UB. TIME Carlos Caleiro, Luca Viganò, Marco Volpe
2013	J	`jnl`	Abstract Valuation Semantics. Stud Logica Carlos Caleiro, Ricardo Gonçalves
2013	J	`jnl`	On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators. Logica Universalis Carlos Caleiro, Luca Viganò, Marco Volpe
2013	A	`conf`	Symbolic Probabilistic Analysis of Off-Line Guessing. ESORICS Bruno Conchinha, David A. Basin, Carlos Caleiro
2012	C	`conf`	Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics. WoLLIC Marco Volpe, João Marcos, Carlos Caleiro
2012	J	`jnl`	Many-valuedness Meets Bivalence: Using Logical Values in an EffectiveWay. J. Multiple Valued Log. Soft Comput. Carlos Caleiro, João Marcos
2011	J	`jnl`	Distributed temporal logic for the analysis of security protocol models. Theor. Comput. Sci. David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò
2011	—	`conf`	FAST: An Efficient Decision Procedure for Deduction and Static Equivalence. RTA Bruno Conchinha, David A. Basin, Carlos Caleiro
2011	J	`jnl`	Hierarchical logical consequence. Log. J. IGPL Carlos Caleiro, Paula Gouveia, Jaime Ramos
2011	J	`jnl`	Towards a Behavioral Algebraic Theory of Logical Valuations. Fundam. Informaticae Carlos Caleiro, Ricardo Gonçalves
2010	—	`conf`	Efficient Decision Procedures for Message Deducibility and Static Equivalence. Formal Aspects in Security and Trust Bruno Conchinha, David A. Basin, Carlos Caleiro
2010	—	`conf`	Two Many Values: An Algorithmic Outlook on Suszko's Thesis. ISMVL Carlos Caleiro, João Marcos
2009	C	`conf`	Algebraic Valuations as Behavioral Logical Matrices. WoLLIC Carlos Caleiro, Ricardo Gonçalves
2009	J	`jnl`	Behavioral Algebraization of Logics. Stud Logica Carlos Caleiro, Ricardo Gonçalves, Manuel A. Martins
2009	J	`jnl`	Behavioral algebraization of da Costa's C-systems. J. Appl. Non Class. Logics Carlos Caleiro, Ricardo Gonçalves
2009	C	`conf`	Classic-Like Analytic Tableaux for Finite-Valued Logics. WoLLIC Carlos Caleiro, João Marcos
2009	J	`jnl`	Labelled Tableaux for Distributed Temporal Logic. J. Log. Comput. David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò
2009	—	`conf`	Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities. QAPL Bruno Montalto, Carlos Caleiro
2008	C	`conf`	A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. TIME David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò
2007	—	`conf`	Combining Classical and Intuitionistic Implications. FroCoS Carlos Caleiro, Jaime Ramos
2007	J	`jnl`	From Fibring to Cryptofibring. A Solution to the Collapsing Problem. Logica Universalis Carlos Caleiro, Jaime Ramos
2006	—	`conf`	On the Algebraization of Many-Sorted Logics. WADT Carlos Caleiro, Ricardo Gonçalves
2006	J	`jnl`	On the semantics of Alice&Bob specifications of security protocols. Theor. Comput. Sci. Carlos Caleiro, Luca Viganò, David A. Basin
2006	—	`conf`	Quantum Institutions. Essays Dedicated to Joseph A. Goguen Carlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas
2005	—	`conf`	Deconstructing Alice and Bob. ARSPA@ICALP Carlos Caleiro, Luca Viganò, David A. Basin
2005	—	`conf`	Fibring Logics: Past, Present and Future. We Will Show Them! (1) Carlos Caleiro, Amílcar Sernadas, Cristina Sernadas
2005	J	`jnl`	Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis. Log. J. IGPL Carlos Caleiro, Luca Viganò, David A. Basin
2004	—	`conf`	Cryptomorphisms at Work. WADT Carlos Caleiro, Jaime Ramos
2004	—	`conf`	Metareasoning about Security Protocols using Distributed Temporal Logic. ARSPA@IJCAR Carlos Caleiro, Luca Viganò, David A. Basin
2003	J	`jnl`	Fibring Non-Truth-Functional Logics: Completeness Preservation. J. Log. Lang. Inf. Carlos Caleiro, Walter Alexandre Carnielli, Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas
2002	—	`conf`	Completeness Results for Fibred Parchments: Beyond the Propositional Base. WADT Carlos Caleiro, Paula Gouveia, Jaime Ramos
2001	—	`conf`	Combining Logics: Parchments Revisited. WADT Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas
2000	J	`jnl`	Specifying Communication in Distributed Information Systems. Acta Informatica Hans-Dieter Ehrich, Carlos Caleiro
1999	J	`jnl`	Fibring of Logics as a Categorial Construction. J. Log. Comput. Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
1998	—	`conf`	Categorial Fibring of Logics with Terms and Binding Operators. FroCoS Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro, Till Mossakowski
1998	J	`jnl`	Denotational Semantics of Object Specification. Acta Informatica Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
1998	—	`conf`	Logics for Specifying Concurrent Information Systems. Logics for Databases and Information Systems Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker
1998	—	`conf`	Parameterisation of Logics. WADT Carlos Caleiro, Cristina Sernadas, Amílcar Sernadas
1997	—	`conf`	A Linear Temporal Logic Approach to Objects with Transactions. AMAST Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas
1997	—	`conf`	Synchronization of Logics with Mixed Rules: Completeness Preservation. AMAST Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
1997	J	`jnl`	Synchronization of Logics. Stud Logica Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
1996	J	`jnl`	Deriving Liveness Goals from Temporal Logic Specifications. J. Symb. Comput. Carlos Caleiro, Gunter Saake, Amílcar Sernadas