João Filipe Quintas dos Santos Rasga
AuthID: R-000-6Z8
1
TITLE: A review of path following control strategies for autonomous robotic vehicles: Theory, simulations, and experiments Full Text
AUTHORS: Hung, Nguyen; Rego, Francisco; Quintas, Joao; Cruz, Joao; Jacinto, Marcelo; Souto, David; Potes, Andre; Sebastiao, Luis; Pascoal, Antonio;
PUBLISHED: 2022, SOURCE: JOURNAL OF FIELD ROBOTICS
AUTHORS: Hung, Nguyen; Rego, Francisco; Quintas, Joao; Cruz, Joao; Jacinto, Marcelo; Souto, David; Potes, Andre; Sebastiao, Luis; Pascoal, Antonio;
PUBLISHED: 2022, SOURCE: JOURNAL OF FIELD ROBOTICS
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Conservative Translations Revisited Full Text
AUTHORS: Ramos, J.; Rasga, J.; Sernadas, C.;
PUBLISHED: 2022, SOURCE: JOURNAL OF PHILOSOPHICAL LOGIC
AUTHORS: Ramos, J.; Rasga, J.; Sernadas, C.;
PUBLISHED: 2022, SOURCE: JOURNAL OF PHILOSOPHICAL LOGIC
INDEXED IN: WOS
WOS3
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
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
Scopus WOS4
TITLE: Revisiting separation: Algorithms and complexity
AUTHORS: Oliveira, D; Rasga, J;
PUBLISHED: 2021, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 29, ISSUE: 3
AUTHORS: Oliveira, D; Rasga, J;
PUBLISHED: 2021, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 29, ISSUE: 3
INDEXED IN: Scopus WOS
Scopus WOS5
TITLE: Time-stamped claim logic
AUTHORS: Rasga, J; Sernadas, C; Karafili, E; Vigano, L;
PUBLISHED: 2021, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 29, ISSUE: 3
AUTHORS: Rasga, J; Sernadas, C; Karafili, E; Vigano, L;
PUBLISHED: 2021, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 29, ISSUE: 3
INDEXED IN: WOS
WOS6
TITLE: REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET-COMBINATION
AUTHORS: Rasga, J; Sernadas, C; Carnielli, W;
PUBLISHED: 2021, SOURCE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 27, ISSUE: 1
AUTHORS: Rasga, J; Sernadas, C; Carnielli, W;
PUBLISHED: 2021, SOURCE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 27, ISSUE: 1
INDEXED IN: WOS
WOS7
TITLE: Schema Complexity in Propositional-Based Logics Full Text
AUTHORS: Ramos, J; Rasga, J; Sernadas, C;
PUBLISHED: 2021, SOURCE: MATHEMATICS, VOLUME: 9, ISSUE: 21
AUTHORS: Ramos, J; Rasga, J; Sernadas, C;
PUBLISHED: 2021, SOURCE: MATHEMATICS, VOLUME: 9, ISSUE: 21
INDEXED IN: Scopus WOS
Scopus WOS8
TITLE: Evapotranspirações potenciais de thornthwaite e de penman-monteith e estimação de escoamentos mensais
AUTHORS: Portela, MM; Santos, JF;
PUBLISHED: 2020, SOURCE: International Symposium on Hydraulic Structures - XXII Congreso Latinoamericano de Hidraulica - 22nd Latin American Congress on Hydraulics 2006 in International Symposium on Hydraulic Structures - XXII Congreso Latinoamericano de Hidraulica
AUTHORS: Portela, MM; Santos, JF;
PUBLISHED: 2020, SOURCE: International Symposium on Hydraulic Structures - XXII Congreso Latinoamericano de Hidraulica - 22nd Latin American Congress on Hydraulics 2006 in International Symposium on Hydraulic Structures - XXII Congreso Latinoamericano de Hidraulica
INDEXED IN: Scopus
Scopus9
TITLE: Essential Structure of Proofs as a Measure of Complexity Full Text
AUTHORS: Jaime Ramos; Joao Rasga; Cristina Sernadas;
PUBLISHED: 2020, SOURCE: LOGICA UNIVERSALIS, VOLUME: 14, ISSUE: 2
AUTHORS: Jaime Ramos; Joao Rasga; Cristina Sernadas;
PUBLISHED: 2020, SOURCE: LOGICA UNIVERSALIS, VOLUME: 14, ISSUE: 2
INDEXED IN: WOS
WOS10
TITLE: Decidability of logical theories and their combination
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2020, SOURCE: Studies in Universal Logic
AUTHORS: Rasga, J; Sernadas, C;
PUBLISHED: 2020, SOURCE: Studies in Universal Logic
INDEXED IN: Scopus
Scopus