Search the dblp DataBase

Publications of Author

1. Alberto de la Encina, Mercedes Hidalgo-Herrero, Olga Marroquín Alonso
   Platyhelminthes Are [Re]constructed Recursively. [Citation Graph (0, 0)][DBLP]
   International Conference on Computational Science (2), 2006, pp:207-214 [Conf]
   
2. Alberto de la Encina, Luis Llana, Fernando Rubio
   Formalizing the Debugging Process in Haskell. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2005, pp:211-226 [Conf]
   
3. Alberto de la Encina, Ricardo Pena
   Proving the Correctness of the STG Machine. [Citation Graph (0, 0)][DBLP]
   IFL, 2001, pp:88-104 [Conf]
   
4. Alberto de la Encina, Ismael Rodríguez, Fernando Rubio
   Testing Speculative Work in a Lazy/Eager Parallel Functional Language. [Citation Graph (0, 0)][DBLP]
   LCPC, 2005, pp:274-288 [Conf]
   
5. Alberto de la Encina, Ricardo Pena
   Formally deriving an STG machine. [Citation Graph (0, 0)][DBLP]
   PPDP, 2003, pp:102-112 [Conf]
   
6. Alberto de la Encina, Luis Llana, Fernando Rubio
   Introducing Debugging Capabilities to Natural Semantics. [Citation Graph (0, 0)][DBLP]
   Ershov Memorial Conference, 2006, pp:195-208 [Conf]
   
7. Alberto de la Encina, Luis Llana, Fernando Rubio, Mercedes Hidalgo-Herrero
   Observing intermediate structures in a parallel lazy functional language. [Citation Graph (0, 0)][DBLP]
   PPDP, 2007, pp:109-120 [Conf]
   
8. 
   A Formal Environment for Describing Negotiation Capabilities. [Citation Graph (, )][DBLP]
   
   
9. 
   Testing Entities in a Parallel Cognitive Language. [Citation Graph (, )][DBLP]
   
   
10. 
    Fuzzy-Timed Automata. [Citation Graph (, )][DBLP]
    
    
11. 
    A Debugger for Parallel Haskell Dialects. [Citation Graph (, )][DBLP]
    
    
12. 
    Applying Evolutionary Techniques to Debug Functional Programs. [Citation Graph (, )][DBLP]