Lista de

Vissani, Ignacio
3
2016
2
Iglesias, Axel Javier. (2016). "Implementación y estudio de un algoritmo para la comprobación de General Multiparty Compatibility entre Communicating Finite State Machines con datos". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Pérez, Matías Hernando. (2016). "Paralloy : learning y restart en un Sat Solver distribuido". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.