Carlos Caleiro

Citée par

	Toutes	Depuis 2020
Citations	1731	433
indice h	23	10
indice i10	50	11

140

105

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202522 38 30 30 37 46 52 93 33 110 66 60 54 69 67 37 71 78 61 71 47 57 42 94 126 65 102 2

Accès public

Tout afficher

27 articles

6 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaAdresse e-mail validée de tecnico.ulisboa.pt
Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalAdresse e-mail validée de tecnico.ulisboa.pt
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeAdresse e-mail validée de kcl.ac.uk
David BasinProfessor of Computer Science, ETH ZurichAdresse e-mail validée de inf.ethz.ch
Joao MarcosFederal University of Santa Catarina (UFSC), BrazilAdresse e-mail validée de ufsc.br
Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofAdresse e-mail validée de cle.unicamp.br
Ricardo GonçalvesDepartment of Computer Science - NOVA School of Science and TechnologyAdresse e-mail validée de fct.unl.pt
Marcelo Esteban ConiglioProfessor of Logic, University of CampinasAdresse e-mail validée de unicamp.br
Marco VolpeUniversity of LeicesterAdresse e-mail validée de leicester.ac.uk
Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalAdresse e-mail validée de math.ist.utl.pt
Hans-Dieter EhrichProfesoor emeritus of information systemsAdresse e-mail validée de tu-bs.de
Till MossakowskiProfessor of Computer Science, University of OsnabrückAdresse e-mail validée de uni-osnabrueck.de
João RasgaAssociate Professor with Habilitation, Instituto Superior Técnico, U LisboaAdresse e-mail validée de tecnico.ulisboa.pt
Gunter SaakeProfessor of Computer Science, Magdeburg UniversityAdresse e-mail validée de ovgu.de

Suivre

Carlos Caleiro

Associate Professor for Logic and Computation at IST, Univ. Lisboa

Adresse e-mail validée de math.ist.utl.pt


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Fibring of logics as a categorial construction A Sernadas, C Sernadas, C Caleiro Journal of logic and computation 9 (2), 149-179, 1999	155	1999
Two's company:“The humbug of many logical values” C Caleiro, W Carnielli, M Coniglio, J Marcos Logica universalis: Towards a general theory of logic, 169-189, 2005	98	2005
Logics for specifying concurrent information systems HD Ehrich, C Caleiro, A Sernadas, G Denker Logics for Databases and Information Systems, 167-198, 1998	72	1998
Fibring non-truth-functional logics: Completeness preservation C Caleiro, WA Carnielli, ME Coniglio, A Sernadas, C Sernadas Journal of Logic, Language and Information 12, 183-211, 2003	64	2003
Specifying communication in distributed information systems HD Ehrich, C Caleiro Acta Informatica 36 (8), 591-616, 2000	55	2000
Fibring of logics as a universal construction C Caleiro, J Rasga, C Sernadas, W Carnielli Handbook of Philosophical Logic, 2nd Edition, 123-187, 2005	51	2005
On the semantics of Alice&Bob specifications of security protocols C Caleiro, L Viganò, D Basin Theoretical Computer Science 367 (1-2), 88-122, 2006	50	2006
On the negative impact of social influence in recommender systems: A study of bribery in collaborative hybrid algorithms G Ramos, L Boratto, C Caleiro Information Processing & Management 57 (2), 102058, 2020	45	2020
Equipollent logical systems C Caleiro, R Gonçalves Logica Universalis: Towards a general theory of logic, 97-109, 2007	43	2007
Synchronization of logics A Sernadas, C Sernadas, C Caleiro Studia Logica 59, 217-247, 1997	43	1997
Metareasoning about security protocols using distributed temporal logic C Caleiro, L Vigano, D Basin Electronic Notes in Theoretical Computer Science 125 (1), 67-89, 2005	40	2005
Categorial Fibring of Logics with Terms and Binding Operators. A Sernadas, C Sernadas, C Caleiro, T Mossakowski FroCoS, 295-316, 1998	37	1998
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics C Caleiro, J Marcos, M Volpe Theoretical Computer Science 603, 84-110, 2015	36	2015
Combining logics C Caleiro 1 st W orld S chool on U niversal L ogic, 5, 2000	36	2000
From fibring to cryptofibring. A solution to the collapsing problem C Caleiro, J Ramos Logica Universalis 1, 71-92, 2007	34	2007
Parameterisation of logics C Caleiro, C Sernadas, A Sernadas Recent Trends in Algebraic Development Techniques: 13th International …, 1999	33	1999
Relating strand spaces and distributed temporal logic for security protocol analysis C Caleiro, L Vigano, D Basin Logic Journal of IGPL 13 (6), 637-663, 2005	32	2005
Analytic calculi for monadic PNmatrices C Caleiro, S Marcelino Logic, Language, Information, and Computation: 26th International Workshop …, 2019	31	2019
Disjoint fibring of non-deterministic matrices S Marcelino, C Caleiro International Workshop on Logic, Language, Information, and Computation, 242-255, 2017	29	2017
Deconstructing alice and bob C Caleiro, L Vigano, D Basin Electronic Notes in Theoretical Computer Science 135 (1), 3-22, 2005	29	2005

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs