Tesis de "Teoría de la computación" (8 tesis)

• Una aproximación ontológica al modelado de conocimiento en los dominios de planificación

  Antonio Alejandro Sánchez Ruiz-Granados

  Tesis doctoral dirigida por Pedro Antonio González Calero, María Belén Díaz Agudo. Universidad Complutense de Madrid (2010).

  • Resumen
  

• Un marco para la definición y transformación de modelos en los sistemas multi-agentes

  Iván García-Magariño García

  Tesis doctoral dirigida por Jorge Jesús Gómez Sanz, Rubén Fuentes Fernández. Universidad Complutense de Madrid (2009).

  • Resumen
  

• Computación paralela y entornos heterogéneos

  Luz Marina Moreno de Antonio

  Tesis doctoral dirigida por Francisco Carmelo Almeida Rodríguez. Universidad de La Laguna (2005).

  • Texto completo
  

• Especificación orientada a objetos de sistemas de cálculo simbólico

  César Domínguez Pérez

  Tesis doctoral dirigida por Laureano Lambán Pardo, Julio Rubio García. Universidad de La Rioja (2003).

  • Resumen
  • Texto completo
  

• Maude como marco semántico ejecutable

  José Alberto Verdejo López

  Tesis doctoral dirigida por Narciso Martí Oliet. Universidad Complutense de Madrid (2003).

  • Resumen
  • Texto completo
  

• Semánticas para álgebras de procesos estocásticos no Markovianos

  Natalia López Barquilla

  Tesis doctoral dirigida por Manuel Núñez García. Universidad Complutense de Madrid (2003).

  • Resumen
  • Texto completo
  

• Objetos localmente efectivos y tipos abstractos de datos

  María Vico Pascual Martínez Losa

  Tesis doctoral dirigida por Laureano Lambán Pardo, Julio Rubio García. Universidad de La Rioja (2002).

  • Resumen
  • Texto completo
  

• Modelado e implementación de Sistemas de Tiempo Real mediante Redes de Petri con Tiempo

  Francisco José García Izquierdo

  Tesis doctoral dirigida por José Luis Villarroel Salcedo. Universidad de Zaragoza (1999).

  • Resumen
  • Texto completo