Concepedia

Martijn Oostdijk

MO

Statistics

Publications

2

Citations

34

H-Index

2

Active since

2001

Affiliations

Radboud University Nijmegen(Current)

Martijn Oostdijk is an author at Radboud University Nijmegen specializing in computing, computer science, and test oracles.

Publications per year

2001–2003

2

Publications

2

Formal and Efficient Primality Proofs by Use of Computer Algebra Oracles

Olga Caprotti, Martijn Oostdijk · Journal of Symbolic Computation · 2001 · 20 citations · Full text

, , +14

Source code verification of a secure payment applet

Bart Jacobs, Martijn Oostdijk, Martijn Warnier · The Journal of Logic and Algebraic Programming · 2003 · 14 citations

, , +14

1–2 of 2