Concepedia

Author

Didier Lime

Centre National de la Recherche ScientifiqueORCID

Also Known As

D. Lime, DIDIER LIME, Didier Lime, Kulkarni, Shantanu, Lime, Didier, Louis-Marie Traonouez, Roux, Olivier Henri

138

Publications

2.1K

Citations

23

H-Index

40

Concepts

All Affiliations

Centre National de la Recherche ScientifiqueÉcole Centrale de NantesLaboratoire des Sciences du Numérique de NantesData61Nantes Université
DL

About

Didier Lime is an author at Centre National de la Recherche Scientifique specializing in engineering, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

14

15

551

2

Computer Science

12

13

476

3

Computer Engineering

3

3

86

4

Medicine

1

1

58

5

Biology

1

1

58

Didier Lime

×

15

Publications

551

Citations

14

H-Index

YearCitations

Page 1