| Publication | Date of Publication | Type |
|---|
| Programs with restoration of computations | 2001-08-16 | Paper |
| Complete interpretations of \(\Omega\)-languages and free algebras of \(\Omega\)-elements | 1999-04-28 | Paper |
| Structural synthesis of parallel programs (methodology and tools) | 1998-10-19 | Paper |
| Approach to the construction of algebraic models of algorithms and programs | 1997-08-24 | Paper |
| On languages over an alphabet interpreted in a boolean algebra | 1996-08-25 | Paper |
| Algebraic-grammatical models of parallel computation | 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 |
| 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 |
| Denotational semantics of mixed computation processes for a structural programming language | 1988-01-01 | Paper |
| Theoretical and applied aspects of structured parallel programming | 1987-01-01 | Paper |
| Multilevel synthesis of structured programs | 1983-01-01 | Paper |
| Analysis and synthesis of structured parallel programs | 1981-01-01 | Paper |
| Current methods for proving program correctness | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3960098 | 1980-01-01 | Paper |
| Storage standardization in structured programming | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3867187 | 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 |
| Theory of language processors and parallel computations | 1979-01-01 | Paper |
| Certain problems of the theory of structured program schemes | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3853146 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3898008 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4191558 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4144212 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4153619 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4154055 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4114741 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4058095 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4086687 | 1975-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/Q4053082 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5675280 | 1971-01-01 | Paper |
| Metalanguage oriented towards syntactic analysis and control | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5574389 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5532076 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5582118 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5729539 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5735583 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5735584 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5723487 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5735582 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3291892 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5512182 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5724238 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3847719 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3847753 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3847755 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3849234 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5337553 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3287642 | 1958-01-01 | Paper |
