Concepedia

Author

Rodolphe Lepigre

Max Planck Institute for Software SystemsORCID

Also Known As

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

17

Publications

202

Citations

7

H-Index

20

Concepts

All Affiliations

Max Planck Institute for Software SystemsUniversity of Cambridge
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