On the importance of exact synchronization for distributed audio signal processing. - Rainer Lienhart; Igor Kozintsev; Stefan Wehr; Minerva M. Yeung (ICASSP (4), 2003)

Universal synchronization scheme for distributed audio-video capture on heterogeneous computing platforms. - Rainer Lienhart; Igor Kozintsev; Stefan Wehr (ACM Multimedia, 2003)

Synchronization of acoustic sensors for distributed ad-hoc audio networks and its use for blind source separation. - Stefan Wehr; Igor Kozintsev; Rainer Lienhart; Walter Kellermann (ISMSE, 2004)

Waitomo, eine interface-orientierte Programmiersprache. - Peter Thiemann 001; Stefan Wehr (Softwaretechnik-Trends, 2006)

Tracking Linear and Affine Resources with Java(X). - Markus Degen 001; Peter Thiemann 001; Stefan Wehr (ECOOP, 2007)

JavaGI : Generalized Interfaces for Java. - Stefan Wehr; Ralf Lämmel; Peter Thiemann 001 (ECOOP, 2007)

'Shadow BSS' for Blind Source Separation in Rapidly Time-Varying Acoustic Scenes. - Stefan Wehr; Anthony Lombard; Herbert Buchner; Walter Kellermann (ICA, 2007)

Interface Types for Haskell. - Peter Thiemann 001; Stefan Wehr (APLAS, 2008)

ML Modules and Haskell Type Classes: A Constructive Comparison. - Stefan Wehr; Manuel M. T. Chakravarty (APLAS, 2008)

The Relation of Version Control to Concurrent Programming. - Annette Bieniusa; Peter Thiemann 001; Stefan Wehr (CSSE (3), 2008)

Htdp and dmda in the battlefield: a case study in first-year programming instruction. - Annette Bieniusa; Markus Degen 001; Phillip Heidegger; Peter Thiemann 001; Stefan Wehr; Martin Gasbichler; Michael Sperber; Marcus Crestani; Herbert Klaeren; Eric Knauel (FDPE@ICFP, 2008)

On the Decidability of Subtyping with Bounded Existential Types. - Stefan Wehr; Peter Thiemann 001 (APLAS, 2009)

True Lies: Lazy Contracts for Lazy Languages. - Markus Degen 001; Peter Thiemann 001; Stefan Wehr (GI Jahrestagung, 2009)

JavaGI in the battlefield: practical experience with generalized interfaces. - Stefan Wehr; Peter Thiemann 001 (GPCE, 2009)

Eager and delayed contract monitoring for call-by-value and call-by-name evaluation. - Markus Degen 001; Peter Thiemann 001; Stefan Wehr (J. Log. Algebraic Methods Program., 2010)

JavaGI: a language with generalized interfaces. - Stefan Wehr (2010)

On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints. - Stefan Wehr; Peter Thiemann 001 (New Gener. Comput., 2011)

JavaGI: The Interaction of Type Classes with Interfaces and Inheritance. - Stefan Wehr; Peter Thiemann 001 (ACM Trans. Program. Lang. Syst., 2011)

The interaction of contracts and laziness. - Markus Degen 001; Peter Thiemann 001; Stefan Wehr (High. Order Symb. Comput., 2012)

A Dictionary-Passing Translation of Featherweight Go. - Martin Sulzmann; Stefan Wehr (APLAS, 2021)

Set-theoretic Types for Erlang. - Albert Schimpf; Stefan Wehr; Annette Bieniusa (IFL, 2022)

Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go. - Martin Sulzmann; Stefan Wehr (MPC, 2022)

A Type-Directed, Dictionary-Passing Translation of Featherweight Generic Go. - Martin Sulzmann; Stefan Wehr (CoRR, 2022)

A Software Architecture Based on Coarse-Grained Self-Adjusting Computations. - Stefan Wehr (FUNARCH, 2023)

A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go. - Martin Sulzmann; Stefan Wehr (J. Funct. Program., 2023)

Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang. - Florian Berger; Albert Schimpf; Annette Bieniusa; Stefan Wehr (Erlang, 2024)