Robbert Krebbers

Identifiers

• name variant Robbert Krebbers 0.60 · backfill

Papers (5)

1. A benchmark for C program verification cs.PL · 2019 · author #5
2. A Formal C Memory Model for Separation Logic cs.LO · 2015 · author #1
3. The lambda-mu-T-calculus cs.LO · 2012 · author #2
4. Type classes for efficient exact real arithmetic in Coq cs.LO · 2011 · author #1
5. Computer certified efficient exact reals in Coq cs.LO · 2011 · author #1

Mentions

• 1509.03339 #1 · backfill · confidence 0.70 Robbert Krebbers
• 1106.3448 #1 · arxiv_oai · confidence 0.70 Robbert Krebbers
• 1204.0347 #2 · backfill · confidence 0.70 Robbert Krebbers
• 1106.3448 #1 · backfill · confidence 0.70 Robbert Krebbers
• 1105.2751 #1 · backfill · confidence 0.70 Robbert Krebbers

Frequent Coauthors

• Bas Spitters 2 shared papers
• Herman Geuvers 2 shared papers
• Beno\^it Viguier 1 shared papers
• Daniil Frumin 1 shared papers
• Freek Verbeek 1 shared papers
• Freek Wiedijk 1 shared papers
• James McKinna 1 shared papers
• L\'eon Gondelman 1 shared papers
• Marc Schoolderman 1 shared papers
• Marko van Eekelen 1 shared papers
• Sjaak Smetsers 1 shared papers