Stefano Bistarelli

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 117

Top Venues

Publications

Stefano Bistarelli, Michele Ceccarelli, Chiara Luchini, Ivan Mercanti, Francesco Santini
A Preliminary Study on the Creation of a Covert Channel with HTTP Headers. ITASEC (2024)
Stefano Bistarelli, Marco Cuccarini
BERT-based Questions Answering on Close Domains: Preliminary Report. CILC (2024)
Stefano Bistarelli, Carlo Taticchi
A Semantics-Aware Evaluation Order for Abstract Argumentation Frameworks. CILC (2024)
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
Preserving Privacy in a (Timed) Concurrent Language for Argumentation. CILC (2024)
Stefano Bistarelli, Carlo Taticchi
A concurrent language for modelling agents arguing on a shared argumentation space. Argument Comput. 15 (1) (2024)
Stefano Bistarelli, Francesco Faloci, Paolo Mori, Carlo Taticchi, Marino Miculan
Modeling Carne PRI supply chain with the *-Chain Platform. DLT (2023)
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games. CoRR (2023)
Stefano Bistarelli, Rocco De Nicola, Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays. Concurr. Comput. Pract. Exp. 35 (16) (2023)
Stefano Bistarelli, Carlo Taticchi
Deriving Dependency Graphs from Abstract Argumentation Frameworks. AI*IA (2023)
Stefano Bistarelli, Andrea Bracciali, Rick Klomp, Ivan Mercanti
Towards automated verification of Bitcoin-based decentralised applications. SAC (2023)
Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi
Towards a Temporal Probabilistic Argumentation Framework. FLAIRS (2023)
Stefano Bistarelli, Michele Ceccarelli, Chiara Luchini, Ivan Mercanti, Francesco Santini
A Survey of Steganography Tools at Layers 2-4 and HTTP. ARES (2023)
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
On the Role of Local Arguments in the (Timed) Concurrent Language for Argumentation. AI³@AI*IA (2023)
Stefano Bistarelli, Francesco Micheli, Francesco Santini
A Survey on Decentralized Identifier Methods for Self Sovereign Identity. ITASEC (2023)
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
Timed concurrent language for argumentation with maximum parallelism. J. Log. Comput. 33 (4) (2023)
Stefano Bistarelli, Andrea Imparato, Francesco Santini
A TCP-based Covert Channel with Integrity Check and Retransmission. PST (2023)
Stefano Bistarelli, Carlo Taticchi, Maria Chiara Meo
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games. Theory Pract. Log. Program. 23 (6) (2023)
Stefano Bistarelli, Carlo Taticchi
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics. J. Log. Comput. 33 (8) (2023)
Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi
Temporal Probabilistic Argumentation Frameworks. CILC (2023)
Stefano Bistarelli, Francesco Faloci, Paolo Mori
*-chain: A framework for automating the modeling of blockchain based supply chain tracing systems. Future Gener. Comput. Syst. 149 (2023)
Stefano Bistarelli, Ivan Mercanti, Francesco Santini
Enforcing Confidentiality in Tornado Cash-based E-voting Systems. DLT (2023)
Stefano Bistarelli, Alessio Mancinelli, Francesco Santini, Carlo Taticchi
Arg-XAI: a Tool for Explaining Machine Learning Results. ICTAI (2022)
Stefano Bistarelli, Carlo Taticchi
Deriving Dependency Graphs from Abstract Argumentation Frameworks: a Preliminary Report. AI³@AI*IA (2022)
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
Timed Concurrent Language for Argumentation: An Interleaving Approach. PADL (2022)
Stefano Bistarelli, Francesco Faloci, Paolo Mori, Carlo Taticchi
Olive Oil as Case Study for the *-Chain Platform. DLT@ITASEC (2022)
Stefano Bistarelli, Carlo Taticchi
A Four-State Labelling Semantics for Weighted Argumentation Frameworks. CILC (2022)
Stefano Bistarelli, Carlo Taticchi
A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks. J. Log. Comput. 32 (2) (2022)
Stefano Bistarelli, Marco Marcozzi, Gianmarco Mazzante, Leonardo Mostarda, Alfredo Navarra, Davide Sestili
Blockchain and IoT Integration for Pollutant Emission Control. AINA (3) (2022)
Stefano Bistarelli, Francesco Santini
A Definition of Sceptical Semantics in the Constellations Approach. LPNMR (2022)
Stefano Bistarelli, Alessio Mancinelli, Francesco Santini, Carlo Taticchi
An Argumentative Explanation of Machine Learning Outcomes. COMMA (2022)
Stefano Bistarelli, Emanuele Bosimini, Francesco Santini
On Identifying Repeated Patterns of OT Attacks with LOGistICS. ITASEC (2022)
Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi
Computing Grounded Semantics of Uncontroversial Acyclic Constellation Probabilistic Argumentation in Linear Time. AI³@AI*IA (2022)
Stefano Bistarelli, Bruno Lazo La Torre Montalvo, Ivan Mercanti, Francesco Santini
An E-Voting System Based on Tornado Cash. ETAA (2022)
Stefano Bistarelli, Lars Kotthoff, Francesco Santini, Carlo Taticchi
Summary Report for the Third International Competition On Computational Models of Argumentation. AI Mag. 42 (3) (2021)
Stefano Bistarelli, Carlo Taticchi
Introducing a Tool for Concurrent Argumentation. JELIA (2021)
Stefano Bistarelli, Fabio Rossi, Francesco Santini
Kruskal with embedded C-semirings to solve MST problems with partially-ordered costs. Inf. Process. Lett. 169 (2021)
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
Concurrent Argumentation with Time: an Overview. AI³@AI*IA (2021)
Stefano Bistarelli, Fabio Rossi, Francesco Santini
ConArgLib: an argumentation library with support to search strategies and parallel search. J. Exp. Theor. Artif. Intell. 33 (6) (2021)
Stefano Bistarelli, Francesco Faloci, Paolo Mori
Towards a Graphical DSL for Tracing Supply Chains on Blockchain. Euro-Par Workshops (2021)
Stefano Bistarelli, Carlo Taticchi, Francesco Santini
A Chatbot Extended with Argumentation. AI³@AI*IA (2021)
Stefano Bistarelli, Francesco Faloci, Paolo Mori
*.chain: automatic coding of smart contracts and user interfaces for supply chains. BCCA (2021)
Carlo Taticchi, Stefano Bistarelli
Extending Labelling Semantics to Weighted Argumentation Frameworks. FLAIRS Conference (2021)
Stefano Bistarelli, Ivan Mercanti, Francesco Faloci, Francesco Santini
Highlighting poor anonymity and security practice in the blockchain of Bitcoin. SAC (2021)
Stefano Bistarelli, Carlo Taticchi
A Unifying Four-State Labelling Semantics for Bridging Abstract Argumentation Frameworks and Belief Revision. ICTCS (2021)
Stefano Bistarelli, Francesco Santini
Weighted Argumentation. FLAP 8 (6) (2021)
Stefano Bistarelli, Emanuele Bosimini, Francesco Santini
A Medium-Interaction Emulation and Monitoring System for Operational Technology. ARES (2021)
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
Timed Concurrent Language for Argumentation. CILC (2021)
Stefano Bistarelli, Wolfgang Dvorák, Carlo Taticchi, Stefan Woltran
Ranking-Based Semantics from the Perspective of Claims. COMMA (2020)
Paolo Giuliodori, Stefano Bistarelli, Dimitri Mugnai
Energy allocation and payment: a game-theoretic approach. Ann. Math. Artif. Intell. 88 (7) (2020)
Stefano Bistarelli, Carlo Taticchi
A Concurrent Language for Argumentation. AI³@AI*IA (2020)
Stefano Bistarelli, Lars Kotthoff, Francesco Santini, Carlo Taticchi
A First Overview of ICCMA'19. AI³@AI*IA (2020)
Stefano Bistarelli, Emanuele Bosimini, Francesco Santini
A Report on the Security of Home Connections with IoT and Docker Honeypots. ITASEC (2020)
Stefano Bistarelli, Carlo Taticchi
A Concurrent Language for Argumentation: Preliminary Notes. Gabbrielli's Festschrift (2020)
Theofrastos Mantadelis, Stefano Bistarelli
Probabilistic abstract argumentation frameworks, a possible world view. Int. J. Approx. Reason. 119 (2020)
Stefano Bistarelli, Carlo Taticchi
A Labelling Semantics for Weighted Argumentation Frameworks. CILC (2020)
Stefano Bistarelli, Gianmarco Mazzante, Matteo Micheletti, Leonardo Mostarda, Davide Sestili, Francesco Tiezzi
Ethereum smart contracts: Analysis and statistics of their source code and opcodes. Internet Things 11 (2020)
Stefano Bistarelli, Francesco Santini
Abstract argumentation and (optimal) stable marriage problems. Argument Comput. 11 (1-2) (2020)
Stefano Bistarelli, Carlo Taticchi
Towards an Implementation of a Concurrent Language for Argumentation. AI*IA (2020)
Stefano Bistarelli, Carlo Taticchi
Power index-based semantics for ranking arguments in abstract argumentation frameworks. Intelligenza Artificiale 13 (2) (2019)
Stefano Bistarelli, Ivan Mercanti, Francesco Santini
An Analysis of Non-standard Transactions. Frontiers Blockchain 2 (2019)
Stefano Bistarelli, Francesco Faloci, Carlo Taticchi
Implementing Ranking-Based Semantics in ConArg. ICTAI (2019)
Stefano Bistarelli, Francesco Santini, Paolo Torroni
Special issue of the Knowledge Representation and Reasoning Track, Symposium on Applied Computing (SAC) 2017. Fundam. Informaticae 166 (2) (2019)
Stefano Bistarelli, Ivan Mercanti, Paolo Santancini, Francesco Santini
End-to-End Voting with Non-Permissioned and Permissioned Ledgers. J. Grid Comput. 17 (1) (2019)
Stefano Bistarelli, Claudio Pannacci, Francesco Santini
CapBAC in Hyperledger Sawtooth. DAIS (2019)
Ryuta Arisaka, Stefano Bistarelli, Francesco Santini
Block Argumentation. CoRR (2019)
Stefano Bistarelli, Theofrastos Mantadelis
A Possible World View and a Normal Form for the Constellation Semantics. JELIA (2019)
Stefano Bistarelli, Carlo Taticchi
Preliminary Study on Reinstatement Labelling for Weighted Argumentation Frameworks. AI³@AI*IA (2019)
Stefano Bistarelli, Francesco Faloci, Francesco Santini, Carlo Taticchi
A Tool For Ranking Arguments Through Voting-Games Power Indexes. CILC (2019)
Stefano Bistarelli, Gianmarco Mazzante, Matteo Micheletti, Leonardo Mostarda, Francesco Tiezzi
Analysis of Ethereum Smart Contracts and Opcodes. AINA (2019)
Stefano Bistarelli, Francesco Faloci, Carlo Taticchi
Implementing Ranking-Based Semantics in ConArg: a Preliminary Report. CoRR (2019)
Stefano Bistarelli, Francesco Santini
An Introduction to Optimal Stable Marriage Problems and Argumentation Frameworks. AI³@AI*IA (2019)
Pierpaolo Dondio, Luca Longo, Stefano Bistarelli
Preface to the Special Issue on Advances in Argumentation in Artificial Intelligence. Intelligenza Artificiale 13 (2) (2019)
Ryuta Arisaka, Francesco Santini, Stefano Bistarelli
Block Argumentation. PRIMA (2019)
Stefano Bistarelli, Francesco Santini
Well-Foundedness in Weighted Argumentation Frameworks. JELIA (2019)
Stefano Bistarelli, Gianna Figà-Talamanca, Francesco Lucarini, Ivan Mercanti
Studying forward looking bubbles in Bitcoin/USD exchange rates. IDEAS (2019)
Stefano Bistarelli, Alessandra Cretarola, Gianna Figà-Talamanca, Ivan Mercanti, Marco Patacca
Is Arbitrage Possible in the Bitcoin Market? (Work-In-Progress Paper). GECON (2018)
Paolo Giuliodori, Stefano Bistarelli, Dimitri Mugnai
A Fair Payment Scheme for Virtuous Community Energy Usage. ISAIM (2018)
Stefano Bistarelli, Theofrastos Mantadelis, Francesco Santini, Carlo Taticchi
Using MetaProbLog and ConArg to compute Probabilistic Argumentation Frameworks. AI³@AI*IA (2018)
Stefano Bistarelli, Francesco Santini, Carlo Taticchi
On Looking for Invariant Operators in Argumentation Semantics. FLAIRS Conference (2018)
Stefano Bistarelli, Antonio Caruso
Preliminary Results on the Modeling of System Level Diagnosis Problems with Abstract Argumentation. ICTCS (2018)
Ivan Mercanti, Stefano Bistarelli, Francesco Santini
An Analysis of Non-standard Bitcoin Transactions. CVCBT (2018)
Niko Mäkitalo, Francesco Nocera, Marina Mongiello, Stefano Bistarelli
Architecting the Web of Things for the fog computing era. IET Softw. 12 (5) (2018)
Theofrastos Mantadelis, Stefano Bistarelli
A Preliminary Report on Probabilistic Attack Normal Form for Constellation Semantics. CoRR (2018)
Stefano Bistarelli, Paolo Giuliodori, Francesco Santini, Carlo Taticchi
A Cooperative-game Approach to Share Acceptability and Rank Arguments. AI³@AI*IA (2018)
Stefano Bistarelli, Alessandra Tappini, Carlo Taticchi
A Matrix Approach for Weighted Argumentation Frameworks: a Preliminary Report. CoRR (2018)
Stefano Bistarelli, Alessandra Tappini, Carlo Taticchi
A Matrix Approach for Weighted Argumentation Frameworks. FLAIRS Conference (2018)
Ryuta Arisaka, Stefano Bistarelli
Defence Outsourcing in Argumentation. COMMA (2018)
Stefano Bistarelli, Francesco Santini, Carlo Taticchi
Local Expansion Invariant Operators in Argumentation Semantics. CLAR (2018)
Stefano Bistarelli, Fabio Rossi, Francesco Santini
Not only size, but also shape counts: abstract argumentation solvers are benchmark-sensitive. J. Log. Comput. 28 (1) (2018)
Stefano Bistarelli, Theofrastos Mantadelis, Francesco Santini, Carlo Taticchi
Probabilistic Argumentation Frameworks with MetaProbLog and ConArg. ICTAI (2018)
Stefano Bistarelli, Massimiliano Giacomin, Andrea Pazienza
3 2017, the 1st Workshop on Advances in Argumentation in Artificial Intelligence. Intelligenza Artificiale 12 (2) (2018)
Stefano Bistarelli, Matteo Parroccini, Francesco Santini
Visualizing Bitcoin Flows of Ransomware: WannaCry One Week Later. ITASEC (2018)
Stefano Bistarelli, Ivan Mercanti, Francesco Santini
A Suite of Tools for the Forensic Analysis of Bitcoin Transactions: Preliminary Report. Euro-Par Workshops (2018)
Stefano Bistarelli, Andrea Formisano, Marco Maratea
23rd RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". J. Exp. Theor. Artif. Intell. 30 (4) (2018)
Stefano Bistarelli, Fabio Rossi, Francesco Santini
A novel weighted defence and its relaxation in abstract argumentation. Int. J. Approx. Reason. 92 (2018)
Stefano Bistarelli, Francesco Santini
Some Thoughts On Well-Foundedness in Weighted Abstract Argumentation. KR (2018)
Stefano Bistarelli, Francesco Faloci, Francesco Santini, Carlo Taticchi
Studying Dynamics in Argumentation with Rob. COMMA (2018)
Stefano Bistarelli, Lars Kotthoff, Francesco Santini, Carlo Taticchi
Containerisation and Dynamic Frameworks in ICCMA'19. SAFA@COMMA (2018)
Stefano Bistarelli, Francesco Santini, Carlo Taticchi
On Looking for Local Expansion Invariants in Argumentation Semantics. CoRR (2018)
Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini
A Quantitative Partial Model-Checking Function and Its Optimisation. LPAR (2017)

Stefano Bistarelli.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefano Bistarelli