Seguir
ALBERTO DE LA ENCINA VARA
ALBERTO DE LA ENCINA VARA
Profesor de Informática, Universidad Complutense de Madrid
Email confirmado em ucm.es
Título
Citado por
Citado por
Ano
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
252010
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
242009
Formally deriving an STG machine
A de la Encina, R Pena
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
172003
Proving the Correctness of the STG Machine
A Encina, R Pena
Symposium on Implementation and Application of Functional Languages, 88-104, 2001
142001
A parallel swarm library based on functional programming
F Rubio, A Encina, P Rabanal, I Rodríguez
International Work-Conference on Artificial Neural Networks, 3-15, 2017
72017
A parallel skeleton for genetic algorithms
A Encina, M Hidalgo-Herrero, P Rabanal, F Rubio
International Work-Conference on Artificial Neural Networks, 388-395, 2011
72011
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
Testing speculative work in a lazy/eager parallel functional language
A Encina, I Rodríguez, F Rubio
International Workshop on Languages and Compilers for Parallel Computing …, 2005
62005
Formalizando el proceso de depuración en programación funcional paralela y perezosa
E Vara
Universidad Complutense de Madrid, Servicio de Publicaciones, 2008
52008
Introducing debugging capabilities to natural semantics
A Encina, L Llana, F Rubio
International Andrei Ershov Memorial Conference on Perspectives of System …, 2006
52006
Formalizing the debugging process in Haskell
A Encina, L Llana, F Rubio
International Colloquium on Theoretical Aspects of Computing, 211-226, 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
Fuzzy-timed automata
FJ Crespo, A Encina, L Llana
Formal Techniques for Distributed Systems, 140-154, 2010
42010
A debugger for parallel Haskell dialects
A Encina, I Rodríguez, F Rubio
International Conference on Algorithms and Architectures for Parallel …, 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 Encina, N López, I Rodríguez, F Rubio
International Work-Conference on Artificial Neural Networks, 760-772, 2019
22019
pHood: Tool Description, Analysis Techniques, and Case Studies
A de la Encina, I Rodríguez, F Rubio
New Generation Computing 32 (1), 59-91, 2014
22014
Applying evolutionary techniques to debug functional programs
A Encina, M Hidalgo-Herrero, P Rabanal, F Rubio
International Work-Conference on Artificial Neural Networks, 318-326, 2009
22009
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
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
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20