E. L. Yushchenko

Available identifiers

zbMath Open yushchenko.e-lMaRDI QIDQ1142583

List of research outcomes

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

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: E. L. Yushchenko