Boolean Differential Calculus and its Application to Switching Theory. - André Thayse; Marc Davio (IEEE Trans. Computers, 1973)

Difference operators and extended truth vectors for discrete functions. - André Thayse (Discret. Math., 1976)

Logic Properties of Unate Discrete and Switching Functions. - André Thayse; Jean-Pierre Deschamps (IEEE Trans. Computers, 1977)

Optimization of multivalued decision algorithms. - André Thayse; Marc Davio; Jean-Pierre Deschamps (MVL, 1978)

Meet and Join Derivatives and Their Use in Switching Theory. - André Thayse (IEEE Trans. Computers, 1978)

Discrete function expansions in integer powers. - André Thayse (Discret. Appl. Math., 1979)

Encoding of parallel program schemata by vector addition systems. - André Thayse (Int. J. Parallel Program., 1979)

Boolean Caclulus of Differences - André Thayse (Springer, 1981)

Universal algorithms for evaluating boolean functions. - André Thayse (Discret. Appl. Math., 1981)

P-Functions: A New Tool for the Analysis and Synthesis of Binary Programs. - André Thayse (IEEE Trans. Computers, 1981)

Synthesis and Optimization of Programs by Means of P-Funktions. - André Thayse (IEEE Trans. Computers, 1982)

P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms - André Thayse (Springer, 1984)

Synthesis and Asynchronous Implementation of Algorithms Using a Generalized P-Function Concept. - André Thayse (IEEE Trans. Computers, 1984)

A Matrix Formalism for Asynchronous Implementation of Algorithms. - André Thayse (IEEE Trans. Computers, 1984)

Algorithmic State Machine Design and Automatic Theorem Proving: Dual Approaches to the Same Activity. - Dominique Snyers; André Thayse (IEEE Trans. Computers, 1986)

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions - Dominique Snyers; André Thayse (Springer, 1987)

From natural language processing to logic for expert systems - a logic based approach to artificial intelligence. - André Thayse (Wiley, 1996)

Reply to Bringsjord and Ferrucci. - André Thayse (Minds Mach., 1998)