Stefano Bistarelli
Università degli Studi di Perugia
H-index: 32
Europe-Italy
Top articles of Stefano Bistarelli
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A concurrent language for modelling agents arguing on a shared argumentation space | Argument & Computation | Stefano Bistarelli Carlo Taticchi | 2023 |
A Survey on Decentralized Identifier Methods for Self Sovereign Identity | Stefano Bistarelli Francesco Micheli Francesco Santini | 2023 | |
Timed concurrent language for argumentation with maximum parallelism | Journal of Logic and Computation | Stefano Bistarelli Maria Chiara Meo Carlo Taticchi | 2023/6 |
Deriving Dependency Graphs from Abstract Argumentation Frameworks | Stefano Bistarelli Carlo Taticchi | 2023/11/2 | |
Towards a quantum-safe transaction signature in Ethereum | Stefano Bistarelli Marco Fiore Ivan Mercanti Marina Mongiello | 2023 | |
Enforcing Confidentiality in Tornado Cash-based E-Voting Systems | Stefano Bistarelli Ivan Mercanti Francesco Santini | 2023 | |
A Word on Policy-based Credential Disclosure in SSI | Policy | Stefano Bistarelli Chiara Luchini Francesco Santini | 2023/5/25 |
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games | Theory and Practice of Logic Programming | Stefano Bistarelli CARLO TATICCHI MARIA CHIARA MEO | 2023/11 |
Modeling Carne PRI supply chain with the*-Chain Platform | CEUR WORKSHOP PROCEEDINGS | Stefano Bistarelli Francesco Faloci Marino Miculan Paolo Mori Carlo Taticchi | 2023 |
Towards a temporal probabilistic argumentation framework | The International FLAIRS Conference Proceedings | Stefano Bistarelli Victor David Francesco Santini Carlo Taticchi | 2023/5/8 |
*-chain: A framework for automating the modeling of blockchain based supply chain tracing systems | Future Generation Computer Systems | Stefano Bistarelli Francesco Faloci Paolo Mori | 2023/12/1 |
A survey of steganography tools at layers 2-4 and HTTP | Stefano Bistarelli Michele Ceccarelli Chiara Luchini Ivan Mercanti Francesco Santini | 2023/8/29 | |
Tackling disinformation in the EU: the case of “Truthster” | JUSLETTER IT | Federico Costantini Francesco Crisci Silvia Venier Stefano Bistarelli Ivan Mercanti | 2023 |
Towards automated verification of bitcoin-based decentralised applications | Stefano Bistarelli Andrea Bracciali Rick Klomp Ivan Mercanti | 2023/3/27 | |
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics | Journal of Logic and Computation | Stefano Bistarelli Carlo Taticchi | 2023/12 |
A TCP-based Covert Channel with Integrity Check and Retransmission | Stefano Bistarelli Andrea Imparato Francesco Santini | 2023/8/21 | |
Temporal Probabilistic Argumentation Frameworks | CEUR Workshop Proceedings | Stefano Bistarelli Victor David Francesco Santini Carlo Taticchi | 2023 |
On the Role of Local Arguments in the (Timed) Concurrent Language for Argumentation | CEUR WORKSHOP PROCEEDINGS | Stefano Bistarelli Maria Chiara Meo Carlo Taticchi | 2023 |
A Military IdAM System Based on SSI and ORCON | Stefano Bistarelli Chiara Luchini Francesco Santini | 2023/11/20 | |
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays | Concurrency and Computation: Practice and Experience | Stefano Bistarelli Rocco De Nicola Letterio Galletta Cosimo Laneve Ivan Mercanti | 2023/7/25 |