Login / Signup
Federico Mora
ORCID
Publication Activity (10 Years)
Years Active: 2003-2024
Publications (10 Years): 22
Top Topics
Pattern Matching
Sat Solving
Theoretical Perspectives
Regular Expressions
Top Venues
CoRR
ASE
FM
CAV (2)
</>
Publications
</>