Publicaciones en las que colabora con ÓSCAR MARTÍN SÁNCHEZ (6)

2023

  1. Compositional Verification in Rewriting Logic

    Theory and Practice of Logic Programming

2020

  1. Compositional Specification in Rewriting Logic

    Theory and Practice of Logic Programming, Vol. 20, Núm. 1, pp. 44-98

2018

  1. Parameterized programming for compositional system specification

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2016

  1. Egalitarian state-transition systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Synchronous products of rewrite systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2014

  1. Model checking TLR Guarantee formulas on infinite systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8373, pp. 129-150