Concepedia

Author

David Rydeheard

University of Manchester

Also Known As

CTCS 1995 Cambridge, D. E. Rydeheard, D. Rydeheard, DAVID E. RYDEHEARD, David E. Rydeheard, David Rydeheard, Rusmawati, Yanti, Rydeheard, David

53

Publications

980

Citations

12

H-Index

19

Concepts

All Affiliations

University of Manchester
DR

About

David Rydeheard is an author at University of Manchester specializing in automated reasoning, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

54

2

Computer Science

2

2

54

3

Data Science

1

1

35

4

Systems Engineering

1

1

35

5

Data Mining

1

1

35

David Rydeheard

×

3

Publications

208

Citations

3

H-Index

YearCitations

Page 1