The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Walter Dosch: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Walter Dosch, Gianfranco Mascari, Martin Wirsing
    On the Algebraic Specification of Databases. [Citation Graph (5, 16)][DBLP]
    VLDB, 1982, pp:370-385 [Conf]
  2. Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch
    On Hierarchies of Abstract Data Types. [Citation Graph (2, 0)][DBLP]
    Acta Inf., 1983, v:20, n:, pp:1-33 [Journal]
  3. Walter Dosch
    Software Engineering - Components, Interfaces, Behaviors. [Citation Graph (0, 0)][DBLP]
    ACIS-ICIS, 2005, pp:- [Conf]
  4. Bernhard Möller, Walter Dosch
    On the Algebraic Specification of Domains. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:178-195 [Conf]
  5. Walter Dosch
    The Undefined Function Differs from the Pointwise Undefined Function. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:257-270 [Conf]
  6. Bastian Dolle, Walter Dosch
    Transforming Functional Signatures of Algebraic Specifications Into Object-Oriented Class Signatures. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:323-332 [Conf]
  7. Walter Dosch
    A Loose Interaction Pattern for Asynchronous Components. [Citation Graph (0, 0)][DBLP]
    APSEC, 2005, pp:222-230 [Conf]
  8. Walter Dosch
    Deriving Different Views of an Interactive Double-Ended Bounded Queue. [Citation Graph (0, 0)][DBLP]
    Computers and Their Applications, 2003, pp:397-403 [Conf]
  9. Walter Dosch, Merik Meriste
    High-Level Design of a Pull Protocol. [Citation Graph (0, 0)][DBLP]
    Computers and Their Applications, 2005, pp:66-73 [Conf]
  10. Walter Dosch, Annette Stümpel
    History Abstractions of a Sequential Memory Component. [Citation Graph (0, 0)][DBLP]
    Computers and Their Applications, 2004, pp:241-247 [Conf]
  11. Walter Dosch, Tõnu Tamme
    Designing a Conditional Merge Component - From Streams to State Transitions. [Citation Graph (0, 0)][DBLP]
    Computers and Their Applications, 2006, pp:64-71 [Conf]
  12. Walter Dosch, Sönke Magnussen
    Transformational derivation of a bytecode verifier. [Citation Graph (0, 0)][DBLP]
    Computers and Their Applications, 2000, pp:443-447 [Conf]
  13. Walter Dosch, Annette Stümpel
    Merging ordered streams. [Citation Graph (0, 0)][DBLP]
    Computers and Their Applications, 2000, pp:377-382 [Conf]
  14. Carlos Delgado Kloos, Walter Dosch
    Transformational Development of Circuit Descriptions for Binary Adders. [Citation Graph (0, 0)][DBLP]
    Methods of Programming, 1991, pp:217-237 [Conf]
  15. Walter Dosch
    Calculating Digital Counters. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1996, pp:21-39 [Conf]
  16. Manfred Broy, Walter Dosch, Bernhard Möller, Martin Wirsing
    GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:109-121 [Conf]
  17. Walter Dosch, Bernhard Möller
    An Algebraic Semantics for Bachus' Functional Programming Language with Infinite Objects. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1983, pp:67-85 [Conf]
  18. Walter Dosch, Martin Wirsing, Giorgio Ausiello, Gianfranco Mascari
    Polynomials - The Specification, Analysis and Development of an Abstract Data Type. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:306-320 [Conf]
  19. Walter Dosch
    History Abstractions of an Interactive Frequency Table. [Citation Graph (0, 0)][DBLP]
    IASSE, 2005, pp:31-39 [Conf]
  20. Walter Dosch, W. L. Yeung
    High-Level Design of a Ternary Asynchronous Multiplexer. [Citation Graph (0, 0)][DBLP]
    IASSE, 2005, pp:221-228 [Conf]
  21. Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing
    Existential Quantifiers in Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    ICALP, 1979, pp:73-87 [Conf]
  22. Walter Dosch
    Formal Design of a Slow-Down Component for Almost Synchronous Streams. [Citation Graph (0, 0)][DBLP]
    ICN/ICONS/MCL, 2006, pp:174- [Conf]
  23. Walter Dosch, Bernhard Möller
    Calculating a Functional Module for Binary Search Trees. [Citation Graph (0, 0)][DBLP]
    Implementation of Functional Languages, 1996, pp:267-284 [Conf]
  24. Walter Dosch
    Reduction Relations in Strict Applicative Language. [Citation Graph (0, 0)][DBLP]
    ISTCS, 1992, pp:55-66 [Conf]
  25. Walter Dosch
    On History-Sensitive Models of Interactive Stacks. [Citation Graph (0, 0)][DBLP]
    ITNG, 2006, pp:96-103 [Conf]
  26. Walter Dosch, Gongzhu Hu
    On Irregular Behaviours of Interactive Stacks. [Citation Graph (0, 0)][DBLP]
    ITNG, 2007, pp:693-700 [Conf]
  27. Walter Dosch, Annette Stümpel
    High-Level Design of a Request Driven Sender Component. [Citation Graph (0, 0)][DBLP]
    ITNG, 2007, pp:707-714 [Conf]
  28. Walter Dosch, Bernhard Möller
    Busy and Lazy FP with Infinite Objects. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1984, pp:282-292 [Conf]
  29. Walter Dosch
    Stream-based Modelling of an Interactive Priority Queue. [Citation Graph (0, 0)][DBLP]
    Modelling and Simulation, 2003, pp:559-565 [Conf]
  30. Walter Dosch
    Design Decisions For the Parallel Evaluation of Polynomials. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1997, pp:636-644 [Conf]
  31. Walter Dosch, Bernd Wiedemann
    Enriching List Homomorphisms by Indey Calculations. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:3041-3047 [Conf]
  32. Walter Dosch
    Zur Didaktik der Datenstrukturen. [Citation Graph (0, 0)][DBLP]
    INFOS, 1984, pp:139-144 [Conf]
  33. Walter Dosch
    Designing Combinational Circuits with List Homomorphisms. [Citation Graph (0, 0)][DBLP]
    SERA, 2005, pp:288-297 [Conf]
  34. Walter Dosch
    Enriching the Input Interface of Interactive Components with Undo Commands. [Citation Graph (0, 0)][DBLP]
    SERA, 2006, pp:183-193 [Conf]
  35. Walter Dosch, Sönke Magnussen
    Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    SERA, 2003, pp:7-33 [Conf]
  36. Walter Dosch, Annette Stümpel
    Transforming Stream Processing Functions into State Transition Machines. [Citation Graph (0, 0)][DBLP]
    SERA, 2004, pp:1-18 [Conf]
  37. Walter Dosch
    Stream-Based Design of an Asynchronous Send-Receive Protocol. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2004, pp:868-874 [Conf]
  38. Walter Dosch, Annette Stümpel
    Introducing Control States into Communication Based Specifications of Interactive Components. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2004, pp:875-882 [Conf]
  39. Walter Dosch, Bernd Wiedemann
    List Homomorphisms with Accumulation and Indexing. [Citation Graph (0, 0)][DBLP]
    Scottish Functional Programming Workshop, 1999, pp:135-143 [Conf]
  40. Walter Dosch, Wuttipong Ruanthong, Annette Stümpel
    From Stream Transformers to Moore State Transition Machines with Input and Output. [Citation Graph (0, 0)][DBLP]
    SNPD, 2006, pp:65-72 [Conf]
  41. Walter Dosch, Sönke Magnussen
    The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    WADT, 2001, pp:85-108 [Conf]
  42. Leo Motus, Merik Meriste, Walter Dosch
    Time-awareness and Proactivity in Models of Interactive Computation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:141, n:5, pp:69-95 [Journal]
  43. Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing
    Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1982, v:5, n:2, pp:107-119 [Journal]
  44. Walter Dosch, Sönke Magnussen
    Computer Aided Fusion for Algebraic Program Derivation. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2001, v:8, n:3, pp:279-297 [Journal]
  45. Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, T. 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. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1981, v:1, n:1-2, pp:73-114 [Journal]
  46. Walter Dosch
    On a Generalized Product of Domains. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:119, n:1, pp:103-125 [Journal]
  47. Walter Dosch
    Order-Theoretic Refinement of Infinite Stream Behaviours. [Citation Graph (0, 0)][DBLP]
    ISCA PDCS, 2001, pp:68-74 [Conf]
  48. Walter Dosch
    Formal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams. [Citation Graph (0, 0)][DBLP]
    AICCSA, 2007, pp:909-916 [Conf]
  49. Walter Dosch
    An improved data parallel algorithm for the LSS problem. [Citation Graph (0, 0)][DBLP]
    Computers and Their Applications, 1998, pp:111-116 [Conf]
  50. Walter Dosch
    Designing Combinational Circuits for Scattered Pattern Matching. [Citation Graph (0, 0)][DBLP]
    Computers and Their Applications, 2007, pp:72-80 [Conf]
  51. Walter Dosch, Wenying Feng
    Transformational Design of an Asynchronous Distributor Component. [Citation Graph (0, 0)][DBLP]
    Computers and Their Applications, 2007, pp:81-88 [Conf]
  52. Walter Dosch, Annette Stümpel
    Deriving State-Based Implementations of Interactive Components with History Abstractions. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2006, pp:180-194 [Conf]

  53. Transformational Design of a Fault Tolerant Sequential Memory Component. [Citation Graph (, )][DBLP]


  54. Vorwort der Workshop-Leitung. [Citation Graph (, )][DBLP]


  55. Extending the Service Domain of an Interactive Queue. [Citation Graph (, )][DBLP]


  56. On the High-Level Synthesis of Combinational Circuits for Contiguous Pattern Matching. [Citation Graph (, )][DBLP]


  57. Streaming Dyadic Boolean Operations. [Citation Graph (, )][DBLP]


  58. Extending the Service Domain of Interactive Components. [Citation Graph (, )][DBLP]


  59. Implementing Services by Partial State Machines. [Citation Graph (, )][DBLP]


  60. From Signatures of Algebraic Specifications to Collections of Object-Oriented Class Signatures. [Citation Graph (, )][DBLP]


  61. Coordinating Almost Synchronous Communication Streams. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002