Concepedia

Author

Rodolphe Lepigre

Also Known As

Blanqui, Frédéric, Lepigre, Rodolphe, Rodolphe Lepigre

17

Publications

202

Citations

7

H-Index

20

Concepts

All Affiliations

RL

About

Rodolphe Lepigre is an author at Max Planck Institute for Software Systems specializing in formal specification, formal methods, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

131

2

Computer Science

2

2

131

3

Computer Engineering

1

1

74

4

Asynchronous Systems

1

1

57

5

Compilers

1

1

57

Rodolphe Lepigre

×

3

Publications

156

Citations

3

H-Index

YearCitations

Page 1