| 2022 | MPC | Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go. | Martin Sulzmann, Stefan Wehr |
| 2021 | APLAS | A Dictionary-Passing Translation of Featherweight Go. | Martin Sulzmann, Stefan Wehr |
| 2012 | PEPM | The interaction of contracts and laziness. | Markus Degen, Peter Thiemann, Stefan Wehr |
| 2009 | APLAS | On the Decidability of Subtyping with Bounded Existential Types. | Stefan Wehr, Peter Thiemann |
| 2009 | GI | True Lies: Lazy Contracts for Lazy Languages. | Markus Degen, Peter Thiemann, Stefan Wehr |
| 2009 | GPCE | JavaGI in the battlefield: practical experience with generalized interfaces. | Stefan Wehr, Peter Thiemann |
| 2008 | APLAS | Interface Types for Haskell. | Peter Thiemann, Stefan Wehr |
| 2008 | APLAS | ML Modules and Haskell Type Classes: A Constructive Comparison. | Stefan Wehr, Manuel M. T. Chakravarty |
| 2008 | ICFP | Htdp and dmda in the battlefield: a case study in first-year programming instruction. | Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Michael Sperber, Marcus Crestani, Herbert Klaeren, Eric Knauel |
| 2007 | ECOOP | Tracking Linear and Affine Resources with Java(X). | Markus Degen, Peter Thiemann, Stefan Wehr |
| 2007 | ECOOP | JavaGI : Generalized Interfaces for Java. | Stefan Wehr, Ralf Lmmel, Peter Thiemann |
| 2003 | ICASSP | On the importance of exact synchronization for distributed audio signal processing. | Rainer Lienhart, Igor Kozintsev, Stefan Wehr, Minerva M. Yeung |