Hossein Hojjat (EPFL Lausanne)

Identifiers

• name variant Hossein Hojjat (EPFL Lausanne) 0.60 · backfill

Papers (2)

1. The Relationship between Craig Interpolation and Recursion-Free Horn Clauses cs.LO · 2013 · author #2
2. Disjunctive Interpolants for Horn-Clause Verification (Extended Technical Report) cs.LO · 2013 · author #2

Mentions

• 1302.4187 #2 · backfill · confidence 0.70 Hossein Hojjat (EPFL Lausanne)
• 1301.4973 #2 · backfill · confidence 0.70 Hossein Hojjat (EPFL Lausanne)

Frequent Coauthors

• Philipp R\"ummer (Uppsala University) 2 shared papers
• Viktor Kuncak (EPFL Lausanne) 2 shared papers