Concepedia

Author

Stéphane Lengrand

University of St Andrews

Also Known As

Lengrand, S., Lengrand, Stéphane, Lengrand, Stéphane J. E., S. Lengrand, Stephane Lengrand, Stéphane Lengr, Stéphane Lengrand

29

Publications

345

Citations

11

H-Index

9

Concepts

All Affiliations

University of St AndrewsUniversité Paris CitéCentre National de la Recherche ScientifiqueÉcole Normale Supérieure de Lyon
SL

About

Stéphane Lengrand is an author at University of St Andrews specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

75

2

Computer Science

3

3

75

3

Mathematical Foundations

1

1

23

4

Semantics

1

1

39

5

Theory Of Computing

1

1

23

Stéphane Lengrand

×

7

Publications

188

Citations

7

H-Index

YearCitations

Page 1