| Synchronous Programming Techniques for Embedded Systems: Present and Future | 0 | 0.34 | 2001 |
| Panel: The Next HDL: If C++ is the Answer, What was the Question? | 0 | 0.34 | 2001 |
| Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings | 38 | 6.00 | 2001 |
| Esterel: a formal method applied to avionic software development | 20 | 1.98 | 2000 |
| The foundations of Esterel | 253 | 14.71 | 2000 |
| Esterel and Jazz: Two Synchronous Languages for Circuit Design (Abstract) | 0 | 0.34 | 1999 |
| Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs | 1 | 0.35 | 1997 |
| Preemption in Concurrent Systems | 55 | 4.41 | 1993 |
| The ESTEREL synchronous programming language: design, semantics, implementation | 882 | 86.29 | 1992 |
| Incremental development of an HDLC entity in Esterel | 7 | 1.23 | 1991 |
| Concurrent Abstract Machines (Abstract) | 0 | 0.34 | 1991 |
| Real Time Programming: Special Purpose or General Purpose Languages | 43 | 7.56 | 1989 |
| A Survey of Some Syntactic Results in the lambda-Calculus | 1 | 7.39 | 1979 |
| Stable Models of Typed lambda-Calculi | 87 | 11.08 | 1978 |
| Calculs Ascendants du Programme d'Ackermann: Analyse du Programme de J. Arsac | 0 | 0.34 | 1977 |
| Program Equivalence and Canonical Forms in Stable Discrete Interpretations | 5 | 8.86 | 1976 |
| Bottom-Up Computation of Recursive Programs | 10 | 1.48 | 1976 |
