Thomas Powell
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2011–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CSL | On the Algorithmic Structure of Dialectica Realisers. | Davide Barbarossa, Thomas Powell |
| 2025 | CiE | Generalized Learnability of Stochastic Principles. | Morenikeji Neri, Nicholas Pischke, Thomas Powell |
| 2020 | LICS | On the computational content of Zorn's lemma. | Thomas Powell |
| 2019 | WoLLIC | An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra. | Thomas Powell, Peter Schuster, Franziskus Wiesnet |
| 2018 | LICS | A functional interpretation with state. | Thomas Powell |
| 2016 | LICS | Gdel's functional interpretation and the concept of learning. | Thomas Powell |
| 2015 | CiE | On the Computational Content of Termination Proofs. | Georg Moser, Thomas Powell |
| 2011 | CSL | System T and the Product of Selection Functions. | Martn Htzel Escard, Paulo Oliva, Thomas Powell |