Concepedia

Author

Luca Cardelli

Microsoft Research (United Kingdom)ORCID

Also Known As

Belkhouche, Boumediene, Cardelli L, Cardelli Luca, Cardelli, L., Cardelli, Luca, ECOOP 2003 Darmstadt, Emmott, Stephen, Kwiatkowska, M, L Cardelli, L. Cardelli

329

Publications

19.7K

Citations

69

H-Index

206

Concepts

All Affiliations

Microsoft Research (United Kingdom)University of OxfordMicrosoft (United States)IMT School for Advanced Studies LuccaDigital Equipment (Germany)
LC

About

Luca Cardelli is an author at Microsoft Research (United Kingdom) specializing in engineering, computer science, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

47

84

8.7K

2

Language Studies

16

16

2.7K

3

Medicine

16

17

1.6K

4

Management

4

4

179

5

Arts

2

2

113

Luca Cardelli

×

130

Publications

12.6K

Citations

56

H-Index

YearCitations

Page 1