E-LIB Suche - Ergebnisse für: Martí-Oliet, Narciso

1

Preface to selected papers from 20th Workshop on Programmin..:

Martí-Oliet, Narciso
Journal of Logical and Algebraic Methods in Programming. 139 (2024) - p. 100974 , 2024

2

Strategies in Conditional Narrowing Modulo SMT Plus Axioms:

, In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems; Lecture Notes in Computer Science,

Aguirre, Luis ; Martí-Oliet, Narciso ; Palomino, Miguel. - p. 1-20 , 2023

Link: https://doi.org/10.1007/..

3

QMaude: Quantitative Specification and Verification in Rewr..:

, In: Formal Methods; Lecture Notes in Computer Science,

Rubio, Rubén ; Martí-Oliet, Narciso ; Pita, Isabel. - p. 240-259 , 2023

Link: https://doi.org/10.1007/..

4

The Maude strategy language:

Eker, Steven ; Martí-Oliet, Narciso ; Meseguer, José..
Journal of Logical and Algebraic Methods in Programming. 134 (2023) - p. 100887 , 2023

Link: https://doi.org/10.1016/..

5

Compositional Verification in Rewriting Logic:

MARTÍN, ÓSCAR ; VERDEJO, ALBERTO ; MARTÍ-OLIET, NARCISO
Theory and Practice of Logic Programming. 24 (2023) 1 - p. 57-109 , 2023

Link: https://doi.org/10.1017/..

6

Generalization and completeness of stochastic local search ..:

Loscos, Daniel ; Martí-Oliet, Narciso ; Rodríguez, Ismael
Swarm and Evolutionary Computation. 68 (2022) - p. 100982 , 2022

Link: https://doi.org/10.1016/..

7

Metalevel transformation of strategies:

Rubio, Rubén ; Martí-Oliet, Narciso ; Pita, Isabel.
Journal of Logical and Algebraic Methods in Programming. 124 (2022) - p. 100728 , 2022

Link: https://doi.org/10.1016/..

8

Equational Unification and Matching, and Symbolic Reachabil..:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Durán, Francisco ; Eker, Steven ; Escobar, Santiago... - p. 529-540 , 2022

Link: https://doi.org/10.1007/..

9

Simulating and model checking membrane systems using strate..:

Rubio, Rubén ; Martí-Oliet, Narciso ; Pita, Isabel.
Journal of Logical and Algebraic Methods in Programming. 124 (2022) - p. 100727 , 2022

Link: https://doi.org/10.1016/..

10

Model checking strategy-controlled systems in rewriting log..:

Rubio, Rubén ; Martí-Oliet, Narciso ; Pita, Isabel.
Automated Software Engineering. 29 (2021) 1 - p. , 2021

Link: https://doi.org/10.1007/..

11

Strategies, model checking and branching-time properties in..:

Rubio, Rubén ; Martí-Oliet, Narciso ; Pita, Isabel.
Journal of Logical and Algebraic Methods in Programming. 123 (2021) - p. 100700 , 2021

Link: https://doi.org/10.1016/..

12

Programming and symbolic computation in Maude:

Durán, Francisco ; Eker, Steven ; Escobar, Santiago...
Journal of Logical and Algebraic Methods in Programming. 110 (2020) - p. 100497 , 2020

Link: https://doi.org/10.1016/..

13

Strategies, Model Checking and Branching-Time Properties in..:

, In: Rewriting Logic and Its Applications; Lecture Notes in Computer Science,

Rubio, Rubén ; Martí-Oliet, Narciso ; Pita, Isabel. - p. 156-175 , 2020

Link: https://doi.org/10.1007/..

14

Rewriting Logic and Its Applications: 13th International Wo..

Theoretical Computer Science and General Issues, 12328

Escobar, Santiago ; Martí-Oliet, Narciso - 1st ed. 2020 . , 2020

Link: https://doi.org/10.1007/..

15

Compositional Specification in Rewriting Logic:

MARTÍN, ÓSCAR ; VERDEJO, ALBERTO ; MARTÍ-OLIET, NARCISO
Theory and Practice of Logic Programming. 20 (2019) 1 - p. 44-98 , 2019

Link: https://doi.org/10.1017/..