Per Year

11 publications / 2018 / Andrea Omicini

long bib

2018

Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (GOODTECHS 2018) — Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (Globe-IoT 2018 @ ACM/IEEE IoTDI) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
ReSpecTX: Programming Interaction Made Easy (Computer Science and Information Systems) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives (COORDINATION 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel
Spatial Tuples: Augmenting Reality with Tuples (Expert Systems) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Logic Programming as a Service (Theory and Practice of Logic Programming) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Extending Logic Programming with Labelled Variables: Model and Semantics (Fundamenta Informaticae) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (Big Data and Cognitive Computing) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum (BCT4MAS 2018 @ WI 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Logic Programming in Space-Time: The Case of Situatedness in LPaaS (WOA 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
From the Blockchain to Logic Programming and Back: Research Perspectives (WOA 2018) — Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini

11 publications / 2018 • top • index • bottom