Concepedia

Author

Karen Seidel

Oxford Research Group

Also Known As

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

23

Publications

673

Citations

7

H-Index

21

Concepts

All Affiliations

Oxford Research GroupUniversity of Oxford
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