João Filipe Quintas dos Santos Rasga
AuthID: R-000-6Z8
22
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
24
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
25
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
26
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
27
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
28
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
ORCID | ResearcherID29
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
ORCID | ResearcherID30
TÃTULO: Craig Interpolation in the Presence of Unreliable Connectives Full Text
AUTORES: Rasga, J; Sernadas, C ; Sernadas, A ;
PUBLICAÇÃO: 2014, FONTE: Logica Universalis, VOLUME: 8, NÚMERO: 3-4
AUTORES: Rasga, J; Sernadas, C ; Sernadas, A ;
PUBLICAÇÃO: 2014, FONTE: Logica Universalis, VOLUME: 8, NÚMERO: 3-4
