Concepedia

Walter Dosch

WD

7

Publications

243

Citations

7

H-Index

1981

Active since

Affiliations

University of Lübeck(Current)

Technical University of Munich

Walter Dosch is an author at University of Lübeck specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationSoftware EngineeringSystem SoftwareAutomated ReasoningSystems EngineeringProgramming Languages

Publications per year

1981–2008

7

Publications

7

On hierarchies of abstract data types

Martin Wirsing, Peter Pepper, H. Partsch et al. · Acta Informatica · 1983 · 133 citations

Abstract Data Types, Engineering, Data Type +5

Programming in a wide spectrum language: a collection of examples

Friedrich L. Bauer, Manfred Broy, Walter Dosch et al. · Science of Computer Programming · 1981 · 37 citations

Wide Spectrum Language, Programming Language Theory, Declarative Programming +13

On the Algebraic Specification of Databases

Walter Dosch, Gianfranco Mascari, Martin Wirsing · 1982 · 20 citations

Time-awareness and Proactivity in Models of Interactive Computation

L. Môtus, Merik Meriste, Walter Dosch · Electronic Notes in Theoretical Computer Science · 2005 · 16 citations · Full text

Engineering, Verification, Software Engineering +21

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

Walter Dosch, Wuttipong Ruanthong, Annette Stümpel · 2006 · 15 citations

State Transition Machine, Engineering, Data Flow +14

Rows per page

1–5 of 7