Creating and sharing knowledge for telecommunications

IT Member Profile

... Francisco Miguel Alves Campos de Sousa Dionísio

Researcher

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

  • PhD, University of Hannover, 01-01-1997
  • MSc, Instituto Superior Técnico, 01-01-1991
  • Licenciatura, Instituto Superior Técnico, 01-01-1985
  • Departamento de Matemática do Instituto Superior Técnico, 01-01-1998, Assistant Professor
1Supervision of MSc theses
As Co-supervisor
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
4Papers in Journals
  • F. Dionísio, J. Ramos, F. S. Subtil, L. Viganò, Model checking distributed temporal logic, Logic Journal of the IGPL, Vol., No., pp. -, May, 2024 | BibTex
  • 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
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
© 2025, IT - Instituto de Telecomunicações | All Rights Reserved