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 |