Jaime Arsénio de Brito Ramos


AuthID: R-000-6GW

Confirmed Publications: 22



1
TITLE: Model checking distributed temporal logic  Full Text
AUTHORS: Francisco Dionísio; Jaime Ramos ; Fernando Subtil; Luca Viganò;
PUBLISHED: 2025, SOURCE: Logic Journal of the IGPL, VOLUME: 33, ISSUE: 2
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
2
TITLE: Labelled proof systems for existential reasoning  Full Text
AUTHORS: Ramos, Jaime ; Rasga, Joao; Sernadas, Cristina;
PUBLISHED: 2024, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 33, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
3
4
TITLE: Bounded model checking distributed temporal logic
AUTHORS: Peres, Augusto; Ramos, Jaime ; Dionisio, Francisco;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 33, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
5
TITLE: Conservative Translations Revisited  Full Text
AUTHORS: Ramos, J. ; Rasga, J.; Sernadas, C.;
PUBLISHED: 2022, SOURCE: JOURNAL OF PHILOSOPHICAL LOGIC, VOLUME: 52, ISSUE: 3
INDEXED IN: WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
6
TITLE: Event-Based Time-Stamped Claim Logic
AUTHORS: Ramos, J ; Rasga, J; Sernadas, C; Vigano, L;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
7
TITLE: Schema Complexity in Propositional-Based Logics  Full Text
AUTHORS: Ramos, J ; Rasga, J; Sernadas, C;
PUBLISHED: 2021, SOURCE: MATHEMATICS, VOLUME: 9, ISSUE: 21
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
8
TITLE: Essential Structure of Proofs as a Measure of Complexity  Full Text
AUTHORS: Ramos, J ; Rasga, J; Sernadas, C;
PUBLISHED: 2020, SOURCE: LOGICA UNIVERSALIS, VOLUME: 14, ISSUE: 2
INDEXED IN: WOS CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
9
TITLE: The robust minimal controllability problem  Full Text
AUTHORS: Sergio Pequito; Guilherme Ramos ; Soummya Kar; A. Pedro Aguiar ; Jaime Ramos ;
PUBLISHED: 2017, SOURCE: AUTOMATICA, VOLUME: 82
INDEXED IN: Scopus WOS DBLP CrossRef: 22
IN MY: ORCID | CIÊNCIAVITAE
10
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 | CIÊNCIAVITAE
Page 1 of 3. Total results: 22.

footer slogan

Useful Links

Get Help

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