Concepedia

Author

Karl Palmskog

The University of Texas at Austin

Also Known As

Karl Palmskog, Moore, Brandon, Palmskog, Karl, de Almeida Borges, Ana

49

Publications

490

Citations

8

H-Index

21

Concepts

All Affiliations

The University of Texas at AustinUniversity of Illinois Urbana-Champaign
KP

About

Karl Palmskog is an author at The University of Texas at Austin specializing in formal verification, automated reasoning, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

342

2

Computer Science

3

3

342

3

Systems Engineering

2

2

300

4

Computer Engineering

1

1

282

5

Data Science

1

1

18

Karl Palmskog

×

3

Publications

342

Citations

3

H-Index

YearCitations

Page 1