![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Walter Dosch
Person information
- affiliation: University of Lübeck, Germany
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2009
- [c59]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 - [c58]Walter Dosch, Michael Hanus:
Arbeitstagung Programmiersprachen (ATPS 2009) - Vorwort. GI Jahrestagung 2009: 362 - [c57]Walter Dosch, Annette Stümpel:
Implementing Services by Partial State Machines. SOFSEM 2009: 241-254 - 2008
- [c56]Walter Dosch:
Transformational Design of a Fault Tolerant Sequential Memory Component. CATA 2008: 181-188 - [c55]Walter Dosch:
Coordinating Almost Synchronous Communication Streams. ICONS 2008: 7-15 - [c54]Walter Dosch, Annette Stümpel, Tõnu Tamme:
Streaming Dyadic Boolean Operations. ITNG 2008: 88-96 - [e4]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, ISBN 978-0-7695-3302-5 [contents] - 2007
- [c53]Walter Dosch:
Formal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams. AICCSA 2007: 909-916 - [c52]Walter Dosch:
Designing Combinational Circuits for Scattered Pattern Matching. CATA 2007: 72-80 - [c51]Walter Dosch, Wenying Feng:
Transformational Design of an Asynchronous Distributor Component. CATA 2007: 81-88 - [c50]Bastian Dölle, Walter Dosch:
From Signatures of Algebraic Specifications to Collections of Object-Oriented Class Signatures. ICSEA 2007: 3 - [c49]Walter Dosch:
On the High-Level Synthesis of Combinational Circuits for Contiguous Pattern Matching. IMECS 2007: 520-529 - [c48]Walter Dosch:
Extending the Service Domain of an Interactive Queue. IMECS 2007: 1142-1149 - [c47]Walter Dosch, Gongzhu Hu:
On Irregular Behaviours of Interactive Stacks. ITNG 2007: 693-700 - [c46]Walter Dosch, Annette Stümpel:
High-Level Design of a Request Driven Sender Component. ITNG 2007: 707-714 - [c45]Walter Dosch:
Extending the Service Domain of Interactive Components. SERA 2007: 233-244 - 2006
- [j7]Walter Dosch:
Transformational design of an interactive component straddling communication streams. J. Comput. Methods Sci. Eng. 6(5-6): 91-107 (2006) - [c44]Walter Dosch, Wuttipong Ruanthong
:
On History-Sensitive Models of Interactive Queues. ACIS-ICIS 2006: 271-279 - [c43]Walter Dosch, Tõnu Tamme:
Designing a Conditional Merge Component - From Streams to State Transitions. CATA 2006: 64-71 - [c42]Walter Dosch, Annette Stümpel:
Deriving State-Based Implementations of Interactive Components with History Abstractions. Ershov Memorial Conference 2006: 180-194 - [c41]Walter Dosch:
Formal Design of a Slow-Down Component for Almost Synchronous Streams. ICN/ICONS/MCL 2006: 174 - [c40]Walter Dosch:
On History-Sensitive Models of Interactive Stacks. ITNG 2006: 96-103 - [c39]Walter Dosch:
Enriching the Input Interface of Interactive Components with Undo Commands. SERA 2006: 183-193 - [c38]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:
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 [contents] - 2005
- [j6]Walter Dosch:
Designing combinational circuits with list homomorphisms. J. Comput. Methods Sci. Eng. 5(4): 27-43 (2005) - [c37]Walter Dosch:
Software Engineering - Components, Interfaces, Behaviors. ACIS-ICIS 2005 - [c36]Walter Dosch:
A Loose Interaction Pattern for Asynchronous Components. APSEC 2005: 222-230 - [c35]Bastian Dölle, Walter Dosch:
Transforming Functional Signatures of Algebraic Specifications Into Object-Oriented Class Signatures. APSEC 2005: 323-332 - [c34]Walter Dosch, Merik Meriste:
High-Level Design of a Pull Protocol. CATA 2005: 66-73 - [c33]Walter Dosch:
History Abstractions of an Interactive Frequency Table. IASSE 2005: 31-39 - [c32]Walter Dosch, W. L. Yeung:
High-Level Design of a Ternary Asynchronous Multiplexer. IASSE 2005: 221-228 - [c31]Walter Dosch:
Designing Combinational Circuits with List Homomorphisms. SERA 2005: 288-297 - [c30]Leo Motus, Merik Meriste, Walter Dosch:
Time-awareness and Proactivity in Models of Interactive Computation. FInCo@ETAPS 2005: 69-95 - [e2]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. Lecture Notes in Computer Science 3647, Springer 2005, ISBN 3-540-32133-0 [contents] - 2004
- [c29]Walter Dosch, Annette Stümpel:
History Abstractions of a Sequential Memory Component. CATA 2004: 241-247 - [c28]Walter Dosch, Annette Stümpel:
Transforming Stream Processing Functions into State Transition Machines. SERA 2004: 1-18 - [c27]Walter Dosch:
Stream-Based Design of an Asynchronous Send-Receive Protocol. Software Engineering Research and Practice 2004: 868-874 - [c26]Walter Dosch, Annette Stümpel:
Introducing Control States into Communication Based Specifications of Interactive Components. Software Engineering Research and Practice 2004: 875-882 - 2003
- [c25]Walter Dosch:
Deriving Different Views of an Interactive Double-Ended Bounded Queue. CATA 2003: 397-403 - [c24]Walter Dosch:
Stream-based Modelling of an Interactive Priority Queue. Modelling and Simulation 2003: 559-565 - [c23]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:
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 [contents] - 2001
- [j5]Walter Dosch, Sönke Magnussen:
Computer Aided Fusion for Algebraic Program Derivation. Nord. J. Comput. 8(3): 279-297 (2001) - [c22]Walter Dosch:
Order-Theoretic Refinement of Infinite Stream Behaviours. PDCS 2001: 68-74 - [c21]Walter Dosch, Sönke Magnussen:
The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications. WADT 2001: 85-108 - 2000
- [c20]Walter Dosch, Annette Stümpel:
Merging ordered streams. CATA 2000: 377-382 - [c19]Walter Dosch, Sönke Magnussen:
Transformational derivation of a bytecode verifier. CATA 2000: 443-447
1990 – 1999
- 1999
- [c18]Walter Dosch, Bernd Wiedemann:
Enriching List Homomorphisms by Indey Calculations. PDPTA 1999: 3041-3047 - [c17]Walter Dosch, Bernd Wiedemann:
List Homomorphisms with Accumulation and Indexing. Scottish Functional Programming Workshop 1999: 135-143 - 1998
- [c16]Walter Dosch:
An improved data parallel algorithm for the LSS problem. CATA 1998: 111-116 - 1997
- [c15]Walter Dosch:
Design Decisions For the Parallel Evaluation of Polynomials. PDPTA 1997: 636-644 - 1996
- [c14]Walter Dosch:
Calculating Digital Counters. Ershov Memorial Conference 1996: 21-39 - [c13]Walter Dosch, Bernhard Möller:
Calculating a Functional Module for Binary Search Trees. Implementation of Functional Languages 1996: 267-284 - 1995
- [c12]Walter Dosch:
The Undefined Function Differs from the Pointwise Undefined Function. GULP-PRODE 1995: 257-270 - 1993
- [j4]Walter Dosch:
On a Generalized Product of Domains. Theor. Comput. Sci. 119(1): 103-125 (1993) - 1992
- [c11]Walter Dosch:
Reduction Relations in Strict Applicative Language. ISTCS 1992: 55-66 - 1991
- [c10]Carlos Delgado Kloos, Walter Dosch:
Transformational Development of Circuit Descriptions for Binary Adders. Methods of Programming 1991: 217-237 - [c9]Walter Dosch:
Zur Repräsentation von Programmierwissen. ISI 1991: 71-80
1980 – 1989
- 1987
- [b2]Walter Dosch:
On a typed higher order functional calculus. Technical University Munich, Germany, 1987, pp. 1-258 - 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]Bernhard Möller, Walter Dosch:
On the Algebraic Specification of Domains. ADT 1984: 178-195 - [c7]Walter Dosch, Bernhard Möller:
Busy and Lazy FP with Infinite Objects. LISP and Functional Programming 1984: 282-292 - [c6]Walter Dosch:
Zur Didaktik der Datenstrukturen. INFOS 1984: 139-144 - 1983
- [j3]Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch:
On Hierarchies of Abstract Data Types. Acta Informatica 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. Inform. 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint