The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alberto de la Encina: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.051secs, Finished in 0.052secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002