João Filipe Quintas dos Santos Rasga
AuthID: R-000-6Z8
21
TÃTULO: Probabilistic logic of quantum observations
AUTORES: Sernadas, A; Rasga, J; Sernadas, C ; Alcacer, L; Henriques, AB;
PUBLICAÇÃO: 2019, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 27, NÚMERO: 3
AUTORES: Sernadas, A; Rasga, J; Sernadas, C ; Alcacer, L; Henriques, AB;
PUBLICAÇÃO: 2019, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 27, NÚMERO: 3
23
TÃTULO: An Integrated System for Geophysical Navigation of Autonomous Underwater Vehicles
AUTORES: Joao Quintas; Francisco Curado Teixeira; Antonio Pascoal;
PUBLICAÇÃO: 2018, FONTE: 11th IFAC Conference on Control Applications in Marine Systems, Robotics, and Vehicles (CAMS) in IFAC PAPERSONLINE, VOLUME: 51, NÚMERO: 29
AUTORES: Joao Quintas; Francisco Curado Teixeira; Antonio Pascoal;
PUBLICAÇÃO: 2018, FONTE: 11th IFAC Conference on Control Applications in Marine Systems, Robotics, and Vehicles (CAMS) in IFAC PAPERSONLINE, VOLUME: 51, NÚMERO: 29
25
TÃTULO: On probability and logic
AUTORES: Amilcar Sernadas; Joao Rasga; Cristina Sernadas ;
PUBLICAÇÃO: 2017, FONTE: PORTUGALIAE MATHEMATICA, VOLUME: 74, NÚMERO: 4
AUTORES: Amilcar Sernadas; Joao Rasga; Cristina Sernadas ;
PUBLICAÇÃO: 2017, FONTE: PORTUGALIAE MATHEMATICA, VOLUME: 74, NÚMERO: 4
26
TÃTULO: Decision and optimization problems in the unreliable-circuit logic Full Text
AUTORES: RASGA, J; SERNADAS, C; MATEUS, P; SERNADAS, A;
PUBLICAÇÃO: 2017, FONTE: Logic Journal of the IGPL, VOLUME: 25, NÚMERO: 3
AUTORES: RASGA, J; SERNADAS, C; MATEUS, P; SERNADAS, A;
PUBLICAÇÃO: 2017, FONTE: Logic Journal of the IGPL, VOLUME: 25, NÚMERO: 3
27
TÃTULO: PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS Full Text
AUTORES: Joao Rasga; Cristina Sernadas ; Amilcar Sernadas ;
PUBLICAÇÃO: 2016, FONTE: REVIEW OF SYMBOLIC LOGIC, VOLUME: 9, NÚMERO: 4
AUTORES: Joao Rasga; Cristina Sernadas ; Amilcar Sernadas ;
PUBLICAÇÃO: 2016, FONTE: REVIEW OF SYMBOLIC LOGIC, VOLUME: 9, NÚMERO: 4
28
TÃTULO: A Roadmap to Decidability
AUTORES: João Rasga; Cristina Sernadas ; Amílcar Sernadas ;
PUBLICAÇÃO: 2015, FONTE: Studies in Universal Logic - The Road to Universal Logic
AUTORES: João Rasga; Cristina Sernadas ; Amílcar Sernadas ;
PUBLICAÇÃO: 2015, FONTE: Studies in Universal Logic - The Road to Universal Logic
29
TÃTULO: Approximate reasoning about logic circuits with single-fan-out unreliable gates
AUTORES: Sernadas, A ; Rasga, J; Sernadas, C ; Mateus, P;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, NÚMERO: 5
AUTORES: Sernadas, A ; Rasga, J; Sernadas, C ; Mateus, P;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, NÚMERO: 5
NO MEU: ORCID | ResearcherID
30
TÃTULO: Fibring as Biporting Subsumes Asymmetric Combinations Full Text
AUTORES: Rasga, J; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2014, FONTE: STUDIA LOGICA, VOLUME: 102, NÚMERO: 5
AUTORES: Rasga, J; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2014, FONTE: STUDIA LOGICA, VOLUME: 102, NÚMERO: 5
NO MEU: ORCID | ResearcherID