Concepedia

Author

Pierre-Louis Curien

Centre National de la Recherche Scientifique

Also Known As

Baralic, Djordje, Curien, P. -L., Curien, Pierre-Louis, G Longo, Jovana Obradović, Laplante-Anfossi, Guillaume, P -L. Curien, P Curien, P-L Curien, P. -L. Curien

161

Publications

3.3K

Citations

27

H-Index

33

Concepts

All Affiliations

Centre National de la Recherche ScientifiqueUniversité Paris CitéÉcole Normale Supérieure - PSLInstitut national de recherche en sciences et technologies du numériqueLaboratory Preuves, Programmes et Systèmes
PC

About

Pierre-Louis Curien is an author at Centre National de la Recherche Scientifique specializing in formal methods, engineering, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

14

17

1.4K

2

Computer Science

12

13

1.2K

3

Language Studies

7

7

259

4

Linguistics

7

7

259

5

Artificial Intelligence

2

2

127

Pierre-Louis Curien

×

28

Publications

2.1K

Citations

20

H-Index

YearCitations

Page 1