Walter Dosch

Publication Activity (10 Years)

Years Active: 1979-2009
Publications (10 Years): 0

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Walter Dosch, Annette Stümpel
Implementing Services by Partial State Machines. SOFSEM (2009)
Walter Dosch, Michael Hanus
Arbeitstagung Programmiersprachen (ATPS 2009) - Vorwort. GI Jahrestagung (2009)
Walter Dosch, Annette Stümpel, Nontasak Janchum, Pornsiri Muenchaisri
Stuttering removal-developing mealy and moore style implementations of an interactive component. AICCSA (2009)
Walter Dosch
Coordinating Almost Synchronous Communication Streams. ICONS (2008)
Walter Dosch, Annette Stümpel, Tõnu Tamme
Streaming Dyadic Boolean Operations. ITNG (2008)
Walter Dosch
Transformational Design of a Fault Tolerant Sequential Memory Component. CATA (2008)
Walter Dosch, Annette Stümpel
High-Level Design of a Request Driven Sender Component. ITNG (2007)
Walter Dosch, Gongzhu Hu
On Irregular Behaviours of Interactive Stacks. ITNG (2007)
Walter Dosch
Formal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams. AICCSA (2007)
Walter Dosch, Wenying Feng
Transformational Design of an Asynchronous Distributor Component. CATA (2007)
Walter Dosch
Extending the Service Domain of an Interactive Queue. IMECS (2007)
Walter Dosch
On the High-Level Synthesis of Combinational Circuits for Contiguous Pattern Matching. IMECS (2007)
Bastian Dölle, Walter Dosch
From Signatures of Algebraic Specifications to Collections of Object-Oriented Class Signatures. ICSEA (2007)
Walter Dosch
Designing Combinational Circuits for Scattered Pattern Matching. CATA (2007)
Walter Dosch
Extending the Service Domain of Interactive Components. SERA (2007)
Walter Dosch, Annette Stümpel
Deriving State-Based Implementations of Interactive Components with History Abstractions. Ershov Memorial Conference (2006)
Walter Dosch
Enriching the Input Interface of Interactive Components with Undo Commands. SERA (2006)
Walter Dosch
Transformational design of an interactive component straddling communication streams. J. Comput. Methods Sci. Eng. 6 (5-6) (2006)
Walter Dosch
On History-Sensitive Models of Interactive Stacks. ITNG (2006)
Walter Dosch
Formal Design of a Slow-Down Component for Almost Synchronous Streams. ICN/ICONS/MCL (2006)
Walter Dosch, Wuttipong Ruanthong, Annette Stümpel
From Stream Transformers to Moore State Transition Machines with Input and Output. SNPD (2006)
Walter Dosch, Wuttipong Ruanthong
On History-Sensitive Models of Interactive Queues. ACIS-ICIS (2006)
Walter Dosch, Tõnu Tamme
Designing a Conditional Merge Component - From Streams to State Transitions. CATA (2006)
Walter Dosch
Designing Combinational Circuits with List Homomorphisms. SERA (2005)
Walter Dosch
A Loose Interaction Pattern for Asynchronous Components. APSEC (2005)
Walter Dosch
Software Engineering - Components, Interfaces, Behaviors. ACIS-ICIS (2005)
Walter Dosch, W. L. Yeung
High-Level Design of a Ternary Asynchronous Multiplexer. IASSE (2005)
Walter Dosch
History Abstractions of an Interactive Frequency Table. IASSE (2005)
Walter Dosch
Designing combinational circuits with list homomorphisms. J. Comput. Methods Sci. Eng. 5 (4) (2005)
Bastian Dölle, Walter Dosch
Transforming Functional Signatures of Algebraic Specifications Into Object-Oriented Class Signatures. APSEC (2005)
Leo Motus, Merik Meriste, Walter Dosch
Time-awareness and Proactivity in Models of Interactive Computation. Electron. Notes Theor. Comput. Sci. 141 (5) (2005)
Walter Dosch, Merik Meriste
High-Level Design of a Pull Protocol. CATA (2005)
Walter Dosch
Stream-Based Design of an Asynchronous Send-Receive Protocol. Software Engineering Research and Practice (2004)
Walter Dosch, Annette Stümpel
History Abstractions of a Sequential Memory Component. CATA (2004)
Walter Dosch, Annette Stümpel
Introducing Control States into Communication Based Specifications of Interactive Components. Software Engineering Research and Practice (2004)
Walter Dosch, Annette Stümpel
Transforming Stream Processing Functions into State Transition Machines. SERA (2004)
Walter Dosch
Stream-based Modelling of an Interactive Priority Queue. Modelling and Simulation (2003)
Walter Dosch, Sönke Magnussen
Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications. SERA (2003)
Walter Dosch
Deriving Different Views of an Interactive Double-Ended Bounded Queue. CATA (2003)
Walter Dosch
Order-Theoretic Refinement of Infinite Stream Behaviours. PDCS (2001)
Walter Dosch, Sönke Magnussen
The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications. WADT (2001)
Walter Dosch, Sönke Magnussen
Computer Aided Fusion for Algebraic Program Derivation. Nord. J. Comput. 8 (3) (2001)
Walter Dosch, Annette Stümpel
Merging ordered streams. CATA (2000)
Walter Dosch, Sönke Magnussen
Transformational derivation of a bytecode verifier. CATA (2000)
Walter Dosch, Bernd Wiedemann
List Homomorphisms with Accumulation and Indexing. Scottish Functional Programming Workshop (1999)
Walter Dosch, Bernd Wiedemann
Enriching List Homomorphisms by Indey Calculations. PDPTA (1999)
Walter Dosch
An improved data parallel algorithm for the LSS problem. CATA (1998)
Walter Dosch
Design Decisions For the Parallel Evaluation of Polynomials. PDPTA (1997)
Walter Dosch
Calculating Digital Counters. Ershov Memorial Conference (1996)
Walter Dosch, Bernhard Möller
Calculating a Functional Module for Binary Search Trees. Implementation of Functional Languages (1996)
Walter Dosch
The Undefined Function Differs from the Pointwise Undefined Function. GULP-PRODE (1995)
Walter Dosch
On a Generalized Product of Domains. Theor. Comput. Sci. 119 (1) (1993)
Walter Dosch
Reduction Relations in Strict Applicative Language. ISTCS (1992)
Carlos Delgado Kloos, Walter Dosch
Transformational Development of Circuit Descriptions for Binary Adders. Methods of Programming (1991)
Walter Dosch
Zur Repräsentation von Programmierwissen. ISI (1991)
Walter Dosch, Bernhard Möller
Busy and Lazy FP with Infinite Objects. LISP and Functional Programming (1984)
Bernhard Möller, Walter Dosch
On the Algebraic Specification of Domains. ADT (1984)
Walter Dosch
Zur Didaktik der Datenstrukturen. INFOS (1984)
Walter Dosch, Bernhard Möller
An Algebraic Semantics for Bachus' Functional Programming Language with Infinite Objects. GI Jahrestagung (1983)
Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch
On Hierarchies of Abstract Data Types. Acta Informatica 20 (1983)
Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. Inform. Spektrum 5 (2) (1982)
Walter Dosch, Gianfranco Mascari, Martin Wirsing
On the Algebraic Specification of Databases. VLDB (1982)
Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, Thomas Matzner, Bernhard Möller, Helmuth Partsch, Peter Pepper, Klaus Samelson, Ralf Steinbrüggen, Martin Wirsing, Hans Wössner
Programming in a Wide Spectrum Language: A Collection of Examples. Sci. Comput. Program. 1 (1-2) (1981)
Manfred Broy, Walter Dosch, Bernhard Möller, Martin Wirsing
GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract). GI Jahrestagung (1981)
Walter Dosch, Martin Wirsing, Giorgio Ausiello, Gianfranco Mascari
Polynomials - The Specification, Analysis and Development of an Abstract Data Type. GI Jahrestagung (1980)
Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing
Existential Quantifiers in Abstract Data Types. ICALP (1979)

Walter Dosch.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Walter Dosch