Publicaciones (15) Publicaciones de ÓSCAR MARTÍN SÁNCHEZ

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

2008

  1. Un solitario con cartas (CUPCAM 2007, problema F, enunciado)

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 194, pp. 76

  2. Un solitario con cartas (CUPCAM 2007, problema F, solución)

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 196, pp. 76

2007

  1. Todas las palabras son capicúas (CUPCAM 2006, problema F, enunciado)

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 189, pp. 72

  2. Todas las palabras son capicúas (CUPCAM 2006, problema F, solución)

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 190, pp. 73

2006

  1. Look-and-say biochemistry: Exponential RNA and multistranded DNA

    American Mathematical Monthly, Vol. 113, Núm. 4, pp. 289-307

2004

  1. Subcadenas en la secuencia "mira y dí" (CUCAM 2003, problema C, enunciado)

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 167, pp. 73

  2. Subcadenas en la secuencia "mira-y-dí" (CUPCAM 2003, problema C, solución)

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 168, pp. 72

2003

  1. Solución del problema A (CUCAM 2003): ¿Dónde está mi interrupción?

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 166, pp. 72

1995

  1. A gentle introduction to algorithm complexity for CS1 with nine variations on a theme by Fibonacci

    ACM SIGCSE Bulletin, Vol. 27, Núm. 2, pp. 49-56