Concepedia

Author

Sylvain Lombardy

Centre National de la Recherche Scientifique

Also Known As

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

70

Publications

601

Citations

13

H-Index

9

Concepts

All Affiliations

Centre National de la Recherche ScientifiqueUniversité Paris CitéLaboratoire d'Informatique Algorithmique: Fondements et ApplicationsTélécom ParisLaboratoire Traitement et Communication de l’Information
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