Swen Jacobs
Scholar

Swen Jacobs

Google Scholar ID: pofIiPIAAAAJ
CISPA Helmholtz Center for Information Security, Saarland Informatics Campus
Formal MethodsVerificationSynthesisAutomated Reasoning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,571
 
H-index
24
 
i10-index
33
 
Publications
20
 
Co-authors
55
list available
Contact
No contact links provided.
Publications
2 items
Parametric disjunctive timed networks
2025
Cited
0
Parameterized Verification of Timed Networks with Clock Invariants
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
55 total
Roderick Bloem
Roderick Bloem
Graz University of Technology
Co-author 2
Co-author 2
Sasha Rubin
Sasha Rubin
University of Sydney
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans
Professor, University of Koblenz
Co-author 7
Co-author 7
Co-author 8
Co-author 8