Concepedia

Author

Leonardo Lima

Laboratoire d'Informatique de l'École PolytechniqueORCID

Also Known As

Leonardo Lima

10

Publications

50

Citations

4

H-Index

9

Concepts

All Affiliations

Laboratoire d'Informatique de l'École PolytechniqueÉcole Polytechnique
LL

About

Leonardo Lima is an author at Laboratoire d'Informatique de l'École Polytechnique specializing in formal methods, automated reasoning, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

24

2

Language Studies

1

1

11

3

Computer Science

1

1

11

4

Linguistics

1

1

11

5

Semantics

1

1

11

Leonardo Lima

×

2

Publications

24

Citations

2

H-Index

YearCitations

Page 1