Concepedia

Author

Rose Kunkel

University of California San DiegoORCID

Also Known As

R. Kunkel, Rose Kunkel

7

Publications

66

Citations

4

H-Index

11

Concepts

All Affiliations

University of California San Diego
RK

About

Rose Kunkel is an author at University of California San Diego specializing in automated reasoning, computer science, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

53

2

Computer Science

2

2

53

3

Automated Reasoning

2

2

53

4

Data Science

1

1

34

5

Natural Language Processing

1

1

34

Rose Kunkel

×

2

Publications

53

Citations

2

H-Index

YearCitations

Page 1