Graph explorer

Kerstin Eder

Kerstin Eder contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapKerstin Eder
13 nodes12 links
Kerstin Eder13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAKerstin EderResearcherWENTRA: Whole-Systems En...preprint / 2016WOn Self-Supervised Dyna...preprint / 2023WGoal-constrained Planni...preprint / 2020WFormal Verification of ...preprint / 2014WA high-level model of e...preprint / 2014WA software controlled v...preprint / 2015WUsing Models at Runtime...preprint / 2015WModeling and visualizin...preprint / 2015WMarimba: A Tool for Ver...preprint / 2015WEvaluating Model Checki...preprint / 2015WEACOF: A Framework for ...preprint / 2014WCyRes -- Avoiding Catas...preprint / 2020
PersonSignal 1012 links

Kerstin Eder

Researcher

Open