| 2025 | CiE | Uniform Functional Interpretations. | Paulo Oliva |
| 2017 | PADL | Selection Equilibria of Higher-Order Games. | Jules Hedges, Paulo Oliva, Evguenia Shprits, Viktor Winschel, Philipp Zahn |
| 2011 | CSL | System T and the Product of Selection Functions. | Martn Htzel Escard, Paulo Oliva, Thomas Powell |
| 2010 | CiE | Computational Interpretations of Analysis via Products of Selection Functions. | Martn Htzel Escard, Paulo Oliva |
| 2010 | CiE | The Peirce Translation and the Double Negation Shift. | Martn Htzel Escard, Paulo Oliva |
| 2010 | ICFP | What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift Have in Common. | Martn Escard, Paulo Oliva |
| 2009 | CSL | Functional Interpretations of Intuitionistic Linear Logic. | Gilda Ferreira, Paulo Oliva |
| 2008 | CiE | Hybrid Functional Interpretations. | Mircea-Dan Hernest, Paulo Oliva |
| 2007 | LICS | Modified Realizability Interpretation of Classical Linear Logic. | Paulo Oliva |
| 2007 | WoLLIC | Computational Interpretations of Classical Linear Logic. | Paulo Oliva |
| 2006 | CiE | Understanding and Using Spector's Bar Recursive Interpretation of Classical Analysis. | Paulo Oliva |
| 2006 | CSL | Hoare Logic in the Abstract. | Ursula Martin, Erik Arne Mathiesen, Paulo Oliva |
| 2003 | LICS | Polynomial-time Algorithms from Ineffective Proofs. | Paulo Oliva |
| 1998 | CPM | Reporting Exact and Approximate Regular Expression Matches. | Eugene W. Myers, Paulo Oliva, Katia S. Guimares |