Login / Signup
Adam Rogalewicz
ORCID
Publication Activity (10 Years)
Years Active: 2005-2024
Publications (10 Years): 17
Top Topics
Mid Level
Shape Analysis
Abductive Reasoning
Finite Automaton
Top Venues
CoRR
TACAS
VMCAI
Dagstuhl Artifacts Ser.
</>
Publications
</>