| 2026 | ICAART | An Application to Automatically Detect Track-Limit Violations in Car Races. | Morgana Bellacci, Eduard Brahas, Marco Prepi, Fabio Seghetta, Francesco Santini, Michele Vantaggi |
| 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 |
| 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 |
| 2022 | COMMA | An Argumentative Explanation of Machine Learning Outcomes. | Stefano Bistarelli, Alessio Mancinelli, Francesco Santini, Carlo Taticchi |
| 2022 | Coordination | Soft Concurrent Constraint Programming with Local Variables. | Laura Bussi, Fabio Gadducci, Francesco Santini |
| 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 | PRICAI | Abstract Argumentation Goes Quantum: An Encoding to QUBO Problems. | Marco Baioletti, Francesco Santini |
| 2021 | JELIA | Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques. | Fabio Gadducci, Francesco Santini |
| 2021 | SAC | Highlighting poor anonymity and security practice in the blockchain of Bitcoin. | Stefano Bistarelli, Ivan Mercanti, Francesco Faloci, Francesco Santini |
| 2019 | DAIS | CapBAC in Hyperledger Sawtooth. | Stefano Bistarelli, Claudio Pannacci, Francesco Santini |
| 2019 | JELIA | Well-Foundedness in Weighted Argumentation Frameworks. | Stefano Bistarelli, Francesco Santini |
| 2019 | PRIMA | Block Argumentation. | Ryuta Arisaka, Francesco Santini, 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 | FUSION | Are My Arguments Trustworthy? Abstract Argumentation with Subjective Logic. | Francesco Santini, Audun Jsang, Maria Silvia Pini |
| 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 | ICTAI | Properties and Implementation of a Two-Step Ranking-Based Semantics: On Revising NaE and SC. | Francesco Santini |
| 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 | ESORICS | Decomposing Global Quantitative Properties into Local Ones. | Ilaria Matteucci, Francesco Santini |
| 2016 | FlAIRS | A Collective Defence Against Grouped Attacks for Weighted Abstract Argumentation Frameworks. | Stefano Bistarelli, Fabio Rossi, Francesco Santini |
| 2016 | ICAART | From Arguments and Reviewers to their Simulation - Reproducing a Case-Study. | Simone Gabbriellini, Francesco Santini |
| 2016 | ICAART | From Reviews to Arguments and from Arguments Back to Reviewers' Behaviour. | Simone Gabbriellini, 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 |
| 2016 | SAC | A multi-criteria ranking of security countermeasures. | Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Francesco Santini, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli |
| 2015 | Coordination | A Labelled Semantics for Soft Concurrent Constraint Programming. | Fabio Gadducci, Francesco Santini, Luis Fernando Pino, Frank D. Valencia |
| 2015 | ESORICS | Quantitative Analysis of Network Security with Abstract Argumentation. | Francesco Santini, Artsiom Yautsiukhin |
| 2015 | PRIMA | A Micro Study on the Evolution of Arguments in Amazon.com's Reviews. | Simone Gabbriellini, Francesco Santini |
| 2015 | PST | Network security supported by arguments. | Fabio Martinelli, Francesco Santini, Artsiom Yautsiukhin |
| 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 | PDP | Partially-Distributed Coordination with Reo. | Sung-Shik T. Q. Jongmans, Francesco Santini, Farhad Arbab |
| 2014 | PST | Two trust networks in one: Using bipolar structures to fuse trust and distrust. | Stefano Bistarelli, Francesco Santini |
| 2013 | MDAI | Combining Recommender and Reputation Systems to Produce Better Online Advice. | Audun Jsang, Guibing Guo, Maria Silvia Pini, Francesco Santini, Yue Xu |
| 2013 | SEFM | A Tool for Behaviour-Based Discovery of Approximately Matching Web Services. | Mahdi Sargolzaei, Francesco Santini, Farhad Arbab, Hamideh Afsarmanesh |
| 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 |
| 2008 | AAAI | Managing Quality of Service with Soft Constraints. | Francesco Santini |
| 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 | Managing Quality of Service with Soft Constraints. | Francesco Santini |
| 2008 | ICSE | Soft Constraints for Dependable Service Oriented Architectures. | Stefano Bistarelli, Francesco Santini |
| 2008 | SAC | Propagating multitrust within trust networks. | Stefano Bistarelli, Francesco Santini |