A gentle introduction to algorithm complexity for CS1 with nine variations on a theme by Fibonacci. - Óscar Martín-Sánchez; Cristóbal Pareja-Flores (ACM SIGCSE Bull., 1995)

Look-and-Say Biochemistry: Exponential RNA and Multistranded DNA. - Óscar Martín 001 (Am. Math. Mon., 2006)

Model Checking TLR* Guarantee Formulas on Infinite Systems. - Óscar Martín 001; Alberto Verdejo; Narciso Martí-Oliet (Specification, Algebra, and Software, 2014)

Synchronous Products of Rewrite Systems. - Óscar Martín 001; Alberto Verdejo; Narciso Martí-Oliet (ATVA, 2016)

Egalitarian State-Transition Systems. - Óscar Martín 001; Alberto Verdejo; Narciso Martí-Oliet (WRLA, 2016)

Parameterized Programming for Compositional System Specification. - Óscar Martín 001; Alberto Verdejo; Narciso Martí-Oliet (WRLA@ETAPS, 2018)

Compositional Specification in Rewriting Logic. - Óscar Martín 001; Alberto Verdejo; Narciso Martí-Oliet (Theory Pract. Log. Program., 2020)

Compositional Verification in Rewriting Logic. - Óscar Martín 001; Alberto Verdejo; Narciso Martí-Oliet (Theory Pract. Log. Program., 2024)