Walter Dosch

Available identifiers

zbMath Open dosch.walterMaRDI QIDQ1050766

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q2863847	2013-12-04	Paper
Deriving State-Based Implementations of Interactive Components with History Abstractions	2010-02-02	Paper
Implementing Services by Partial State Machines	2009-02-03	Paper
Extending the Service Domain of an Interactive Bounded Queue	2009-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q3423341	2007-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q4471715	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q2765921	2002-01-24	Paper
On a generalized product for domains	1994-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q3707383	1985-01-01	Paper
On hierarchies of abstract data types	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3666243	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4743723	1983-01-01	Paper
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen	1982-01-01	Paper
Programming in a wide spectrum language: A collection of examples	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3939217	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4190110	1979-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Walter Dosch