Search

Erika Ábrahám

Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Preparing HPC Applications for Exascale: Challenges and Recommendations

Published with Wowchemy — the free, open source website builder that empowers creators.