Übersetzen und Optimieren von Simulink Modellen. - Markus Degen 001 (Softwaretechnik-Trends, 2006)

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

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)

True Lies: Lazy Contracts for Lazy Languages. - Markus Degen 001; Peter Thiemann 001; Stefan Wehr (GI Jahrestagung, 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)

Java(X): A Type-Based Program Analysis Framework (Java(X): Ein Typ basiertes Programmanalyse Framework) - Markus Degen 001 (2011)

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