Showing 1 - 3 results of 3 for search 'Martina Olliaro', query time: 0.02s Refine Results
  1. 1
    Reducing Multiple Occurrences of Meta-Mark Selection in Relational Data Watermarking

    Reducing Multiple Occurrences of Meta-Mark Selection in Relational Data Watermarking by Maikel Lazaro Perez Gort, Martina Olliaro, Agostino Cortesi

    Published 2022-01-01
    Get full text
    Article
  2. 2
    Study of the Watermark Source’s Topology Role on Relational Data Watermarking Robustness

    Study of the Watermark Source’s Topology Role on Relational Data Watermarking Robustness by Maikel Lazaro Perez Gort, Martina Olliaro, Agostino Cortesi

    Published 2024-01-01
    Get full text
    Article
  3. 3
    Abstracting Strings for Model Checking of C Programs

    Abstracting Strings for Model Checking of C Programs by Henrich Lauko, Martina Olliaro, Agostino Cortesi, Petr Roc̆kai

    Published 2020-11-01
    Get full text
    Article

Search Tools: