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, University of Hannover, 01-01-1997 - MSc, Instituto Superior Técnico, 01-01-1991 - Licenciatura, Instituto Superior Técnico, 01-01-1985
- Colorings of Knots versus Polynomial Invariants, PhD, Luís Filipe Silva Camacho , 7-2008, Instituto Superior Técnico
Publications
Books [2]
- J. Carmo; Sernadas, A.; Sernadas, C.; Dionísio, F.; Caleiro, C.; Introdução à programação em Mathematica -- Segunda Edição (Introduction to Programming in Mathematica -- Second Edition), IST Press, Lisboa, 2004. | BibTex
- Dionísio, F.; Gouveia, M.P.G.; J. Marcos; "Defining and using deductives systems with Isabelle" - Chapter in Computing, Philosophy and Cognition, pages 271-293, L. Magnani and R. Dossena, King's College Publications, ,
2005.
- Dionísio, F.; U. Lipeck; "Specifying with defaults: Compositional semantics" - Chapter in Recent Trends in Data Type Specification, volume 1376 of Lecture Notes in Computer Science, pages 206-222, Francesco Parisi Presicce, Springer, ,
1998.
- Dionísio, F.; U. Lipeck; S. Brass; "Composition of default specifications" - Chapter in IS-CORE'94 - Selected papers, pages 207-221, R. Wieringa and R. Feenstra, World Scientific Publishing, ,
1995.
Papers in Journals [2]
- M. Rocheta; Dionísio, F.; L. Fonseca; A. Pires Parente; "Paternity analysis in Excel", Computer Methods and Programs in Biomedicine, Vol. 88, No. 3, pp. 234 - 238, January, 2007.
| BibTex
- Dionísio, F.; P. Lopes; "Quandles at finite temperatures II", Journal of Knot Theory and Its Ramifications, Vol. 12, No. 8, pp. 1041 - 1092, January, 2003.
| BibTex
Papers in Conference Proceedings [5]
- Gouveia, M.P.G.; Dionísio, F.; J. Marcos; "Teaching and experimenting with deductive systems using a generic proof assistant", Proc Simpósio Latinoamericano de Lógica Matemática - SLALM, Oaxaca, Mexico, Vol. 1, pp. 49 - 50, August, 2006.
| BibTex
- S. Costa; C. Cardeira; J. Pargana; Dionísio, F.; P.A. Santos; "Systems and signals online question and grading", Proc IEEE International Conf. on Emerging Technologies and Factory Automation - ETFA, Catania, Italy, Vol. -, pp. 41 - 47, September, 2005.
| BibTex
- A.M. Santos; P.A. Santos; Dionísio, F.; P. Duarte; "Online assessment in undergraduate mathematics", Proc International Conf. on the Teaching of Mathematics - ICTM2, Crete, Greece, Vol. -, pp. - - -, July, 2002.
| BibTex
- Dionísio, F.; S. Brass; M. Ryan; U. Lipeck; "Hypothetical reasoning with defaults", Proc Workshop on Computational Aspects of Nonmonotonic Reasoning, trento, Italy, Vol. -, pp. 9 - 15, May, 1998.
| BibTex
- Dionísio, F.; S. Brass; M. Ryan; "Reasoning about extensions", Proc IS-CORE Cognitive Research Exchange Workshop, Hannover, Germany, Vol. -, pp. 178 - 196, January, 1993.
Abstract
| BibTex
Theses
- F. Dionísio; "Composition of Hierarchic Default Specifications", University of Hannover, Germany, January, 1997.
- Dionísio, F.; "Tutorial", Leccionou em regime de curso intensivo a disciplina " Estruturas de Dados e Algoritmos" na Universidade Nacional de Timor-Leste, em Díli Timor-Leste", , 01-07-2007.
- Dionísio, F.; "Tutorial", Orientação de Tese de Mestrado em Ensino da Matemática do Departamento de Matemática e Engenharia da Universidade da Madeira - Helena Paula Nunes Araújo", "Teoria de conjuntos em Isabelle", 01-09-2005.
- Dionísio, F.; "Tutorial", Orientação de Tese de Mestrado em Ensino da Matematica do Departamento de Matemática e Engenharia da Universidade da Madeira - Marco Paulo Ferreirinha Garapa", ''Lógoica Modal Etiquetada em Isabelle'', 09-01-2005.
- Dionísio, F.; "Tutorial", Leccionou em regime de curso intensivo as disciplinas "Estruturas de Dados e Algoritmos" e "Linguagens Autómatos" na Universidade da Madeira", , 01-07-2004.
- Dionísio, F.; "Tutorial", No semestre de Primavera de 2004/2005 leccionou a disciplina de "Teoria de Conjuntos e Lógica Computacional" do Mestrado em Matemática da Universidade da Madeira", , 01-04-2004.
- Dionísio, F.; "MSc Thesis Jury", Orientação de Tese de Mestrado - Luis Filipe Camacho", "Um sistema de apoio à avaliação interactiva", 01-01-2001.
- Dionísio, F.; "Tutorial", Estruturas Lógicas Proposicionais Monótonas a Não Monótonas", Orientação da Tese de Mestrado de Sandra Isabel Cardosos Gaspar Martins, 01-02-1999.
- Dionísio, F.; "", Leccionou na Universidade Agostinho Neto, em Luanda, Angola, os cursos intensivos Sintaxe e Semântica de Linguagens e Fundamentos Lógicos e Algébricos da Programação", (4 semanas), 01-07-1989.
