Publications 2018 - 2024


  • Melissa Antonelli, Ugo Dal Lago, Davide Davioli, Isabel Oitavem, Paolo Pistoni (2024) Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories. CSL2024, Leibniz International Proceedings in Informatics (LIPIcs). DOI: 10.4230/LIPIcs.CSL.2024.10.
  • Reinhard Kahle, Isabel Oitavem, Paulo Guilherme Santos (2023) Numeral completeness of weak theories of arithmetic. Journal of Logic and Computation. DOI: 10.1093/logcom/exad075
  • Reinhard Kahle, Isabel Oitavem (2023) On a shortest proof of phi implies phi. Oberwolfach Report 56. DOI: 10.4171/OWR/2023/53
  • Isabel Oitavem, Helena Rocha, Reinhard Kahle (2023) Uma breve história do conceito de função. Educação e Matemática 167, 2023, pp.40-43. ISSN: 0871-7222
  • Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem (2022) Implicit Recursion-Theoretic Characterizations of Counting Classes. Archive for Mathematical Logic. DOI: 10.1007/s00153-022-00828-4
  • Isabel Oitavem (2022) The polynomial hierarchy of functions and its levels. Theoretical Computer Science 900 (2022), pp.25-34. DOI:10.1016/j.tcs.2021.11.016
  • Reinhard Kahle, Isabel Oitavem (2021) Hugo Ribeiro (1910-1988). Boletim do Centro Internacional de Matemática 43, Dezembro 2021, pp.19-24. ISSN 2183-8070
  • Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem (2021) A Recursion-Theoretic Characterization of the Probabilistic Class PP. Filippo Bonchi and Simon J. Puglisi (Eds.), Mathematical Foundations of Computer Science 2021, Leibniz International Proceeding in Informatics (LIPIcs), Vol. 202. pp.35:1-35-12. DOI: 10.4230/LIPIcs.MFCS.2021.35
  • Isabel Oitavem, Helena Rocha (2019) Barcodes: The Mathematics of everyday life. The Scottish Mathematical Council Journal, 2019, 44, 33-37. ISSN 2515-1347
  • Anupam Das, Isabel Oitavem (2018) A recursion-theoretic characterisation of the positive  polynomial-time functions. 2018, vol. 119. Leibniz International Proceedings in Informatics, LIPIcs Link to publication in Scopus. DOI.