Concepedia

Author

Sylvain Lombardy

Also Known As

Lombardy Sylvain, Lombardy, Sylvain, SYLVAIN LOMBARDY, Sylvain Lombardy

70

Publications

601

Citations

13

H-Index

9

Concepts

All Affiliations

SL

About

Sylvain Lombardy is an author at Centre National de la Recherche Scientifique specializing in formal methods, formal verification, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

101

2

Computer Science

3

3

101

3

Automated Reasoning

3

3

101

4

Computational Complexity

2

2

88

5

Discrete Mathematics

1

1

61

Sylvain Lombardy

×

9

Publications

296

Citations

9

H-Index

YearCitations

Page 1