Swen Jacobs (Graz University of Technology)

Identifiers

• name variant Swen Jacobs (Graz University of Technology) 0.60 · backfill

Papers (2)

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

Mentions

• 1407.5395 #3 · backfill · confidence 0.70 Swen Jacobs (Graz University of Technology)
• 1401.3588 #1 · backfill · confidence 0.70 Swen Jacobs (Graz University of Technology)

Frequent Coauthors

• Roderick Bloem (Graz University of Technology) 2 shared papers
• Robert K\"onighofer (Graz University of Technology) 1 shared papers
• R\"udiger Ehlers (University of Bremen / DFKI) 1 shared papers