SAMIR
GENAIM
Profesor contratado doctor
Universidad Politécnica de Valencia
Valencia, EspañaPublicaciones en colaboración con investigadores/as de Universidad Politécnica de Valencia (2)
2019
-
A Transformational Approach to Resource Analysis with Typed-norms Inference
Theory and Practice of Logic Programming
2014
-
A transformational approach to resource analysis with typed-norms
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)