Walter Dosch Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Giorgio Ausiello [2]
2Friedrich L. Bauer [3] [5] [12]
3Rudolf Berghammer [12]
4Manfred Broy [1] [3] [4] [5] [12]
5Thierry Coupaye [64]
6Bastian Dolle [41] [57]
7Wenying Feng [58]
8Franz Geiselbrechtinger [12]
9Rupert Gnatz [3] [12]
10E. Hangel [12]
11Wolfgang Hesse [12]
12Gongzhu Hu [54]
13Carlos Delgado Kloos [13]
14Bernd Krieg-Brückner [3] [12]
15Alfred Laut [3] [12]
16Roger Y. Lee [31] [44] [64]
17M. Luckmann [3]
18Sönke Magnussen [23] [25] [26] [28]
19Gianfranco Mascari [2] [6]
20Thomas Matzner [3] [12]
21Merik Meriste [36] [40]
22Bernhard Möller [3] [4] [8] [9] [11] [12] [17]
23Leo Motus [36]
24Friederike Nickl [12]
25Helmuth Partsch [1] [3] [5] [7] [12]
26Peter Pepper [1] [3] [5] [7] [12]
27William Perrizo [51]
28Wuttipong Ruanthong [45]
29Klaus Samelson [3] [12]
30Ralf Steinbrüggen [3]
31Annette Stümpel [24] [32] [34] [35] [45] [49] [53] [61] [65]
32Tõnu Tamme [50] [61]
33Petr Tuma [64]
34Bernd Wiedemann [21] [22]
35Martin Wirsing [1] [2] [3] [4] [5] [6] [7] [12]
36Hans Wössner [3] [12]
37Chisu Wu [44]
38W. L. Yeung [39]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)