| Publication | Date of Publication | Type |
|---|
| On the design of IEEE compliant floating point units | 2018-07-09 | Paper |
| Decimal adjustment of long numbers in constant time | 2016-06-01 | Paper |
| Correct Hardware Design and Verification Methods | 2010-02-05 | Paper |
| Proving the correctness of client/server software | 2009-11-23 | Paper |
| Pervasive Theory of Memory | 2009-11-12 | Paper |
| On the correctness of upper layers of automotive systems | 2009-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5447370 | 2008-03-06 | Paper |
| Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification | 2007-09-24 | Paper |
| Correct Hardware Design and Verification Methods | 2006-10-20 | Paper |
| Correct Hardware Design and Verification Methods | 2006-10-20 | Paper |
| Theorem Proving in Higher Order Logics | 2006-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4675613 | 2005-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813096 | 2004-08-12 | Paper |
| To Booth or not to Booth | 2003-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494691 | 2000-08-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4946042 | 2000-03-22 | Paper |
| On the cost-effectiveness of PRAMs | 2000-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4215826 | 1998-10-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4718229 | 1996-12-01 | Paper |
| The complexity of simple computer architectures | 1995-11-27 | Paper |
| Autonomous theory building systems | 1995-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4287470 | 1994-06-13 | Paper |
| A note on bitonic sorting | 1994-04-05 | Paper |
| \(k\) versus \(k+1\) index registers and modifiable versus non-modifiable programs | 1993-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4732119 | 1989-01-01 | Paper |
| Bounds for Width Two Branching Programs | 1986-01-01 | Paper |
| Coding Strings by Pairs of Strings | 1985-01-01 | Paper |
| On heads versus tapes | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3679010 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3679216 | 1984-01-01 | Paper |
| Two nonlinear lower bounds for on-line computations | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3313267 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3334988 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3334989 | 1983-01-01 | Paper |
| An Efficient General-Purpose Parallel Computer | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3670587 | 1983-01-01 | Paper |
| On-line simulation of k + 1 tapes by k tapes requires nonlinear time | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3940846 | 1982-01-01 | Paper |
| On time versus space. II | 1981-01-01 | Paper |
| An information-theoretic approach to time bounds for on-line computation | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3343441 | 1981-01-01 | Paper |
| On alternation | 1980-01-01 | Paper |
| On alternation. II. A graph theoretic approach to determinism versus nondeterminism | 1980-01-01 | Paper |
| On time hierarchies | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3051378 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3891768 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4181967 | 1979-01-01 | Paper |
| Time-space trade-offs in a pebble game | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4160409 | 1978-01-01 | Paper |
| A $2.5n$-Lower Bound on the Combinational Complexity of Boolean Functions | 1977-01-01 | Paper |
| On Time Versus Space | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4137204 | 1977-01-01 | Paper |
| Space bounds for a game on graphs | 1977-01-01 | Paper |
| Correction to “Space Bounds for a Game on Graphs” by Wolfgang J. Paul, Robert Endre Tarjan and James R. Celoni | 1977-01-01 | Paper |
| Realizing Boolean functions on disjoint sets of variables | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4141274 | 1976-01-01 | Paper |
| Boolesche Minimalpolynome und Überdeckungsprobleme | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4138138 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3212657 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4766586 | 1973-01-01 | Paper |
