Login / Signup
Mario Román
ORCID
Publication Activity (10 Years)
Years Active: 2016-2024
Publications (10 Years): 25
Top Topics
Transition Systems
Programming Language
Evolutionary Algorithm
Transactional Data
Top Venues
CoRR
ACT
LICS
Compositionality
</>
Publications
</>