Outils personnels
Vous êtes ici : Accueil Recherche Publicaciones Informes técnicos
Actions sur le document

Informes técnicos

Par Secretario DSIC - Dernière modification 04/10/2021 13:11

Informes técnicos publicados en el Departamento de Sistemas Informáticos y Computación

2021


    • Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
      The semantics of the Maude strategy language.
      Technical report TR-01-21. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2021.

2020


    • Alberto Aranda García, María-Emilia Cambronero, Christian Colombo, Luis Llana and Gordon J. Pace
      Themulus: A Timed Contract-Calculus.
      Technical report TR-01-20. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2020.

2019


    • Carlos Camacho, Luis Llana, Alberto Núñez and Mario Bravetti
      Probabilistic Software Product Lines.
      Technical report TR-01-19. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2019.

2018


    • Adrián Riesco and Juan Rodríguez-Hortalá.
      Property-based testing for Spark Streaming.
      Technical report TR-2-18. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2018.
    • Francisco J. López-Fraguas, Manuel Montenegro and Gorka Suárez-García.
      Polymorphic success types for Erlang.
      Technical report TR-3-18. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2018.

2017


    • Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, and Isabel Pita.
      Conditional Narrowing Modulo SMT Plus Axioms.
      Technical report TR-2-17. Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid, 2017.

Réalisé avec Plone

Ce site respecte les normes suivantes :