Concepedia

Author

Lars Birkedal

Aarhus UniversityORCID

Also Known As

Birkedal, L, Birkedal, L., Birkedal, Lars, L. Birkedal, LARS BIRKEDAL, Lars Birkedal

272

Publications

6.3K

Citations

42

H-Index

74

Concepts

All Affiliations

Aarhus UniversityIT University of CopenhagenMax Planck Institute for Software SystemsCarnegie Mellon UniversityUniversity of Copenhagen
LB

About

Lars Birkedal is an author at Aarhus University specializing in formal methods, engineering, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

32

70

3.6K

2

Computer Engineering

10

10

552

3

Language Studies

6

6

169

4

Cognitive Science

3

3

114

5

Social Sciences

2

2

95

Lars Birkedal

×

108

Publications

4.8K

Citations

37

H-Index

YearCitations

Page 1