Serie A, Informática

2012/6
Ezequiel Orbe - Carlos Areces - Gabriel Infante López.
A Note about Modal Symmetries.
Fecha:   09/04 /2012   Páginas: 16.  Disponible: pdf (420 KB),  resumen. 
Pub. Def:

2011/5
Ezequiel Orbe - Carlos Areces - Gabriel Infante López.
iSat: Structure Visualization for SAT Problems.
Fecha:   01/06 /2011   Páginas: 11.  Disponible: pdf   (552 KB),  resumen. 
Pub. Def:

2011/4
Gabriel Infante Lopez - Alejandro E. Orbe - J Strother Moore.
A Suite of Tools for Analyzing ACL2 Books.
Fecha:  01/06 /2011   Páginas: 15.   Disponible: pdf   (367 KB),  resumen. 
Pub. Def:

2009/3
M. Lee,  P.R. D’Argenio
Estructura de Interfaces para Sistemas con Seguridad Multi-nivel.
Fecha:  06/10/09   Páginas: 16.   Disponible: pdf   (327 KB),  resumen. 
Pub. Def:    

2009/2
S.Giro,  P. R. D’Argenio.
Partial Order Reduction for Probabilistic Systems Assuming Distributed Schedulers.
Fecha:  14/04/09   Páginas: 41.   Disponible:  pdf (550  K),  resumen. 
Pub. Def:    
    
2008/1
R. Cherini, J. Blanco.
Razonamiento local para abstracción y estructuras compartidas.
Fecha:  15/08/2008  Páginas: 22  Disponible:  pdf (680 K),  resumen. 
Pub. Def: