SAMIR
GENAIM
Profesor contratado doctor
Universidad Autónoma de Madrid
Madrid, EspañaUniversidad Autónoma de Madrid-ko ikertzaileekin lankidetzan egindako argitalpenak (2)
2015
-
May-happen-in-parallel analysis for actor-based concurrency
ACM Transactions on Computational Logic, Vol. 17, Núm. 2
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