Concepedia

Author

Léo Stefanesco

Aarhus UniversityORCID

Also Known As

Léo Stefanesco, Stefanesco, L\'eo, Stefanesco, Léo

27

Publications

176

Citations

7

H-Index

14

Concepts

All Affiliations

Aarhus UniversityUniversité Paris CitéCentre National de la Recherche ScientifiqueKU Leuven
LS

About

Léo Stefanesco is an author at Aarhus University specializing in formal verification, automated reasoning, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

78

2

Computer Science

3

3

78

3

Language Studies

2

2

63

4

Linguistics

2

2

63

5

Compilers

1

1

15

Léo Stefanesco

×

4

Publications

88

Citations

4

H-Index

YearCitations

Page 1