Concepedia

David Rydeheard

DR

3

Publications

208

Citations

3

H-Index

2008

Active since

Affiliations

University of Manchester(Current)

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

Top concepts

Publications per year

2008–2015

3

Publications

3

Rule Systems for Run-time Monitoring: from EAGLE to RULER

Howard Barringer, David Rydeheard, Klaus Havelund · Journal of Logic and Computation · 2008 · 154 citations · Full text

A pattern-based approach to parametric specification mining

Giles Reger, Howard Barringer, David Rydeheard · 2013 · 35 citations

, , +25

A bi-intuitionistic modal logic: Foundations and automation

John G. Stell, Renate A. Schmidt, David Rydeheard · Journal of Logical and Algebraic Methods in Programming · 2015 · 19 citations · Full text

, , +12

Rows per page

1–3 of 3