Alberto de la Encina
Universidad Complutense de Madrid(ES)
Publications by Year
Research Areas
Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Semantic Web and Ontologies, Logic, Reasoning, and Knowledge, Evolutionary Algorithms and Applications
Most-Cited Works
- → From natural semantics to C: A formal derivation of two STG machines(2008)14 cited
- → Formally deriving an STG machine(2003)12 cited
- → Proving the Correctness of the STG Machine(2002)8 cited
- → A Parallel Skeleton for Genetic Algorithms(2011)5 cited
- → A Parallel Swarm Library Based on Functional Programming(2017)4 cited
- → Formalizing Interchange Competences(2009)4 cited
- → Testing Speculative Work in a Lazy/Eager Parallel Functional Language(2006)3 cited
- → Fuzzy-Timed Automata(2010)3 cited
- → Testing Entities in a Parallel Cognitive Language(2006)3 cited
- → Eden's Bees: Parallelizing Artificial Bee Colony in a Functional Environment(2013)3 cited