SAMIR
GENAIM
Profesor contratado doctor
![Foto de SAMIR](/img/nophoto.png)
![Foto de University of Melbourne](/img/noimage_org.png)
University of Melbourne
Melbourne, AustraliaPublikationen in Zusammenarbeit mit Forschern von University of Melbourne (3)
2009
-
A declarative encoding of telecommunications feature subscription in SAT
PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
2002
-
Combining norms to prove termination
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2001
-
Higher-precision groundness analysis
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)