|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 34 publication records. Showing 34 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò |
Distributed temporal logic for the analysis of security protocol models.  |
Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Paula Gouveia, Jaime Ramos |
Hierarchical logical consequence. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Ricardo Gonçalves |
Towards a Behavioral Algebraic Theory of Logical Valuations. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Conchinha, David A. Basin, Carlos Caleiro |
FAST: An Efficient Decision Procedure for Deduction and Static Equivalence. |
RTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Conchinha, David A. Basin, Carlos Caleiro |
Efficient Decision Procedures for Message Deducibility and Static Equivalence. |
Formal Aspects in Security and Trust |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, João Marcos |
Two Many Values: An Algorithmic Outlook on Suszko's Thesis. |
ISMVL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Ricardo Gonçalves |
Behavioral algebraization of da Costa's C-systems. |
Journal of Applied Non-Classical Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Carlos Caleiro, Ricardo Gonçalves, Manuel A. Martins |
Behavioral Algebraization of Logics. |
Studia Logica |
2009 |
DBLP DOI BibTeX RDF |
many-sorted behavioral logic, non-truth-functionality, Abstract algebraic logic |
| 1 | Bruno Montalto, Carlos Caleiro |
Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò |
Labelled Tableaux for Distributed Temporal Logic. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, João Marcos |
Classic-Like Analytic Tableaux for Finite-Valued Logics. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
many-valued logics, proof theory |
| 1 | Carlos Caleiro, Ricardo Gonçalves |
Algebraic Valuations as Behavioral Logical Matrices. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
behavioral algebraization, logical matrix, valuation semantics, algebraic logic |
| 1 | David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò |
A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Jaime Ramos |
Combining Classical and Intuitionistic Implications. |
FroCos |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Luca Viganò, David A. Basin |
On the semantics of Alice&Bob specifications of security protocols. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Ricardo Gonçalves |
On the Algebraization of Many-Sorted Logics. |
WADT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas |
Quantum Institutions. |
Essays Dedicated to Joseph A. Goguen |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Luca Viganò, David A. Basin |
Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis. |
Logic Journal of the IGPL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Luca Viganò, David A. Basin |
Deconstructing Alice and Bob. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Luca Viganò, David A. Basin |
Metareasoning about Security Protocols using Distributed Temporal Logic. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Amílcar Sernadas, Cristina Sernadas |
Fibring Logics: Past, Present and Future. |
We Will Show Them! |
2005 |
DBLP BibTeX RDF |
|
| 1 | Carlos Caleiro, Jaime Ramos |
Cryptomorphisms at Work. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Walter Alexandre Carnielli, Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas |
Fibring Non-Truth-Functional Logics: Completeness Preservation. |
Journal of Logic, Language and Information |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Paula Gouveia, Jaime Ramos |
Completeness Results for Fibred Parchments: Beyond the Propositional Base. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas |
Combining Logics: Parchments Revisited. |
WADT |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Dieter Ehrich, Carlos Caleiro |
Specifying Communication in Distributed Information Systems. |
Acta Inf. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro |
Fibring of Logics as a Categorial Construction. |
J. Log. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro |
Denotational Semantics of Object Specification. |
Acta Inf. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker |
Logics for Specifying Concurrent Information Systems. |
Logics for Databases and Information Systems |
1998 |
DBLP BibTeX RDF |
|
| 1 | Carlos Caleiro, Cristina Sernadas, Amílcar Sernadas |
Parameterisation of Logics. |
WADT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro |
Synchronization of Logics. |
Studia Logica |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro |
Synchronization of Logics with Mixed Rules: Completeness Preservation. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas |
A Linear Temporal Logic Approach to Objects with Transactions. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Gunter Saake, Amílcar Sernadas |
Deriving Liveness Goals from Temporal Logic Specifications. |
J. Symb. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")