Luis Valencia-Cabrera

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 57

Top Topics

Formal Verification

Easily Interpretable

Arabidopsis Thaliana

Top Venues

Theor. Comput. Sci.

J. Membr. Comput.

Fundam. Informaticae

Publications