Alberto de la Encina

24 papers B 3C 4Misc 2Journal 5Unranked 10
YearRankTypeTitle / Venue / Authors
2020 B conf
A Cognitive-based Tool to Teach how to Teach.
SMC
Alberto de la Encina, Martín Manuel Garbayo Moreno, Mercedes Hidalgo-Herrero, Pablo Rabanal, Fernando Rubio
2019 B conf
Exporting Rain-Fall optimization concepts to Artificial Bee Colony.
SMC
Alberto de la Encina, Natalia López, Fernando Rubio
2019 — conf
The Problems of Selecting Problems.
IWANN (2)
Alberto de la Encina, Natalia López, Ismael Rodríguez, Fernando Rubio
2018 B conf
Selecting Algorithms by Using ATD.
SMC
Mercedes Hidalgo-Herrero, Alberto de la Encina, Fernando Rubio
2017 — conf
A Parallel Swarm Library Based on Functional Programming.
IWANN (1)
Fernando Rubio, Alberto de la Encina, Pablo Rabanal, Ismael Rodríguez
2014 J jnl
pHood: Tool Description, Analysis Techniques, and Case Studies.
New Gener. Comput.
Alberto de la Encina, Ismael Rodríguez, Fernando Rubio
2013 Misc conf
Eden's Bees: Parallelizing Artificial Bee Colony in a Functional Environment.
ICCS
Fernando Rubio, Alberto de la Encina, Pablo Rabanal, Ismael Rodríguez
2011 — conf
A Parallel Skeleton for Genetic Algorithms.
IWANN (2)
Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Fernando Rubio
2010 — conf
Fuzzy-Timed Automata.
FMOODS/FORTE
F. Javier Crespo, Alberto de la Encina, Luis Llana
2009 J jnl
A Debugging System Based on Natural Semantics.
J. Univers. Comput. Sci.
Alberto de la Encina, Luis Llana, Fernando Rubio
2009 — conf
Applying Evolutionary Techniques to Debug Functional Programs.
IWANN (1)
Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Fernando Rubio
2009 J jnl
Formalizing Interchange Competences.
Int. J. Cogn. Informatics Nat. Intell.
Alberto de la Encina, Mercedes Hidalgo-Herrero, Natalia López
2009 J jnl
From natural semantics to C: A formal derivation of two STG machines.
J. Funct. Program.
Alberto de la Encina, Ricardo Peña-Marí
2008 C conf
A Debugger for Parallel Haskell Dialects.
ICA3PP
Alberto de la Encina, Ismael Rodríguez, Fernando Rubio
2008 J jnl
Testing the Behaviour of Entities in a Cognitive Language.
Int. J. Cogn. Informatics Nat. Intell.
Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2007 — conf
A Formal Environment for Describing Negotiation Capabilities.
IEEE ICCI
Alberto de la Encina, Mercedes Hidalgo-Herrero, Natalia López
2007 C conf
Observing intermediate structures in a parallel lazy functional language.
PPDP
Alberto de la Encina, Luis Llana, Fernando Rubio, Mercedes Hidalgo-Herrero
2006 — conf
Introducing Debugging Capabilities to Natural Semantics.
Ershov Memorial Conference
Alberto de la Encina, Luis Llana, Fernando Rubio
2006 Misc conf
Platyhelminthes Are [Re]constructed Recursively.
International Conference on Computational Science (2)
Alberto de la Encina, Mercedes Hidalgo-Herrero, Olga Marroquín Alonso
2006 — conf
Testing Entities in a Parallel Cognitive Language.
IEEE ICCI
Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2005 C conf
Formalizing the Debugging Process in Haskell.
ICTAC
Alberto de la Encina, Luis Llana, Fernando Rubio
2005 — conf
Testing Speculative Work in a Lazy/Eager Parallel Functional Language.
LCPC
Alberto de la Encina, Ismael Rodríguez, Fernando Rubio
2003 C conf
Formally deriving an STG machine.
PPDP
Alberto de la Encina, Ricardo Pena
2001 — conf
Proving the Correctness of the STG Machine.
IFL
Alberto de la Encina, Ricardo Pena