Francisco Miguel Alves Campos de Sousa Dionísio

Francisco Dionísio

Academic position:	Assistant Professor
Joining date:	31-12-2006
Roles in IT:	Researcher
Thematic Line:	Basic Sciences and Enabling Technologies
Group:	Security and Quantum Information - Lx

Email: Send Email
Address: IT – Lisboa
Instituto Superior Técnico - Torre Norte - Piso 10
Av. Rovisco Pais, 1
1049 - 001 Lisboa
Tel: +351 21 841 84 54
Fax: +351 21 841 84 72

Scientific Achievements

Degrees

PhD, University of Hannover, 01-01-1997
MSc, Instituto Superior Técnico, 01-01-1991
Licenciatura, Instituto Superior Técnico, 01-01-1985

Affiliations

Departamento de MatemÃ¡tica do Instituto Superior TÃ©cnico, 01-01-1998, Assistant Professor

Academic Activities

1Supervision of MSc theses

As Co-supervisor

Quantum Entanglement Purification using Hashing and Noise Guessing Decoding, MSc Student, Andre Jorge Vinagre Roque, Concluded 12-2023

Publications

5Books

C. Caleiro, F. Dionísio, M.P.G. Gouveia, P. Mateus, J. Rasga, Logic and Computation -- Essays in Honour of Amilcar Sernadas, College Publications, London, 2017,
| BibTex
J. Carmo, A. Sernadas, C. Sernadas, F. Dionísio, C. Caleiro, Introdução à programação em Mathematica -- Terceira Edição (Introduction to Programming in Mathematica -- Third Edition), IST Press, Lisboa, 2014,
| BibTex
J. Carmo, M.P.G. Gouveia, F. Dionísio, Elementos de Matemática Discreta, College Publications, London, 2013,
| BibTex
J. Carmo, A. Sernadas, C. Sernadas, F. Dionísio, C. Caleiro, Introdução à programação em Mathematica -- Segunda Edição (Introduction to Programming in Mathematica -- Second Edition), IST Press, Lisboa, 2004,
| BibTex
J. Carmo, A. Sernadas, C. Sernadas, F. Dionísio, C. Caleiro, Introdução à Programação em Mathematica (Introduction to Programming in Mathematica), IST Press, Lisboa, 1999,
| BibTex

3Books Chapters

F. Dionísio, M.P.G. Gouveia, 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
F. Dionísio, 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
F. Dionísio, 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

3Papers in Journals

A. Peres, J. Ramos, F. Dionísio, Bounded model checking distributed temporal logic, Journal of Logic and Computation, Vol. 33, No. 5, pp. 1022 - 1059, July, 2023 | BibTex
M. Rocheta, F. Dionísio, 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
F. Dionísio, P. Lopes, Quandles at finite temperatures II, Journal of Knot Theory and its Ramifications, Vol. 12, No. 8, pp. 1041 - 1092, January, 2003 | BibTex

5Papers in Conferences

M.P.G. Gouveia, F. Dionísio, J. Marcos, Teaching and experimenting with deductive systems using a generic proof assistant, 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, F. Dionísio, P.A. Santos, Systems and signals online question and grading, 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, F. Dionísio, P. Duarte, Online assessment in undergraduate mathematics, International Conf. on the Teaching of Mathematics - ICTM2, Crete, Greece, Vol. -, pp. - - -, July, 2002 | BibTex
F. Dionísio, S. Brass, M. Ryan, U. Lipeck, Hypothetical reasoning with defaults, Workshop on Computational Aspects of Nonmonotonic Reasoning, trento, Italy, Vol. -, pp. 9 - 15, May, 1998 | BibTex
F. Dionísio, S. Brass, M. Ryan, Reasoning about extensions, IS-CORE Cognitive Research Exchange Workshop, Hannover, Germany, Vol. -, pp. 178 - 196, January, 1993,
| Abstract | BibTex

Other Scientific Achievements

11Miscellaneous

F. Dionísio, Leccionou em regime de curso intensivo a disciplina " Estruturas de Dados e Algoritmos" na Universidade Nacional de Timor-Leste, em Díli Timor-Leste, Tutorial, 01-07-2007
F. Dionísio, 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, Tutorial, "Teoria de conjuntos em Isabelle", 01-09-2005
F. Dionísio, 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, Tutorial, ''LÃ³goica Modal Etiquetada em Isabelle'', 09-01-2005
F. Dionísio, Leccionou em regime de curso intensivo as disciplinas "Estruturas de Dados e Algoritmos" e "Linguagens Autómatos" na Universidade da Madeira, Tutorial, 01-07-2004
F. Dionísio, 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, Tutorial, 01-04-2004
F. Dionísio, OrientaÃ§Ã£o de Tese de Mestrado - Luis Filipe Camacho, MSc Thesis Jury, "Um sistema de apoio Ã avaliaÃ§Ã£o interactiva", 01-01-2001
F. Dionísio, Co-orientaÃ§Ã£o com o Prof. JosÃ© Carmo da UMA de Tese de Mestrado - Ana Correia, Tutorial, "UtilizaÃ§Ã£o de sistemas computacionais em Geometria", 01-09-2000
F. Dionísio, Co-orientaÃ§Ã£o com o Prof. JosÃ© Carmo da UMA de Tese de Mestrado - GraÃ§a Gaspar, Tutorial, "UtilizaÃ§Ã£o de sistemas computacionais em AnÃ¡lise", 01-09-2000
F. Dionísio, OrientaÃ§Ã£o de Tese de Mestrado - JosÃ© Marcelino Temtem, MSc Thesis Jury, "Sistemas computacionais de MatemÃ¡tica", 01-01-2000
F. Dionísio, Estruturas Lógicas Proposicionais Monótonas a Não Monótonas, Tutorial, Orientação da Tese de Mestrado de Sandra Isabel Cardosos Gaspar Martins, 01-02-1999
F. Dionísio, 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

IT Member Profile

Francisco Dionísio

Scientific Achievements

As Co-supervisor