Rubén Rubio - RankMe

33 papers A 1B 3C 3Journal 19Unranked 7

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	LearnSQL: Impact of an Automatic Judge in Database Learning. ACM Trans. Comput. Educ. Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Rubén Rubio, Fernando Sáenz-Pérez
2026	—	`conf`	PMaude Revisited Through Probabilistic Strategies. Concurrent Programming, Open Systems and Formal Methods Rubén Rubio, Adrián Riesco, Narciso Martí-Oliet
2025	J	`jnl`	Maude2Lean: Theorem proving for Maude specifications using Lean. J. Log. Algebraic Methods Program. Rubén Rubio, Adrián Riesco
2024	J	`jnl`	Efficient Normalization of Linear Temporal Logic. J. ACM Javier Esparza, Rubén Rubio, Salomon Sickert
2024	J	`jnl`	Metalevel transformation of strategies. CoRR Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2024	J	`jnl`	Model checking strategy-controlled systems in rewriting logic. CoRR Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2024	C	`conf`	Programming Open Distributed Systems in Maude. PPDP Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2024	J	`jnl`	Simulating and model checking membrane systems using strategies in Maude. CoRR Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2024	—	`conf`	Specifying Fairness Constraints and Model Checking with Non-intensional Strategies. WRLA Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2024	J	`jnl`	Strategies, model checking and branching-time properties in Maude. CoRR Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2024	J	`jnl`	The Maude strategy language. CoRR Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo
2024	B	`conf`	Validity of Contextual Formulas. CONCUR Javier Esparza, Rubén Rubio
2024	J	`jnl`	Validity of contextual formulas (extended version). CoRR Javier Esparza, Rubén Rubio
2023	J	`jnl`	A Simple Rewrite System for the Normalization of Linear Temporal Logic. CoRR Javier Esparza, Rubén Rubio, Salomon Sickert
2023	J	`jnl`	Efficient Normalization of Linear Temporal Logic. CoRR Javier Esparza, Rubén Rubio, Salomon Sickert
2023	B	`conf`	QMaude: Quantitative Specification and Verification in Rewriting Logic. FM Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2023	J	`jnl`	The Maude strategy language. J. Log. Algebraic Methods Program. Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo
2023	J	`jnl`	Verification of the ROS NavFn planner using executable specification languages. J. Log. Algebraic Methods Program. Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Juan Rodríguez-Hortalá, Rubén Rubio
2022	—	`conf`	A Simple Rewrite System for the Normalization of Linear Temporal Logic. Principles of Systems Design Javier Esparza, Rubén Rubio, Salomon Sickert
2022	—	`conf`	An Overview of the Maude Strategy Language and its Applications. WRLA Rubén Rubio
2022	A	`conf`	Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). IJCAR Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2022	C	`conf`	Improving Database Learning with an Automatic Judge. SEKE Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Rubén Rubio
2022	—	`conf`	Maude as a Library: An Efficient All-Purpose Programming Interface. WRLA Rubén Rubio
2022	J	`jnl`	Metalevel transformation of strategies. J. Log. Algebraic Methods Program. Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2022	J	`jnl`	Model checking strategy-controlled systems in rewriting logic. Autom. Softw. Eng. Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2022	J	`jnl`	Simulating and model checking membrane systems using strategies in Maude. J. Log. Algebraic Methods Program. Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2022	C	`conf`	Theorem Proving for Maude Specifications Using Lean. ICFEM Rubén Rubio, Adrián Riesco
2021	J	`jnl`	Strategies, model checking and branching-time properties in Maude. J. Log. Algebraic Methods Program. Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2020	J	`jnl`	Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program. Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2020	—	`conf`	Strategies, Model Checking and Branching-Time Properties in Maude. WRLA Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2019	B	`conf`	Model Checking Strategy-Controlled Rewriting Systems (System Description). FSCD Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo
2019	J	`jnl`	Programming and Symbolic Computation in Maude. CoRR Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott
2018	—	`conf`	Parameterized Strategies Specification in Maude. WADT Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo