Concepedia

Author

Marc Pouzet

Institut national de recherche en sciences et technologies du numériqueORCID

Also Known As

M Pouzet, M. Pouzet, Marc Pouzet, Pouzet, Marc

130

Publications

1.6K

Citations

20

H-Index

80

Concepts

All Affiliations

Institut national de recherche en sciences et technologies du numériqueUniversité Paris-SudSorbonne UniversitéLaboratoire de Recherche en InformatiqueÉcole Normale Supérieure - PSL
MP

About

Marc Pouzet is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, engineering, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

20

37

1.3K

2

Computer Science

19

33

1.2K

3

Computer Engineering

18

29

1K

4

Language Studies

2

2

31

5

Data Science

2

2

38

Marc Pouzet

×

39

Publications

1.3K

Citations

20

H-Index

YearCitations

Synchronous Kahn networks

Paul Caspi, Marc Pouzet

1996

130

A conservative extension of synchronous data-flow with state machines

Jean-Louis Colaço, Bruno Pagano, Marc Pouzet

2005

104

ReactiveML

Louis Mandel, Marc Pouzet

2005

86

<i>N</i> -synchronous Kahn networks

Albert Cohen, Marc Duranton, Christine Eisenbeis,

2006

76

Zélus

Timothy Bourke, Marc Pouzet

2013

73

Clock-directed modular code generation for synchronous data-flow languages

Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon,

2008

70

Non-standard semantics of hybrid systems modelers

Albert Benveniste, Timothy Bourke, Benoı̂t Caillaud,

Journal of Computer and System Sciences

2011

64

SCADE 6: A formal language for embedded critical software development (invited paper)

Jean-Louis Colaço, Bruno Pagano, Marc Pouzet

2017

61

A Co-iterative Characterization of Synchronous Stream Functions

Paul Caspi, Marc Pouzet

Electronic Notes in Theoretical Computer Science

1998

58

A formally verified compiler for Lustre

Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand,

2017

57

Page 1