R\"udiger Ehlers (University of Bremen)

Identifiers

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

Papers (1)

1. Proceedings 3rd Workshop on Synthesis cs.LO · 2014 · author #2

Mentions

• 1407.4937 #2 · arxiv_oai · confidence 0.70 R\"udiger Ehlers (University of Bremen)
• 1407.4937 #2 · backfill · confidence 0.70 R\"udiger Ehlers (University of Bremen)

Frequent Coauthors

• Krishnendu Chatterjee (IST Austria) 1 shared papers
• Susmit Jha (Intel Strategic CAD Lab) 1 shared papers