×
Author ID: dosch.walter Recent zbMATH articles by "Dosch, Walter"
Published as: Dosch, Walter; Dosch, W.
Documents Indexed: 16 Publications since 1979, including 1 Book
Co-Authors: 18 Co-Authors with 14 Joint Publications
216 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 43 times in 33 Documents Cited by Year
On hierarchies of abstract data types. Zbl 0513.68015
Wirsing, Martin; Pepper, Peter; Partsch, Helmut; Dosch, Walter; Broy, Manfred
15
1983
Existential quantifiers in abstract data types. Zbl 0404.68026
Broy, M.; Dosch, W.; Partsch, H.; Pepper, P.; Wirsing, M.
13
1979
Programming in a wide spectrum language: A collection of examples. Zbl 0469.68003
Bauer, F. L.; Broy, M.; Dosch, W.; Gnatz, R.; Krieg-Brückner, B.; Laut, A.; Luckmann, M.; Matzner, T.; Möller, B.; Partsch, H.; Pepper, P.; Samelson, K.; Steinbrüggen, R.; Wirsing, M.; Wössner, H.
11
1981
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. Zbl 0488.68024
Pepper, P.; Broy, M.; Bauer, F. L.; Partsch, H.; Dosch, W.; Wirsing, M.
1
1982
Extending the service domain of an interactive bounded queue. Zbl 1181.68069
Dosch, Walter; Stümpel, Annette
1
2008
Deriving state-based implementations of interactive components with history abstractions. Zbl 1185.68384
Dosch, Walter; Stümpel, Annette
1
2007
On the algebraic specification of domains. Zbl 0584.68038
Möller, Bernhard; Dosch, Walter
1
1985
Extending the service domain of an interactive bounded queue. Zbl 1181.68069
Dosch, Walter; Stümpel, Annette
1
2008
Deriving state-based implementations of interactive components with history abstractions. Zbl 1185.68384
Dosch, Walter; Stümpel, Annette
1
2007
On the algebraic specification of domains. Zbl 0584.68038
Möller, Bernhard; Dosch, Walter
1
1985
On hierarchies of abstract data types. Zbl 0513.68015
Wirsing, Martin; Pepper, Peter; Partsch, Helmut; Dosch, Walter; Broy, Manfred
15
1983
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. Zbl 0488.68024
Pepper, P.; Broy, M.; Bauer, F. L.; Partsch, H.; Dosch, W.; Wirsing, M.
1
1982
Programming in a wide spectrum language: A collection of examples. Zbl 0469.68003
Bauer, F. L.; Broy, M.; Dosch, W.; Gnatz, R.; Krieg-Brückner, B.; Laut, A.; Luckmann, M.; Matzner, T.; Möller, B.; Partsch, H.; Pepper, P.; Samelson, K.; Steinbrüggen, R.; Wirsing, M.; Wössner, H.
11
1981
Existential quantifiers in abstract data types. Zbl 0404.68026
Broy, M.; Dosch, W.; Partsch, H.; Pepper, P.; Wirsing, M.
13
1979

Citations by Year