Login / Signup
Stefan Jaax
ORCID
Publication Activity (10 Years)
Years Active: 2016-2021
Publications (10 Years): 20
Top Topics
Totally Unimodular
Quantifier Elimination
Population Size
Temporal Logic
Top Venues
CoRR
STACS
FoSSaCS
LICS
</>
Publications
</>