| Publication | Date of Publication | Type |
|---|
| Towards a theory of semantics and compilers for programming languages | 2014-03-14 | Paper |
| Introduction and Prologue | 2014-02-21 | Paper |
| Computation: Brief History Prior to the 1900s | 2014-02-21 | Paper |
| The Heart of Computer Science | 2014-02-21 | Paper |
| The Software Side of Computer Science – Computer Programming | 2014-02-21 | Paper |
| The Hardware Side | 2014-02-21 | Paper |
| Operating Systems (OS) | 2014-02-21 | Paper |
| Computer Networks | 2014-02-21 | Paper |
| Computer Security and Public Key Cryptography | 2014-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5480558 | 2006-08-02 | Paper |
| Consistency of local dynamics and bifurcation of continuous-time dynamical systems and their numerical discretizations | 1999-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4325950 | 1995-04-03 | Paper |
| Discrete-time versus continuous-time models of neural networks | 1993-01-16 | Paper |
| Mathematical aspects of outer-product asynchronous content-addressable memories | 1990-01-01 | Paper |
| The semantics and complexity of parallel programs for vector computations. I: A case study using Ada | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3677150 | 1985-01-01 | Paper |
| Implementation of data types by algebraic methods | 1983-01-01 | Paper |
| Relative complexity of algebras | 1981-01-01 | Paper |
| Relative complexity of operations on numeric and bit-string algebras | 1980-01-01 | Paper |
| A difference in expressive power between flowcharts and recursion schemes | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3896421 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3907038 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4195854 | 1979-01-01 | Paper |
| A convergent gradient method for matrix eigenvector-eigentuple problems | 1978-01-01 | Paper |
| Numerical solution of eigentuple-eigenvector problems in Hilbert spaces by a gradient method | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4164782 | 1978-01-01 | Paper |
| A Numerical Method for the Solution of the Double Eigenvalue Problem | 1978-01-01 | Paper |
| A generalization of the homomorphism concept | 1977-01-01 | Paper |
| SEMANOL (73), a metalanguage for programming the semantics of programming languages | 1976-01-01 | Paper |
| Solution of eigenvalue problems in Hilbert spaces by a gradient method | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5183066 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5180741 | 1972-01-01 | Paper |
| Towards a theory of semantics and compilers for programming languages | 1969-01-01 | Paper |
| The computation of eigenvalues and eigenvectors of a completely continuous self-adjoint operator | 1967-01-01 | Paper |
| Stationary points of functionals in pre-Hilbert spaces | 1967-01-01 | Paper |
| A convergent gradient procedure in prehilbert spaces | 1966-01-01 | Paper |
| A Formal System for Differentiation | 1966-01-01 | Paper |
| Free subsemigroups of a free semigroup | 1965-01-01 | Paper |
| A note on free subsemigroups with two generators | 1965-01-01 | Paper |
| Enumeration of Recursive Sets By Turing Machine | 1965-01-01 | Paper |
| Minimization of Functionals with Equality Constraints | 1965-01-01 | Paper |
| A Modification of the Runge-Kutta Fourth-Order Method | 1962-01-01 | Paper |
| Asymptotic Behavior of the Best Polynomial Approximation | 1961-01-01 | Paper |
| A Theory of Analytic Functions in Banach Algebras | 1955-01-01 | Paper |
| The solutions of the Euler-Poisson-Darboux equation for negative values of the parameter | 1954-01-01 | Paper |
| The Euler-Poisson-Darboux Equation in the Exceptional Cases | 1954-01-01 | Paper |
| The Fundamental Group of the Principal Component of a Commutative Banach Algebra | 1953-01-01 | Paper |
