Herramientas Personales
Usted está aquí: Inicio Investigación Tesis del Departamento de Computación Tesis de Doctorado

Tesis de Doctorado

Aquí encontrará en formato PDF, ZIP y DOC las Tesis de Doctorado.
Bavera, Francisco. Tipos para seguridad basada en flujo de información y computación auditada
Dr. Eduardo Bonelli, 2012
Buemi, María Elena. Tratamiento de imágenes de radar de apertura sintética mediente filtros stack
Dr. Julio Jacobo, 2012
Strejilevich de Loma, Alejandro.
Dr. Esteban Feuerstein, 2012
Severín, Daniel. Estudio poliedral y algoritmo branch-and-cut para el problema de coloreo equitativo en grafos
Dra. Isabel Méndez-Díaz, Dra. Graciela Nasini, 2012
Miranda-Bront, Juan Manuel. Enfoques de programación entera para el Problema del Viajante de Comercio con costos en función del tiempo
Dra. Isabel Méndez-Díaz, Dra. Paula Zabala, 2012
Seijas, Leticia. Reconocimiento de patrones utilizando técnicas estadísticas y conexionistas aplicadas a la clasificación de dígitos
Dr. Enrique Segura, 2011
Martínez, Cristian. Metaheurísticas híbridas aplicadas al problema de ruteo de arcos capacitados
Dra. Irene Loiseau, Dr. Mauricio Resende, 2011
Daicz, Sergio. Estructura electrotónica de neuronas motoras de sanguijuela
Dra. Lidia Szczupak, 2011
Safe, Martín. Sobre caracterizaciones estructurales de clases de grafos relacionadas con los grafos perfectos y la propiedad de König
Dra. Flavia Bonomo, Dr. Guillermo Durán, 2011
Acevedo, Daniel. Compresión sin Pérdida de Imágenes
Dra. Ana Ruedín, 2011
Evin, Diego. Incorporación de Información Suprasegmental en el Proceso de Reconocimiento Automático del Habla
Dr. Jorge Gurlekian, 2011
Turjanski, Pablo. Electroterapia y electroporación en el tratamiento de tumores: modelos teóricos y experimentales
Dr. Guillermo Marshall y Dr. Fernando Molina, 2011
Tepper, Mariano. Detectando agrupamientos y contornos: un estudio doble sobre representación de formas
Dr. Andrés Almansa y Dra. MartaMejail, 2011
Galeotti, Juan Pablo. Verificación de software usando Alloy
Dr. Marcelo Frías, 2011
Fernández Slezak, Diego. Estimación de parámetros en modelos biológicos complejos. Aplicación a modelos de crecimiento tumoral
Dr. Guillermo Marshall, Dr. Gustavo Stolovitzky, 2010
Soulignac, Francisco. Sobre grafos arco-circulares propios y Helly
Dr. Min Chih Lin, 2010
Tobis, Enrique. Métodos Algebraicos para Problemas Discretos
Dra. Alicia Dickenstein, 2009
Mera, Sergio. Modal memory logics
Dr. Carlos Areces, Dr. Patrick Blackburn y Dra. Verónica Becher, 2009
Gorín, Daniel. Técnicas de razonamiento automático para lógicas híbridas
Dr. Carlos Areces, Dra. Veronica Becher, 2009
Mastriani, Mario. Decorrelación espacial, rápida y de alta eficiencia para compresión de imágenes con perdidas
Dra. Marta Mejail, 2009
Mocskos, Esteban. Transporte iónico y crecimiento en electrodeposición ramificada: teoría, simulaciones y experimentos
Dr. Marshall, Guillermo y Dr. Molina, Fernando, 2008.
Riccillo, Marcela. Eigenfungi. Desarrollo de un método de data mining para la detección automática de patrones en microscopía aplicada a micología médica
Dr. Bustos, Oscar, 2008.
Matuk Herrera, Rosana. Manipulación diestra en ambientes desconocidos. Un modelo bio-inspirado
Dr. Segura, Enrique, 2008.
Quinteros, Javier. Modelado numérico de un sistema de tipo andino y su respuesta a variaciones climáticas y reológicas
Dr. Jacovkis, Pablo, Dr. Víctor Ramos, 2008.
Garbervetsky, Diego. Síntesis de especificaciones paramétricas de utilización de la memoria dinámica
Dr. Víctor Braberman y Dr. Sergio Yovine. 2007.
Schapachnik, Fernando. Verificación de autómatas temporizados en arquitecturas monoprocesador y multiprocesador
Dr. Víctor Braberman, Dr. Alfredo Olivero, 2007.
Lopez Pombo, Carlos. Fork algebras como herramienta de razonamiento entre especificaciones heterogéneas
Dr. Marcelo Frías, 2007.
Groshaus, Marina. Bicliques, cliques, neighborhoods y la propiedad de Helly
Dr. Jayme L. Szwarcfiter (Universidad Federal do Rio de Janeiro), 2006.
Zabala, Paula. Problemas de Ruteo de Vehículos
Dr. Abilio Lucena (Universidade Federal do Rio de Janeiro) y Dra. Isabel Méndez-Díaz, 2006
Gambini, Juliana. Modelos de Segmentación basados en Regiones y Contornos Activos aplicados a Imágenes de Radar de Apertura Sintética
Dra. Marta Mejail, 2006.
Figueira, Santiago. Aspectos de aleatoriedad
Dra. Verónica Becher, 2006.
Arbiser, Ariel. Sistemas y Subsistemas de Sustituciones Explícitas
Dr. Alejandro Ríos, 2006.
Bonomo, Flavia. Sobre subclases y variantes de los grafos perfectos
Dr. Guillermo Durán, 2005.
Martinez Lopez. The Notion of Principality in Type Specialisation
Dr. John Hughes (Chambers University of Technology, Güterborg, Suecia), 2005.
Jacobo Berlles, Julio. Nuevas familias de distribuciones polarimétricas para imágenes SAR
Dr. Alejandro Frery (Universidad Federal de Pernambuco, Brasil), 2005.
Marenco, Javier. Polítopos de planificación cromática asociados al problema de asignación de frecuencias en sistemas de radio punto a multipunto
Dr. Martín Grostschel y Dra. Annegret Wagler (Zib-Berlin), 2005.
Dengra, Silvina. Estudios experimentales y teóricos del transporte iónico en electrodeposición en celdas delgadas
Dr. Guillermo Marshall, Co-Director: Dr. Fernando Molina, 2004
Tetzlaff, Tomás. Procesos de ramificación con tipos no acotados y simulación de redes con pérdida
Dr. Pablo A. Ferrari (Universidade de São Paulo), 2004. (Contiene ejecutable, CPP y PDF)
Bonelli, Augusto. Reescritura de términos y sustituciones explícitas
Dr. Alejandro Ríos, 2003.
Hirsh, Dan. Graph transformation models for software architecture styls
Dr. Ugo Montanari (Universitá di Pisa, Italy) y Dr. Daniel Yankelevich, 2003.
Ruedin, Ana. Multiwavelets no separables: construccion y aplicaciones para el procesamiento de imágenes
Dr. Carlos Cabrelli (Depto. de Matemática, FCEyN, UBA), 2003.
Méndez Díaz, Isabel. Un algoritmo Branch-and-cut para el problema de coloreo de grafos
Dr. Nelson Maculan (Universidade Federal do Rio de Janeiro), 2003.
Coll, Pablo. Un enfoque poliedral del poliedral del problema de secuenciamiento de tareas en procesadores heterogéneo bajo relaciones de precedencia
Dr. Celso Ribeiro (Pontificia Universidade Católica de Rio de Janeiro), Dr. Cid de Souza, UNICAMP, Brasil., 2002
Mannarino, Gabriela Susana. Coordinates, un lenguaje para el modelado de empresas
Dr. Miguel Felder, 2001.
Lin Min Chih. Grafos Self-Clique y Otras Clases de Grafos Clique
Dr. Jayme L. Szwarcfiter (Universidade Federal do Rio de Janeiro), 2001.
Vaisman, Alejandro. Updates, View Maintenance and Time Management in Multidimensional Databases
Dr. Alberto O. Mendelzon (Universidad de Toronto), 2001.
Braberman, Víctor. Modelando y verificando diseños de sistemas de tiempo real
Dr. Miguel Felder, 2000.
Righetti, Enrique Claudio. Fallas en estabilidad en Internet
Dr. Leandro Navarro Moldes (Universidad Politécnica de Cataluña), 2000.
Durán, Guillermo. Sobre grafos intersección de arcos y cuerdas en un círculo
Dr. Jayme Luiz Szwarcfiter (Universidade Federal do Rio de Janeiro), 2000.
Mejail, Marta. La Distribución GA0 en el Modelado y Análisis de Imágenes de Radar de Apertura Sintética
Dr. Alejandro Frery (Universidade Federal de Pernambuco, Brasil), 1999.
Becher, Verónica. Funciones binarias para el cambio de teorías
Dr. Carlos Alchourrón (Facultad de Filosofía y Letras, UBA) y Dra. Gladys Palau (Facultad de Filosofía y Letras, UBA), 1999.
Santos, Juan. Contribution to the study and the design of reinforcement functions
Dr. Hugo Scolnik y Dr. Norbert Giambiasi (Université d' Aix Marseille III, Francia), 1999.
Fermé, Eduardo. Revising the AGM Postulates
Dr. Carlos Alchourrón (Facultad de Filosofía y Letras, UBA) y Dr. Sven Ove Hansson (Department of Philosophy and the History of Technology, Royal Institute of Technology, Stockholm), 1999.
Wainer, Gabriel. Contribución a la modelización y simulación de sistemas de eventos discretos
Dr. Norbert Giambiasi (Université d' Aix Marseille III, Francia), 1998.
Marré, Martina. Estimación y reducción del costo de aplicar criterios de cubrimiento en testing
Ing. Antonia Bertolino (Universidad de Pisa), 1997.