Walter Dosch

72 papers A* 2B 1C 16Misc 12Journal 7Unranked 31
YearRankTypeTitle / Venue / Authors
2009 — conf
Arbeitstagung Programmiersprachen (ATPS 2009) - Vorwort.
GI Jahrestagung
Walter Dosch, Michael Hanus
2009 B conf
Implementing Services by Partial State Machines.
SOFSEM
Walter Dosch, Annette Stümpel
2009 C conf
Stuttering removal-developing mealy and moore style implementations of an interactive component.
AICCSA
Walter Dosch, Annette Stümpel, Nontasak Janchum, Pornsiri Muenchaisri
2008 — conf
Coordinating Almost Synchronous Communication Streams.
ICONS
Walter Dosch
2008 C ed.
Proceedings of the 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008, 20-22 August 2008, Prague, Czech Republic
SERA
Walter Dosch, Roger Y. Lee, Petr Tuma, Thierry Coupaye
2008 — conf
Streaming Dyadic Boolean Operations.
ITNG
Walter Dosch, Annette Stümpel, Tõnu Tamme
2008 Misc conf
Transformational Design of a Fault Tolerant Sequential Memory Component.
CATA
Walter Dosch
2007 Misc conf
Designing Combinational Circuits for Scattered Pattern Matching.
CATA
Walter Dosch
2007 C conf
Extending the Service Domain of Interactive Components.
SERA
Walter Dosch
2007 — conf
Extending the Service Domain of an Interactive Queue.
IMECS
Walter Dosch
2007 C conf
Formal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams.
AICCSA
Walter Dosch
2007 C conf
From Signatures of Algebraic Specifications to Collections of Object-Oriented Class Signatures.
ICSEA
Bastian Dölle, Walter Dosch
2007 — conf
High-Level Design of a Request Driven Sender Component.
ITNG
Walter Dosch, Annette Stümpel
2007 — conf
On Irregular Behaviours of Interactive Stacks.
ITNG
Walter Dosch, Gongzhu Hu
2007 — conf
On the High-Level Synthesis of Combinational Circuits for Contiguous Pattern Matching.
IMECS
Walter Dosch
2007 Misc conf
Transformational Design of an Asynchronous Distributor Component.
CATA
Walter Dosch, Wenying Feng
2006 — ed.
15th International Conference on Software Engineering and Data Engineering (SEDE-2006), July 6-8, 2006, Omni Los Angeles Hotel at California Plaza, Los Angeles, California, USA, Proceedings
SEDE
Walter Dosch, William Perrizo
2006 — conf
Deriving State-Based Implementations of Interactive Components with History Abstractions.
Ershov Memorial Conference
Walter Dosch, Annette Stümpel
2006 Misc conf
Designing a Conditional Merge Component - From Streams to State Transitions.
CATA
Walter Dosch, Tõnu Tamme
2006 C conf
Enriching the Input Interface of Interactive Components with Undo Commands.
SERA
Walter Dosch
2006 — conf
Formal Design of a Slow-Down Component for Almost Synchronous Streams.
ICN/ICONS/MCL
Walter Dosch
2006 C conf
From Stream Transformers to Moore State Transition Machines with Input and Output.
SNPD
Walter Dosch, Wuttipong Ruanthong, Annette Stümpel
2006 — conf
On History-Sensitive Models of Interactive Queues.
ACIS-ICIS
Walter Dosch, Wuttipong Ruanthong
2006 — conf
On History-Sensitive Models of Interactive Stacks.
ITNG
Walter Dosch
2006 J jnl
Transformational design of an interactive component straddling communication streams.
J. Comput. Methods Sci. Eng.
Walter Dosch
2005 C conf
A Loose Interaction Pattern for Asynchronous Components.
APSEC
Walter Dosch
2005 C conf
Designing Combinational Circuits with List Homomorphisms.
SERA
Walter Dosch
2005 J jnl
Designing combinational circuits with list homomorphisms.
J. Comput. Methods Sci. Eng.
Walter Dosch
2005 Misc conf
High-Level Design of a Pull Protocol.
CATA
Walter Dosch, Merik Meriste
2005 — conf
High-Level Design of a Ternary Asynchronous Multiplexer.
IASSE
Walter Dosch, W. L. Yeung
2005 — conf
History Abstractions of an Interactive Frequency Table.
IASSE
Walter Dosch
2005 — conf
Software Engineering - Components, Interfaces, Behaviors.
ACIS-ICIS
Walter Dosch
2005 C ed.
Software Engineering Research, Management and Applications, Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Selected Revised Papers
SERA
Walter Dosch, Roger Y. Lee, Chisu Wu
2005 — conf
Time-awareness and Proactivity in Models of Interactive Computation.
FInCo@ETAPS
Leo Motus, Merik Meriste, Walter Dosch
2005 C conf
Transforming Functional Signatures of Algebraic Specifications Into Object-Oriented Class Signatures.
APSEC
Bastian Dölle, Walter Dosch
2004 Misc conf
History Abstractions of a Sequential Memory Component.
CATA
Walter Dosch, Annette Stümpel
2004 — conf
Introducing Control States into Communication Based Specifications of Interactive Components.
Software Engineering Research and Practice
Walter Dosch, Annette Stümpel
2004 — conf
Stream-Based Design of an Asynchronous Send-Receive Protocol.
Software Engineering Research and Practice
Walter Dosch
2004 C conf
Transforming Stream Processing Functions into State Transition Machines.
SERA
Walter Dosch, Annette Stümpel
2003 C conf
Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications.
SERA
Walter Dosch, Sönke Magnussen
2003 Misc conf
Deriving Different Views of an Interactive Double-Ended Bounded Queue.
CATA
Walter Dosch
2003 C ed.
Proceedings of the ACIS Fourth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD'03), October 16-18, 2003, Lübeck, Germany
SNPD
Walter Dosch, Roger Y. Lee
2003 C conf
Stream-based Modelling of an Interactive Priority Queue.
Modelling and Simulation
Walter Dosch
2001 J jnl
Computer Aided Fusion for Algebraic Program Derivation.
Nord. J. Comput.
Walter Dosch, Sönke Magnussen
2001 — conf
Order-Theoretic Refinement of Infinite Stream Behaviours.
PDCS
Walter Dosch
2001 — conf
The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications.
WADT
Walter Dosch, Sönke Magnussen
2000 Misc conf
Merging ordered streams.
CATA
Walter Dosch, Annette Stümpel
2000 Misc conf
Transformational derivation of a bytecode verifier.
CATA
Walter Dosch, Sönke Magnussen
1999 Misc conf
Enriching List Homomorphisms by Indey Calculations.
PDPTA
Walter Dosch, Bernd Wiedemann
1999 — conf
List Homomorphisms with Accumulation and Indexing.
Scottish Functional Programming Workshop
Walter Dosch, Bernd Wiedemann
1998 Misc conf
An improved data parallel algorithm for the LSS problem.
CATA
Walter Dosch
1997 Misc conf
Design Decisions For the Parallel Evaluation of Polynomials.
PDPTA
Walter Dosch
1996 — conf
Calculating Digital Counters.
Ershov Memorial Conference
Walter Dosch
1996 — conf
Calculating a Functional Module for Binary Search Trees.
Implementation of Functional Languages
Walter Dosch, Bernhard Möller
1995 — conf
The Undefined Function Differs from the Pointwise Undefined Function.
GULP-PRODE
Walter Dosch
1993 J jnl
On a Generalized Product of Domains.
Theor. Comput. Sci.
Walter Dosch
1992 — conf
Reduction Relations in Strict Applicative Language.
ISTCS
Walter Dosch
1991 — conf
Transformational Development of Circuit Descriptions for Binary Adders.
Methods of Programming
Carlos Delgado Kloos, Walter Dosch
1991 C conf
Zur Repräsentation von Programmierwissen.
ISI
Walter Dosch
1987 — —
On a typed higher order functional calculus.
Walter Dosch
1985 — book
The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L
Friedrich L. Bauer, Rudolf Berghammer, Manfred Broy, Walter Dosch, Franz Geiselbrechtinger, Rupert Gnatz, E. Hangel, Wolfgang Hesse, Bernd Krieg-Brückner, Alfred Laut, Thomas Matzner, Bernhard Möller, Friederike Nickl, Helmuth Partsch, Peter Pepper, Klaus Samelson, Martin Wirsing, Hans Wössner
1984 — conf
Busy and Lazy FP with Infinite Objects.
LISP and Functional Programming
Walter Dosch, Bernhard Möller
1984 — conf
On the Algebraic Specification of Domains.
ADT
Bernhard Möller, Walter Dosch
1984 — conf
Zur Didaktik der Datenstrukturen.
INFOS
Walter Dosch
1983 — conf
An Algebraic Semantics for Bachus' Functional Programming Language with Infinite Objects.
GI Jahrestagung
Walter Dosch, Bernhard Möller
1983 J jnl
On Hierarchies of Abstract Data Types.
Acta Informatica
Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch
1982 J jnl
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen.
Inform. Spektrum
Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing
1982 A* conf
On the Algebraic Specification of Databases.
VLDB
Walter Dosch, Gianfranco Mascari, Martin Wirsing
1981 — conf
GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract).
GI Jahrestagung
Manfred Broy, Walter Dosch, Bernhard Möller, Martin Wirsing
1981 J jnl
Programming in a Wide Spectrum Language: A Collection of Examples.
Sci. Comput. Program.
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
1980 — conf
Polynomials - The Specification, Analysis and Development of an Abstract Data Type.
GI Jahrestagung
Walter Dosch, Martin Wirsing, Giorgio Ausiello, Gianfranco Mascari
1979 A* conf
Existential Quantifiers in Abstract Data Types.
ICALP
Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing