Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Walter Dosch
2000 – 2009
- 2009
[c57]Walter Dosch, Annette Stümpel, Nontasak Janchum, Pornsiri Muenchaisri: Stuttering removal-developing mealy and moore style implementations of an interactive component. AICCSA 2009: 301-308- [c56]
- [c55]Walter Dosch, Annette Stümpel: Implementing Services by Partial State Machines. SOFSEM 2009: 241-254
- 2008
- [c54]Walter Dosch: Transformational Design of a Fault Tolerant Sequential Memory Component. Computers and Their Applications 2008: 181-188
- [c53]
- [c52]
- [e4]Walter Dosch, Roger Y. Lee, Petr Tuma, Thierry Coupaye (Eds.): 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, ISBN 978-0-7695-3302-5
- 2007
- [c51]Walter Dosch: Formal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams. AICCSA 2007: 909-916
- [c50]Walter Dosch: Designing Combinational Circuits for Scattered Pattern Matching. Computers and Their Applications 2007: 72-80
- [c49]Walter Dosch, Wenying Feng: Transformational Design of an Asynchronous Distributor Component. Computers and Their Applications 2007: 81-88
- [c48]Bastian Dolle, Walter Dosch: From Signatures of Algebraic Specifications to Collections of Object-Oriented Class Signatures. ICSEA 2007: 3
- [c47]Walter Dosch: On the High-Level Synthesis of Combinational Circuits for Contiguous Pattern Matching. IMECS 2007: 520-529
- [c46]
- [c45]
- [c44]Walter Dosch, Annette Stümpel: High-Level Design of a Request Driven Sender Component. ITNG 2007: 707-714
- [c43]
- 2006
- [j8]Walter Dosch: Transformational design of an interactive component straddling communication streams. J. Comput. Meth. in Science and Engineering 6(5-6): 91-107 (2006)
- [c42]Walter Dosch, Wuttipong Ruanthong: On History-Sensitive Models of Interactive Queues. ACIS-ICIS 2006: 271-279
- [c41]Walter Dosch, Tõnu Tamme: Designing a Conditional Merge Component - From Streams to State Transitions. Computers and Their Applications 2006: 64-71
- [c40]Walter Dosch, Annette Stümpel: Deriving State-Based Implementations of Interactive Components with History Abstractions. Ershov Memorial Conference 2006: 180-194
- [c39]Walter Dosch: Formal Design of a Slow-Down Component for Almost Synchronous Streams. ICN/ICONS/MCL 2006: 174
- [c38]
- [c37]Walter Dosch: Enriching the Input Interface of Interactive Components with Undo Commands. SERA 2006: 183-193
- [c36]Walter Dosch, Wuttipong Ruanthong, Annette Stümpel: From Stream Transformers to Moore State Transition Machines with Input and Output. SNPD 2006: 65-72
- [e3]Walter Dosch, William Perrizo (Eds.): 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
- 2005
- [j7]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)
- [j6]Walter Dosch: Designing combinational circuits with list homomorphisms. J. Comput. Meth. in Science and Engineering 5(4): 27-43 (2005)
- [c35]
- [c34]
- [c33]Bastian Dolle, Walter Dosch: Transforming Functional Signatures of Algebraic Specifications Into Object-Oriented Class Signatures. APSEC 2005: 323-332
- [c32]Walter Dosch, Merik Meriste: High-Level Design of a Pull Protocol. Computers and Their Applications 2005: 66-73
- [c31]
- [c30]Walter Dosch, W. L. Yeung: High-Level Design of a Ternary Asynchronous Multiplexer. IASSE 2005: 221-228
- [c29]
- [e2]Walter Dosch, Roger Y. Lee, Chisu Wu (Eds.): Software Engineering Research, Management and Applications, Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Selected Revised Papers. Lecture Notes in Computer Science 3647, Springer 2005, ISBN 3-540-32133-0
- 2004
- [c28]Walter Dosch, Annette Stümpel: History Abstractions of a Sequential Memory Component. Computers and Their Applications 2004: 241-247
- [c27]Walter Dosch, Annette Stümpel: Transforming Stream Processing Functions into State Transition Machines. SERA 2004: 1-18
- [c26]Walter Dosch: Stream-Based Design of an Asynchronous Send-Receive Protocol. Software Engineering Research and Practice 2004: 868-874
- [c25]Walter Dosch, Annette Stümpel: Introducing Control States into Communication Based Specifications of Interactive Components. Software Engineering Research and Practice 2004: 875-882
- 2003
- [c24]Walter Dosch: Deriving Different Views of an Interactive Double-Ended Bounded Queue. Computers and Their Applications 2003: 397-403
- [c23]Walter Dosch: Stream-based Modelling of an Interactive Priority Queue. Modelling and Simulation 2003: 559-565
- [c22]Walter Dosch, Sönke Magnussen: Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications. SERA 2003: 7-33
- [e1]Walter Dosch, Roger Y. Lee (Eds.): 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, ISBN 0-9700776-7-X
- 2001
- [j5]Walter Dosch, Sönke Magnussen: Computer Aided Fusion for Algebraic Program Derivation. Nord. J. Comput. 8(3): 279-297 (2001)
- [c21]
- [c20]Walter Dosch, Sönke Magnussen: The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications. WADT 2001: 85-108
- 2000
- [c19]Walter Dosch, Annette Stümpel: Merging ordered streams. Computers and Their Applications 2000: 377-382
- [c18]Walter Dosch, Sönke Magnussen: Transformational derivation of a bytecode verifier. Computers and Their Applications 2000: 443-447
1990 – 1999
- 1999
- [c17]Walter Dosch, Bernd Wiedemann: Enriching List Homomorphisms by Indey Calculations. PDPTA 1999: 3041-3047
- [c16]Walter Dosch, Bernd Wiedemann: List Homomorphisms with Accumulation and Indexing. Scottish Functional Programming Workshop 1999: 135-143
- 1998
- [c15]Walter Dosch: An improved data parallel algorithm for the LSS problem. Computers and Their Applications 1998: 111-116
- 1997
- [c14]
- 1996
- [c13]
- [c12]Walter Dosch, Bernhard Möller: Calculating a Functional Module for Binary Search Trees. Implementation of Functional Languages 1996: 267-284
- 1995
- [c11]Walter Dosch: The Undefined Function Differs from the Pointwise Undefined Function. GULP-PRODE 1995: 257-270
- 1993
- [j4]
- 1992
- [c10]
- 1991
- [c9]Carlos Delgado Kloos, Walter Dosch: Transformational Development of Circuit Descriptions for Binary Adders. Methods of Programming 1991: 217-237
1980 – 1989
- 1985
- [b1]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. Lecture Notes in Computer Science 183, Springer 1985, ISBN 3-540-15187-7
- 1984
- [c8]
- [c7]Walter Dosch, Bernhard Möller: Busy and Lazy FP with Infinite Objects. LISP and Functional Programming 1984: 282-292
- [c6]
- 1983
- [j3]Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch: On Hierarchies of Abstract Data Types. Acta Inf. 20: 1-33 (1983)
- [c5]Walter Dosch, Bernhard Möller: An Algebraic Semantics for Bachus' Functional Programming Language with Infinite Objects. GI Jahrestagung 1983: 67-85
- 1982
- [j2]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)
- [c4]Walter Dosch, Gianfranco Mascari, Martin Wirsing: On the Algebraic Specification of Databases. VLDB 1982: 370-385
- 1981
- [j1]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)
- [c3]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
- 1980
- [c2]Walter Dosch, Martin Wirsing, Giorgio Ausiello, Gianfranco Mascari: Polynomials - The Specification, Analysis and Development of an Abstract Data Type. GI Jahrestagung 1980: 306-320
1970 – 1979
- 1979
- [c1]Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing: Existential Quantifiers in Abstract Data Types. ICALP 1979: 73-87
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-05 21:29 CEST by the dblp team