Bastiaan Heeren

Identifiers

• name variant Bastiaan Heeren 0.60 · backfill

Papers (2)

1. A pilot study of the use of LogEx, lessons learned cs.CY · 2015 · author #2
2. Adapting Mathematical Domain Reasoners cs.MS · 2010 · author #1

Mentions

• 1507.03671 #2 · backfill · confidence 0.70 Bastiaan Heeren
• 1005.4762 #1 · backfill · confidence 0.70 Bastiaan Heeren

Frequent Coauthors

• Johan Jeuring 2 shared papers
• Josje Lodder 1 shared papers