R\"udiger Ehlers (University of Bremen / DFKI)

Identifiers

• name variant R\"udiger Ehlers (University of Bremen / DFKI) 0.60 · backfill

Papers (1)

1. How to Handle Assumptions in Synthesis cs.LO · 2014 · author #2

Mentions

• 1407.5395 #2 · backfill · confidence 0.70 R\"udiger Ehlers (University of Bremen / DFKI)

Frequent Coauthors

• Robert K\"onighofer (Graz University of Technology) 1 shared papers
• Roderick Bloem (Graz University of Technology) 1 shared papers
• Swen Jacobs (Graz University of Technology) 1 shared papers