Mike Czech

Identifiers

• name variant Mike Czech 0.60 · backfill

Papers (1)

1. Predicting Rankings of Software Verification Competitions cs.LG · 2017 · author #1

Mentions

• 1703.00757 #1 · arxiv_oai · confidence 0.70 Mike Czech

Frequent Coauthors

• Eyke H\"ullermeier 1 shared papers
• Heike Wehrheim 1 shared papers
• Marie-Christine Jakobs 1 shared papers