Elvira Albert

Closed-Form Upper Bounds in Static Cost Analysis

Elvira Albert, Puri Arenas, Samir Genaim et al. · Journal of Automated Reasoning · 2010 · 159 citations

Natural Sciences, Mathematics, Optimization +4

Cost analysis of object-oriented bytecode programs

Elvira Albert, Puri Arenas, Samir Genaim et al. · Theoretical Computer Science · 2011 · 121 citations

Computing, Computer Engineering, Computer Science +14

Operational semantics for declarative multi-paradigm languages

Elvira Albert, Michael Hanus, Frank Huch et al. · Journal of Symbolic Computation · 2005 · 94 citations

Computing, Computer Science, Natural Language Processing +12

Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS

Elvira Albert, Frank S. de Boer, Reiner Hähnle et al. · Service Oriented Computing and Applications · 2013 · 57 citations

Computing, Cloud Computing, Systems Engineering +17

The narrowing-driven approach to functional logic program specialization

Elvira Albert, Germán Vidal · New Generation Computing · 2002 · 54 citations

Computing, Computer Science, Computer Systems +9