Author Search Results :: UTM Library Massive Scholar Tracking

1

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

Structural Resolution for Abstract Compilation of Object-Oriented Languages by Luca Franceschini, Davide Ancona, Ekaterina Komendantskaya

Published 2017-09-01

Get full text

Article
3

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

Published 2013-07-01

Get full text

Article
4

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

Published 2017-09-01

Get full text

Article
5

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
6

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
7

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