Óscar Martín

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 6

Top Topics

Formal Verification

Transition Systems

Comparative Study

Top Venues

Specification, Algebra, and Software

Publications

Óscar Martín, Virginia Ahedo, José Ignacio Santos, José Manuel Galán
Comparative Study of Classification Algorithms for Quality Assessment of Resistance Spot Welding Joints From Pre- and Post-Welding Inputs. IEEE Access 10 (2022)
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Compositional Specification in Rewriting Logic. Theory Pract. Log. Program. 20 (1) (2020)
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Compositional specification in rewriting logic. CoRR (2019)
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Parameterized Programming for Compositional System Specification. WRLA@ETAPS (2018)
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Synchronous Products of Rewrite Systems. ATVA (2016)
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Egalitarian State-Transition Systems. WRLA (2016)
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Model Checking TLR* Guarantee Formulas on Infinite Systems. Specification, Algebra, and Software (2014)
Óscar Martín
Look-and-Say Biochemistry: Exponential RNA and Multistranded DNA. Am. Math. Mon. 113 (4) (2006)