| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5480560 | 2006-08-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4785535 | 2003-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3988274 | 1992-06-28 | Paper |
| From logic design to logic programming. Theorem proving techniques and P- functions | 1987-01-01 | Paper |
| Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches to the Same Activity | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3758257 | 1986-01-01 | Paper |
| P-functions and Boolean matrix factorization. A unified approach for wired, programmed and microprogrammed implementations of discrete algorithms | 1984-01-01 | Paper |
| A Matrix Formalism for Asynchronous Implementation of Algorithms | 1984-01-01 | Paper |
| Synthesis and Asynchronous Implementation of Algorithms Using a Generalized P-Function Concept | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3703805 | 1983-01-01 | Paper |
| Synthesis and Optimization of Programs by Means of P-Functions | 1982-01-01 | Paper |
| Boolean calculus of differences | 1981-01-01 | Paper |
| Universal algorithms for evaluating Boolean functions | 1981-01-01 | Paper |
| P-functions: A new tool for the analysis and synthesis of binary programs | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3926498 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3926499 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3887359 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3922160 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3922161 | 1980-01-01 | Paper |
| Discrete function expansions in integer powers | 1979-01-01 | Paper |
| Encoding of parallel program schemata by vector addition systems | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3888526 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3888987 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3888885 | 1978-01-01 | Paper |
| Meet and Join Derivatives and Their Use in Switching Theory | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4166695 | 1978-01-01 | Paper |
| Logic Properties of Unate Discrete and Switching Functions | 1977-01-01 | Paper |
| Difference operators and extended truth vectors for discrete functions | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3867751 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4119129 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4121836 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4121838 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4121839 | 1974-01-01 | Paper |
| Boolean Differential Calculus and its Application to Switching Theory | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4121833 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4121834 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4121837 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4767242 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4767243 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4770330 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4099530 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5181635 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5672829 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5653924 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5636379 | 1969-01-01 | Paper |
