Search the dblp DataBase
André Thayse: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Dominique Snyers, André Thayse
Algorithmic State Machine Design and Automatic Theorem Proving: Dual Approaches to the Same Activity. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Computers, 1986, v:35, n:10, pp:853-861 [Journal] - André Thayse
Meet and Join Derivatives and Their Use in Switching Theory. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Computers, 1978, v:27, n:8, pp:713-720 [Journal] - André Thayse
P-Functions: A New Tool for the Analysis and Synthesis of Binary Programs. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Computers, 1981, v:30, n:2, pp:126-134 [Journal] - André Thayse
Synthesis and Optimization of Programs by Means of P-Funktions. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Computers, 1982, v:31, n:1, pp:34-40 [Journal] - André Thayse
Synthesis and Asynchronous Implementation of Algorithms Using a Generalized P-Function Concept. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Computers, 1984, v:33, n:10, pp:861-868 [Journal] - André Thayse
A Matrix Formalism for Asynchronous Implementation of Algorithms. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Computers, 1984, v:33, n:4, pp:289-300 [Journal] - André Thayse, Jean-Pierre Deschamps
Logic Properties of Unate Discrete and Switching Functions. [Citation Graph (0, 0)][DBLP]
IEEE Trans. Computers, 1977, v:26, n:12, pp:1202-1212 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002