Concepedia

Author

Daniel Luchaup

Also Known As

Daniel Luchaup

11

Publications

549

Citations

9

H-Index

32

Concepts

All Affiliations

DL

About

Daniel Luchaup is an author at University of Wisconsin–Madison specializing in computer science, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

7

7

498

2

Computer Engineering

7

7

498

3

Computer Science

7

7

498

4

Data Science

2

2

38

5

Systems Engineering

1

1

115

Daniel Luchaup

×

7

Publications

498

Citations

7

H-Index

YearCitations

Page 1