Follow
ALBERTO DE LA ENCINA VARA
ALBERTO DE LA ENCINA VARA
Profesor de Informática, Universidad Complutense de Madrid
Verified email at ucm.es
Title
Cited by
Cited by
Year
From natural semantics to C: A formal derivation of two STG machines
A De La Encina, R Pena
Journal of Functional Programming 19 (1), 47-94, 2009
272009
Multiobjective optimization subject to uncertainty: Application to irrigation strategy management
O Crespo, JE Bergez, F Garcia
Computers and electronics in agriculture 74 (1), 145-154, 2010
242010
Formally deriving an STG machine
A de la Encina, R Pena
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
182003
Proving the Correctness of the STG Machine
A de la Encina, R Pena
Implementation of Functional Languages: 13th International Workshop, IFL …, 2002
142002
A parallel swarm library based on functional programming
F Rubio, A de la Encina, P Rabanal, I Rodríguez
Advances in Computational Intelligence: 14th International Work-Conference …, 2017
82017
Observing intermediate structures in a parallel lazy functional language
A de la Encina, L Llana, F Rubio, M Hidalgo-Herrero
Proceedings of the 9th ACM SIGPLAN international conference on Principles …, 2007
72007
A parallel skeleton for genetic algorithms
A de la Encina, M Hidalgo-Herrero, P Rabanal, F Rubio
Advances in Computational Intelligence: 11th International Work-Conference …, 2011
62011
Testing speculative work in a lazy/eager parallel functional language
A de la Encina, I Rodríguez, F Rubio
International Workshop on Languages and Compilers for Parallel Computing …, 2005
62005
Introducing debugging capabilities to natural semantics
A de la Encina, L Llana, F Rubio
Perspectives of Systems Informatics: 6th International Andrei Ershov …, 2007
52007
Formalizing the debugging process in Haskell
A de la Encina, L Llana, F Rubio
Theoretical Aspects of Computing–ICTAC 2005: Second International Colloquium …, 2005
52005
Eden's bees: parallelizing artificial bee colony in a functional environment
F Rubio, A de la Encina, P Rabanal, I Rodríguez
Procedia Computer Science 18, 661-670, 2013
42013
Formalizando el proceso de depuración en programación funcional paralela y perezosa
A de la Encina Vara, LFL Díaz, FR Díez
Universidad Complutense de Madrid, 2011
42011
Fuzzy-timed automata
FJ Crespo, A de la Encina, L Llana
International Conference on Formal Methods for Open Object-Based Distributed …, 2010
42010
A debugger for parallel Haskell dialects
A de la Encina, I Rodríguez, F Rubio
Algorithms and Architectures for Parallel Processing: 8th International …, 2008
32008
Testing entities in a parallel cognitive language
A de la Encina, M Hidalgo-Herrero, P Rabanal, I Rodriguez, F Rubio
2006 5th IEEE International Conference on Cognitive Informatics 1, 344-355, 2006
32006
The problems of selecting problems
A de la Encina, N López, I Rodríguez, F Rubio
Advances in Computational Intelligence: 15th International Work-Conference …, 2019
22019
pHood: Tool Description, Analysis Techniques, and Case Studies
A de la Encina, I Rodríguez, F Rubio
New Generation Computing 32, 59-91, 2014
22014
A Debugging System Based on Natural Semantics.
A de la Encina, L Llana, F Rubio
J. Univers. Comput. Sci. 15 (14), 2836-2880, 2009
22009
Applying evolutionary techniques to debug functional programs
A de la Encina, M Hidalgo-Herrero, P Rabanal, F Rubio
Bio-Inspired Systems: Computational and Ambient Intelligence: 10th …, 2009
22009
Testing the Behaviour of Entities in a Cognitive Language
A dela Encina, M Hidalgo-Herrero, P Rabanal, I Rodríguez, F Rubio
International Journal of Cognitive Informatics and Natural Intelligence …, 2008
12008
The system can't perform the operation now. Try again later.
Articles 1–20