Login / Signup
Jana Wagemaker
ORCID
Publication Activity (10 Years)
Years Active: 2018-2024
Publications (10 Years): 18
Top Topics
Algebraic Expressions
Formal Proofs
Regular Expressions
Partially Observable
Top Venues
CoRR
CONCUR
RAMiCS
FoSSaCS
</>
Publications
</>