32
Publications
813
Citations
19
H-Index
1992
Active since
Renate A. Schmidt is an author at University of Manchester specializing in engineering, automated reasoning, and computer science.
Top concepts
EngineeringAutomated ReasoningFormal MethodsComputer ScienceSemanticsFormal VerificationSemantic WebData ScienceVerificationData Integration
Publications per year
1992–2020
32
32
On evaluating decision procedures for modal logic
Ullrich Hustadt, Renate A. Schmidt · Max Planck Digital Library · 1997 · 66 citations · Full text
Rows per page
1–5 of 32