Eyad Alkassar

Identifiers

• name variant Eyad Alkassar 0.60 · backfill

Papers (1)

1. A Framework for the Verification of Certifying Computations cs.LO · 2013 · author #1

Mentions

• 1301.7462 #1 · backfill · confidence 0.70 Eyad Alkassar

Frequent Coauthors

• Christine Rizkallah 1 shared papers
• Kurt Mehlhorn 1 shared papers
• Sascha B\"ohme 1 shared papers