Publicaciones en colaboración con investigadores/as de The Microsoft Research - University of Trento Centre for Computational and Systems Biology (6)

2017

  1. Proving termination through conditional termination

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2015

  1. Compositional safety verification with Max-SMT

    Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design, FMCAD 2015

2011

  1. Workshop on data intensive computing in the clouds - DataCloud

    IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum

  2. Workshop on system management techniques, processes, and services - SMTPS

    IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum

2009

  1. Maximizing Power Efficiency with Asymmetric Multicore Systems: Asymmetric multicore systems promise to use a lot less energy than conventional symmetric processors. How can we develop software that makes the most out of this potential?

    Queue, Vol. 7, Núm. 10, pp. 30-45

  2. Maximizing power efficiency with asymmetric multicore systems

    Communications of the ACM, Vol. 52, Núm. 12, pp. 48-57