Tesis de Grado -

Navegar

Últimos publicados Autor Año Título Obtenido - Año Departamento - Año Director y Director Asistente Jurado Consejero de Estudios Palabras Clave

Colección

Datos Estadísticas

Lista de

2010

Barenbaum, Pablo. (2010). "Superdevelopments en el cálulo -Lambda débil". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Barra, Javier Antonio. (2010). "Borges : una arquitectura para robots autónomos móviles". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Benavides, Fernando. (2010). "Lambda page : un bloc de notas para desarrolladores Haskell". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Bendersky, Pablo Gabriel. (2010). "Hacia un entorno integrado para la verificación de contratos utilizando SAT solvers". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Berinsky, Hernán. (2010). "Un modelo y algoritmo branch- and -cut para el problema del m-anillo-estrella con capacidades". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Bonaventura, Matías Alejandro. (2010). "Entorno avanzado para la simulación de eventos discretos". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Brunstein, Gabriel; Chillo, Nicolás Agustín. (2010). "Implementación y análisis de la técnica de mutation testing en ambientes de objetos dinámicos y reflexivos". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Burzyn, Alejandro Gabriel. (2010). "Aplicación del Travelling Tournament Problem para el diseño de fixtures deportivos en torneos por parejas". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Cardiff, Brian Jonathan. (2010). "Aumentando la capacidad de computo de Alloy Analyzer mediante verificación incremental de modelos". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Grynberg Portnoy, Matías; Krasny, Gastón. (2010). "Un análisis composicional para la inferencia de resúmenes de consumo de memoria". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Lado, Gustavo Alberto. (2010). "Un modelo de redes neuronales artificiales para el estudio de anomalías visuales acromáticas". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Lanzarotti, Esteban Omar. (2010). "Una generalización de Unsat Core para algoritmos de Sat-Solving basados en DPLL". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Lerner, Sergio Demián. (2010). "MPF (Mental Poker Framework) a new family of practical and secure mental poker protocols". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Neisen, Ariel Martín. (2010). "Verificación automática de estructuras de datos acíclicas usando demostradores de teoremas". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Rabinowicz, Lucía; Bonomo, Flavia. (2010). "Sobre la thinness de árboles". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Tcach Lufrano, Alexis Guido. (2010). "Simulation of Contracts using enabledness-preserving Finite State Abstraction". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Terlisky, Pablo Ezequiel. (2010). "Biclique coloreo de grafos". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.

Viso, Andrés Ezequiel. (2010). "Sistemas de tipos para λ-cálculo y Lógica Combinatoria". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.