Personal tools
You are here: Home Research Publicaciones Informes técnicos
Document Actions

Informes técnicos

by Secretario DSIC last modified 2021-10-04 14: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.

Powered by Plone CMS, the Open Source Content Management System

This site conforms to the following standards: