All Stories

  1. F lux

    Article • ACM Transactions on Sensor Networks, November 2018, ACM (Association for Computing Machinery)

    Eduardo Marques

  2. Protocol-based verification of message-passing parallel programs

    Article • ACM SIGPLAN Notices, December 2015, ACM (Association for Computing Machinery)

    Vasco T. Vasconcelos, Eduardo Marques