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

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

Type classes in functional logic programming. - Enrique Martin-Martin (PEPM, 2011)

FLOP, a free laboratory of programming. - Luis Llana; Enrique Martin-Martin; Cristóbal Pareja-Flores (Koli Calling, 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)

Termination and Cost Analysis of Loops with Concurrent Interleavings. - Elvira Albert; Antonio Flores-Montoya; Samir Genaim; Enrique Martin-Martin (ATVA, 2013)

May-Happen-in-Parallel Analysis for Priority-Based Scheduling. - Elvira Albert; Samir Genaim; Enrique Martin-Martin (LPAR, 2013)

Typing as functional-logic evaluation. - Francisco Javier López-Fraguas; Enrique Martin-Martin (PEPM, 2013)

A Declarative Debugger for Sequential Erlang Programs. - Rafael Caballero 001; Enrique Martin-Martin; Adrián Riesco 001; Salvador Tamarit (TAP@STAF, 2013)

Static Inference of Transmission Data Sizes in Distributed Systems. - Elvira Albert; Jesús Correas Fernández; Enrique Martin-Martin; Guillermo Román-Díez (ISoLA (2), 2014)

SACO: Static Analyzer for Concurrent Objects. - Elvira Albert; Puri Arenas; Antonio Flores-Montoya; Samir Genaim; Miguel Gómez-Zamalloa; Enrique Martin-Martin; German Puebla; Guillermo Román-Díez (TACAS, 2014)

EDD: A Declarative Debugger for Sequential Erlang Programs. - Rafael Caballero 001; Enrique Martin-Martin; Adrián Riesco 001; Salvador Tamarit (TACAS, 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)

FLOP: A User-Friendly System for Automated Program Assessment. - Luis Llana; Enrique Martin-Martin; Cristóbal Pareja-Flores; J. Ángel Velázquez-Iturbide (J. Univers. Comput. Sci., 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)

Resource Analysis: From Sequential to Concurrent and Distributed Programs. - Elvira Albert; Puri Arenas; Jesús Correas; Samir Genaim; Miguel Gómez-Zamalloa; Enrique Martin-Martin; Germán Puebla; Guillermo Román-Díez (FM, 2015)

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)

A zoom-declarative debugger for sequential Erlang programs. - Rafael Caballero 001; Enrique Martin-Martin; Adrián Riesco 001; Salvador Tamarit (Sci. Comput. Program., 2015)

A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. - Elvira Albert; Nikolaos Bezirgiannis; Frank S. de Boer; Enrique Martin-Martin (LOPSTR, 2016)

Debugging Meets Testing in Erlang. - Salvador Tamarit; Adrián Riesco 001; Enrique Martin-Martin; Rafael Caballero 001 (TAP@STAF, 2016)

May-Happen-in-Parallel Analysis for Actor-Based Concurrency. - Elvira Albert; Antonio Flores-Montoya; Samir Genaim; Enrique Martin-Martin (ACM Trans. Comput. Log., 2016)

Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings. - Elvira Albert; Antonio Flores-Montoya; Samir Genaim; Enrique Martin-Martin (J. Autom. Reason., 2017)

A Language-Independent Technique for Assessing Tweet Success: An Experience Report. - Enrique Martin-Martin; Adrián Riesco 001; Manuel Rodriguez (IEEE Access, 2018)

Declarative debugging of concurrent Erlang programs. - Rafael Caballero 001; Enrique Martin-Martin; Adrián Riesco 001; Salvador Tamarit (J. Log. Algebraic Methods Program., 2018)

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

A core Erlang semantics for declarative debugging. - Rafael Caballero 001; Enrique Martin-Martin; Adrián Riesco 001; Salvador Tamarit (J. Log. Algebraic Methods Program., 2019)

Resource Analysis driven by (Conditional) Termination Proofs. - Elvira Albert; Miquel Bofill; Cristina Borralleras; Enrique Martin-Martin; Albert Rubio (Theory Pract. Log. Program., 2019)

A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell. - Elvira Albert; Nikolaos Bezirgiannis; Frank S. de Boer; Enrique Martin-Martin (Fundam. Informaticae, 2020)

A Transformational Approach to Resource Analysis with Typed-norms Inference. - Elvira Albert; Samir Genaim; Raúl Gutiérrez; Enrique Martin-Martin (Theory Pract. Log. Program., 2020)

Lower-Bound Synthesis Using Loop Specialization and Max-SMT. - Elvira Albert; Samir Genaim; Enrique Martin-Martin; Alicia Merayo; Albert Rubio (CAV (2), 2021)

A unified framework for declarative debugging and testing. - Rafael Caballero 001; Enrique Martin-Martin; Adrián Riesco 001; Salvador Tamarit (Inf. Softw. Technol., 2021)

Improving Database Learning with an Automatic Judge. - Enrique Martin-Martin; Manuel Montenegro; Adrián Riesco 001; Rubén Rubio (SEKE, 2022)

Artifact of the Paper "Formally Verified EVM Block-Optimizations". - Elvira Albert; Samir Genaim; Daniel Kirchner; Enrique Martin-Martin (Zenodo, 2022)

Formally Verified EVM Block-Optimizations. - Elvira Albert; Samir Genaim; Daniel Kirchner; Enrique Martin-Martin (CAV (3), 2023)

Artifact of the Paper "Formally Verified EVM Block-Optimizations". - Elvira Albert; Samir Genaim; Daniel Kirchner; Enrique Martin-Martin (Zenodo, 2023)

Artifact of the Paper "Formally Verified EVM Block-Optimizations". - Elvira Albert; Samir Genaim; Daniel Kirchner; Enrique Martin-Martin (Zenodo, 2023)

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)

Secure Optimizations on Ethereum Bytecode Jump-Free Sequences. - Elvira Albert; Samir Genaim; Daniel Kirchner; Enrique Martin-Martin (IEEE Trans. Dependable Secur. Comput., 2025)