| Publication | Date of Publication | Type |
|---|
| General principles of construction of knowledge computer systems | 2007-07-05 | Paper |
| Optimality of systems of identically distributed competing processes | 2006-11-28 | Paper |
| Systems specification by basic protocols | 2006-10-20 | Paper |
| Using Bayesian networks for monitoring computer users | 2005-11-11 | Paper |
| Insertion programming | 2004-03-29 | Paper |
| Some contexts common for number theory and harmonic analysis | 2004-03-29 | Paper |
| An integrated approach to the design of processor arrays with systolic organization of computations | 2003-09-09 | Paper |
| Semantics of timed message sequence charts | 2003-09-09 | Paper |
| Computational experiments in arithmetic geometry over finite fields and their computer support | 2002-12-17 | Paper |
| A fast algorithm for matrix multiplication and its efficient realization on systolic arrays | 2002-12-02 | Paper |
| Use of the method of formalized technical assignments for the program designs for processing data structures | 2001-04-26 | Paper |
| Inductive synthesis of an automaton from its specification in the logical language \({\mathfrak L}\) | 2000-01-01 | Paper |
| Analysis of publications of the journal Kibernetika during 35 years | 2000-01-01 | Paper |
| Automated design and simulation of computer system components | 1999-04-27 | Paper |
| Fundamental ideas and evolution of computer systems | 1996-03-27 | Paper |
| Tools for smart data bases | 1995-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4007494 | 1992-09-27 | Paper |
| M-schemas for macropipelined computation | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3768389 | 1987-01-01 | Paper |
| Finite irreducible subgroups of the group GL(n,Z) | 1986-01-01 | Paper |
| Local design of standardized automata. II | 1986-01-01 | Paper |
| Optimal organization of a class of parallel processes | 1984-01-01 | Paper |
| Efficiency and optimality of one method of distributing program resources in multiprocessor computer systems | 1983-01-01 | Paper |
| One method of defining the semantics of programming language constructs in terms of lambda calculus. II | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3670548 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3323248 | 1982-01-01 | Paper |
| Definition of the semantics of programming language constructs in terms of ?-calculus. I | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4083345 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4083344 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3214439 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5675274 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5656407 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5659071 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5573978 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5551171 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5551172 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5551175 | 1965-01-01 | Paper |
| The general principles of the synthesis of combinatorial circuits | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5344517 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6483347 | 0001-01-03 | Paper |
