Per Year
Per Year
14 publications with IRIS ID / 2018
- Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
- Developing Agent-Based Pervasive Mixed Reality Systems: The MiRAgE Framework
- Hypermedia to connect them all autonomous hypermedia agents and sociotechnical interactions
- Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS
- ReSpecTX: Programming Interaction Made Easy
- Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives
- Spatial Tuples: Augmenting Reality with Tuples
- Logic Programming as a Service
- Extending Logic Programming with Labelled Variables: Model and Semantics
- LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
- Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum
- Logic Programming in Space-Time: The Case of Situatedness in LPaaS
- From the Blockchain to Logic Programming and Back: Research Perspectives
- A Model and Platform for Building Agent-Based Pervasive Mixed Reality Systems