| Publication | Date of Publication | Type |
|---|
| Functional completeness in iterative meta-algebras | 1999-05-05 | Paper |
| Constructing the lattice of subalgebras of the Dijkstra algebra | 1998-11-19 | Paper |
| Structural synthesis of parallel programs (methodology and tools) | 1998-10-19 | Paper |
| Strategies for symbolic processing and synthesis of algorithms and programs | 1997-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4884901 | 1996-08-20 | Paper |
| Multilevel structured program designs and correctness proving | 1996-05-20 | Paper |
| Algebra of algorithms and Kaluzhnin's graph-schemas | 1996-04-11 | Paper |
| Formalized program specifications and transformation synthesis | 1995-11-02 | Paper |
| Design of symbolic-processing algorithms | 1995-08-06 | Paper |
| ORIENTIR -- audio tools for text construction | 1995-08-06 | Paper |
| Glushkov algorithmic algebras and system modeling | 1995-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3835678 | 1995-04-26 | Paper |
| Searching and sorting: Classification, transformation, and synthesis. I | 1994-05-08 | Paper |
| Searching and sorting: Classification, transformation, and synthesis. II | 1994-05-08 | Paper |
| Design of sequential sorting algorithms: Classification, transformation, synthesis | 1992-06-28 | Paper |
| Design of parallel sorting algorithm | 1992-06-28 | Paper |
| Theoretical and applied aspects of structured parallel programming | 1987-01-01 | Paper |
| Algorithmic data structure algebras and multilevel program design | 1986-01-01 | Paper |
| Formal transformation of structured sorting algorithms | 1985-01-01 | Paper |
| Formal aspects of structured programming with goto statements | 1984-01-01 | Paper |
| Multilevel synthesis of structured programs | 1983-01-01 | Paper |
| Structured programming in symbolic multiprocessing | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3336677 | 1982-01-01 | Paper |
| Analysis and synthesis of structured parallel programs | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960098 | 1980-01-01 | Paper |
| Storage standardization in structured programming | 1979-01-01 | Paper |
| Multilayer syntactic analysis of parallel programming systems | 1979-01-01 | Paper |
| Analyst: A program package for proving identities (theorems) in axiomatic algorithmic-algebra systems | 1979-01-01 | Paper |
| Identity transformations for structured-program schemes with closed logic conditions | 1979-01-01 | Paper |
| Theory of language processors and parallel computations | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4178456 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4191558 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4197333 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4153619 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4197331 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4197332 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4096455 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4139696 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4051622 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4069781 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4076798 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4121388 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4767015 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5672868 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5675280 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5642590 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5611764 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5663751 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5585383 | 1968-01-01 | Paper |
