Julio Mariño-Carballo

Manuel Carro, Ángel Herranz-Nieva, Julio Mariño: A model-driven approach to teaching concurrency. TOCE 13(1): 5 (2013)

Ana María Fernández-Soriano, Julio Mariño, Ángel Herranz-Nieva: A Tool for the Integration of Constraint Solving in Spreadsheets. Electr. Notes Theor. Comput. Sci. 282: 35-45 (2012)

Rubén Monjaraz, Julio Mariño: From the π-calculus to flat GHC. PPDP 2012: 163-172

Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira: First-order unification using variable-free relational algebra. Logic Journal of the IGPL 19(6): 790-820 (2011)

Ángel Herranz-Nieva, Julio Mariño: A Verified Implementation of Priority Monitors in Java. FoVeOOS 2011: 160-177

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

Julio Mariño (Ed.): Functional and Constraint Logic Programming - 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6559, Springer 2011, isbn 978-3-642-20774-7

Guillem Marpons-Ucero, Julio Mariño, Manuel Carro, Ángel Herranz-Nieva, Lars-Åke Fredlund, Juan José Moreno-Navarro, Álvaro Polo: A Coding Rule Conformance Checker Integrated into GCC. Electr. Notes Theor. Comput. Sci. 248: 149-159 (2009)

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

Julio Mariño, Juan José Moreno-Navarro, Susana Muñoz-Hernández: Implementing Constructive Intensional Negation. New Generation Comput. 27(1): 25-56 (2008)

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

Emilio Jesús Gallego Arias, Julio Mariño-Carballo, José María Rey Poza: A Proposal for Disequality Constraints in Curry. Electr. Notes Theor. Comput. Sci. 177: 269-285 (2007)

Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro: Demand analysis with partial predicates. TPLP 7(1-2): 153-182 (2007)

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

Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro: Demand Analysis with Partial Predicates. CoRR abs/cs/0602008 (2006)

Julio Mariño, José María Rey Poza: Adding constraints to curry via flat guards. WCFLP 2005: 14-22

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

Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro: Constructive Intensional Negation. FLOPS 2004: 39-54

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

Julio Mariño, Juan José Moreno-Navarro: Using Static Analysis to Compile Non-sequential Functional Logic Programs. PADL 2000: 63-80

Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro: Partial Predicates for Demand Analysis. WFLP 2000: 324-339

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

Julio Mariño, Juan José Moreno-Navarro: Recovering Sequentiality in Functional-Logic Programs. APPIA-GULP-PRODE 1998: 137-150

Juan José Moreno-Navarro, Julio Mariño, A. del Pozo-Pietro, Ángel Herranz-Nieva, Julio García-Martín: Adding Type Classes to Functional-Logic Languages. APPIA-GULP-PRODE 1996: 427-438

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