Narciso Martí-Oliet

Full professor

Universidad Complutense de Madrid

Spain

Research Interests

Explore related searches

Professors in Spain

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

Articles (7)

Year:

2022

Year:

2022

Year:

2022

Year:

2022

Year:

2021

Year:

2020

Year:

2020

Collaborators (5)

Isabel Pita

Universidad Complutense de Madrid

SPAIN

View details

Alberto Verdejo

Profesor Titular de Universidad (Sistemas Informáticos y Computación)

Universidad Complutense de Madrid

SPAIN

View details

Ismael Rodríguez

Complutense University

SPAIN

View details

Rubén Rubio

Assistant Professor (Profesor Ayudante Doctor)

Universidad Complutense de Madrid

SPAIN

View details

Santiago Escobar

Associate Professor

Universitat Politècnica de València

SPAIN

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Narciso Martí-Oliet

Research Interests

Explore related searches

Contact this professor

Articles (7)

Model checking strategy-controlled systems in rewriting logic

Metalevel transformation of strategies

Simulating and model checking membrane systems using strategies in Maude

Generalization and completeness of stochastic local search algorithms

Strategies, model checking and branching-time properties in Maude

Programming and symbolic computation in Maude

Compositional Specification in Rewriting Logic

Collaborators (5)

Isabel Pita

Alberto Verdejo

Ismael Rodríguez

Rubén Rubio

Santiago Escobar

Make your next move.