| 2009 | AICCSA | Stuttering removal-developing mealy and moore style implementations of an interactive component. | Walter Dosch, Annette Stmpel, Nontasak Janchum, Pornsiri Muenchaisri |
| 2009 | GI | Arbeitstagung Programmiersprachen (ATPS 2009) - Vorwort. | Walter Dosch, Michael Hanus |
| 2009 | SOFSEM | Implementing Services by Partial State Machines. | Walter Dosch, Annette Stmpel |
| 2008 | CATA | Transformational Design of a Fault Tolerant Sequential Memory Component. | Walter Dosch |
| 2007 | AICCSA | Formal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams. | Walter Dosch |
| 2007 | CATA | Designing Combinational Circuits for Scattered Pattern Matching. | Walter Dosch |
| 2007 | CATA | Transformational Design of an Asynchronous Distributor Component. | Walter Dosch, Wenying Feng |
| 2007 | ICSEA | From Signatures of Algebraic Specifications to Collections of Object-Oriented Class Signatures. | Bastian Dlle, Walter Dosch |
| 2007 | SERA | Extending the Service Domain of Interactive Components. | Walter Dosch |
| 2006 | CATA | Designing a Conditional Merge Component - From Streams to State Transitions. | Walter Dosch, Tnu Tamme |
| 2006 | SNPD | From Stream Transformers to Moore State Transition Machines with Input and Output. | Walter Dosch, Wuttipong Ruanthong, Annette Stmpel |
| 2006 | SERA | Enriching the Input Interface of Interactive Components with Undo Commands. | Walter Dosch |
| 2005 | APSEC | Transforming Functional Signatures of Algebraic Specifications Into Object-Oriented Class Signatures. | Bastian Dlle, Walter Dosch |
| 2005 | APSEC | A Loose Interaction Pattern for Asynchronous Components. | Walter Dosch |
| 2005 | CATA | High-Level Design of a Pull Protocol. | Walter Dosch, Merik Meriste |
| 2005 | SERA | Designing Combinational Circuits with List Homomorphisms. | Walter Dosch |
| 2004 | CATA | History Abstractions of a Sequential Memory Component. | Walter Dosch, Annette Stmpel |
| 2004 | SERA | Transforming Stream Processing Functions into State Transition Machines. | Walter Dosch, Annette Stmpel |
| 2003 | CATA | Deriving Different Views of an Interactive Double-Ended Bounded Queue. | Walter Dosch |
| 2003 | SERA | Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications. | Walter Dosch, Snke Magnussen |
| 2000 | CATA | Transformational derivation of a bytecode verifier. | Walter Dosch, Snke Magnussen |
| 2000 | CATA | Merging ordered streams. | Walter Dosch, Annette Stmpel |
| 1999 | PDPTA | Enriching List Homomorphisms by Indey Calculations. | Walter Dosch, Bernd Wiedemann |
| 1998 | CATA | An improved data parallel algorithm for the LSS problem. | Walter Dosch |
| 1997 | PDPTA | Design Decisions For the Parallel Evaluation of Polynomials. | Walter Dosch |
| 1983 | GI | An Algebraic Semantics for Bachus' Functional Programming Language with Infinite Objects. | Walter Dosch, Bernhard Mller |
| 1982 | VLDB | On the Algebraic Specification of Databases. | Walter Dosch, Gianfranco Mascari, Martin Wirsing |
| 1981 | GI | GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract). | Manfred Broy, Walter Dosch, Bernhard Mller, Martin Wirsing |
| 1980 | GI | Polynomials - The Specification, Analysis and Development of an Abstract Data Type. | Walter Dosch, Martin Wirsing, Giorgio Ausiello, Gianfranco Mascari |
| 1979 | ICALP | Existential Quantifiers in Abstract Data Types. | Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing |