Per Year
- Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
(paper in proceedings) — Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
- Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS
(paper in proceedings) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
- ReSpecTX: Programming Interaction Made Easy
(article in journal) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
- Spatial Tuples: Augmenting Reality with Tuples
(article in journal) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
- Logic Programming as a Service
(article in journal) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
- Extending Logic Programming with Labelled Variables: Model and Semantics
(article in journal) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
- Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum
(paper in proceedings) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini