Co-Author Index

Last modified by Andrea Omicini on 2020/10/21 14:57

Giovanni Ciatto's Co-Authors Index

The following page indexes Giovanni Ciatto's publications in the APICe space by author. Currently, the APICe space contains 32 Giovanni Ciatto's publications by 27 co-authors.

A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

B	[top]
Bosello, Michael	Comparative Analysis of Blockchain Technologies under a Coordination Perspective
C	[top]
Calegari, Roberta	From the Blockchain to Logic Programming and Back: Research Perspectives Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines 2P-Kt: logic programming with objects & functions in Kotlin Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review Neuro-symbolic Computation for XAI: Towards a Unified Model Preface Logic Programming in Space-Time: The Case of Situatedness in LPaaS Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI On the integration of symbolic and sub-symbolic techniques for XAI: A survey Towards XMAS: eXplainability through Multi-Agent Systems
Calvaresi, Davide	An Abstract Framework for Agent-Based Explanations in AI Agent-Based Explanations in AI: Towards an Abstract Framework Towards XMAS: eXplainability through Multi-Agent Systems
Casadei, Roberto	Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
Caselli, Ashley	Engineering Semantic Self-composition of Services Through Tuple-Based Coordination
Ciatto, Giovanni	An Abstract Framework for Agent-Based Explanations in AI Agent-Based Explanations in AI: Towards an Abstract Framework Towards Agent-oriented Blockchains: Autonomous Smart Contracts Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum Comparative Analysis of Blockchain Technologies under a Coordination Perspective Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain From the Blockchain to Logic Programming and Back: Research Perspectives From Agents to Blockchain: Stairway to Integration Twenty years of coordination technologies: COORDINATION contribution to the state of art Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines 2P-Kt: logic programming with objects & functions in Kotlin Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review Neuro-symbolic Computation for XAI: Towards a Unified Model Preface – AI&IoT 2019 Preface Smart Contracts are More than Objects: Pro-activeness on the Blockchain ReSpecTX: Programming Interaction Made Easy Programming the Interaction Space Effectively with ReSpecTX Engineering Semantic Self-composition of Services Through Tuple-Based Coordination Spiking Neural Networks as Timed Automata Formal Validation of Neural Networks as Timed Automata Logic Programming in Space-Time: The Case of Situatedness in LPaaS Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives TuSoW: Tuple Spaces for Edge Computing Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI On the integration of symbolic and sub-symbolic techniques for XAI: A survey Towards XMAS: eXplainability through Multi-Agent Systems
D	[top]
De Maria, Elisabetta	Spiking Neural Networks as Timed Automata Formal Validation of Neural Networks as Timed Automata
Dellaluce, Jason	Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI
Denti, Enrico	From the Blockchain to Logic Programming and Back: Research Perspectives Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines 2P-Kt: logic programming with objects & functions in Kotlin Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS Logic Programming in Space-Time: The Case of Situatedness in LPaaS
Denti, Enrico	Preface
Di Giusto, Cinzia	Spiking Neural Networks as Timed Automata Formal Validation of Neural Networks as Timed Automata
Di Marzo Serugendo, Giovanna	Twenty years of coordination technologies: COORDINATION contribution to the state of art Engineering Semantic Self-composition of Services Through Tuple-Based Coordination
F	[top]
Fortino, Giancarlo	Preface – AI&IoT 2019
L	[top]
Louvel, Maxime	Twenty years of coordination technologies: COORDINATION contribution to the state of art Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives
M	[top]
Maffi, Alfredo	Towards Agent-oriented Blockchains: Autonomous Smart Contracts Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts Smart Contracts are More than Objects: Pro-activeness on the Blockchain
Mariani, Stefano	Towards Agent-oriented Blockchains: Autonomous Smart Contracts Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum Comparative Analysis of Blockchain Technologies under a Coordination Perspective Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain From the Blockchain to Logic Programming and Back: Research Perspectives From Agents to Blockchain: Stairway to Integration Twenty years of coordination technologies: COORDINATION contribution to the state of art Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS Smart Contracts are More than Objects: Pro-activeness on the Blockchain ReSpecTX: Programming Interaction Made Easy Programming the Interaction Space Effectively with ReSpecTX Logic Programming in Space-Time: The Case of Situatedness in LPaaS Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives TuSoW: Tuple Spaces for Edge Computing
Mascardi, Viviana	Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review
O	[top]
Omicini, Andrea	An Abstract Framework for Agent-Based Explanations in AI Agent-Based Explanations in AI: Towards an Abstract Framework Towards Agent-oriented Blockchains: Autonomous Smart Contracts Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum Comparative Analysis of Blockchain Technologies under a Coordination Perspective Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain From the Blockchain to Logic Programming and Back: Research Perspectives From Agents to Blockchain: Stairway to Integration Twenty years of coordination technologies: COORDINATION contribution to the state of art Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines 2P-Kt: logic programming with objects & functions in Kotlin Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review Neuro-symbolic Computation for XAI: Towards a Unified Model Preface – AI&IoT 2019 Preface Smart Contracts are More than Objects: Pro-activeness on the Blockchain ReSpecTX: Programming Interaction Made Easy Programming the Interaction Space Effectively with ReSpecTX Engineering Semantic Self-composition of Services Through Tuple-Based Coordination Logic Programming in Space-Time: The Case of Situatedness in LPaaS Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives TuSoW: Tuple Spaces for Edge Computing Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI On the integration of symbolic and sub-symbolic techniques for XAI: A survey Towards XMAS: eXplainability through Multi-Agent Systems
P	[top]
Pianini, Danilo	Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
Pisano, Giuseppe	Neuro-symbolic Computation for XAI: Towards a Unified Model
R	[top]
Rizzato, Lorenzo	TuSoW: Tuple Spaces for Edge Computing
S	[top]
Sartor, Giovanni	Preface
Savaglio, Claudio	Preface – AI&IoT 2019
Schumacher, Michael I.	An Abstract Framework for Agent-Based Explanations in AI Agent-Based Explanations in AI: Towards an Abstract Framework
Siboni, Enrico	2P-Kt: logic programming with objects & functions in Kotlin
V	[top]
Viroli, Mirko	Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
Z	[top]
Zambonelli, Franco	From Agents to Blockchain: Stairway to Integration Twenty years of coordination technologies: COORDINATION contribution to the state of art Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives