| 2026 | ICISSP | Design and First Evaluation of a Matrix-Based PUF Authentication Scheme for Blockchain-Based Tracking. | Stefano Bistarelli, Ivan Mercanti, Igor Neri, Francesco Santini |
| 2026 | PERCOM | Sentiment-Price Dynamics in Bitcoin: An Analysis of Historical Bubbles. | Stefano Bistarelli, Francesco Santini, Luca Maria Tutino |
| 2026 | SECRYPT | A Bridged Sandbox-Honeypot Architecture for Behavioral Analysis of ICS Malware. | Dawit Berhan, Stefano Bistarelli, Benedetto Manoni, Francesco Santini |
| 2026 | SECRYPT | On Automating the Obfuscation of Malware Payloads: Zone, a bin2bin Metamorphic Engine. | Stefano Bistarelli, Jacopo Di Benedetto, Francesco Santini |
| 2025 | AAAI | Fast Computing of Dung Semantics in Acyclic Probabilistic Argumentation Frameworks. | Stefano Bistarelli, Victor David, Pierre Monnin, Francesco Santini, Carlo Taticchi |
| 2025 | ESORICS | Analysing the Adoption of the Terms-of-Use Field in EBSI Digital Wallets. | Stefano Bistarelli, Chiara Luchini, Francesco Santini |
| 2025 | PERCOM | SSI Policies Implementing Terms of Use to Control VC Disclosure. | Stefano Bistarelli, Chiara Luchini, Francesco Santini |
| 2025 | PERCOM | A Preliminary Approach for Translating ODRL to Smart Policies. | Stefano Bistarelli, Chiara Luchini, Francesco Santini |
| 2025 | SAC | Controlling VC disclosure with Terms of Use and ABAC in SSI. | Stefano Bistarelli, Chiara Luchini, Francesco Santini |
| 2024 | ISoLA | Local Spaces in Soft Concurrent Constraint Programming Oriented to Security. | Stefano Bistarelli, Francesco Santini |
| 2024 | LPNMR | Modelling Dialogues in a Concurrent Language for Argumentation. | Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi |
| 2023 | FlAIRS | Towards a Temporal Probabilistic Argumentation Framework. | Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi |
| 2023 | PST | A TCP-based Covert Channel with Integrity Check and Retransmission. | Stefano Bistarelli, Andrea Imparato, Francesco Santini |
| 2023 | SAC | Towards automated verification of Bitcoin-based decentralised applications. | Stefano Bistarelli, Andrea Bracciali, Rick Klomp, Ivan Mercanti |
| 2022 | AINA | Blockchain and IoT Integration for Pollutant Emission Control. | Stefano Bistarelli, Marco Marcozzi, Gianmarco Mazzante, Leonardo Mostarda, Alfredo Navarra, Davide Sestili |
| 2022 | COMMA | An Argumentative Explanation of Machine Learning Outcomes. | Stefano Bistarelli, Alessio Mancinelli, Francesco Santini, Carlo Taticchi |
| 2022 | ICTAI | Arg-XAI: a Tool for Explaining Machine Learning Results. | Stefano Bistarelli, Alessio Mancinelli, Francesco Santini, Carlo Taticchi |
| 2022 | LPNMR | A Definition of Sceptical Semantics in the Constellations Approach. | Stefano Bistarelli, Francesco Santini |
| 2022 | PADL | Timed Concurrent Language for Argumentation: An Interleaving Approach. | Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi |
| 2021 | EuroPar | Towards a Graphical DSL for Tracing Supply Chains on Blockchain. | Stefano Bistarelli, Francesco Faloci, Paolo Mori |
| 2021 | FlAIRS | Extending Labelling Semantics to Weighted Argumentation Frameworks. | Carlo Taticchi, Stefano Bistarelli |
| 2021 | JELIA | Introducing a Tool for Concurrent Argumentation. | Stefano Bistarelli, Carlo Taticchi |
| 2021 | SAC | Highlighting poor anonymity and security practice in the blockchain of Bitcoin. | Stefano Bistarelli, Ivan Mercanti, Francesco Faloci, Francesco Santini |
| 2020 | COMMA | Ranking-Based Semantics from the Perspective of Claims. | Stefano Bistarelli, Wolfgang Dvork, Carlo Taticchi, Stefan Woltran |
| 2019 | AINA | Analysis of Ethereum Smart Contracts and Opcodes. | Stefano Bistarelli, Gianmarco Mazzante, Matteo Micheletti, Leonardo Mostarda, Francesco Tiezzi |
| 2019 | DAIS | CapBAC in Hyperledger Sawtooth. | Stefano Bistarelli, Claudio Pannacci, Francesco Santini |
| 2019 | ICTAI | Implementing Ranking-Based Semantics in ConArg. | Stefano Bistarelli, Francesco Faloci, Carlo Taticchi |
| 2019 | IDEAS | Studying forward looking bubbles in Bitcoin/USD exchange rates. | Stefano Bistarelli, Gianna Fig-Talamanca, Francesco Lucarini, Ivan Mercanti |
| 2019 | JELIA | Well-Foundedness in Weighted Argumentation Frameworks. | Stefano Bistarelli, Francesco Santini |
| 2019 | JELIA | A Possible World View and a Normal Form for the Constellation Semantics. | Stefano Bistarelli, Theofrastos Mantadelis |
| 2019 | PRIMA | Block Argumentation. | Ryuta Arisaka, Francesco Santini, Stefano Bistarelli |
| 2018 | COMMA | Defence Outsourcing in Argumentation. | Ryuta Arisaka, Stefano Bistarelli |
| 2018 | COMMA | Studying Dynamics in Argumentation with Rob. | Stefano Bistarelli, Francesco Faloci, Francesco Santini, Carlo Taticchi |
| 2018 | COMMA | Containerisation and Dynamic Frameworks in ICCMA'19. | Stefano Bistarelli, Lars Kotthoff, Francesco Santini, Carlo Taticchi |
| 2018 | EuroPar | A Suite of Tools for the Forensic Analysis of Bitcoin Transactions: Preliminary Report. | Stefano Bistarelli, Ivan Mercanti, Francesco Santini |
| 2018 | FlAIRS | On Looking for Invariant Operators in Argumentation Semantics. | Stefano Bistarelli, Francesco Santini, Carlo Taticchi |
| 2018 | FlAIRS | A Matrix Approach for Weighted Argumentation Frameworks. | Stefano Bistarelli, Alessandra Tappini, Carlo Taticchi |
| 2018 | ISAIM | A Fair Payment Scheme for Virtuous Community Energy Usage. | Paolo Giuliodori, Stefano Bistarelli, Dimitri Mugnai |
| 2018 | ICTAI | Probabilistic Argumentation Frameworks with MetaProbLog and ConArg. | Stefano Bistarelli, Theofrastos Mantadelis, Francesco Santini, Carlo Taticchi |
| 2018 | KR | Some Thoughts On Well-Foundedness in Weighted Abstract Argumentation. | Stefano Bistarelli, Francesco Santini |
| 2017 | ICTAI | A ConArg-Based Library for Abstract Argumentation. | Stefano Bistarelli, Fabio Rossi, Francesco Santini |
| 2017 | KES | PrOnto: an Ontology Driven Business Process Mining Tool. | Stefano Bistarelli, Tommaso Di Noia, Marina Mongiello, Francesco Nocera |
| 2017 | LPAR | A Quantitative Partial Model-Checking Function and Its Optimisation. | Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini |
| 2017 | LPNMR | A Hasse Diagram for Weighted Sceptical Semantics with a Unique-Status Grounded Semantics. | Stefano Bistarelli, Francesco Santini |
| 2017 | SAC | An end-to-end voting-system based on bitcoin. | Stefano Bistarelli, Marco Mantilacci, Paolo Santancini, Francesco Santini |
| 2016 | COMMA | ConArg: A Tool for Classical and Weighted Argumentation. | Stefano Bistarelli, Fabio Rossi, Francesco Santini |
| 2016 | FlAIRS | A Collective Defence Against Grouped Attacks for Weighted Abstract Argumentation Frameworks. | Stefano Bistarelli, Fabio Rossi, Francesco Santini |
| 2016 | JELIA | A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks. | Stefano Bistarelli, Fabio Rossi, Francesco Santini |
| 2016 | SAC | Automated adaptation via quantitative partial model checking. | Stefano Bistarelli, Francesco Santini, Fabio Martinelli, Ilaria Matteucci |
| 2014 | COMMA | Benchmarking Hard Problems in Random Abstract AFs: The Stable Semantics. | Stefano Bistarelli, Fabio Rossi, Francesco Santini |
| 2014 | ECAI | A First Comparison of Abstract Argumentation Reasoning-Tools. | Stefano Bistarelli, Fabio Rossi, Francesco Santini |
| 2014 | ICTAI | Efficient Solution for Credulous/Sceptical Acceptance in Lower-Order Dung's Semantics. | Stefano Bistarelli, Fabio Rossi, Francesco Santini |
| 2014 | PST | Two trust networks in one: Using bipolar structures to fuse trust and distrust. | Stefano Bistarelli, Francesco Santini |
| 2012 | CRiSIS | Semiring-based constraint models and frameworks for security-related scenarios. | Stefano Bistarelli, Francesco Santini |
| 2012 | SAC | A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming. | Stefano Bistarelli, Paola Campli, Francesco Santini |
| 2012 | VLDB | Towards a similarity-based web service discovery through soft constraint satisfaction problems. | Farhad Arbab, Francesco Santini, Stefano Bistarelli, Daniele Pirolandi |
| 2012 | SEFM | Securely Accessing Shared Resources with Concurrent Constraint Programming. | Stefano Bistarelli, Francesco Santini |
| 2011 | ICTAI | Solving Fuzzy DCSPs with Naming Games. | Stefano Bistarelli, Giorgio Gosti, Francesco Santini |
| 2011 | ICTAI | ConArg: A Constraint-Based Computational Framework for Argumentation Systems. | Stefano Bistarelli, Francesco Santini |
| 2011 | SAC | Finding partitions of arguments with Dung's properties via SCSPs. | Stefano Bistarelli, Paola Campli, Francesco Santini |
| 2010 | ATC | A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints. | Stefano Bistarelli, Fabio Martinelli, Francesco Santini |
| 2010 | ECAI | A Common Computational Framework for Semiring-based Argumentation Systems. | Stefano Bistarelli, Francesco Santini |
| 2009 | ICLP | Constraint Based Languages for Biological Reactions. | Marco Bottalico, Stefano Bistarelli |
| 2009 | ICLP | Capturing Fair Computations on Concurrent Constraint Language. | Paola Campli, Stefano Bistarelli |
| 2008 | ATC | A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily. | Stefano Bistarelli, Fabio Martinelli, Francesco Santini |
| 2008 | Coordination | Timed Soft Concurrent Constraint Programs. | Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini |
| 2008 | ICLP | A Soft Approach to Multi-objective Optimization. | Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon |
| 2008 | ICSE | Soft Constraints for Dependable Service Oriented Architectures. | Stefano Bistarelli, Francesco Santini |
| 2008 | SAC | Propagating multitrust within trust networks. | Stefano Bistarelli, Francesco Santini |
| 2007 | CP | Uncertainty in Bipolar Preference Problems. | Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, K. Brent Venable |
| 2007 | CP | Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario. | Stefano Bistarelli, Pamela Peretti, Irina Trubitsyna |
| 2007 | CP | Constraint Symmetry for the Soft CSP. | Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan |
| 2007 | SAC | Using CP-nets as a guide for countermeasure selection. | Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti |
| 2006 | ECAI | Enhancing Constraints Manipulation in Semiring-Based Formalisms. | Stefano Bistarelli, Fabio Gadducci |
| 2006 | ECAI | Bipolar Preference Problems. | Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, K. Brent Venable |
| 2006 | SAC | Special track editorial: constraint solving and programming. | Stefano Bistarelli, ric Monfroy, Barry O'Sullivan |
| 2005 | SAC | Editorial: special track on constraint solving and programming. | Stefano Bistarelli, ric Monfroy, Barry O'Sullivan |
| 2004 | AAAI | Detecting and Eliminating the Cascade Vulnerability Problem from Multilevel Security Networks Using Soft Constraints. | Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan |
| 2004 | ICTAI | Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints. | Stefano Bistarelli, Eugene C. Freuder, Barry O'Sullivan |
| 2004 | SAC | Modeling and detecting the cascade vulnerability problem using soft constraints. | Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan |
| 2004 | SAC | Editorial message: special track on artificial intelligence, computational logic and image analysis. | Chih-Cheng Hung, Agostinho C. Rosa, Stefano Bistarelli |
| 2003 | CP | Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. | Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee |
| 2003 | FlAIRS | On the Computation of Local Interchangeability in Soft Constraint Satisfaction Problems. | Nicoleta Neagu, Stefano Bistarelli, Boi Faltings |
| 2003 | ICCS | Computer Algebra for Fingerprint Matching. | Stefano Bistarelli, Giandomenico Boffi, Fabio Rossi |
| 2003 | IJCAI | Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. | Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee |
| 2003 | SAC | AI and Computational Science Track Editorial. | Chih-Cheng Hung, Agostinho C. Rosa, Stefano Bistarelli |
| 2003 | SAFECOMP | A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity. | Stefano Bistarelli, Simon N. Foley |
| 2003 | SGAI | Symmetry Breaking in Soft CSPs. | Stefano Bistarelli, Jerome Kelleher, Barry O'Sullivan |
| 2003 | SGAI | A Theoretical Framework for Tradeoff Generation using Soft Constraints. | Stefano Bistarelli, Barry O'Sullivan |
| 2002 | CP | Interchangeability in Soft CSPs. | Stefano Bistarelli, Boi Faltings, Nicoleta Neagu |
| 2002 | ESOP | Soft Concurrent Constraint Programming. | Stefano Bistarelli, Ugo Montanari, Francesca Rossi |
| 2002 | SAC | Soft constraint propagation and solving in CHRs. | Stefano Bistarelli, Thom W. Frhwirth, Michael Marte |
| 2001 | PADL | Soft Constraints for Security Protocol Analysis: Confidentiality. | Giampaolo Bella, Stefano Bistarelli |
| 2000 | CP | Constraint Propagation for Soft Constraints: Generalization and Termination Conditions. | Stefano Bistarelli, Rosella Gennari, Francesca Rossi |
| 2000 | PADL | Labeling and Partial Local Consistency for Soft Constraint Programming. | Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi |
| 1997 | AAAI | Constraints and Agents for a Decentralized Network Infrastructure. | Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi, Stefano Bistarelli, Ugo Montanari, Francesca Rossi |
| 1997 | IJCAI | Semiring-based Constraint Logic Programming. | Stefano Bistarelli, Ugo Montanari, Francesca Rossi |
| 1995 | CP | Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison. | Stefano Bistarelli, Hlne Fargier, Ugo Montanari, Francesca Rossi, Thomas Schiex, Grard Verfaillie |
| 1995 | IJCAI | Constraint Solving over Semirings. | Stefano Bistarelli, Ugo Montanari, Francesca Rossi |