Concepedia

Femke van Raamsdonk

FV

7

Publications

157

Citations

7

H-Index

1997

Active since

Affiliations

Vrije Universiteit Amsterdam(Current)

Femke van Raamsdonk is an author at Vrije Universiteit Amsterdam specializing in formal methods, engineering, and formal verification.

Top concepts

Publications per year

1997–2013

7

Publications

7

Perpetual Reductions inλ-Calculus

Femke van Raamsdonk, Paula Severi, Morten Heine Sørensen et al. · Information and Computation · 1999 · 57 citations · Full text

, , +2

Teaching logic using a state-of-the-art proof assistant

Maxim Hendriks, Cezary Kaliszyk, Femke van Raamsdonk et al. · SHILAP Revista de lepidopterología · 2008 · 33 citations · Full text

Teaching logic using a state-of-the-art proof assistant

Cezary Kaliszyk, Freek Wiedijk, Maxim Hendriks et al. · Radboud Repository (Radboud University) · 2007 · 19 citations · Full text

Proceedings of the 24th International Conference on Rewriting Techniques and Applications (RTA 2013)

Femke van Raamsdonk · Rewriting Techniques and Applications · 2013 · 14 citations

, , +7

Dynamic Dependency Pairs for Algebraic Functional Systems

Cynthia Kop, Femke van Raamsdonk · Logical Methods in Computer Science · 2012 · 12 citations · Full text

, , +12

Rows per page

1–5 of 7