Jaime Arsénio de Brito Ramos


AuthID: R-000-6GW

Confirmed Publications: 11



1
TITLE: Distributed temporal logic for the analysis of security protocol models  Full Text
AUTHORS: David Basin; Carlos Caleiro ; Jaime Ramos ; Luca Vigano;
PUBLISHED: 2011, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 412, ISSUE: 31
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
2
TITLE: Hierarchical logical consequence  Full Text
AUTHORS: Carlos Caleiro ; Paula Gouveia; Jaime Ramos ;
PUBLISHED: 2011, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 19, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
3
TITLE: Labelled Tableaux for Distributed Temporal Logic
AUTHORS: David Basin; Carlos Caleiro ; Jaime Ramos ; Luca Vigano;
PUBLISHED: 2009, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 19, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
4
TITLE: A labeled tableaux system for the distributed temporal logic DTL
AUTHORS: David Basin; Carlos Caleiro ; Jaime Ramos ; Luca Vigano;
PUBLISHED: 2008, SOURCE: 15th International Symposium on Temporal Representation and Reasoning in TIME 2008: 15TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
5
TITLE: Combining classical and intuitionistic implications
AUTHORS: Carlos Caleiro ; Jaime Ramos ;
PUBLISHED: 2007, SOURCE: 6th International Symposium on Frontiers of Combining Systems in FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, VOLUME: 4720
INDEXED IN: Scopus WOS
IN MY: ORCID
6
TITLE: From fibring to cryptofibring. A solution to the collapsing problem  Full Text
AUTHORS: Caleiro, C ; Ramos, J ;
PUBLISHED: 2007, SOURCE: Logica Universalis, VOLUME: 1, ISSUE: 1
INDEXED IN: Scopus CrossRef
IN MY: ORCID
7
TITLE: Multi-agent systems specification and certification: a situation and state calculus approach  Full Text
AUTHORS: Gouveia, P; Ramos, J ;
PUBLISHED: 2004, SOURCE: Dagstuhl Seminar on Programming Mult Agent Systems Based on Logic in ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 41, ISSUE: 2-4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
8
TITLE: Nautilus: A concurrent anticipatory programming language
AUTHORS: Menezes, PB; Costa, SA; Machado, JP; Ramos, J ;
PUBLISHED: 2002, SOURCE: 5th International Conference on Computing Anticipatory Systems in COMPUTING ANTICIPATORY SYSTEMS, VOLUME: 627
INDEXED IN: WOS
9
TITLE: Combining logics: Parchments revisited
AUTHORS: Caleiro, C ; Mateus, P ; Ramos, J ; Sernadas, A ;
PUBLISHED: 2001, SOURCE: 15th International Workshop on Algebraic Development Techniques/General Workshop of the ESPRIT Working Group CoFI in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2267
INDEXED IN: WOS CrossRef: 7
10
TITLE: The situation and state calculus versus branching temporal logic  Full Text
AUTHORS: Ramos, J ; Sernadas, A ;
PUBLISHED: 1999, SOURCE: 13th International Workshop on Algebraic Development Techiniques at the 1st European Joint Conferences on Theory and Practice of Software in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 1589
INDEXED IN: WOS
Page 1 of 2. Total results: 11.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service