Equivalence of Two Formal Semantics for Functional Logic Programs. - Francisco Javier López-Fraguas; Juan Rodríguez-Hortalá; Jaime Sánchez-Hernández (PROLE, 2006)

A simple rewrite notion for call-time choice semantics. - Francisco Javier López-Fraguas; Juan Rodríguez-Hortalá; Jaime Sánchez-Hernández (PPDP, 2007)

Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. - Francisco Javier López-Fraguas; Juan Rodríguez-Hortalá; Jaime Sánchez-Hernández (INAP/WLP, 2007)

Functions and Lazy Evaluation in Prolog. - Juan Rodríguez-Hortalá; Jaime Sánchez-Hernández (PROLE, 2007)

Rewriting and Call-Time Choice: The HO Case. - Francisco Javier López-Fraguas; Juan Rodríguez-Hortalá; Jaime Sánchez-Hernández (FLOPS, 2008)

A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems. - Juan Rodríguez-Hortalá (FSTTCS, 2008)

A flexible framework for programming with non-deterministicfunctions. - Francisco Javier López-Fraguas; Juan Rodríguez-Hortalá; Jaime Sánchez-Hernández (PEPM, 2009)

A Fully Abstract Semantics for Constructor Systems. - Francisco Javier López-Fraguas; Juan Rodríguez-Hortalá; Jaime Sánchez-Hernández (RTA, 2009)

New Results on Type Systems for Functional Logic Programming. - Francisco Javier López-Fraguas; Enrique Martin-Martin; Juan Rodríguez-Hortalá (WFLP, 2009)

A Lightweight Combination of Semantics for Non-deterministic Functions - Francisco Javier López-Fraguas; Juan Rodríguez-Hortalá; Jaime Sánchez-Hernández (CoRR, 2009)

A Formalization of the Semantics of Functional-Logic Programming in Isabelle - Francisco Javier López-Fraguas; Stephan Merz; Juan Rodríguez-Hortalá (CoRR, 2009)

A Natural Implementation of Plural Semantics in Maude. - Adrián Riesco 001; Juan Rodríguez-Hortalá (LDTA, 2009)

Liberal Typing for Functional Logic Programs. - Francisco Javier López-Fraguas; Enrique Martin-Martin; Juan Rodríguez-Hortalá (APLAS, 2010)

Programming with singular and plural non-deterministic functions. - Adrián Riesco 001; Juan Rodríguez-Hortalá (PEPM, 2010)

The Full Abstraction Problem for Higher Order Functional-Logic Programs - Francisco Javier López-Fraguas; Juan Rodríguez-Hortalá (CoRR, 2010)

S-Narrowing for Constructor Systems. - Adrián Riesco 001; Juan Rodríguez-Hortalá (ICTAC, 2012)

Well-typed narrowing with extra variables in functional-logic programming. - Francisco Javier López-Fraguas; Enrique Martin-Martin; Juan Rodríguez-Hortalá (PEPM, 2012)

Transparent function types: clearing up opacity. - Enrique Martin-Martin; Juan Rodríguez-Hortalá (PPDP, 2012)

Lifting Term Rewriting Derivations in Constructor Systems by Using Generators. - Adrián Riesco 001; Juan Rodríguez-Hortalá (PROLE, 2014)

Safe typing of functional logic programs with opaque patterns and local bindings. - Francisco Javier López-Fraguas; Enrique Martin-Martin; Juan Rodríguez-Hortalá (Inf. Comput., 2014)

Rewriting and narrowing for constructor systems with call-time choice semantics. - Francisco Javier López-Fraguas; Enrique Martin-Martin; Juan Rodríguez-Hortalá; Jaime Sánchez-Hernández (Theory Pract. Log. Program., 2014)

Singular and plural functions for functional logic programming. - Adrián Riesco 001; Juan Rodríguez-Hortalá (Theory Pract. Log. Program., 2014)

A liberal type system for functional logic programs. - Francisco Javier López-Fraguas; Enrique Martin-Martin; Juan Rodríguez-Hortalá (Math. Struct. Comput. Sci., 2015)

Polymorphic Types in Erlang Function Specifications. - Francisco Javier López-Fraguas; Manuel Montenegro; Juan Rodríguez-Hortalá (FLOPS, 2016)

Temporal Random Testing for Spark Streaming. - Adrián Riesco 001; Juan Rodríguez-Hortalá (IFM, 2016)

FlinkCheck: Property-Based Testing for Apache Flink. - Cristina Valentina Espinosa; Enrique Martin-Martin; Adrián Riesco 001; Juan Rodríguez-Hortalá (IEEE Access, 2019)

Property-Based Testing for Spark Streaming. - Adrián Riesco 001; Juan Rodríguez-Hortalá (Theory Pract. Log. Program., 2019)

Verification of the ROS NavFn planner using executable specification languages. - Enrique Martin-Martin; Manuel Montenegro; Adrián Riesco 001; Juan Rodríguez-Hortalá; Rubén Rubio (J. Log. Algebraic Methods Program., 2023)