Carlos Caleiro

Получаване на мой собствен потребителски профил

Позовавания

	Всички	От 2018
Позовавания	1557	379
h-индекс	22	9
i10-индекс	46	9

140

105

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202322 36 32 27 31 55 46 92 31 113 66 58 56 65 67 40 71 76 59 72 48 54 40 98 128 10

Публичен достъп

Преглед на всички

23 статии

6 статии

налични

неналични

Въз основа на изисквания при финансирането

Съавтори

Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaПотвърден имейл адрес: tecnico.ulisboa.pt
Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalПотвърден имейл адрес: tecnico.ulisboa.pt
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeПотвърден имейл адрес: kcl.ac.uk
David BasinProfessor of Computer Science, ETH ZurichПотвърден имейл адрес: inf.ethz.ch
Joao MarcosDIMAp, Federal University of Rio Grande do Norte (UFRN), BrazilПотвърден имейл адрес: dimap.ufrn.br
Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History ofПотвърден имейл адрес: cle.unicamp.br
Ricardo GonçalvesDepartment of Computer Science - NOVA School of Science and TechnologyПотвърден имейл адрес: fct.unl.pt
Marcelo Esteban ConiglioProfessor of Logic, University of CampinasПотвърден имейл адрес: unicamp.br
Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, PortugalПотвърден имейл адрес: math.ist.utl.pt
Marco VolpeUniversity of Osnabrück, Institute of Cognitive Science, Department of Artificial IntelligenceПотвърден имейл адрес: uni-osnabrueck.de
Hans-Dieter EhrichProfesoor emeritus of information systemsПотвърден имейл адрес: tu-bs.de
Till MossakowskiProfessor of Computer Science, University of MagdeburgПотвърден имейл адрес: ovgu.de
João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaПотвърден имейл адрес: tecnico.ulisboa.pt
Gunter SaakeProfessor of Computer Science, Magdeburg UniversityПотвърден имейл адрес: ovgu.de

Следене

Carlos Caleiro

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

Потвърден имейл адрес: math.ist.utl.pt


Заглавие Сортиране по цитати Сортиране по година Сортиране по заглавие	Позовавания Позовавания	Година
Fibring of logics as a categorial construction A Sernadas, C Sernadas, C Caleiro Journal of logic and computation 9 (2), 149-179, 1999	151	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	95	2005
Logics for specifying concurrent information systems HD Ehrich, C Caleiro, A Sernadas, G Denker Logics for Databases and Information Systems, 167-198, 1998	67	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	62	2003
Specifying communication in distributed information systems HD Ehrich, C Caleiro Acta Informatica 36 (8), 591-616, 2000	51	2000
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	48	2006
Fibring of logics as a universal construction C Caleiro, J Rasga, C Sernadas, W Carnielli Handbook of Philosophical Logic, 2nd Edition, 123-187, 2005	48	2005
Categorial Fibring of Logics with Terms and Binding Operators. A Sernadas, C Sernadas, C Caleiro, T Mossakowski FroCoS, 295-316, 1998	40	1998
Equipollent logical systems C Caleiro, R Gonçalves Logica Universalis: Towards a general theory of logic, 97-109, 2007	39	2007
Synchronization of logics A Sernadas, C Sernadas, C Caleiro Studia Logica, 217-247, 1997	39	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	37	2005
Parameterisation of logics C Caleiro, C Sernadas, A Sernadas Lecture notes in computer science, 48-62, 1999	34	1999
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	33	2020
Combining logics C Caleiro 1 st W orld S chool on U niversal L ogic, 5, 2000	33	2000
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	30	2015
From fibring to cryptofibring. A solution to the collapsing problem C Caleiro, J Ramos Logica Universalis 1, 71-92, 2007	30	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	29	2005
Deconstructing alice and bob C Caleiro, L Vigano, D Basin Electronic Notes in Theoretical Computer Science 135 (1), 3-22, 2005	26	2005
Distributed temporal logic for the analysis of security protocol models D Basin, C Caleiro, J Ramos, L Viganò Theoretical Computer Science 412 (31), 4007-4043, 2011	25	2011
Quantum institutions C Caleiro, P Mateus, A Sernadas, C Sernadas Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on …, 2006	25	2006

Системата не може да изпълни операцията сега. Опитайте отново по-късно.

Статии 1–20

Позовавания годишно

Дублирани описания

Обединени библиографски описания

Добавяне на съавториСъавтори

Следене

Позовавания

Съавтори