| 2009 |
|---|
| 12 | EE | Alberto de la Encina,
Ricardo Peña-Marí:
From natural semantics to C: A formal derivation of two STG machines.
J. Funct. Program. 19(1): 47-94 (2009) |
| 2008 |
|---|
| 11 | EE | Alberto de la Encina,
Ismael Rodríguez,
Fernando Rubio:
A Debugger for Parallel Haskell Dialects.
ICA3PP 2008: 282-293 |
| 10 | EE | Alberto de la Encina,
Mercedes Hidalgo-Herrero,
Pablo Rabanal,
Ismael Rodríguez,
Fernando Rubio:
Testing the Behaviour of Entities in a Cognitive Language.
IJCINI 2(1): 29-43 (2008) |
| 2007 |
|---|
| 9 | EE | Alberto de la Encina,
Mercedes Hidalgo-Herrero,
Natalia Lopez:
A Formal Environment for Describing Negotiation Capabilities.
IEEE ICCI 2007: 222-231 |
| 8 | EE | Alberto de la Encina,
Luis Llana,
Fernando Rubio,
Mercedes Hidalgo-Herrero:
Observing intermediate structures in a parallel lazy functional language.
PPDP 2007: 109-120 |
| 2006 |
|---|
| 7 | EE | Alberto de la Encina,
Luis Llana,
Fernando Rubio:
Introducing Debugging Capabilities to Natural Semantics.
Ershov Memorial Conference 2006: 195-208 |
| 6 | EE | Alberto de la Encina,
Mercedes Hidalgo-Herrero,
Pablo Rabanal,
Ismael Rodríguez,
Fernando Rubio:
Testing Entities in a Parallel Cognitive Language.
IEEE ICCI 2006: 344-355 |
| 5 | EE | Alberto de la Encina,
Mercedes Hidalgo-Herrero,
Olga Marroquín Alonso:
Platyhelminthes Are [Re]constructed Recursively.
International Conference on Computational Science (2) 2006: 207-214 |
| 2005 |
|---|
| 4 | EE | Alberto de la Encina,
Luis Llana,
Fernando Rubio:
Formalizing the Debugging Process in Haskell.
ICTAC 2005: 211-226 |
| 3 | EE | Alberto de la Encina,
Ismael Rodríguez,
Fernando Rubio:
Testing Speculative Work in a Lazy/Eager Parallel Functional Language.
LCPC 2005: 274-288 |
| 2003 |
|---|
| 2 | EE | Alberto de la Encina,
Ricardo Pena:
Formally deriving an STG machine.
PPDP 2003: 102-112 |
| 2001 |
|---|
| 1 | EE | Alberto de la Encina,
Ricardo Pena:
Proving the Correctness of the STG Machine.
IFL 2001: 88-104 |
