Login / Signup
Marie-Christine Jakobs
ORCID
Publication Activity (10 Years)
Years Active: 2014-2024
Publications (10 Years): 44
Top Topics
Data Dependencies
Model Checking
Graph Kernels
Software Developers
Top Venues
FASE
CoRR
SEFM
SPIN
</>
Publications
</>