Academic position:
Assistant Professor
Joining date:
31-12-2006
Role in IT: Researcher Scientific Area: Networks and Multimedia
Group: Security and Quantum Information –Lx
Degrees
- PhD, Instituto Superior Técnico, 28-07-2003
Affiliations
- Instituto Superior Técnico, Assistant Professor, 01-01-2003
Academic Activities
Lecture courses
-
Elementos de programação, Instituto Superior Técnico, Licenciatura em Engenharia e Gestão Industrial
-
Teoria da Computação, Instituto Superior Técnico, Engenharia Informática e de Computadores
-
Matemática Discreta, Instituto Superior Técnico, Engenharia Informática e de Computadores
Supervision of theses
MSc
- A Proof Theory of Interpolation, MSc, Ismael Everardo Bárcenas Patiño, 12-2007, Universidade Nova de Lisboa
Publications
Book Chapters [4]
- Sernadas, A.; Sernadas, C.; Rasga, J.; Mateus, P.; "Non-deterministic combination of connectives" - Chapter in Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the Occasion of his 60th Birthday, Jean-Yves Béziau and Marcelo Coniglio, College Publications, ,
2011.
- Rasga, J.; "Cut elimination in propositional based logics" - Chapter in Proceedings of Structures and Deduction - the Quest for the Essence of Proofs (satellite workshop of ICALP'05), pages 205-214, P. Bruscoli, F. Lamarche and C. Stewart, Technische Universität Dresden, ,
2005.
- Caleiro, C.; W. Carnielli ; Rasga, J.; Sernadas, C.; "Fibring of logics as a universal construction" - Chapter in Handbook of Philosophical Logic, 2nd Edition, volume 13, pages 123-187, D. Gabbay and F. Guenthner, Springer, ,
2005.
- Rasga, J.; Sernadas, A.; Sernadas, C.; L. Viganò; "Labelled deduction over algebras of truth values" - Chapter in Frontiers of Combining Systems 4, volume 2309 of Lecture Notes in Artificial Intelligence, pages 222-238, A. Armando, Springer, ,
2002.
Papers in Journals [16]
- Rasga, J.; Sernadas, A.; Sernadas, C.; "Importing Logics: Soundness and Completeness Preservation", Studia Logica, Vol. 101, No. 1, pp. 117 - 155, February, 2013.
| BibTex
- Sernadas, A.; Sernadas, C.; Rasga, J.; "On meet-combination of logics", Journal of Logic and Computation, Vol. 22, No. 6, pp. 1453 - 1470, December, 2012.
| BibTex
- Rasga, J.; K. Roggia; Sernadas, C.; "Fusion of sequent modal logic systems labelled with truth values", Logic Journal of the IGPL, Vol. 18, No. 6, pp. 893 - 920, December, 2010. Abstract
| BibTex
- J. Bouda; Mateus, P.; Paunkovic, N.; Rasga, J.; "On the power of quantum tamper-proof hardware", Intrnl. Journal of Quantum Information, Vol. 6, No. 2, pp. 219 - 236, February, 2008.
| BibTex
- L. Cruz-Filipe; Rasga, J.; Sernadas, A.; Sernadas, C.; "A Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification", Journal of Logic and Computation, Vol. 18, No. 6, pp. 885 - 911, January, 2008.
| BibTex
- W. Carnielli ; Rasga, J.; Sernadas, C.; "Preservation of interpolation features by fibring", Journal of Logic and Computation, Vol. 18, No. 1, pp. 123 - 151, January, 2008.
| BibTex
- Rasga, J.; "Sufficient conditions for cut elimination with complexity analysis", Annals of Pure and Applied Logic, Vol. 149, No. 1-3, pp. 81 - 99, November, 2007.
| BibTex
- Mateus, P.; Rasga, J.; Sernadas, C.; "Modal sequent calculi labelle with truth values: Cut elimination", Logic Journal of the IGPL, Vol. 13, No. 2, pp. 173 - 199, January, 2005.
| BibTex
- Sernadas, C.; L. Viganò; Rasga, J.; Sernadas, A.; "Truth-values as labels: A general recipe for labelled deduction", Journal of Appl. Non-Classical Logics, Vol. 13, No. 3-4, pp. 277 - 315, January, 2003.
| BibTex
- Rasga, J.; Sernadas, A.; Sernadas, C.; L. Viganò; "Fibring labelled deduction systems", Journal of Logic and Computation, Vol. 12, No. 3, pp. 443 - 473, June, 2002.
| BibTex
- Sernadas, C.; Rasga, J.; W. Carnielli ; "Modulated fibring and the collapsing problem", Journal of Symbolic Logic, Vol. 67, No. 4, pp. 1541 - 1569, January, 2002.
| BibTex
Papers in Conference Proceedings [2]
- Mateus, P.; F.M. Moura; Rasga, J.; "Transferring proofs of zero-knowledge systems with quantum", Proc Workshop on Quantum Security - QSEC, Guadeloupe, France, Vol. -, pp. 0009 - 0014, January, 2007.
| BibTex
- Rasga, J.; "Cut elimination in propositional based logics", Proc Structures and Deduction - the Quest for the Essence of Proofs, Lisboa, Portugal, Vol. -, pp. 205 - 214, December, 2005.
| BibTex
Theses
- J. Rasga; "Fibring Labelled First-order Based Logics", Instituto Superior Técnico, Universidade Técnica de Lisboa, July, 2003.
Other Scientific Achievements
Short Courses And Seminars
- Rasga, J.;
"
On combined connectives
",
Portugal
",
Evora
",
2-2012
.
- Rasga, J.;
"
Generalized negative translations and interpolation.
",
Portugal
",
Lisboa, Days in Logic 2008
",
1-2008
.
- Rasga, J.;
"
Preservation of interpolation and generalized negative translations.
",
Portugal
",
Braga, U Minho, Seminário de Álgebra e Lógica
",
1-2008
.
- Rasga, J.;
"
Transferring proofs of zero-knowledge systems with quantum tamper-proof devices.
",
Portugal
",
Lisboa, LQCIL'07
",
7-2007
.
- Rasga, J.;
"
A complete axiomatization of discrete-measure almost-everywhere quantification.
",
Portugal
",
Lisboa, IST/FCUL, Seminário de Lógica Matemática
",
11-2006
.
- Rasga, J.;
"
Some complexity results on cut elimination in first order based logics.
",
Portugal
",
Coimbra, Days in Logic '06
",
1-2006
.
- Rasga, J.;
"
Complexity analysis of cut elimination in first order based logics.
",
Portugal
",
Lisboa, PCC'05
",
7-2005
.
- Rasga, J.;
"
Cut elimination in propositional based logics.
",
Portugal
",
Lisboa, SD'05
",
7-2005
.
- Rasga, J.;
"
The complexity of cut elimination in a modal sequent calculus labelled with truth values.
",
Brazil
",
Campinas, UECampinas, CLE, Colloquia Logicae
",
2-2005
.
- Rasga, J.;
"
The complexity of cut elimination in a modal sequent calculus labelled with truth values.
",
Brazil
",
São Paulo, USP, IME, Seminário de Ciência da Compu
",
2-2005
.
- Rasga, J.;
"
Cut elimination in a general modal calculus.
",
Portugal
",
Coimbra, Portuguese Category Seminar 04
",
6-2004
.
- Rasga, J.;
"
Labelled first order based logic systems.
",
Germany
",
Freiburg, Institut für Informatik, Software Engin
",
7-2002
.
- Rasga, J.;
"
Fibrilação de Sistemas Dedutivos Etiquetados.
",
Portugal
",
Lisboa, Encontro LOGCOMP
",
9-2000
.
- Rasga, J.;
"
Fibring of labelled deductive systems
",
Portugal
",
Lisboa, Encontro LOGCOMP
",
12-1999
.
- Rasga, J.;
"
Model theoretic fibring of logics with terms and binding operators
",
Austria
",
Linz, ASPIRE Meeting
",
9-1999
.
Other Contributions
Conference Committees
- World Congress and School on Universal Logic - UNILOG, Organizing Committee, João Filipe Quintas dos Santos Rasga, 2010.
- Days in Logic 08, Conference Chairman, João Filipe Quintas dos Santos Rasga, 2008.
