SAMIR
GENAIM
Profesor contratado doctor
![Foto de SAMIR](/img/nophoto.png)
![Foto de Universidad Politécnica de Valencia](/img/noimage_org.png)
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)