| 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 | 27 | 2009 |
| 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 | 24 | 2010 |
| Formally deriving an STG machine A de la Encina, R Pena Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003 | 19 | 2003 |
| Proving the Correctness of the STG Machine A de la Encina, R Pena Implementation of Functional Languages: 13th International Workshop, IFL …, 2002 | 15 | 2002 |
| 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 | 8 | 2011 |
| 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 | 8 | 2007 |
| 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 | 7 | 2017 |
| 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 | 7 | 2005 |
| Introducing debugging capabilities to natural semantics A de la Encina, L Llana, F Rubio Perspectives of Systems Informatics: 6th International Andrei Ershov …, 2007 | 6 | 2007 |
| Formalizing the debugging process in Haskell A de la Encina, L Llana, F Rubio Theoretical Aspects of Computing–ICTAC 2005: Second International Colloquium …, 2005 | 6 | 2005 |
| 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 | 4 | 2013 |
| 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 | 4 | 2011 |
| Fuzzy-timed automata FJ Crespo, A de la Encina, L Llana International Conference on Formal Methods for Open Object-Based Distributed …, 2010 | 4 | 2010 |
| A debugger for parallel Haskell dialects A de la Encina, I Rodríguez, F Rubio Algorithms and Architectures for Parallel Processing: 8th International …, 2008 | 3 | 2008 |
| 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 | 3 | 2006 |
| 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 | 2 | 2019 |
| pHood: Tool Description, Analysis Techniques, and Case Studies A de la Encina, I Rodríguez, F Rubio New Generation Computing 32, 59-91, 2014 | 2 | 2014 |
| A Debugging System Based on Natural Semantics. A de la Encina, L Llana, F Rubio J. Univers. Comput. Sci. 15 (14), 2836-2880, 2009 | 2 | 2009 |
| 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 | 2 | 2009 |
| Formalizando el proceso de depuración en programación funcional paralela y perezosa E Vara Universidad Complutense de Madrid, Servicio de Publicaciones, 2008 | 1 | 2008 |
Fernando RubioUniversidad Complutense de MadridVerified email at sip.ucm.es
