Articles in Scholarly Journals [Incomplete List]

1. ACM SIGPLAN Notices, vol. 41, no. 1, pp. 180–193, 2006
2. Automatic rate desynchronization of embedded reactive programs
   ACM Transactions on Embedded Computing Systems, vol. 5, no. 3, pp. 687–717, 2006
3. Type-based initialization analysis of a synchronous dataflow language
   International Journal on Software Tools for Technology Transfer, vol. 6, no. 3, pp. 245–255, 2004
4. Type-based Initialization Analysis of a Synchronous Data-flow Language
   Electronic Notes in Theoretical Computer Science, vol. 65, no. 5, pp. 65–78, 2002
5. A Co-iterative Characterization of Synchronous Stream Functions
   Electronic Notes in Theoretical Computer Science, vol. 11, pp. 1–21, 1998