Marc Pouzet

2008
23	EE	Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet: Abstraction of Clocks in Synchronous Data-Flow Systems. APLAS 2008: 237-254
22	EE	Gwenaël Delaval, Alain Girault, Marc Pouzet: A type system for the automatic distribution of higher-order synchronous dataflow programs. LCTES 2008: 101-110
21	EE	Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet: Clock-directed modular code generation for synchronous data-flow languages. LCTES 2008: 121-130
20	EE	Louis Mandel, Marc Pouzet: ReactiveML, un langage fonctionnel pour la programmation réactive. Technique et Science Informatiques 27(9-10): 1097-1128 (2008)
2007
19	EE	Sébastien Labbé, Jean-Pierre Gallois, Marc Pouzet: Slicing Communicating Automata Specifications for Efficient Model Reduction. ASWEC 2007: 191-200
2006
18	EE	Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet: Mixing signals and modes in synchronous data-flow systems. EMSOFT 2006: 73-82
17	EE	Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet: N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems. POPL 2006: 180-193
16	EE	Alain Girault, Xavier Nicollin, Marc Pouzet: Automatic rate desynchronization of embedded reactive programs. ACM Trans. Embedded Comput. Syst. 5(3): 687-717 (2006)
15	EE	Florence Maraninchi, Alain Girault, Marc Pouzet: Preface. Electr. Notes Theor. Comput. Sci. 153(4): 1-2 (2006)
2005
14	EE	Jean-Louis Colaço, Bruno Pagano, Marc Pouzet: A conservative extension of synchronous data-flow with state machines. EMSOFT 2005: 173-182
13	EE	Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet: Synchronization of periodic clocks. EMSOFT 2005: 339-342
12	EE	Louis Mandel, Marc Pouzet: ReactiveML: a reactive extension to ML. PPDP 2005: 82-93
2004
11	EE	Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet: Towards a higher-order synchronous data-flow language. EMSOFT 2004: 230-239
10	EE	Jean-Louis Colaço, Marc Pouzet: Type-based initialization analysis of a synchronous dataflow language. STTT 6(3): 245-255 (2004)
2003
9	EE	Jean-Louis Colaço, Marc Pouzet: Clocks as First Class Abstract Types. EMSOFT 2003: 134-155
2002
8	EE	Jean-Louis Colaço, Marc Pouzet: Type-Based Initialisation Analysis of a Synchronous Data-Flow Language. Electr. Notes Theor. Comput. Sci. 65(5): (2002)
2001
7	EE	Pascal Cuoq, Marc Pouzet: Modular Causality in a Synchronous Stream Language. ESOP 2001: 237-251
6		Pascal Cuoq, Marc Pouzet: Causalité modulaire dans un langage de flots synchrone. JFLA 2001: 113-128
2000
5	EE	Grégoire Hamon, Marc Pouzet: Modular resetting of synchronous data-flow programs. PPDP 2000: 289-300
1998
4	EE	Paul Caspi, Marc Pouzet: A Co-iterative Characterization of Synchronous Stream Functions. Electr. Notes Theor. Comput. Sci. 11: (1998)
1996
3		Paul Caspi, Marc Pouzet: Synchronous Kahn Networks. ICFP 1996: 226-238
1995
2		Marc Pouzet: The Program Compaction Revisited: the Functional Framework. Euro-Par 1995: 441-456
1994
1		Marc Pouzet: Fine Grain Parallelisation of Functional Programs for VLIW or Super-scalar Architectures. Applications in Parallel and Distributed Computing 1994: 195-204

Coauthor Index

1	Dariusz Biernacki	[21]
2	Paul Caspi	[3] [4]
3	Albert Cohen	[13] [17] [23]
4	Jean-Louis Colaço	[8] [9] [10] [11] [14] [18] [21]
5	Pascal Cuoq	[6] [7]
6	Gwenaël Delaval	[22]
7	Marc Duranton	[13] [17]
8	Christine Eisenbeis	[13] [17]
9	Jean-Pierre Gallois	[19]
10	Alain Girault	[11] [15] [16] [22]
11	Grégoire Hamon	[5] [11] [18] [21]
12	Sébastien Labbé	[19]
13	Louis Mandel	[12] [20] [23]
14	Florence Maraninchi	[15]
15	Xavier Nicollin	[16]
16	Bruno Pagano	[14]
17	Claire Pagetti	[13] [17]
18	Florence Plateau	[13] [17] [23]

Colors in the list of coauthors