Per Year
Per Year
16 publications with Scopus ID / 2018
- Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum
- Aggregate Graph Statistics
- Combining Trust and Aggregate Computing
- Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives
- Developing Agent-Based Pervasive Mixed Reality Systems: The MiRAgE Framework
- Logic Programming as a Service
- ReSpecTX: Programming Interaction Made Easy
- Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS
- A Model and Platform for Building Agent-Based Pervasive Mixed Reality Systems
- LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
- Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
- The Impact of Self-loops in Random Boolean Network Dynamics: A Simulation Analysis
- Logic Programming in Space-Time: The Case of Situatedness in LPaaS
- From the Blockchain to Logic Programming and Back: Research Perspectives
- Spatial Tuples: Augmenting Reality with Tuples
- Extending Logic Programming with Labelled Variables: Model and Semantics