Bernhard Beckert (Karlsruhe Institute of Technology (KIT))

Identifiers

• name variant Bernhard Beckert (Karlsruhe Institute of Technology (KIT)) 0.60 · backfill

Papers (2)

1. Understanding Counterexamples for Relational Properties with DIbugger cs.SE · 2019 · author #9
2. How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers cs.LO · 2014 · author #1

Mentions

• 1410.8215 #1 · backfill · confidence 0.70 Bernhard Beckert (Karlsruhe Institute of Technology (KIT))

Frequent Coauthors

• Benedikt Wagner (Karlsruhe Institute of Technology (KIT)) 1 shared papers
• Chiara Staudenmaier (Karlsruhe Institute of Technology (KIT)) 1 shared papers
• Etienne Brunner (Karlsruhe Institute of Technology (KIT)) 1 shared papers
• Florian B\"ohl (Karlsruhe Institute of Technology (KIT)) 1 shared papers
• Joana Plewnia (Karlsruhe Institute of Technology (KIT)) 1 shared papers
• Michael Kirsten (Karlsruhe Institute of Technology (KIT)) 1 shared papers
• Mihai Herda (Karlsruhe Institute of Technology (KIT)) 1 shared papers
• Pascal Zwick (Karlsruhe Institute of Technology (KIT)) 1 shared papers
• Sarah Grebing (Karlsruhe Institute of Technology (KIT)) 1 shared papers
• Ulla Scheler (Karlsruhe Institute of Technology (KIT)) 1 shared papers