João F. Ferreira

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 23

Top Topics

Automated Detection

Symbolic Execution

Dermoscopy Images

Top Venues

J. Log. Algebraic Methods Program.

Publications