 | 2009 |
|---|
| 65 |       | Walter Dosch,
Annette Stümpel:
Implementing Services by Partial State Machines.
SOFSEM 2009: 241-254 |
| 2008 |
|---|
| 64 |  | Walter Dosch,
Roger Y. Lee,
Petr Tuma,
Thierry Coupaye:
Proceedings of the 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008, 20-22 August 2008, Prague, Czech Republic
IEEE Computer Society 2008 |
| 63 | | Walter Dosch:
Transformational Design of a Fault Tolerant Sequential Memory Component.
Computers and Their Applications 2008: 181-188 |
| 62 | | Walter Dosch:
Coordinating Almost Synchronous Communication Streams.
ICONS 2008: 7-15 |
| 61 | | Walter Dosch,
Annette Stümpel,
Tõnu Tamme:
Streaming Dyadic Boolean Operations.
ITNG 2008: 88-96 |
| 2007 |
|---|
| 60 | | Walter Dosch:
Formal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams.
AICCSA 2007: 909-916 |
| 59 | | Walter Dosch:
Designing Combinational Circuits for Scattered Pattern Matching.
Computers and Their Applications 2007: 72-80 |
| 58 | | Walter Dosch,
Wenying Feng:
Transformational Design of an Asynchronous Distributor Component.
Computers and Their Applications 2007: 81-88 |
| 57 | | Bastian Dolle,
Walter Dosch:
From Signatures of Algebraic Specifications to Collections of Object-Oriented Class Signatures.
ICSEA 2007: 3 |
| 56 | | Walter Dosch:
Extending the Service Domain of an Interactive Queue.
IMECS 2007: 1142-1149 |
| 55 | | Walter Dosch:
On the High-Level Synthesis of Combinational Circuits for Contiguous Pattern Matching.
IMECS 2007: 520-529 |
| 54 | | Walter Dosch,
Gongzhu Hu:
On Irregular Behaviours of Interactive Stacks.
ITNG 2007: 693-700 |
| 53 | | Walter Dosch,
Annette Stümpel:
High-Level Design of a Request Driven Sender Component.
ITNG 2007: 707-714 |
| 52 | | Walter Dosch:
Extending the Service Domain of Interactive Components.
SERA 2007: 233-244 |
| 2006 |
|---|
| 51 | | Walter Dosch,
William Perrizo:
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
ISCA 2006 |
| 50 | | Walter Dosch,
Tõnu Tamme:
Designing a Conditional Merge Component - From Streams to State Transitions.
Computers and Their Applications 2006: 64-71 |
| 49 | | Walter Dosch,
Annette Stümpel:
Deriving State-Based Implementations of Interactive Components with History Abstractions.
Ershov Memorial Conference 2006: 180-194 |
| 48 | | Walter Dosch:
Formal Design of a Slow-Down Component for Almost Synchronous Streams.
ICN/ICONS/MCL 2006: 174 |
| 47 | | Walter Dosch:
On History-Sensitive Models of Interactive Stacks.
ITNG 2006: 96-103 |
| 46 | | Walter Dosch:
Enriching the Input Interface of Interactive Components with Undo Commands.
SERA 2006: 183-193 |
| 45 | | Walter Dosch,
Wuttipong Ruanthong,
Annette Stümpel:
From Stream Transformers to Moore State Transition Machines with Input and Output.
SNPD 2006: 65-72 |
| 2005 |
|---|
| 44 | | Walter Dosch,
Roger Y. Lee,
Chisu Wu:
Software Engineering Research, Management and Applications, Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Selected Revised Papers
Springer 2005 |
| 43 | | Walter Dosch:
Software Engineering - Components, Interfaces, Behaviors.
ACIS-ICIS 2005 |
| 42 | | Walter Dosch:
A Loose Interaction Pattern for Asynchronous Components.
APSEC 2005: 222-230 |
| 41 | | Bastian Dolle,
Walter Dosch:
Transforming Functional Signatures of Algebraic Specifications Into Object-Oriented Class Signatures.
APSEC 2005: 323-332 |
| 40 | | Walter Dosch,
Merik Meriste:
High-Level Design of a Pull Protocol.
Computers and Their Applications 2005: 66-73 |
| 39 | | Walter Dosch,
W. L. Yeung:
High-Level Design of a Ternary Asynchronous Multiplexer.
IASSE 2005: 221-228 |
| 38 | | Walter Dosch:
History Abstractions of an Interactive Frequency Table.
IASSE 2005: 31-39 |
| 37 | | Walter Dosch:
Designing Combinational Circuits with List Homomorphisms.
SERA 2005: 288-297 |
| 36 | | Leo Motus,
Merik Meriste,
Walter Dosch:
Time-awareness and Proactivity in Models of Interactive Computation.
Electr. Notes Theor. Comput. Sci. 141(5): 69-95 (2005) |
| 2004 |
|---|
| 35 | | Walter Dosch,
Annette Stümpel:
History Abstractions of a Sequential Memory Component.
Computers and Their Applications 2004: 241-247 |
| 34 | | Walter Dosch,
Annette Stümpel:
Transforming Stream Processing Functions into State Transition Machines.
SERA 2004: 1-18 |
| 33 | | Walter Dosch:
Stream-Based Design of an Asynchronous Send-Receive Protocol.
Software Engineering Research and Practice 2004: 868-874 |
| 32 | | Walter Dosch,
Annette Stümpel:
Introducing Control States into Communication Based Specifications of Interactive Components.
Software Engineering Research and Practice 2004: 875-882 |
| 2003 |
|---|
| 31 | | Walter Dosch,
Roger Y. Lee:
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
ACIS 2003 |
| 30 | | Walter Dosch:
Deriving Different Views of an Interactive Double-Ended Bounded Queue.
Computers and Their Applications 2003: 397-403 |
| 29 | | Walter Dosch:
Stream-based Modelling of an Interactive Priority Queue.
Modelling and Simulation 2003: 559-565 |
| 28 | | Walter Dosch,
Sönke Magnussen:
Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications.
SERA 2003: 7-33 |
| 2001 |
|---|
| 27 | | Walter Dosch:
Order-Theoretic Refinement of Infinite Stream Behaviours.
ISCA PDCS 2001: 68-74 |
| 26 | | Walter Dosch,
Sönke Magnussen:
The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications.
WADT 2001: 85-108 |
| 25 | | Walter Dosch,
Sönke Magnussen:
Computer Aided Fusion for Algebraic Program Derivation.
Nord. J. Comput. 8(3): 279-297 (2001) |
| 2000 |
|---|
| 24 | | Walter Dosch,
Annette Stümpel:
Merging ordered streams.
Computers and Their Applications 2000: 377-382 |
| 23 | | Walter Dosch,
Sönke Magnussen:
Transformational derivation of a bytecode verifier.
Computers and Their Applications 2000: 443-447 |
| 1999 |
|---|
| 22 | | Walter Dosch,
Bernd Wiedemann:
Enriching List Homomorphisms by Indey Calculations.
PDPTA 1999: 3041-3047 |
| 21 | | Walter Dosch,
Bernd Wiedemann:
List Homomorphisms with Accumulation and Indexing.
Scottish Functional Programming Workshop 1999: 135-143 |
| 1998 |
|---|
| 20 | | Walter Dosch:
An improved data parallel algorithm for the LSS problem.
Computers and Their Applications 1998: 111-116 |
| 1997 |
|---|
| 19 | | Walter Dosch:
Design Decisions For the Parallel Evaluation of Polynomials.
PDPTA 1997: 636-644 |
| 1996 |
|---|
| 18 | | Walter Dosch:
Calculating Digital Counters.
Ershov Memorial Conference 1996: 21-39 |
| 17 | | Walter Dosch,
Bernhard Möller:
Calculating a Functional Module for Binary Search Trees.
Implementation of Functional Languages 1996: 267-284 |
| 1995 |
|---|
| 16 | | Walter Dosch:
The Undefined Function Differs from the Pointwise Undefined Function.
GULP-PRODE 1995: 257-270 |
| 1993 |
|---|
| 15 | | Walter Dosch:
On a Generalized Product of Domains.
Theor. Comput. Sci. 119(1): 103-125 (1993) |
| 1992 |
|---|
| 14 | | Walter Dosch:
Reduction Relations in Strict Applicative Language.
ISTCS 1992: 55-66 |
| 1991 |
|---|
| 13 | | Carlos Delgado Kloos,
Walter Dosch:
Transformational Development of Circuit Descriptions for Binary Adders.
Methods of Programming 1991: 217-237 |
| 1985 |
|---|
| 12 | | 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:
The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L
Springer 1985 |
| 1984 |
|---|
| 11 | | Bernhard Möller,
Walter Dosch:
On the Algebraic Specification of Domains.
ADT 1984: 178-195 |
| 10 | | Walter Dosch:
Zur Didaktik der Datenstrukturen.
INFOS 1984: 139-144 |
| 9 | | Walter Dosch,
Bernhard Möller:
Busy and Lazy FP with Infinite Objects.
LISP and Functional Programming 1984: 282-292 |
| 1983 |
|---|
| 8 | | Walter Dosch,
Bernhard Möller:
An Algebraic Semantics for Bachus' Functional Programming Language with Infinite Objects.
GI Jahrestagung 1983: 67-85 |
| 7 | | Martin Wirsing,
Peter Pepper,
Helmuth Partsch,
Walter Dosch:
On Hierarchies of Abstract Data Types.
Acta Inf. 20: 1-33 (1983) |
| 1982 |
|---|
| 6 | | Walter Dosch,
Gianfranco Mascari,
Martin Wirsing:
On the Algebraic Specification of Databases.
VLDB 1982: 370-385 |
| 5 | | Peter Pepper,
Manfred Broy,
Friedrich L. Bauer,
Helmuth Partsch,
Walter Dosch,
Martin Wirsing:
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen.
Informatik Spektrum 5(2): 107-119 (1982) |
| 1981 |
|---|
| 4 | | Manfred Broy,
Walter Dosch,
Bernhard Möller,
Martin Wirsing:
GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract).
GI Jahrestagung 1981: 109-121 |
| 3 | | 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): 73-114 (1981) |
| 1980 |
|---|
| 2 | | Walter Dosch,
Martin Wirsing,
Giorgio Ausiello,
Gianfranco Mascari:
Polynomials - The Specification, Analysis and Development of an Abstract Data Type.
GI Jahrestagung 1980: 306-320 |
| 1979 |
|---|
| 1 | | Manfred Broy,
Walter Dosch,
Helmuth Partsch,
Peter Pepper,
Martin Wirsing:
Existential Quantifiers in Abstract Data Types.
ICALP 1979: 73-87 |
