Pierre-Alain Reynier

Author

Centre National de la Recherche Scientifique

Also Known As

Jungers, Raphaël, Kovács, Laura 1980-, Nicolas Reynier, P. Reynier, P.-A. Reynier, Pierre-Alain Reynier, Pierre-alain Reynier, Potapov, Igor, Reynier, Pierre-Alain

107

Publications

807

Citations

H-Index

Concepts

All Affiliations

Centre National de la Recherche Scientifique Aix-Marseille Université École Normale Supérieure Paris-Saclay Laboratoire Bordelais de Recherche en Informatique Laboratoire d’Informatique et Systèmes

About

Pierre-Alain Reynier is an author at Centre National de la Recherche Scientifique specializing in engineering, formal verification, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	9	9	296
2	Computer Science	7	7	201
3	Linguistics	4	4	125
4	Computer Engineering	3	3	128
5	Language Studies	2	2	89

Pierre-Alain Reynier

Publications

317

Citations

H-Index

Page 1

	Year	Citations

Page 1