Concepedia

Matthias Radestock

MR

2

Publications

29

Citations

2

H-Index

1996

Active since

Affiliations

Saft (France)(Current)

Matthias Radestock is an author at Saft (France) specializing in formal verification, automated reasoning, and engineering.

Top concepts

EngineeringFormal MethodsAutomated ReasoningFormal VerificationLanguageSemanticsLinguisticsSoftware DesignSystem SoftwareComputer Science

Publications per year

1996–2005

2

Publications

2

A Reflective Higher-order Calculus

Lucius Gregory Meredith, Matthias Radestock · Electronic Notes in Theoretical Computer Science · 2005 · 19 citations · Full text

Engineering, Foundational Calculus, Semantics +18

Formalizing System Structure

Matthias Radestock, Susan Eisenbach · International Workshop on Software Specification and Design · 1996 · 10 citations

Engineering, Well-founded Semantics, System Structure +16

Rows per page

1–2 of 2