Rubén Rubio
Orcid: 0000-0003-2983-3404
According to our database1,
Rubén Rubio
authored at least 19 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Rewriting Logic and Its Applications - 15th International Workshop, 2024
2023
J. Log. Algebraic Methods Program., April, 2023
Proceedings of the Formal Methods - 25th International Symposium, 2023
2022
J. Log. Algebraic Methods Program., 2022
Autom. Softw. Eng., 2022
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022
Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022
Proceedings of the Formal Methods and Software Engineering, 2022
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description).
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022
Proceedings of the Principles of Systems Design, 2022
2021
J. Log. Algebraic Methods Program., 2021
2020
J. Log. Algebraic Methods Program., 2020
2019
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019
2018
Proceedings of the Recent Trends in Algebraic Development Techniques, 2018