Narciso Martí-Oliet
Universidad Complutense de Madrid
H-index: 34
Europe-Spain
Top articles of Narciso Martí-Oliet
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Compositional Verification in Rewriting Logic | Theory and Practice of Logic Programming | ÓSCAR MARTÍN ALBERTO VERDEJO NARCISO MARTÍ-OLIET | 2024/1 |
Strategies in conditional narrowing modulo SMT plus axioms | Luis Aguirre Narciso Martí-Oliet Miguel Palomino Isabel Pita | 2023/5/17 | |
QMaude: Quantitative Specification and Verification in Rewriting Logic | Rubén Rubio Narciso Martí-Oliet Isabel Pita Alberto Verdejo | 2023/3/3 | |
The Maude strategy language | Journal of Logical and Algebraic Methods in Programming | Steven Eker Narciso Martí-Oliet José Meseguer Rubén Rubio Alberto Verdejo | 2023/8/1 |
Model checking of strategy-controlled systems in rewriting logic | Rubén Rafael Rubio Cuéllar | 2022/3/29 | |
Generalization and completeness of stochastic local search algorithms | Swarm and Evolutionary Computation | Daniel Loscos Narciso Martí-Oliet Ismael Rodríguez | 2022/2/1 |
Simulating and model checking membrane systems using strategies in Maude | Journal of Logical and Algebraic Methods in Programming | Rubén Rubio Narciso Martí-Oliet Isabel Pita Alberto Verdejo | 2022/1/1 |
Metalevel transformation of strategies | Journal of Logical and Algebraic Methods in Programming | Rubén Rubio Narciso Martí-Oliet Isabel Pita Alberto Verdejo | 2022/1/1 |
Equational unification and matching, and symbolic reachability analysis in maude 3.2 (system description) | Francisco Durán Steven Eker Santiago Escobar Narciso Martí-Oliet José Meseguer | 2022/8/1 | |
Model checking strategy-controlled systems in rewriting logic | Automated Software Engineering | Rubén Rubio Narciso Martí-Oliet Isabel Pita Alberto Verdejo | 2022/5 |
Strategies, model checking and branching-time properties in Maude | Journal of Logical and Algebraic Methods in Programming | Rubén Rubio Narciso Martí-Oliet Isabel Pita Alberto Verdejo | 2021/11/1 |
The semantics of the maude strategy language | Rubén Rubio Narciso Martí-Oliet Isabel Pita Alberto Verdejo | 2021 | |
B Maude: A formal executable environment for Abstract Machine Notation Descriptions | arXiv preprint arXiv:2108.07878 | Christiano Braga Narciso Martí-Oliet | 2021/8/17 |
Programming and symbolic computation in Maude | Journal of Logical and Algebraic Methods in Programming | Francisco Durán Steven Eker Santiago Escobar Narciso Martí-Oliet José Meseguer | 2020/1/1 |
Compositional specification in rewriting logic | Theory and Practice of Logic Programming | Óscar Martín Alberto Verdejo Narciso Martí-Oliet | 2020/1 |
Maude manual (version 3.1) | SRI International University of Illinois at Urbana-Champaign http://maude. lcc. uma. es/maude31-manual-html/maude-manual. html | Manuel Clavel Francisco Durán Steven Eker Santiago Escobar Patrick Lincoln | 2020/10 |