| 2025 | FSCD | Internal Effectful Forcing in System T. | Martn Htzel Escard, Bruno da Rocha Paiva, Vincent Rahli, Ayberk Tosun |
| 2021 | CSL | Domain Theory in Constructive and Predicative Univalent Foundations. | Tom de Jong, Martn Htzel Escard |
| 2021 | FSCD | Predicative Aspects of Order Theory in Univalent Foundations. | Tom de Jong, Martn Htzel Escard |
| 2017 | CSL | Partial Elements and Recursion via Dominances in Univalent Type Theory. | Martn Htzel Escard, Cory M. Knapp |
| 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 |
| 2009 | CCA | Theory and Practice of Higher-type Computation (Tutorial). | Martn Htzel Escard |
| 2009 | CiE | Computability of Continuous Solutions of Higher-Type Equations. | Martn Htzel Escard |
| 2007 | LICS | Infinite sets that admit fast exhaustive search. | Martn Htzel Escard |
| 2006 | TAMC | The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces. | Ben Cohen, Martn Htzel Escard, Klaus Keimel |
| 2005 | CCA | Compactness in Topology and Computation. | Martn Htzel Escard |
| 2005 | LICS | Operational Domain Theory and Topology of a Sequential Programming Language. | Martn Htzel Escard, Weng Kin Ho |
| 2004 | LICS | Semantics of a Sequential Language for Exact Real-Number Computation. | Jos Raymundo Marcial-Romero, Martn Htzel Escard |
| 2002 | ICALP | Comparing Functional Paradigms for Exact Real-Number Computation. | Andrej Bauer, Martn Htzel Escard, Alex K. Simpson |
| 2001 | LICS | A Universal Characterization of the Closed Euclidean Interval. | Martn Htzel Escard, Alex K. Simpson |
| 1998 | LICS | Calculus in Coinductive Form. | Dusko Pavlovic, Martn Htzel Escard |
| 1997 | LICS | Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras. | Martn Htzel Escard, Thomas Streicher |
| 1997 | LICS | Semantics of Exact Real Arithmetic. | Peter John Potts, Abbas Edalat, Martn Htzel Escard |
| 1996 | LICS | Integration in Real PCF. | Abbas Edalat, Martn Htzel Escard |