Search filters

List of works by Francisco Durán

Equational Abstractions in Rewriting Logic and Maude

scientific article published in 2015

Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description)

scientific article published in 2022

Maude: specification and programming in rewriting logic

scientific article published in August 2002

Model-driven performance analysis of rule-based domain specific visual models

On the Reusable Specification of Non-functional Properties in DSLs

Polytypic Programming in Maude

scientific article published in 2000

Preface to Rewriting Logic and Its Applications (extended selected papers from WRLA 2012)

scientific article published in March 2015

Programming Open Distributed Systems in Maude

scientific article published on 04 September 2024

Towards Maude 2.0

scientific article published in 2000

Unification and Narrowing in Maude 2.4

scientific article published in 2009

Paulina is supported by:

About Paulina

Help