|
Correspondence assertions for process synchronization in concurrent communications
|
Bonelli, Eduardo
|
|
(2005)
|
|
Reflective Kleisli subcategories of the category of Eilenberg-Moore algebras for factorization monads
|
Fiore, Marcelo
|
|
(2005)
|
|
Reasoning about static and dynamic properties in Alloy
|
Frias, Marcelo F.
|
|
(2005)
|
|
de Bruijn indices for metaterms
|
Bonelli, Eduardo
|
|
(2005)
|
|
Relating higher-order and first-order rewriting
|
Bonelli, Eduardo
|
|
(2005)
|
|
Identification of MPEG-4 FDP patterns in human faces using data-mining techniques
|
Britos, Paola Verónica
|
|
(2005)
|
|
The accessible web portal B-navigator
|
Díaz, Francisco Javier
|
|
(2005)
|
|
Estimate of the functional size in the requirements elicitation
|
Bertolami, Mabel Angélica
|
|
(2005)
|
|
Cyclic evolution
|
Olivera, Javier Hugo
|
|
(2005)
|
|
Analysis of web based learning use in a first course of algorithmics
|
Madoz, María Cristina
|
|
(2005)
|
|
Dynamic load balancing in parallel processing on non-homogeneous clusters
|
De Giusti, Armando Eduardo
|
|
(2005)
|
|
Verifying BON models with alloy
|
Demasi, Ramiro
|
|
(2005)
|