João Filipe Quintas dos Santos Rasga
AuthID: R-000-6Z8
31
TITLE: Revisiting the Equivalence of Shininess and Politeness
AUTHORS: Filipe Casal ; João Rasga;
PUBLISHED: 2013, SOURCE: 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
AUTHORS: Filipe Casal ; João Rasga;
PUBLISHED: 2013, SOURCE: 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
32
TITLE: Trends in hydrologic time series
AUTHORS: Portela, MM ; Santos, JF; Quintela, AC; Vaz, C;
PUBLISHED: 2009, SOURCE: 5th International Conference on River Basin Management, River Basin Management 2009 in WIT Transactions on Ecology and the Environment, VOLUME: 124
AUTHORS: Portela, MM ; Santos, JF; Quintela, AC; Vaz, C;
PUBLISHED: 2009, SOURCE: 5th International Conference on River Basin Management, River Basin Management 2009 in WIT Transactions on Ecology and the Environment, VOLUME: 124
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef33
TITLE: Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
AUTHORS: Cruz-Filipe, L; Rasga, J; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2008, SOURCE: Journal of Logic and Computation, VOLUME: 18, ISSUE: 6
AUTHORS: Cruz-Filipe, L; Rasga, J; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2008, SOURCE: Journal of Logic and Computation, VOLUME: 18, ISSUE: 6
34
TITLE: ON THE POWER OF QUANTUM TAMPER-PROOF DEVICES Full Text
AUTHORS: BOUDA, J; MATEUS, P; PAUNKOVIC, N; RASGA, J;
PUBLISHED: 2008, SOURCE: International Journal of Quantum Information - Int. J. Quanum Inform., VOLUME: 06, ISSUE: 02
AUTHORS: BOUDA, J; MATEUS, P; PAUNKOVIC, N; RASGA, J;
PUBLISHED: 2008, SOURCE: International Journal of Quantum Information - Int. J. Quanum Inform., VOLUME: 06, ISSUE: 02
35
TITLE: Estimation of monthly stream flows based on the sequential water budget technique applied to the Thornthwaite potential evapotranspiration
AUTHORS: Portela, MM ; Santos, JF;
PUBLISHED: 2007, SOURCE: 4th International Conference on River Basin Management in RIVER BASIN MANAGEMENT IV, VOLUME: 104
AUTHORS: Portela, MM ; Santos, JF;
PUBLISHED: 2007, SOURCE: 4th International Conference on River Basin Management in RIVER BASIN MANAGEMENT IV, VOLUME: 104
36
TITLE: 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]
AUTHORS: Portela, MM; Santos, JF;
PUBLISHED: 2006, 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: 2006, 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
Scopus37
TITLE: Fibring of Logics as a Universal Construction
AUTHORS: Caleiro, C ; Rasga, J; Sernadas, C ; Carnielli, W;
PUBLISHED: 2005, SOURCE: Handbook of Philosophical Logic - Handbook of Philosophical Logic, 2nd Edition
AUTHORS: Caleiro, C ; Rasga, J; Sernadas, C ; Carnielli, W;
PUBLISHED: 2005, SOURCE: Handbook of Philosophical Logic - Handbook of Philosophical Logic, 2nd Edition
38
TITLE: Labelled deduction over algebras of truth-values
AUTHORS: Rasga, J; Sernadas, A ; Sernadas, C ; Vigano, L;
PUBLISHED: 2002, SOURCE: 4th International Workshop on Frontiers of Combining Systems in FRONTIERS OF COMBINING SYSTEMS, VOLUME: 2309
AUTHORS: Rasga, J; Sernadas, A ; Sernadas, C ; Vigano, L;
PUBLISHED: 2002, SOURCE: 4th International Workshop on Frontiers of Combining Systems in FRONTIERS OF COMBINING SYSTEMS, VOLUME: 2309
INDEXED IN: 
WOS
WOS IN MY: ResearcherID
ResearcherID39
TITLE: Labelled Deduction over Algebras of Truth-Values*
AUTHORS: João Rasga; Amílcar Sernadas ; Cristina Sernadas ; Luca Viganò;
PUBLISHED: 2002, SOURCE: Frontiers of Combining Systems - Lecture Notes in Computer Science
AUTHORS: João Rasga; Amílcar Sernadas ; Cristina Sernadas ; Luca Viganò;
PUBLISHED: 2002, SOURCE: Frontiers of Combining Systems - Lecture Notes in Computer Science
