| Multi-core scalability-impacting compiler optimizations | 0 | 0.34 | 2010 |
| AsAP: An Asynchronous Array of Simple Processors | 15 | 0.99 | 2008 |
| Architecture and Evaluation of an Asynchronous Array of Simple Processors | 3 | 0.49 | 2008 |
| AsAP: A Fine-Grained Many-Core Platform for DSP Applications | 14 | 0.88 | 2007 |
| An optimal asynchronous scheduling algorithm for software cache consistency | 3 | 0.59 | 1994 |
| Some experiments with a completion theorem power | 4 | 0.45 | 1992 |
| Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented! | 9 | 3.73 | 1990 |
| Communications Software Tools | 0 | 0.34 | 1983 |
