Graph explorer

Swen Jacobs

Swen Jacobs contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapSwen Jacobs
13 nodes12 links
Swen Jacobs13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipASwen JacobsResearcherWAutomatic Repair and De...preprint / 2022WExtended AIGER Format f...preprint / 2014WParameterized Synthesispreprint / 2014WA High-Level LTL Synthe...preprint / 2016WThe Second Reactive Syn...preprint / 2016WThe First Reactive Synt...preprint / 2016WDistributed PROMPT-LTL ...preprint / 2016WA High-Level LTL Synthe...preprint / 2016WThe Reactive Synthesis ...preprint / 2016WThe 3rd Reactive Synthe...preprint / 2016WParameterized Model Che...preprint / 2013WTight Cutoffs for Guard...preprint / 2015
PersonSignal 1012 links

Swen Jacobs

Researcher

Open