Walter Dosch

According to our database1, Walter Dosch
  • authored at least 68 papers between 1979 and 2009.
  • has a "Dijkstra number"2 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2009
Implementing Services by Partial State Machines.
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Vorwort der Workshop-Leitung.
Proceedings of the Informatik 2009: Im Focus das Leben, 2009

Stuttering removal-developing mealy and moore style implementations of an interactive component.
Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

2008
Streaming Dyadic Boolean Operations.
Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

Coordinating Almost Synchronous Communication Streams.
Proceedings of the Third International Conference on Systems, 2008

Transformational Design of a Fault Tolerant Sequential Memory Component.
Proceedings of the ISCA 23rd International Conference on Computers and Their Applications, 2008

2007
Extending the Service Domain of Interactive Components.
Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007

High-Level Design of a Request Driven Sender Component.
Proceedings of the Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2007

On Irregular Behaviours of Interactive Stacks.
Proceedings of the Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2007

Extending the Service Domain of an Interactive Queue.
Proceedings of the International MultiConference of Engineers and Computer Scientists 2007, 2007

On the High-Level Synthesis of Combinational Circuits for Contiguous Pattern Matching.
Proceedings of the International MultiConference of Engineers and Computer Scientists 2007, 2007

From Signatures of Algebraic Specifications to Collections of Object-Oriented Class Signatures.
Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

Transformational Design of an Asynchronous Distributor Component.
Proceedings of the 22nd International Conference on Computers and Their Applications, 2007

Designing Combinational Circuits for Scattered Pattern Matching.
Proceedings of the 22nd International Conference on Computers and Their Applications, 2007

Formal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams.
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.
J. Comput. Meth. in Science and Engineering, 2006

From Stream Transformers to Moore State Transition Machines with Input and Output.
Proceedings of the Seventh International Conference on Software Engineering, 2006

Enriching the Input Interface of Interactive Components with Undo Commands.
Proceedings of the Fourth International Conference on Software Engineering, 2006

On History-Sensitive Models of Interactive Stacks.
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.
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.
Proceedings of the Perspectives of Systems Informatics, 2006

Designing a Conditional Merge Component - From Streams to State Transitions.
Proceedings of the 21st International Conference on Computers and Their Applications, 2006

On History-Sensitive Models of Interactive Queues.
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.
J. Comput. Meth. in Science and Engineering, 2005

Time-awareness and Proactivity in Models of Interactive Computation.
Electr. Notes Theor. Comput. Sci., 2005

Designing Combinational Circuits with List Homomorphisms.
Proceedings of the Third ACIS International Conference on Software Engineering, 2005

High-Level Design of a Ternary Asynchronous Multiplexer.
Proceedings of the ISCA 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2005

History Abstractions of an Interactive Frequency Table.
Proceedings of the ISCA 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2005

High-Level Design of a Pull Protocol.
Proceedings of the 20th International Conference on Computers and Their Applications, 2005

A Loose Interaction Pattern for Asynchronous Components.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

Transforming Functional Signatures of Algebraic Specifications Into Object-Oriented Class Signatures.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

Software Engineering - Components, Interfaces, Behaviors.
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.
Proceedings of the International Conference on Software Engineering Research and Practice, 2004

Stream-Based Design of an Asynchronous Send-Receive Protocol.
Proceedings of the International Conference on Software Engineering Research and Practice, 2004

Transforming Stream Processing Functions into State Transition Machines.
Proceedings of the Software Engineering Research, 2004

History Abstractions of a Sequential Memory Component.
Proceedings of the 19th International Conference on Computers and Their Applications, 2004

2003
Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications.
Proceedings of the Software Engineering Research and Applications, 2003

Stream-based Modelling of an Interactive Priority Queue.
Proceedings of the IASTED International Conference on Modelling and Simulation (MS 2003), 2003

Deriving Different Views of an Interactive Double-Ended Bounded Queue.
Proceedings of the ISCA 18th International Conference Computers and Their Applications, 2003

2001
Computer Aided Fusion for Algebraic Program Derivation.
Nord. J. Comput., 2001

The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

Order-Theoretic Refinement of Infinite Stream Behaviours.
Proceedings of the ISCA 14th International Conference on Parallel and Distributed Computing Systems, 2001

2000
Merging ordered streams.
Proceedings of the ISCA 15th International Conference Computers and Their Applications, 2000

Transformational derivation of a bytecode verifier.
Proceedings of the ISCA 15th International Conference Computers and Their Applications, 2000

1999
List Homomorphisms with Accumulation and Indexing.
Proceedings of the Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), 1999

Enriching List Homomorphisms by Indey Calculations.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1998
An improved data parallel algorithm for the LSS problem.
Proceedings of the Computers and Their Applications (CATA-98), 1998

1997
Design Decisions For the Parallel Evaluation of Polynomials.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997

1996
Calculating a Functional Module for Binary Search Trees.
Proceedings of the Implementation of Functional Languages, 8th International Workshop, 1996

Calculating Digital Counters.
Proceedings of the Perspectives of System Informatics, 1996

1995
The Undefined Function Differs from the Pointwise Undefined Function.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1993
On a Generalized Product of Domains.
Theor. Comput. Sci., 1993

1992
Reduction Relations in Strict Applicative Language.
Proceedings of the Theory of Computing and Systems, 1992

1991
Zur Repräsentation von Programmierwissen.
Proceedings of the Wissensbasierte Informationssysteme und Informationsmanagement: Proceedings des 2. Internationalen Symposiums für Informationswissenschaft, 1991

Transformational Development of Circuit Descriptions for Binary Adders.
Proceedings of the Method of Programming, Selected Papers on the CIP-Project, 1991

1987
On a typed higher order functional calculus.
PhD thesis, 1987

1985
The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L
Lecture Notes in Computer Science 183, Springer, ISBN: 3-540-15187-7, 1985

1984
Zur Didaktik der Datenstrukturen.
Proceedings of the Informatik als Herausforderung an Schule und Ausbildung, 1984

Busy and Lazy FP with Infinite Objects.
LISP and Functional Programming, 1984

On the Algebraic Specification of Domains.
Proceedings of the Recent Trends in Data Type Specification, 1984

1983
On Hierarchies of Abstract Data Types.
Acta Inf., 1983

An Algebraic Semantics for Bachus' Functional Programming Language with Infinite Objects.
Proceedings of the GI - 13. Jahrestagung, Hamburg, 3.-7. Oktober 1983, Proceedings, 1983

1982
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen.
Informatik Spektrum, 1982

On the Algebraic Specification of Databases.
Proceedings of the Eigth International Conference on Very Large Data Bases, 1982

1981
Programming in a Wide Spectrum Language: A Collection of Examples.
Sci. Comput. Program., 1981

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

1980
Polynomials - The Specification, Analysis and Development of an Abstract Data Type.
Proceedings of the GI - 10. Jahrestagung, Saarbrücken, 30. September, 1980

1979
Existential Quantifiers in Abstract Data Types.
Proceedings of the Automata, 1979


  Loading...