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 25 Giovanni Ciatto's publications by 21 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
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
Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI
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
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
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
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
Preface – AI&IoT 2019
Smart Contracts are More than Objects: Pro-activeness on the Blockchain
ReSpecTX: Programming Interaction Made Easy
Programming the Interaction Space Effectively with ReSpecTX
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
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
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
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
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
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
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
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
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
Preface – AI&IoT 2019
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
Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI
Towards XMAS: eXplainability through Multi-Agent Systems
P [top]
Pianini, Danilo Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
R [top]
Rizzato, Lorenzo TuSoW: Tuple Spaces for Edge Computing
S [top]
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
V [top]
Viroli, Mirko Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
Z [top]
Zambonelli, Franco Twenty years of coordination technologies: COORDINATION contribution to the state of art
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives