Follow
Óscar Martín
Title
Cited by
Cited by
Year
Two reflected analyses of lights out
O Martin-Sanchez, C Pareja-Flores
Mathematics Magazine 74 (4), 295-304, 2001
202001
Model checking TLR* guarantee formulas on infinite systems
Ó Martín, A Verdejo, N Martí-Oliet
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi …, 2014
102014
Compositional specification in rewriting logic
Ó Martín, A Verdejo, N Martí-Oliet
Theory and Practice of Logic Programming 20 (1), 44-98, 2020
72020
Synchronous products of rewrite systems
Ó Martín, A Verdejo, N Martí-Oliet
Automated Technology for Verification and Analysis: 14th International …, 2016
72016
Look-and-say biochemistry: Exponential RNA and multistranded DNA
Ó Martín
The American Mathematical Monthly 113 (4), 289-307, 2006
72006
Parameterized programming for compositional system specification
Ó Martín, A Verdejo, N Martí-Oliet
Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018 …, 2018
62018
Egalitarian state-transition systems
Ó Martín, A Verdejo, N Martí-Oliet
Rewriting Logic and Its Applications: 11th International Workshop, WRLA 2016 …, 2016
62016
La lengua de las matemáticas y otros relatos exactos
FÁ Herrero, Ó Martín, CP Flores
La lengua de las matemáticas y otros relatos exactos, 2015
62015
A gentle introduction to algorithm complexity for CS1 with nine variations on a theme by Fibonacci
Ó Martín-Sánchez, C Pareja-Flores
ACM SIGCSE Bulletin 27 (2), 49-56, 1995
61995
Modular specification in rewriting logic (extended version)
O Martın, A Verdejo, N Martı-Oliet
Tech. rep., Departamento de Sistemas Informáticos y Computación Facultad de …, 2017
32017
Alternating bit protocol as an example of compositional system specification
O Martın, A Verdejo, N Martı-Oliet
Technical report 01/18, Departamento de Sistemas Informáticos y Computación …, 2018
22018
Egalitarian state-transition systems (extended version)
O Martın, A Verdejo, N Martı-Oliet
12016
Compositional Verification in Rewriting Logic
Ó MARTÍN, A VERDEJO, N MARTÍ-OLIET
Theory and Practice of Logic Programming 24 (1), 57-109, 2024
2024
Compositional Verification in Rewriting Logic
N Martí Oliet, JA Verdejo López, Ó Martín Sánchez
Cambridge University Press, 2023
2023
Composición en lógica de reescritura
Ó Martín Sánchez
Composición en lógica de reescritura, 1-199, 2021
2021
Composition in Rewriting Logic
Ó Martín Sánchez
2021
La gamificación en la educación universitaria: aplicación a asignaturas de programación
MA Gómez Martín, CM Segura Díaz, Y Ortega Mallén, JA Verdejo López, ...
2019
Modular specification in rewriting logic (extended version)
Ó Martín Sánchez, JA Verdejo López, N Martí-Oliet
2017
Egalitarian state-transition systems (extended version)
Ó Martín Sánchez, A Verdejo López, N Martí Oliet
2016
Synchronous products of rewrite systems (extended version)
Ó Martín Sánchez, A Verdejo López, N Martí Oliet
2016
The system can't perform the operation now. Try again later.
Articles 1–20