Marko van Eekelen

Identifiers

• name variant Marko van Eekelen 0.60 · backfill

Papers (2)

1. A benchmark for C program verification cs.PL · 2019 · author #1
2. Polynomial Size Analysis of First-Order Shapely Functions cs.LO · 2009 · author #2

Mentions

• 0902.2073 #2 · backfill · confidence 0.70 Marko van Eekelen

Frequent Coauthors

• Beno\^it Viguier 1 shared papers
• Daniil Frumin 1 shared papers
• Freek Verbeek 1 shared papers
• Freek Wiedijk 1 shared papers
• Herman Geuvers 1 shared papers
• L\'eon Gondelman 1 shared papers
• Marc Schoolderman 1 shared papers
• Olha Shkaravska 1 shared papers
• Robbert Krebbers 1 shared papers
• Ron van Kesteren 1 shared papers
• Sjaak Smetsers 1 shared papers