Search filters

List of works by Adrián Riesco

A Complete Declarative Debugger for Maude

scientific article published in 2011

A Declarative Debugger for Maude

A Tool for Testing Data Type Implementations from Maude Algebraic Specifications

scientific article published on 01 June 2012

Declarative Debugging of Membership Equational Logic Specifications

scientific article published in 2008

Declarative Debugging of Rewriting Logic Specifications

scientific article published in 2009

Declarative debugging of rewriting logic specifications

scientific article published in October 2012

Enhancing the Debugging of Maude Specifications

scientific article published in 2010

Epidermal Growth Factor Signaling towards Proliferation: Modeling and Logic Inference Using Forward and Backward Search

scientific article published on 16 January 2017

Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way

scientific article published on 17 June 2023

Role of Nerve Growth Factor Signaling in Cancer Cell Proliferation and Survival Using a Reachability Analysis Approach

Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees

scientific article published in 2012

Soft Set Theory for Decision Making in Computational Biology under Incomplete Information

scientific article published on 07 February 2019

Specifying and Analyzing the Kademlia Protocol in Maude

scientific article published in 2015

Paulina is supported by:

About Paulina

Help