Efficient Compilation of Lazy Narrowing into Prolog. - José André Jimènez-Martin; Julio Mariño-Carballo; Juan José Moreno-Navarro (LOPSTR, 1992)

Efficient Lazy Narrowing using Demandedness Analysis. - Juan José Moreno-Navarro; Herbert Kuchen; Julio Mariño-Carballo; Stephan Winkler; Werner Hans (PLILP, 1993)

Adding Type Classes to Functional-Logic Languages. - Juan José Moreno-Navarro; Julio Mariño; Andrés del Pozo-Prieto; Ángel Herranz-Nieva; Julio García-Martín (APPIA-GULP-PRODE, 1996)

Recovering Sequentiality in Functional-Logic Programs. - Julio Mariño; Juan José Moreno-Navarro (APPIA-GULP-PRODE, 1998)

Using Static Analysis to Compile Non-sequential Functional Logic Programs. - Julio Mariño; Juan José Moreno-Navarro (ICLP, 1999)

Partial Predicates for Demand Analysis. - Julio Mariño; Ángel Herranz-Nieva; Juan José Moreno-Navarro (WFLP, 2000)

Constructive Intensional Negation. - Susana Muñoz-Hernández; Julio Mariño; Juan José Moreno-Navarro (FLOPS, 2004)

Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. - Manuel Carro; Julio Mariño; Ángel Herranz-Nieva; Juan José Moreno-Navarro (TFM, 2004)

An overview of the Sloth2005 curry system: system description. - Emilio Jesús Gallego Arias; Julio Mariño (WCFLP, 2005)

Adding constraints to curry via flat guards. - Julio Mariño; José María Rey Poza (WCFLP, 2005)

A Proposal for Disequality Constraints in Curry. - Emilio Jesús Gallego Arias; Julio Mariño-Carballo; José María Rey Poza (WFLP, 2006)

Automatic Coding Rule Conformance Checking Using Logic Programs - Guillem Marpons-Ucero; Julio Mariño; Ángel Herranz-Nieva; Lars-Åke Fredlund; Manuel Carro; Juan José Moreno-Navarro (CoRR, 2007)

Demand analysis with partial predicates. - Julio Mariño; Ángel Herranz-Nieva; Juan José Moreno-Navarro (Theory Pract. Log. Program., 2007)

Automatic Coding Rule Conformance Checking Using Logic Programming. - Guillem Marpons-Ucero; Julio Mariño-Carballo; Manuel Carro; Ángel Herranz-Nieva; Juan José Moreno-Navarro; Lars-Åke Fredlund (PADL, 2008)

A Coding Rule Conformance Checker Integrated into GCC. - Guillem Marpons-Ucero; Julio Mariño; Manuel Carro; Ángel Herranz-Nieva; Lars-Åke Fredlund; Juan José Moreno-Navarro; Álvaro Polo (PROLE, 2008)

Implementing Constructive Intensional Negation. - Julio Mariño; Juan José Moreno-Navarro; Susana Muñoz-Hernández (New Gener. Comput., 2008)

Modeling Concurrent Systems with Shared Resources. - Ángel Herranz-Nieva; Julio Mariño; Manuel Carro; Juan José Moreno-Navarro (FMICS, 2009)

A Verified Implementation of Priority Monitors in Java. - Ángel Herranz-Nieva; Julio Mariño (FoVeOOS, 2011)

Synthesis of Logic Programs from Object-Oriented Formal Specifications. - Ángel Herranz-Nieva; Julio Mariño (ICLP (Technical Communications), 2011)

A Tool for the Integration of Constraint Solving in Spreadsheets. - Ana María Fernández-Soriano; Julio Mariño; Ángel Herranz-Nieva (PROLE, 2011)

First-order unification using variable-free relational algebra. - Emilio Jesús Gallego Arias; James Lipton; Julio Mariño; Pablo Nogueira (Log. J. IGPL, 2011)

From the π-calculus to flat GHC. - Rubén Monjaraz; Julio Mariño (PPDP, 2012)

A model-driven approach to teaching concurrency. - Manuel Carro; Ángel Herranz-Nieva; Julio Mariño (ACM Trans. Comput. Educ., 2013)

Jsongen: a quickcheck based library for testing JSON web services. - Clara Benac Earle; Lars-Åke Fredlund; Ángel Herranz-Nieva; Julio Mariño (Erlang Workshop, 2014)

Teaching Students Property-Based Testing. - Clara Benac Earle; Lars-Åke Fredlund; Julio Mariño; Thomas Arts (EUROMICRO-SEAA, 2014)

Property-Based Testing of JSON Based Web Services. - Lars-Åke Fredlund; Clara Benac Earle; Ángel Herranz-Nieva; Julio Mariño-Carballo (ICWS, 2014)

Declarative Compilation for Constraint Logic Programming. - Emilio Jesús Gallego Arias; James Lipton; Julio Mariño-Carballo (LOPSTR, 2014)

A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems. - Lars-Åke Fredlund; Ángel Herranz-Nieva; Julio Mariño (SEFM Workshops, 2014)

Execution and Verification of UML State Machines with Erlang. - Ricardo J. Rodríguez; Lars-Åke Fredlund; Ángel Herranz-Nieva; Julio Mariño (SEFM, 2014)

Applying Property-Based Testing in Teaching Safety-Critical System Programming. - Lars-Åke Fredlund; Ángel Herranz-Nieva; Julio Mariño (EUROMICRO-SEAA, 2015)

A Haskell Implementation of a Rule-Based Program Transformation for C Programs. - Salvador Tamarit; Guillermo Vigueras; Manuel Carro; Julio Mariño (PADL, 2015)

Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems. - Salvador Tamarit; Julio Mariño; Guillermo Vigueras; Manuel Carro (CoRR, 2016)

Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures. - Salvador Tamarit; Julio Mariño; Guillermo Vigueras; Manuel Carro (CoRR, 2016)

Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems. - Salvador Tamarit; Julio Mariño; Guillermo Vigueras; Manuel Carro (PROLE, 2016)

Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. - Guillermo Vigueras; Manuel Carro; Salvador Tamarit; Julio Mariño (PROLE, 2016)

The Unfolding Semantics of Functional Programs. - José María Rey Poza; Julio Mariño-Carballo (CoRR, 2017)

Constraint logic programming with a relational machine. - Emilio Jesús Gallego Arias; James Lipton; Julio Mariño (Formal Aspects Comput., 2017)

Runtime Verification in Erlang by Using Contracts. - Lars-Åke Fredlund; Julio Mariño; Sergio Pérez 001; Salvador Tamarit (WFLP, 2018)

Synthesis of verifiable concurrent Java components from formal models. - Julio Mariño; Raúl N. N. Alborodo; Lars-Åke Fredlund; Ángel Herranz-Nieva (Softw. Syst. Model., 2019)

Makina: a new QuickCheck state machine library. - Luis Eduardo Bueso de Barrio; Lars-Åke Fredlund; Ángel Herranz; Clara Benac Earle; Julio Mariño (Erlang Workshop, 2021)

Automatic Generation of Attacker Contracts in Solidity. - Ignacio Ballesteros; Clara Benac Earle; Luis Eduardo Bueso de Barrio; Lars-Åke Fredlund; Ángel Herranz; Julio Mariño (FMBC@CAV, 2022)

Executable contracts for Elixir. - Sergio Pérez 001; Luis Eduardo Bueso de Barrio; Ignacio Ballesteros; Ángel Herranz; Julio Mariño; Clara Benac Earle; Lars-Åke Fredlund (Erlang Workshop, 2022)

Generation and Refinement of Testing Models. - Luis Eduardo Bueso de Barrio; Lars-Åke Fredlund; Clara Benac Earle; Ángel Herranz; Julio Mariño (Erlang Workshop, 2023)

A formal semantics for agent distribution and fault tolerance in Jason. - Álvaro Fernández Díaz; Lars-Åke Fredlund; Clara Benac Earle; Julio Mariño (J. Log. Algebraic Methods Program., 2023)

Controlled Scheduling of Concurrent Elixir Programs. - Luis Eduardo Bueso de Barrio; Lars-Åke Fredlund; Clara Benac Earle; Ángel Herranz; Julio Mariño (Erlang, 2024)

Towards an Integrated Cybersecurity Framework for Small and Medium Enterprises. - José Antonio Calvo-Manzano; Tomás San Feliu; Ángel Herranz; Julio Mariño; Lars-Åke Fredlund; Ricardo Colomo-Palacios; Ana María Moreno 001 (EuroSPI (1), 2024)

Haskell Based Spreadsheets. - Ignacio Ballesteros; Luis Eduardo Bueso de Barrio; Julio Mariño (PADL, 2025)

Checking Concurrency Coding Rules. - Lars-Åke Fredlund; Ángel Herranz; Julio Mariño (PADL, 2025)

Generation of algebraic data type values using evolutionary algorithms. - Ignacio Ballesteros; Clara Benac Earle; Julio Mariño; Lars-Åke Fredlund; Ángel Herranz (J. Log. Algebraic Methods Program., 2025)

Executable contracts for Elixir. - Luis Eduardo Bueso de Barrio; Lars-Åke Fredlund; Ángel Herranz; Julio Mariño; Clara Benac Earle (J. Log. Algebraic Methods Program., 2025)