Marc Pouzet

	2009
25		Marc Pouzet, Pascal Raymond: Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation. EMSOFT 2009: 215-224
24		Paul Caspi, Jean-Louis Colaço, Léonard Gérard, Marc Pouzet, Pascal Raymond: Synchronous objects with scheduling policies: introducing safe shared memory in lustre. LCTES 2009: 11-20
	2008
23		Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet: Abstraction of Clocks in Synchronous Data-Flow Systems. APLAS 2008: 237-254
22		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		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		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		Sébastien Labbé, Jean-Pierre Gallois, Marc Pouzet: Slicing Communicating Automata Specifications for Efficient Model Reduction. ASWEC 2007: 191-200
	2006
18		Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet: Mixing signals and modes in synchronous data-flow systems. EMSOFT 2006: 73-82
17		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		Alain Girault, Xavier Nicollin, Marc Pouzet: Automatic rate desynchronization of embedded reactive programs. ACM Trans. Embedded Comput. Syst. 5(3): 687-717 (2006)
15		Florence Maraninchi, Alain Girault, Marc Pouzet: Preface. Electr. Notes Theor. Comput. Sci. 153(4): 1-2 (2006)
	2005
14		Jean-Louis Colaço, Bruno Pagano, Marc Pouzet: A conservative extension of synchronous data-flow with state machines. EMSOFT 2005: 173-182
13		Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet: Synchronization of periodic clocks. EMSOFT 2005: 339-342
12		Louis Mandel, Marc Pouzet: ReactiveML: a reactive extension to ML. PPDP 2005: 82-93
	2004
11		Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet: Towards a higher-order synchronous data-flow language. EMSOFT 2004: 230-239
10		Jean-Louis Colaço, Marc Pouzet: Type-based initialization analysis of a synchronous dataflow language. STTT 6(3): 245-255 (2004)
	2003
9		Jean-Louis Colaço, Marc Pouzet: Clocks as First Class Abstract Types. EMSOFT 2003: 134-155
	2002
8		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		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		Grégoire Hamon, Marc Pouzet: Modular resetting of synchronous data-flow programs. PPDP 2000: 289-300
	1998
4		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] [24]
3	Albert Cohen	[13] [17] [23]
4	Jean-Louis Colaço	[8] [9] [10] [11] [14] [18] [21] [24]
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	Léonard Gérard	[24]
11	Alain Girault	[11] [15] [16] [22]
12	Grégoire Hamon	[5] [11] [18] [21]
13	Sébastien Labbé	[19]
14	Louis Mandel	[12] [20] [23]
15	Florence Maraninchi	[15]
16	Xavier Nicollin	[16]
17	Bruno Pagano	[14]
18	Claire Pagetti	[13] [17]
19	Florence Plateau	[13] [17] [23]
20	Pascal Raymond	[24] [25]

Colors in the list of coauthors