Isabel Oitavem
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
2
Active years
2006–2024
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CSL | Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories. | Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone |
| 2021 | MFCS | A Recursion-Theoretic Characterization of the Probabilistic Class PP. | Ugo Dal Lago, Reinhard Kahle, Isabel Oitavem |
| 2018 | CSL | A Recursion-Theoretic Characterisation of the Positive Polynomial-Time Functions. | Anupam Das, Isabel Oitavem |
| 2013 | CSL | From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace (Invited Talk). | Isabel Oitavem |
| 2008 | CSL | Recursion Schemata for NCk. | Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem |
| 2006 | CSL | Towards an Implicit Characterization of | Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem |