Concepedia

Author

Karen Seidel

Also Known As

K Seidel, K. Seidel, Karen Seidel, Seidel, Karen

23

Publications

673

Citations

7

H-Index

21

Concepts

All Affiliations

KS

About

Karen Seidel is an author at Oxford Research Group specializing in automated reasoning, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

463

2

Computer Science

2

2

463

3

Health Sciences

1

1

19

4

Medicine

1

1

19

5

Data Science

1

1

301

Karen Seidel

×

5

Publications

579

Citations

5

H-Index

YearCitations

Page 1