Walter Dosch

According to our database, Walter Dosch authored at least 67 papers between 1979 and 2009.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2009

Implementing Services by Partial State Machines.

Walter Dosch, Annette Stümpel

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Arbeitstagung Programmiersprachen (ATPS 2009) - Vorwort.

Walter Dosch, Michael Hanus

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

Stuttering removal-developing mealy and moore style implementations of an interactive component.

Walter Dosch, Annette Stümpel, Nontasak Janchum, Pornsiri Muenchaisri

Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

2008

Streaming Dyadic Boolean Operations.

Walter Dosch, Annette Stümpel, Tõnu Tamme

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

Coordinating Almost Synchronous Communication Streams.

Walter Dosch

Proceedings of the Third International Conference on Systems, 2008

Transformational Design of a Fault Tolerant Sequential Memory Component.

Walter Dosch

Proceedings of the ISCA 23rd International Conference on Computers and Their Applications, 2008

2007

Extending the Service Domain of Interactive Components.

Walter Dosch

Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007

High-Level Design of a Request Driven Sender Component.

Walter Dosch, Annette Stümpel

Proceedings of the Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2007

On Irregular Behaviours of Interactive Stacks.

Walter Dosch, Gongzhu Hu

Proceedings of the Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2007

Extending the Service Domain of an Interactive Queue.

Walter Dosch

Proceedings of the International MultiConference of Engineers and Computer Scientists 2007, 2007

On the High-Level Synthesis of Combinational Circuits for Contiguous Pattern Matching.

Walter Dosch

Proceedings of the International MultiConference of Engineers and Computer Scientists 2007, 2007

From Signatures of Algebraic Specifications to Collections of Object-Oriented Class Signatures.

Bastian Dölle, Walter Dosch

Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

Transformational Design of an Asynchronous Distributor Component.

Walter Dosch, Wenying Feng

Proceedings of the 22nd International Conference on Computers and Their Applications, 2007

Designing Combinational Circuits for Scattered Pattern Matching.

Walter Dosch

Proceedings of the 22nd International Conference on Computers and Their Applications, 2007

Formal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams.

Walter Dosch

Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 2007

2006

Transformational design of an interactive component straddling communication streams.

Walter Dosch

J. Comput. Methods Sci. Eng., 2006

From Stream Transformers to Moore State Transition Machines with Input and Output.

Walter Dosch, Wuttipong Ruanthong, Annette Stümpel

Proceedings of the Seventh International Conference on Software Engineering, 2006

Enriching the Input Interface of Interactive Components with Undo Commands.

Walter Dosch

Proceedings of the Fourth International Conference on Software Engineering, 2006

On History-Sensitive Models of Interactive Stacks.

Walter Dosch

Proceedings of the Third International Conference on Information Technology: New Generations (ITNG 2006), 2006

Formal Design of a Slow-Down Component for Almost Synchronous Streams.

Walter Dosch

Proceedings of the Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 2006

Deriving State-Based Implementations of Interactive Components with History Abstractions.

Walter Dosch, Annette Stümpel

Proceedings of the Perspectives of Systems Informatics, 2006

Designing a Conditional Merge Component - From Streams to State Transitions.

Walter Dosch, Tõnu Tamme

Proceedings of the 21st International Conference on Computers and Their Applications, 2006

On History-Sensitive Models of Interactive Queues.

Walter Dosch, Wuttipong Ruanthong

Proceedings of the 5th Annual IEEE/ACIS International Conference on Computer and Information Science (ICIS 2006) and 1st IEEE/ACIS International Workshop on Component-Based Software Engineering, 2006

2005

Designing combinational circuits with list homomorphisms.

Walter Dosch

J. Comput. Methods Sci. Eng., 2005

Time-awareness and Proactivity in Models of Interactive Computation.

Leo Motus, Merik Meriste, Walter Dosch

Proceedings of the Workshop on the Foundations of Interactive Computation, 2005

High-Level Design of a Ternary Asynchronous Multiplexer.

Walter Dosch, W. L. Yeung

Proceedings of the ISCA 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2005

History Abstractions of an Interactive Frequency Table.

Walter Dosch

Proceedings of the ISCA 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2005

High-Level Design of a Pull Protocol.

Walter Dosch, Merik Meriste

Proceedings of the 20th International Conference on Computers and Their Applications, 2005

A Loose Interaction Pattern for Asynchronous Components.

Walter Dosch

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

Transforming Functional Signatures of Algebraic Specifications Into Object-Oriented Class Signatures.

Bastian Dölle, Walter Dosch

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

Software Engineering - Components, Interfaces, Behaviors.

Walter Dosch

Proceedings of the 4th Annual ACIS International Conference on Computer and Information Science (ICIS 2005), 2005

2004

Introducing Control States into Communication Based Specifications of Interactive Components.

Walter Dosch, Annette Stümpel

Proceedings of the International Conference on Software Engineering Research and Practice, 2004

Stream-Based Design of an Asynchronous Send-Receive Protocol.

Walter Dosch

Proceedings of the International Conference on Software Engineering Research and Practice, 2004

Transforming Stream Processing Functions into State Transition Machines.

Walter Dosch, Annette Stümpel

Proceedings of the Software Engineering Research, 2004

History Abstractions of a Sequential Memory Component.

Walter Dosch, Annette Stümpel

Proceedings of the 19th International Conference on Computers and Their Applications, 2004

2003

Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications.

Walter Dosch, Sönke Magnussen

Proceedings of the Software Engineering Research and Applications, 2003

Stream-based Modelling of an Interactive Priority Queue.

Walter Dosch

Proceedings of the IASTED International Conference on Modelling and Simulation (MS 2003), 2003

Deriving Different Views of an Interactive Double-Ended Bounded Queue.

Walter Dosch

Proceedings of the ISCA 18th International Conference Computers and Their Applications, 2003

2001

Computer Aided Fusion for Algebraic Program Derivation.

Walter Dosch, Sönke Magnussen

Nord. J. Comput., 2001

The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications.

Walter Dosch, Sönke Magnussen

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

Order-Theoretic Refinement of Infinite Stream Behaviours.

Walter Dosch

Proceedings of the ISCA 14th International Conference on Parallel and Distributed Computing Systems, 2001

2000

Merging ordered streams.

Walter Dosch, Annette Stümpel

Proceedings of the ISCA 15th International Conference Computers and Their Applications, 2000

Transformational derivation of a bytecode verifier.

Walter Dosch, Sönke Magnussen

Proceedings of the ISCA 15th International Conference Computers and Their Applications, 2000

1999

List Homomorphisms with Accumulation and Indexing.

Walter Dosch, Bernd Wiedemann

Proceedings of the Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), 1999

Enriching List Homomorphisms by Indey Calculations.

Walter Dosch, Bernd Wiedemann

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1998

An improved data parallel algorithm for the LSS problem.

Walter Dosch

Proceedings of the Computers and Their Applications (CATA-98), 1998

1997

Design Decisions For the Parallel Evaluation of Polynomials.

Walter Dosch

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997

1996

Calculating a Functional Module for Binary Search Trees.

Walter Dosch, Bernhard Möller

Proceedings of the Implementation of Functional Languages, 8th International Workshop, 1996

Calculating Digital Counters.

Walter Dosch

Proceedings of the Perspectives of System Informatics, 1996

1995

The Undefined Function Differs from the Pointwise Undefined Function.

Walter Dosch

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1993

On a Generalized Product of Domains.

Walter Dosch

Theor. Comput. Sci., 1993

1992

Reduction Relations in Strict Applicative Language.

Walter Dosch

Proceedings of the Theory of Computing and Systems, 1992

1991

Zur Repräsentation von Programmierwissen.

Walter Dosch

Proceedings of the Wissensbasierte Informationssysteme und Informationsmanagement: Proceedings des 2. Internationalen Symposiums für Informationswissenschaft, 1991

Transformational Development of Circuit Descriptions for Binary Adders.

Carlos Delgado Kloos, Walter Dosch

Proceedings of the Method of Programming, Selected Papers on the CIP-Project, 1991

1987

On a typed higher order functional calculus.

Walter Dosch

PhD thesis, 1987

1985

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

Lecture Notes in Computer Science 183, Springer, ISBN: 3-540-15187-7, 1985

1984

Zur Didaktik der Datenstrukturen.

Walter Dosch

Proceedings of the Informatik als Herausforderung an Schule und Ausbildung, 1984

Busy and Lazy FP with Infinite Objects.

Walter Dosch, Bernhard Möller

Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

On the Algebraic Specification of Domains.

Bernhard Möller, Walter Dosch

Proceedings of the Recent Trends in Data Type Specification, 1984

1983

On Hierarchies of Abstract Data Types.

Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch

Acta Informatica, 1983

An Algebraic Semantics for Bachus' Functional Programming Language with Infinite Objects.

Walter Dosch, Bernhard Möller

Proceedings of the GI - 13. Jahrestagung, Hamburg, 3.-7. Oktober 1983, Proceedings, 1983

1982

Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen.

Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing

Inform. Spektrum, 1982

On the Algebraic Specification of Databases.

Walter Dosch, Gianfranco Mascari, Martin Wirsing

Proceedings of the Eigth International Conference on Very Large Data Bases, 1982

1981

Programming in a Wide Spectrum Language: A Collection of Examples.

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

Sci. Comput. Program., 1981

GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract).

Manfred Broy, Walter Dosch, Bernhard Möller, Martin Wirsing

Proceedings of the GI, 1981

1980

Polynomials - The Specification, Analysis and Development of an Abstract Data Type.

Walter Dosch, Martin Wirsing, Giorgio Ausiello, Gianfranco Mascari

Proceedings of the GI - 10. Jahrestagung, Saarbrücken, 30. September, 1980

1979

Existential Quantifiers in Abstract Data Types.

Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing

Proceedings of the Automata, 1979