- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j6 |      | Manuel Carro, Ángel Herranz-Nieva, Julio Mariño: A model-driven approach to teaching concurrency. TOCE 13(1): 5 (2013) |
| 2012 | ||
| j5 | | 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) |
| 2011 | ||
| c13 | | Ángel Herranz-Nieva, Julio Mariño: A Verified Implementation of Priority Monitors in Java. FoVeOOS 2011: 160-177 |
| c12 | | Ángel Herranz-Nieva, Julio Mariño: Synthesis of Logic Programs from Object-Oriented Formal Specifications. ICLP (Technical Communications) 2011: 95-105 |
| 2009 | ||
| j4 | | 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) |
| j3 | | Toufik Taibi, Ángel Herranz-Nieva, Juan José Moreno-Navarro: Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker. Journal of Object Technology 8(2): 137-161 (2009) |
| c11 | | Ángel Herranz-Nieva, Julio Mariño, Manuel Carro, Juan José Moreno-Navarro: Modeling Concurrent Systems with Shared Resources. FMICS 2009: 102-116 |
| 2008 | ||
| c10 |  | Iván Pérez, Ángel Herranz-Nieva, Susana Muñoz-Hernández, Juan José Moreno-Navarro: Modelling Mash-up Resources. JISBD 2008: 135-146 |
| c9 | | 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 |
| 2007 | ||
| j2 | | Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro: Demand analysis with partial predicates. TPLP 7(1-2): 153-182 (2007) |
| i2 | | 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) |
| 2006 | ||
| i1 | | Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro: Demand Analysis with Partial Predicates. CoRR abs/cs/0602008 (2006) |
| 2004 | ||
| c8 | | 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 |
| 2003 | ||
| c7 | | Ángel Herranz-Nieva, Juan José Moreno-Navarro: Rapid Prototyping and Incremental Evolution Using SLAM. IEEE International Workshop on Rapid System Prototyping 2003: 201- |
| c6 | | Ángel Herranz-Nieva, Juan José Moreno-Navarro: Formal Extreme (and Extremely Formal) Programming. XP 2003: 88-96 |
| 2002 | ||
| j1 | | Ángel Herranz-Nieva, Juan José Moreno-Navarro, N. Maya: Declarative Reflection and its Application as a Pattern Language. Electr. Notes Theor. Comput. Sci. 76: 197-215 (2002) |
| 2000 | ||
| c5 | | Ángel Herranz-Nieva, Juan José Moreno-Navarro: Generation of and Debugging with Logical Pre and Post-Conditions. AADEBUG 2000 |
| c4 | | Ángel Herranz-Nieva, Juan José Moreno-Navarro: Towards Automating the Iterative Rapid Prototyping Process with the SLAM system. JISBD 2000: 217-228 |
| c3 | | Ángel Herranz-Nieva, Juan José Moreno-Navarro: On the Role of Functional-logic Languages for the Debugging of Imperative Programs. WFLP 2000: 23-41 |
| c2 | | Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro: Partial Predicates for Demand Analysis. WFLP 2000: 324-339 |
| 1996 | ||
| c1 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page