Two reflected analyses of lights out O Martin-Sanchez, C Pareja-Flores Mathematics Magazine 74 (4), 295-304, 2001 | 20 | 2001 |
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 | 13 | 2014 |
Synchronous products of rewrite systems Ó Martín, A Verdejo, N Martí-Oliet Automated Technology for Verification and Analysis: 14th International …, 2016 | 9 | 2016 |
Compositional specification in rewriting logic Ó Martín, A Verdejo, N Martí-Oliet Theory and Practice of Logic Programming 20 (1), 44-98, 2020 | 8 | 2020 |
Egalitarian state-transition systems Ó Martín, A Verdejo, N Martí-Oliet Rewriting Logic and Its Applications: 11th International Workshop, WRLA 2016 …, 2016 | 8 | 2016 |
Parameterized programming for compositional system specification Ó Martín, A Verdejo, N Martí-Oliet Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018 …, 2018 | 7 | 2018 |
Look-and-say biochemistry: Exponential RNA and multistranded DNA Ó Martín The American Mathematical Monthly 113 (4), 289-307, 2006 | 7 | 2006 |
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 | 6 | 2015 |
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 | 6 | 1995 |
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 | 3 | 2017 |
Alternating bit protocol as an example of compositional system specification Ó Martín, A Verdejo López, N Martí Oliet | 2 | 2018 |
Egalitarian state-transition systems (extended version) O Martın, A Verdejo, N Martı-Oliet | 1 | 2016 |
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 |
Composition in Rewriting Logic Ó Martín Sánchez Universidad Complutense de Madrid, 2021 | | 2021 |
Composición en lógica de reescritura Ó Martín Sánchez Composición en lógica de reescritura, 1-199, 2021 | | 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 |
Compositional specification in rewriting logic JA Verdejo López, N Martí Oliet, Ó Martín Sánchez Cambridge University Press, 2019 | | 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 |