Publications 2018 - 2022


  • 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 (online since Dec.2021) 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.
  • Reinhard Kahle, Isabel Oitavem (2018) What is Hilbert┬┤s 24th Problem?. Kairos, Journal of Philosophy and Science, 2018, vol. 20, issue 1, pp.1-11. https://doi.org/10.2478/kjps-2018-0001