João Filipe Quintas dos Santos Rasga
AuthID: R-000-6Z8
31
TÃTULO: Precipitation thresholds for drought recognition: A further use of the standardized precipitation index, SPI
AUTORES: Santos, JF; Portela, MM ; Naghettini, M; Matos, JP; Silva, AT;
PUBLICAÇÃO: 2013, FONTE: 7th International Conference on River Basin Management, RBM 2013 in WIT Transactions on Ecology and the Environment, VOLUME: 172
AUTORES: Santos, JF; Portela, MM ; Naghettini, M; Matos, JP; Silva, AT;
PUBLICAÇÃO: 2013, FONTE: 7th International Conference on River Basin Management, RBM 2013 in WIT Transactions on Ecology and the Environment, VOLUME: 172
INDEXADO EM: Scopus CrossRef
32
TÃTULO: Revisiting the Equivalence of Shininess and Politeness
AUTORES: Filipe Casal ; João Rasga;
PUBLICAÇÃO: 2013, FONTE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, VOLUME: 8312
AUTORES: Filipe Casal ; João Rasga;
PUBLICAÇÃO: 2013, FONTE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, VOLUME: 8312
33
TÃTULO: Trends in hydrologic time series
AUTORES: Portela, MM ; Santos, JF; Quintela, AC; Vaz, C;
PUBLICAÇÃO: 2009, FONTE: 5th International Conference on River Basin Management, River Basin Management 2009 in WIT Transactions on Ecology and the Environment, VOLUME: 124
AUTORES: Portela, MM ; Santos, JF; Quintela, AC; Vaz, C;
PUBLICAÇÃO: 2009, FONTE: 5th International Conference on River Basin Management, River Basin Management 2009 in WIT Transactions on Ecology and the Environment, VOLUME: 124
INDEXADO EM: Scopus CrossRef
34
TÃTULO: Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
AUTORES: Cruz-Filipe, L; Rasga, J; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2008, FONTE: Journal of Logic and Computation, VOLUME: 18, NÚMERO: 6
AUTORES: Cruz-Filipe, L; Rasga, J; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2008, FONTE: Journal of Logic and Computation, VOLUME: 18, NÚMERO: 6
35
TÃTULO: ON THE POWER OF QUANTUM TAMPER-PROOF DEVICES Full Text
AUTORES: BOUDA, J; MATEUS, P; PAUNKOVIC, N; RASGA, J;
PUBLICAÇÃO: 2008, FONTE: International Journal of Quantum Information - Int. J. Quanum Inform., VOLUME: 06, NÚMERO: 02
AUTORES: BOUDA, J; MATEUS, P; PAUNKOVIC, N; RASGA, J;
PUBLICAÇÃO: 2008, FONTE: International Journal of Quantum Information - Int. J. Quanum Inform., VOLUME: 06, NÚMERO: 02
36
TÃTULO: Estimation of monthly stream flows based on the sequential water budget technique applied to the Thornthwaite potential evapotranspiration
AUTORES: Portela, MM ; Santos, JF;
PUBLICAÇÃO: 2007, FONTE: 4th International Conference on River Basin Management in RIVER BASIN MANAGEMENT IV, VOLUME: 104
AUTORES: Portela, MM ; Santos, JF;
PUBLICAÇÃO: 2007, FONTE: 4th International Conference on River Basin Management in RIVER BASIN MANAGEMENT IV, VOLUME: 104
37
TÃTULO: Thornthwaite and Penman-Monteith potential evapotranspiration and estimation of monthly stream flows [Evapotranspirações potenciais de thornthwaite e de penman-monteith e estimação de escoamentos mensais]
AUTORES: Portela, MM; Santos, JF;
PUBLICAÇÃO: 2006, FONTE: 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
AUTORES: Portela, MM; Santos, JF;
PUBLICAÇÃO: 2006, FONTE: 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
INDEXADO EM: Scopus
38
TÃTULO: Fibring of Logics as a Universal Construction
AUTORES: Caleiro, C ; Rasga, J; Sernadas, C ; Carnielli, W;
PUBLICAÇÃO: 2005, FONTE: Handbook of Philosophical Logic - Handbook of Philosophical Logic, 2nd Edition
AUTORES: Caleiro, C ; Rasga, J; Sernadas, C ; Carnielli, W;
PUBLICAÇÃO: 2005, FONTE: Handbook of Philosophical Logic - Handbook of Philosophical Logic, 2nd Edition
39
TÃTULO: Labelled deduction over algebras of truth-values
AUTORES: Rasga, J; Sernadas, A ; Sernadas, C ; Vigano, L;
PUBLICAÇÃO: 2002, FONTE: 4th International Workshop on Frontiers of Combining Systems in FRONTIERS OF COMBINING SYSTEMS, VOLUME: 2309
AUTORES: Rasga, J; Sernadas, A ; Sernadas, C ; Vigano, L;
PUBLICAÇÃO: 2002, FONTE: 4th International Workshop on Frontiers of Combining Systems in FRONTIERS OF COMBINING SYSTEMS, VOLUME: 2309
INDEXADO EM: WOS
NO MEU: ResearcherID
40
TÃTULO: Labelled Deduction over Algebras of Truth-Values*
AUTORES: João Rasga; Amílcar Sernadas ; Cristina Sernadas ; Luca Viganò;
PUBLICAÇÃO: 2002, FONTE: Frontiers of Combining Systems - Lecture Notes in Computer Science
AUTORES: João Rasga; Amílcar Sernadas ; Cristina Sernadas ; Luca Viganò;
PUBLICAÇÃO: 2002, FONTE: Frontiers of Combining Systems - Lecture Notes in Computer Science