Philipp R\"ummer (Uppsala University)

Identifiers

• name variant Philipp R\"ummer (Uppsala University) 0.60 · backfill

Papers (4)

1. Deciding and Interpolating Algebraic Data Types by Reduction (Technical Report) cs.LO · 2018 · author #2
2. Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis cs.LO · 2016 · author #2
3. The Relationship between Craig Interpolation and Recursion-Free Horn Clauses cs.LO · 2013 · author #1
4. Disjunctive Interpolants for Horn-Clause Verification (Extended Technical Report) cs.LO · 2013 · author #1

Mentions

• 1302.4187 #1 · backfill · confidence 0.70 Philipp R\"ummer (Uppsala University)
• 1301.4973 #1 · backfill · confidence 0.70 Philipp R\"ummer (Uppsala University)

Frequent Coauthors

• Hossein Hojjat (EPFL Lausanne) 2 shared papers
• Viktor Kuncak (EPFL Lausanne) 2 shared papers
• Hossein Hojjat (Rochester Institute of Technology) 1 shared papers
• John P. Gallagher (Roskilde University) 1 shared papers