Login / Signup
Ángel Jesús Varela-Vaca
ORCID
Publication Activity (10 Years)
Years Active: 2016-2024
Publications (10 Years): 31
Top Topics
Satisfiability Modulo Theories
Security Policies
Process Mining
Big Data
Top Venues
Internet Things
SPLC (A)
Comput. Secur.
Business Process Management Workshops
</>
Publications
</>