E-LIB Suche - Ergebnisse für: Verdejo-Herrero, Alberto

1

Non-Immersive Virtual Reality-Based Therapy Applied in Card..:

Peinado-Rubia, Ana Belén ; Verdejo-Herrero, Alberto ; Obrero-Gaitán, Esteban...
Sensors. 24 (2024) 3 - p. 903 , 2024

Link: https://doi.org/10.3390/..

2

Impact of immersive virtual reality games or traditional ph..:

Rubio-Arias, Jacobo Á. ; Verdejo-Herrero, Alberto ; Andreu-Caravaca, Luis.
Virtual Reality. 28 (2024) 1 - p. , 2024

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

3

Using Maude and Its Strategies for Defining a Framework for..:

Hidalgo-Herrero, Mercedes ; Verdejo, Alberto ; Ortega-Mallén, Yolanda
Electronic Notes in Theoretical Computer Science. 174 (2007) 10 - p. 119-137 , 2007

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

4

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/..

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

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/..

7

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/..

8

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/..

9

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/..

10

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/..

11

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/..

12

Parameterized Strategies Specification in Maude:

, In: Recent Trends in Algebraic Development Techniques; Lecture Notes in Computer Science,

Rubio, Rubén ; Martí-Oliet, Narciso ; Pita, Isabel. - p. 27-44 , 2019

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

13

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/..

14

Parameterized Programming for Compositional System Specific..:

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

Martín, Óscar ; Verdejo, Alberto ; Martí-Oliet, Narciso - p. 59-75 , 2018

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

15

Declarative debugging of rewriting logic specifications:

Riesco, Adrián ; Verdejo, Alberto ; Martí-Oliet, Narciso.
The Journal of Logic and Algebraic Programming. 81 (2012) 7-8 - p. 851-897 , 2012

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