Showing 1 - 6 results of 6 for search 'Davide Ancona', query time: 0.03s Refine Results
  1. 1
    Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas

    Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas by Davide Ancona, Giovanni Lagorio

    Published 2010-06-01
    Get full text
    Article
  2. 2
    Reconciling positional and nominal binding

    Reconciling positional and nominal binding by Davide Ancona, Paola Giannini, Elena Zucca

    Published 2013-07-01
    Get full text
    Article
  3. 3
    Extending Coinductive Logic Programming with Co-Facts

    Extending Coinductive Logic Programming with Co-Facts by Davide Ancona, Francesco Dagnino, Elena Zucca

    Published 2017-09-01
    Get full text
    Article
  4. 4
    Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things

    Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things by Davide Ancona, Luca Franceschini, Giorgio Delzanno, Maurizio Leotta, Marina Ribaudo, Filippo Ricca

    Published 2018-02-01
    Get full text
    Article
  5. 5
    RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications

    RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications by Debora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi

    Published 2023-03-01
    Get full text
    Article
  6. 6
    Hackmytown: an Educational Experience on Smart Cities

    Hackmytown: an Educational Experience on Smart Cities by Vincenzo Del Fatto, Gabriella Dodero, Armin Bernhard, Angelo Ferrando, Davide Ancona, Viviana Mascardi, Robert Laurini, Giuseppe Roccasalva

    Published 2017-03-01
    Get full text
    Article

Search Tools: