All Stories

  1. It is double pleasure to deceive the deceiver: disturbing classifiers against adversarial attacks

    Article • October 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Rodrigo T. Saad

  2. An Experiment on Parallel Model Checking of a CTL Fragment

    Article • January 2012, Springer Science + Business Media

    Rodrigo T. Saad

  3. Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction

    Article • July 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Rodrigo T. Saad

  4. A General Lock-Free Algorithm for Parallel State Space Construction

    Article • September 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Rodrigo T. Saad