Marc Pouzet
Institut national de recherche en sciences et technologies du numérique(FR)École Normale Supérieure - PSL(FR)Département d'Informatique(FR)
Publications by Year
Research Areas
Embedded Systems Design Techniques, Parallel Computing and Optimization Techniques, Formal Methods in Verification, Real-Time Systems Scheduling, Logic, programming, and type systems
Most-Cited Works
- → Synchronous Kahn networks(1996)130 cited
- → A conservative extension of synchronous data-flow with state machines(2005)104 cited
- → ReactiveML(2005)86 cited
- → N -synchronous Kahn networks(2006)76 cited
- → Zélus(2013)73 cited
- → Clock-directed modular code generation for synchronous data-flow languages(2008)70 cited
- → Clocks as First Class Abstract Types(2003)67 cited