Carlos Caleiro

Citeras av

	Alla	Sedan 2016
Citat	2243	387
h-index	20	9
i10-index	39	9

200

100

150

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020216 26 34 39 40 59 89 101 152 125 183 146 142 129 119 104 85 101 103 82 86 61 71 55 32

Medförfattare

Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaVerifierad e-postadress på tecnico.ulisboa.pt
Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalVerifierad e-postadress på tecnico.ulisboa.pt
David BasinProfessor of Computer Science, ETH ZurichVerifierad e-postadress på inf.ethz.ch
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeVerifierad e-postadress på kcl.ac.uk
Joao MarcosDIMAp, Federal University of Rio Grande do Norte (UFRN), BrazilVerifierad e-postadress på dimap.ufrn.br
Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofVerifierad e-postadress på cle.unicamp.br
Marcelo Esteban ConiglioProfessor of Logic, University of CampinasVerifierad e-postadress på unicamp.br
Ricardo GonçalvesDepartment of Computer Science - NOVA School of Science and TechnologyVerifierad e-postadress på fct.unl.pt
Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalVerifierad e-postadress på math.ist.utl.pt
Hans-Dieter EhrichProfesoor emeritus of information systemsVerifierad e-postadress på tu-bs.de
Marco VolpePostdoctoral Researcher, fortiss Research Institute, MunichVerifierad e-postadress på fortiss.org
Till MossakowskiProfessor of Computer Science, University of MagdeburgVerifierad e-postadress på ovgu.de
João RasgaAssistant Professor of Logic and Computation, Department of Mathematics, Instituto Superior TécnicoVerifierad e-postadress på tecnico.ulisboa.pt
Gunter SaakeProfessor of Computer Science, Magdeburg UniversityVerifierad e-postadress på ovgu.de

Carlos Caleiro

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

Verifierad e-postadress på math.ist.utl.pt


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
Strand spaces: Proving security protocols correct FJT Fábrega, JC Herzog, JD Guttman Journal of computer security 7 (2/3), 191-230, 1999	896	1999
Fibring of logics as a categorial construction A Sernadas, C Sernadas, C Caleiro Journal of logic and computation 9 (2), 149-179, 1999	146	1999
Two's company:“The humbug of many logical values” C Caleiro, W Carnielli, M Coniglio, J Marcos Logica universalis, 169-189, 2005	90	2005
Fibring non-truth-functional logics: Completeness preservation C Caleiro, WA Carnielli, ME Coniglio, A Sernadas, C Sernadas Journal of Logic, Language and Information 12 (2), 183-211, 2003	62	2003
Logics for specifying concurrent information systems HD Ehrich, C Caleiro, A Sernadas, G Denker Logics for Databases and Information Systems, 167-198, 1998	62	1998
On the semantics of Alice&Bob specifications of security protocols C Caleiro, L Vigano, D Basin Theoretical Computer Science 367 (1-2), 88-122, 2006	47	2006
Specifying communication in distributed information systems HD Ehrich, C Caleiro Acta Informatica 36 (8), 591-616, 2000	47	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	46	2005
Equipollent logical systems C Caleiro, R Gonçalves Logica Universalis, 97-109, 2007	39	2007
Categorial fibring of logics with terms and binding operators A Sernadas, C Sernadas, C Caleiro, T Mossakowski Frontiers of Combining Systems 2, Studies in Logic and Computation, 1998	38	1998
Synchronization of logics A Sernadas, C Sernadas, C Caleiro Studia Logica 59 (2), 217-247, 1997	36	1997
Parameterisation of logics C Caleiro, C Sernadas, A Sernadas International Workshop on Algebraic Development Techniques, 48-63, 1998	35	1998
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	34	2005
Combining logics C Caleiro, V Diogo, FMF Marmeleira, JMC Lucas, CSP Cardoso, ... 1 st W orld S chool on U niversal L ogic, 5, 2000	32	2000
From fibring to cryptofibring. A solution to the collapsing problem C Caleiro, J Ramos Logica Universalis 1 (1), 71-92, 2007	29	2007
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	27	2005
Quantum institutions C Caleiro, P Mateus, A Sernadas, C Sernadas Algebra, Meaning, and Computation, 50-64, 2006	25	2006
Deconstructing alice and bob C Caleiro, L Vigano, D Basin Electronic Notes in Theoretical Computer Science 135 (1), 3-22, 2005	24	2005
Fibring Logics: Past, Present and Future. C Caleiro, A Sernadas, C Sernadas We Will Show Them!(1), 363-388, 2005	23	2005
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	21	2015

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Ladda upp PDF

Följ den här författaren

Citeras av

Medförfattare