1
TÍTULO: Model checking distributed temporal logic  Full Text
AUTORES: Francisco Dionísio; Jaime Ramos ; Fernando Subtil; Luca Viganò;
PUBLICAÇÃO: 2025, FONTE: Logic Journal of the IGPL, VOLUME: 33, NÚMERO: 2
INDEXADO EM: Scopus CrossRef
2
TÍTULO: Labelled proof systems for existential reasoning  Full Text
AUTORES: Ramos, Jaime ; Rasga, Joao; Sernadas, Cristina;
PUBLICAÇÃO: 2024, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 33, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef
4
TÍTULO: Bounded model checking distributed temporal logic
AUTORES: Peres, Augusto; Ramos, Jaime ; Dionisio, Francisco;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 33, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef
5
TÍTULO: Conservative Translations Revisited  Full Text
AUTORES: Ramos, J. ; Rasga, J.; Sernadas, C.;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF PHILOSOPHICAL LOGIC, VOLUME: 52, NÚMERO: 3
INDEXADO EM: WOS CrossRef
6
TÍTULO: Event-Based Time-Stamped Claim Logic
AUTORES: Ramos, J ; Rasga, J; Sernadas, C; Vigano, L;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
INDEXADO EM: Scopus WOS CrossRef
7
TÍTULO: Schema Complexity in Propositional-Based Logics  Full Text
AUTORES: Ramos, J ; Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2021, FONTE: MATHEMATICS, VOLUME: 9, NÚMERO: 21
INDEXADO EM: Scopus WOS CrossRef
8
TÍTULO: Essential Structure of Proofs as a Measure of Complexity  Full Text
AUTORES: Ramos, J ; Rasga, J; Sernadas, C;
PUBLICAÇÃO: 2020, FONTE: LOGICA UNIVERSALIS, VOLUME: 14, NÚMERO: 2
INDEXADO EM: WOS CrossRef: 1
9
TÍTULO: The robust minimal controllability problem  Full Text
AUTORES: Sergio Pequito; Guilherme Ramos ; Soummya Kar; A. Pedro Aguiar ; Jaime Ramos ;
PUBLICAÇÃO: 2017, FONTE: AUTOMATICA, VOLUME: 82
INDEXADO EM: Scopus WOS DBLP CrossRef: 22
10
TÍTULO: Distributed temporal logic for the analysis of security protocol models  Full Text
AUTORES: David Basin; Carlos Caleiro ; Jaime Ramos ; Luca Vigano;
PUBLICAÇÃO: 2011, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 412, NÚMERO: 31
INDEXADO EM: Scopus WOS CrossRef
Página 1 de 3. Total de resultados: 22.