Giovanni Ciatto » Publications » Co-Author Index

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