Navegar

Colección

Datos Estadísticas

Lista de

Semantics
4
"A composition algorithm based on crossmodal taste-music correspondences" (2012) Mesz, B.; Sigman, M.; Trevisan, M. Frontiers in Human Neuroscience(MARCH 2012)
"A composition algorithm based on crossmodal taste-music correspondences" (2012) Mesz, B.; Sigman, M.; Trevisan, M. Frontiers in Human Neuroscience(MARCH 2012)
"On the formal semantics of IF-like logics" (2010) Figueira, S.; Gorín, D.; Grimson, R. Journal of Computer and System Sciences. 76(5):333-346
"On improving backwards verification of timed automata (extended abstract)" (2002) Braberman, V.; López Pombo, C.; Olivero, A. Theory and Practice of Timed Systems (Satellite Event of ETAPS 2002). 65(6):60-67