ÓSCAR
MARTÍN SÁNCHEZ
Investigador de proyecto específico
Publicacións (15) Publicacións de ÓSCAR MARTÍN SÁNCHEZ
2023
-
Compositional Verification in Rewriting Logic
Theory and Practice of Logic Programming
2020
-
Compositional Specification in Rewriting Logic
Theory and Practice of Logic Programming, Vol. 20, Núm. 1, pp. 44-98
2018
-
Parameterized programming for compositional system specification
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016
-
Egalitarian state-transition systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Synchronous products of rewrite systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014
-
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
-
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
-
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
-
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
-
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
-
Look-and-say biochemistry: Exponential RNA and multistranded DNA
American Mathematical Monthly, Vol. 113, Núm. 4, pp. 289-307
2004
-
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
-
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
-
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
-
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