Carlos Caleiro
Carlos Caleiro
Associate Professor for Logic and Computation at IST, Univ. Lisboa
Verifierad e-postadress på
Citeras av
Citeras av
Strand spaces: Proving security protocols correct
FJT Fábrega, JC Herzog, JD Guttman
Journal of computer security 7 (2/3), 191-230, 1999
Fibring of logics as a categorial construction
A Sernadas, C Sernadas, C Caleiro
Journal of logic and computation 9 (2), 149-179, 1999
Two's company:“The humbug of many logical values”
C Caleiro, W Carnielli, M Coniglio, J Marcos
Logica universalis, 169-189, 2005
Logics for specifying concurrent information systems
HD Ehrich, C Caleiro, A Sernadas, G Denker
Logics for Databases and Information Systems, 167-198, 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 (2), 183-211, 2003
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
Specifying communication in distributed information systems
HD Ehrich, C Caleiro
Acta Informatica 36 (8), 591-616, 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
Equipollent logical systems
C Caleiro, R Gonçalves
Logica Universalis, 97-109, 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
Synchronization of logics
A Sernadas, C Sernadas, C Caleiro
Studia Logica 59 (2), 217-247, 1997
Parameterisation of logics
C Caleiro, C Sernadas, A Sernadas
International Workshop on Algebraic Development Techniques, 48-63, 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
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
From fibring to cryptofibring. A solution to the collapsing problem
C Caleiro, J Ramos
Logica Universalis 1 (1), 71-92, 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
Quantum institutions
C Caleiro, P Mateus, A Sernadas, C Sernadas
Algebra, Meaning, and Computation, 50-64, 2006
Deconstructing alice and bob
C Caleiro, L Vigano, D Basin
Electronic Notes in Theoretical Computer Science 135 (1), 3-22, 2005
Fibring Logics: Past, Present and Future.
C Caleiro, A Sernadas, C Sernadas
We Will Show Them!(1), 363-388, 2005
Suszko’s Thesis and dyadic semantics
C Caleiro, WA Carnielli, ME Coniglio, J Marcos
Preprint available at: http://wslc. math. ist. utl. pt/ftp/pub/CaleiroC/03 …, 2003
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20