| Publication | Date of Publication | Type |
|---|
The Probability Spaces of QuickSort
(available as arXiv preprint) | 2025-01-01 | Paper |
On the design of IEEE compliant floating point units
IEEE Transactions on Computers | 2018-07-09 | Paper |
Decimal adjustment of long numbers in constant time
Information Processing Letters | 2016-06-01 | Paper |
Correct Hardware Design and Verification Methods
Lecture Notes in Computer Science | 2010-02-05 | Paper |
Proving the correctness of client/server software
Sādhanā | 2009-11-23 | Paper |
Pervasive Theory of Memory
Lecture Notes in Computer Science | 2009-11-12 | Paper |
On the correctness of upper layers of automotive systems
Formal Aspects of Computing | 2009-05-27 | Paper |
| Pervasive verification of distributed real-time systems | 2008-03-06 | Paper |
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification
Program Analysis and Compilation, Theory and Practice | 2007-09-24 | Paper |
Correct Hardware Design and Verification Methods
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Correct Hardware Design and Verification Methods
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Theorem Proving in Higher Order Logics
Lecture Notes in Computer Science | 2006-07-06 | Paper |
| scientific article; zbMATH DE number 2165684 (Why is no real title available?) | 2005-05-06 | Paper |
| scientific article; zbMATH DE number 2090629 (Why is no real title available?) | 2004-08-12 | Paper |
To Booth or not to Booth
Integration | 2003-01-22 | Paper |
| scientific article; zbMATH DE number 1485863 (Why is no real title available?) | 2000-08-08 | Paper |
| scientific article; zbMATH DE number 1421020 (Why is no real title available?) | 2000-03-22 | Paper |
On the cost-effectiveness of PRAMs
Acta Informatica | 2000-01-04 | Paper |
| scientific article; zbMATH DE number 1216202 (Why is no real title available?) | 1998-10-29 | Paper |
| scientific article; zbMATH DE number 953282 (Why is no real title available?) | 1996-12-01 | Paper |
The complexity of simple computer architectures
Lecture Notes in Computer Science | 1995-11-27 | Paper |
Autonomous theory building systems
Annals of Operations Research | 1995-08-27 | Paper |
| scientific article; zbMATH DE number 549953 (Why is no real title available?) | 1994-06-13 | Paper |
A note on bitonic sorting
Information Processing Letters | 1994-04-05 | Paper |
k versus k+1 index registers and modifiable versus non-modifiable programs
Information and Computation | 1993-01-17 | Paper |
| scientific article; zbMATH DE number 4117868 (Why is no real title available?) | 1989-01-01 | Paper |
Bounds for Width Two Branching Programs
SIAM Journal on Computing | 1986-01-01 | Paper |
Coding Strings by Pairs of Strings
SIAM Journal on Algebraic Discrete Methods | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3900567 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3900790 (Why is no real title available?) | 1984-01-01 | Paper |
Two nonlinear lower bounds for on-line computations
Information and Control | 1984-01-01 | Paper |
On heads versus tapes
Theoretical Computer Science | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3843145 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3868616 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3868617 (Why is no real title available?) | 1983-01-01 | Paper |
An Efficient General-Purpose Parallel Computer
Journal of the ACM | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3825195 (Why is no real title available?) | 1983-01-01 | Paper |
On-line simulation of k + 1 tapes by k tapes requires nonlinear time
Information and Control | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3757704 (Why is no real title available?) | 1982-01-01 | Paper |
On time versus space. II
Journal of Computer and System Sciences | 1981-01-01 | Paper |
An information-theoretic approach to time bounds for on-line computation
Journal of Computer and System Sciences | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3878362 (Why is no real title available?) | 1981-01-01 | Paper |
On alternation
Acta Informatica | 1980-01-01 | Paper |
On alternation. II. A graph theoretic approach to determinism versus nondeterminism
Acta Informatica | 1980-01-01 | Paper |
On time hierarchies
Journal of Computer and System Sciences | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3646282 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3698385 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3619319 (Why is no real title available?) | 1979-01-01 | Paper |
Time-space trade-offs in a pebble game
Acta Informatica | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3594649 (Why is no real title available?) | 1978-01-01 | Paper |
A 2.5n-Lower Bound on the Combinational Complexity of Boolean Functions
SIAM Journal on Computing | 1977-01-01 | Paper |
On Time Versus Space
Journal of the ACM | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3565023 (Why is no real title available?) | 1977-01-01 | Paper |
Space bounds for a game on graphs
Mathematical Systems Theory | 1977-01-01 | Paper |
Correction to “Space Bounds for a Game on Graphs” by Wolfgang J. Paul, Robert Endre Tarjan and James R. Celoni
Mathematical Systems Theory | 1977-01-01 | Paper |
Realizing Boolean functions on disjoint sets of variables
Theoretical Computer Science | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3568726 (Why is no real title available?) | 1976-01-01 | Paper |
Boolesche Minimalpolynome und Überdeckungsprobleme
Acta Informatica | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3566172 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3425130 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3441617 (Why is no real title available?) | 1973-01-01 | Paper |
