| Publication | Date of Publication | Type |
|---|
| Vectorized symbolic model checking of computation tree logic for sequential machine verification | 2024-04-29 | Paper |
| Formal verification of speed-dependent asynchronous circuits using symbolic model checking of Branching Time Regular Temporal Logic | 2024-04-29 | Paper |
Redundant CORDIC methods with a constant scale factor for sine and cosine computation
IEEE Transactions on Computers | 2018-09-14 | Paper |
| scientific article; zbMATH DE number 1222598 (Why is no real title available?) | 2004-03-09 | Paper |
Tree-shellability of Boolean functions
Theoretical Computer Science | 2002-03-03 | Paper |
Hardness of indentifying the minimum ordered binary decision diagram
Discrete Applied Mathematics | 2001-07-29 | Paper |
| scientific article; zbMATH DE number 1555979 (Why is no real title available?) | 2001-01-24 | Paper |
| scientific article; zbMATH DE number 1404225 (Why is no real title available?) | 2000-02-20 | Paper |
| scientific article; zbMATH DE number 1398051 (Why is no real title available?) | 2000-02-03 | Paper |
| scientific article; zbMATH DE number 1398052 (Why is no real title available?) | 2000-02-03 | Paper |
| scientific article; zbMATH DE number 1398055 (Why is no real title available?) | 2000-02-03 | Paper |
| scientific article; zbMATH DE number 1398090 (Why is no real title available?) | 2000-02-03 | Paper |
| scientific article; zbMATH DE number 1395309 (Why is no real title available?) | 2000-01-30 | Paper |
| scientific article; zbMATH DE number 1380813 (Why is no real title available?) | 1999-12-20 | Paper |
| scientific article; zbMATH DE number 1379304 (Why is no real title available?) | 1999-12-15 | Paper |
| scientific article; zbMATH DE number 1322328 (Why is no real title available?) | 1999-11-08 | Paper |
| scientific article; zbMATH DE number 1354131 (Why is no real title available?) | 1999-10-31 | Paper |
| scientific article; zbMATH DE number 1088264 (Why is no real title available?) | 1998-11-04 | Paper |
Size of ordered binary decision diagrams representing threshold functions
Theoretical Computer Science | 1998-07-22 | Paper |
Square rooting by iterative multiply-additions
Information Processing Letters | 1997-02-28 | Paper |
| scientific article; zbMATH DE number 177521 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 177267 (Why is no real title available?) | 1993-05-18 | Paper |
\(\infty\)-regular temporal logic and its model checking problem
Theoretical Computer Science | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 4081472 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4049036 (Why is no real title available?) | 1987-01-01 | Paper |
High-Speed VLSI Multiplication Algorithm with a Redundant Binary Addition Tree
IEEE Transactions on Computers | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3898774 (Why is no real title available?) | 1984-01-01 | Paper |
A longest common subsequence algorithm suitable for similar text strings
Acta Informatica | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3806980 (Why is no real title available?) | 1982-01-01 | Paper |
Organization of quasi-consecutive retrieval files
Information Systems | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3455155 (Why is no real title available?) | 1974-01-01 | Paper |
Power Minimization Problems of Logic Networks
IEEE Transactions on Computers | 1974-01-01 | Paper |
Controllability of sequential machines
Information and Control | 1972-01-01 | Paper |
Finite memory machines satisfying the lower bound of memory
Information and Control | 1972-01-01 | Paper |
The upper bound of K in K-lossless sequential machines
Information and Control | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3391832 (Why is no real title available?) | 1971-01-01 | Paper |
Two-state two-symbol probabilistic automata
Information and Control | 1970-01-01 | Paper |
On Finite-Memory Sequential Machines
IEEE Transactions on Computers | 1970-01-01 | Paper |
Some algebraic properties of sets of stochastic matrices
Information and Control | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3314811 (Why is no real title available?) | 1969-01-01 | Paper |
On Autonomous Logic Nets of Threshold Elements
IEEE Transactions on Computers | 1968-01-01 | Paper |
A Theory of Completely Monotonic Functions and its Applications to Threshold Logic
IEEE Transactions on Computers | 1968-01-01 | Paper |
Realization of Arbitrary Logic Functions by Completely Monotonic Functions and Its Applications to Threshold Logic
IEEE Transactions on Computers | 1968-01-01 | Paper |
A Lower Bound of the Number of Threshold Functions
IEEE Transactions on Electronic Computers | 1965-01-01 | Paper |
