Óscar Martín

According to our database, Óscar Martín authored at least 8 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Compositional Verification in Rewriting Logic.

Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet

Theory Pract. Log. Program., January, 2024

2020

Compositional Specification in Rewriting Logic.

Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet

Theory Pract. Log. Program., 2020

2018

Parameterized Programming for Compositional System Specification.

Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet

Proceedings of the Rewriting Logic and Its Applications - 12th International Workshop, 2018

2016

Egalitarian State-Transition Systems.

Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet

Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016

Synchronous Products of Rewrite Systems.

Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet

Proceedings of the Automated Technology for Verification and Analysis, 2016

2014

Model Checking TLR* Guarantee Formulas on Infinite Systems.

Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet

Proceedings of the Specification, Algebra, and Software, 2014

2006

Look-and-Say Biochemistry: Exponential RNA and Multistranded DNA.

Óscar Martín

Am. Math. Mon., 2006

1995

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