Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison. - Stefano Bistarelli; Hélène Fargier; Ugo Montanari; Francesca Rossi 001; Thomas Schiex; Gérard Verfaillie (Over-Constrained Systems, 1995)

Constraint Solving over Semirings. - Stefano Bistarelli; Ugo Montanari; Francesca Rossi 001 (IJCAI (1), 1995)

Constraints and Agents for a Decentralized Network Infrastructure. - Jean-Marc Andreoli; Uwe M. Borghoff; Remo Pareschi; Stefano Bistarelli; Ugo Montanari; Francesca Rossi 001 (AAAI Workshop: Constraints & Agents, 1997)

Semiring-based Constraint Logic Programming. - Stefano Bistarelli; Ugo Montanari; Francesca Rossi 001 (IJCAI (1), 1997)

Semiring-based constraint satisfaction and optimization. - Stefano Bistarelli; Ugo Montanari; Francesca Rossi 001 (J. ACM, 1997)

Labeling and Partial Arc Consistency for Soft Constraints. - Stefano Bistarelli; Philippe Codognet; Yan Georget; Fabio Rossi (APPIA-GULP-PRODE, 1999)

Abstracting Soft Constraints. - Stefano Bistarelli; Philippe Codognet; Yan Georget; Francesca Rossi 001 (New Trends in Constraints, 1999)

Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison. - Stefano Bistarelli; Ugo Montanari; Francesca Rossi 001; Thomas Schiex; Gérard Verfaillie; Hélène Fargier (Constraints An Int. J., 1999)

Constraint Propagation for Soft Constraints: Generalization and Termination Conditions. - Stefano Bistarelli; Rosella Gennari; Francesca Rossi 001 (CP, 2000)

Labeling and Partial Local Consistency for Soft Constraint Programming. - Stefano Bistarelli; Philippe Codognet; Yan Georget; Francesca Rossi 001 (PADL, 2000)

An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation. - Stefano Bistarelli; Philippe Codognet; Francesca Rossi 001 (SARA, 2000)

Soft Constraints for Security Protocol Analysis: Confidentiality. - Giampaolo Bella; Stefano Bistarelli (PADL, 2001)

Semiring-based contstraint logic programming: syntax and semantics. - Stefano Bistarelli; Ugo Montanari; Francesca Rossi 001 (ACM Trans. Program. Lang. Syst., 2001)

Interchangeability in Soft CSPs. - Stefano Bistarelli; Boi Faltings; Nicoleta Neagu (International Workshop on Constraint Solving and Constraint Logic Programming, 2002)

Soft constraint propagation and solving in CHRs. - Stefano Bistarelli; Thom W. Frühwirth; Michael Marte (SAC, 2002)

Confidentiality Levels and Deliberate/Indeliberate Protocol Attacks. - Giampaolo Bella; Stefano Bistarelli (Security Protocols Workshop, 2002)

Abstracting soft constraints: Framework, properties, examples. - Stefano Bistarelli; Philippe Codognet; Francesca Rossi 001 (Artif. Intell., 2002)

Soft Constraint Logic Programming and Generalized Shortest Path Problems. - Stefano Bistarelli; Ugo Montanari; Francesca Rossi 001 (J. Heuristics, 2002)

Tradeoff Generation Using Soft Constraints. - Stefano Bistarelli; Jerome Kelleher; Barry O'Sullivan (CSCLP, 2003)

Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs. - Stefano Bistarelli; Francesca Rossi 001; Isabella Pilan (CSCLP, 2003)

Experimental Evaluation of Interchangeability in Soft CSPs. - Nicoleta Neagu; Stefano Bistarelli; Boi Faltings (CSCLP, 2003)

On Representing Biological Systems through Multiset Rewriting. - Stefano Bistarelli; Iliano Cervesato; Gabriele Lenzini; Roberto Marangoni; Fabio Martinelli (EUROCAST, 2003)

On the Computation of Local Interchangeability in Soft Constraint Satisfaction Problems. - Nicoleta Neagu; Stefano Bistarelli; Boi Faltings (FLAIRS, 2003)

Computer Algebra for Fingerprint Matching. - Stefano Bistarelli; Giandomenico Boffi; Fabio Rossi (International Conference on Computational Science, 2003)

Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. - Stefano Bistarelli; Philippe Codognet; Kin Chuen Hui; Jimmy Ho-Man Lee (IJCAI, 2003)

Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. - Stefano Bistarelli; Iliano Cervesato; Gabriele Lenzini; Fabio Martinelli (MMM-ACNS, 2003)

Analysis of Integrity Policies using Soft Constraints. - Stefano Bistarelli; Simon N. Foley (POLICY, 2003)

AI and Computational Science Track Editorial. - Chih-Cheng Hung; Agostinho C. Rosa; Stefano Bistarelli (SAC, 2003)

A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity. - Stefano Bistarelli; Simon N. Foley (SAFECOMP, 2003)

Symmetry Breaking in Soft CSPs. - Stefano Bistarelli; Jerome Kelleher; Barry O'Sullivan (SGAI Conf., 2003)

A Theoretical Framework for Tradeoff Generation using Soft Constraints. - Stefano Bistarelli; Barry O'Sullivan (SGAI Conf., 2003)

A Protocol's Life After Attacks.... - Giampaolo Bella; Stefano Bistarelli; Fabio Massacci (Security Protocols Workshop, 2003)

Biometrics to Enhance Smartcard Security. - Giampaolo Bella; Stefano Bistarelli; Fabio Martinelli (Security Protocols Workshop, 2003)

General Properties and Termination Conditions for Soft Constraint Propagation. - Stefano Bistarelli; Rosella Gennari; Francesca Rossi 001 (Constraints An Int. J., 2003)

Semirings for Soft Constraint Solving and Programming - Stefano Bistarelli (Springer, 2004)

Detecting and Eliminating the Cascade Vulnerability Problem from Multilevel Security Networks Using Soft Constraints. - Stefano Bistarelli; Simon N. Foley; Barry O'Sullivan (AAAI, 2004)

Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints. - Stefano Bistarelli; Eugene C. Freuder; Barry O'Sullivan (ICTAI, 2004)

Reasoning about Secure Interoperation Using Soft Constraints. - Stefano Bistarelli; Simon N. Foley; Barry O'Sullivan (Formal Aspects in Security and Trust, 2004)

Modeling and detecting the cascade vulnerability problem using soft constraints. - Stefano Bistarelli; Simon N. Foley; Barry O'Sullivan (SAC, 2004)

Editorial message: special track on artificial intelligence, computational logic and image analysis. - Chih-Cheng Hung; Agostinho C. Rosa; Stefano Bistarelli (SAC, 2004)

Soft Constraint Propagation and Solving in Constraint Handling Rules. - Stefano Bistarelli; Thom W. Frühwirth; Michael Marte; Francesca Rossi 001 (Comput. Intell., 2004)

Soft Constraints for Security. - Giampaolo Bella; Stefano Bistarelli; Simon N. Foley (VODCA@FOSAD, 2004)

Soft Constraint Programming to Analysing Security Protocols. - Giampaolo Bella; Stefano Bistarelli (Theory Pract. Log. Program., 2004)

MOC via TOC Using a Mobile Agent Framework. - Stefano Bistarelli; Stefano Frassi; Anna Vaccarelli (AVBPA, 2005)

An Asymmetric Fingerprint Matching Algorithm for Java Card™. - Stefano Bistarelli; Francesco Santini 001; Anna Vaccarelli (AVBPA, 2005)

Interestingness is Not a Dichotomy: Introducing Softness in Constrained Pattern Mining. - Stefano Bistarelli; Francesco Bonchi (PKDD, 2005)

Editorial: special track on constraint solving and programming. - Stefano Bistarelli; Éric Monfroy; Barry O'Sullivan (SAC, 2005)

Information Assurance for security protocols. - Giampaolo Bella; Stefano Bistarelli (Comput. Secur., 2005)

Relating multiset rewriting and process algebras for security protocol analysis. - Stefano Bistarelli; Iliano Cervesato; Gabriele Lenzini; Fabio Martinelli (J. Comput. Secur., 2005)

A soft constraint-based approach to the cascade vulnerability problem. - Stefano Bistarelli; Simon N. Foley; Barry O'Sullivan (J. Comput. Secur., 2005)

Defense trees for economic evaluation of security investments. - Stefano Bistarelli; Fabio Fioravanti; Pamela Peretti (ARES, 2006)

Bipolar Preference Problems: Framework, Properties and Solving Techniques. - Stefano Bistarelli; Maria Silvia Pini; Francesca Rossi 001; Kristen Brent Venable (CSCLP, 2006)

Enhancing Constraints Manipulation in Semiring-Based Formalisms. - Stefano Bistarelli; Fabio Gadducci (ECAI, 2006)

Bipolar Preference Problems. - Stefano Bistarelli; Maria Silvia Pini; Francesca Rossi 001; Kristen Brent Venable (ECAI, 2006)

Strategic Games on Defense Trees. - Stefano Bistarelli; Marco Dall'Aglio; Pamela Peretti (Formal Aspects in Security and Trust, 2006)

Principles of Secure Network Configuration: Towards a Formal Basis for Self-configuration. - Simon N. Foley; William M. Fitzgerald; Stefano Bistarelli; Barry O'Sullivan; Mícheál Ó Foghlú (IPOM, 2006)

Extending the Soft Constraint Based Mining Paradigm. - Stefano Bistarelli; Francesco Bonchi (KDID, 2006)

Special track editorial: constraint solving and programming. - Stefano Bistarelli; Éric Monfroy; Barry O'Sullivan (SAC, 2006)

Augmented Risk Analysis. - Giampaolo Bella; Stefano Bistarelli; Pamela Peretti; Salvatore Riccobene (VODCA@FOSAD, 2006)

Editorial. - Stefano Bistarelli; Francesca Rossi 001 (J. Heuristics, 2006)

An asymmetric fingerprint matching algorithm for Java Card TM. - Stefano Bistarelli; Francesco Santini 001; Anna Vaccarelli (Pattern Anal. Appl., 2006)

Soft concurrent constraint programming. - Stefano Bistarelli; Ugo Montanari; Francesca Rossi 001 (ACM Trans. Comput. Log., 2006)

Multilevel Security and Quality of Protection. - Simon N. Foley; Stefano Bistarelli; Barry O'Sullivan; John Herbert; Garret Swart (Quality of Protection, 2006)

Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario. - Stefano Bistarelli; Pamela Peretti; Irina Trubitsyna (CP, 2007)

Constraint Symmetry for the Soft CSP. - Barbara M. Smith; Stefano Bistarelli; Barry O'Sullivan (CP, 2007)

SCLP for Trust Propagation in Small-World Networks. - Stefano Bistarelli; Francesco Santini 001 (CSCLP, 2007)

Using CP-nets as a guide for countermeasure selection. - Stefano Bistarelli; Fabio Fioravanti; Pamela Peretti (SAC, 2007)

Soft constraint based pattern mining. - Stefano Bistarelli; Francesco Bonchi (Data Knowl. Eng., 2007)

Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming. - Stefano Bistarelli; Ugo Montanari; Francesca Rossi 001; Francesco Santini 001 (QAPL, 2007)

Analyzing Security Scenarios Using Defence Trees and Answer Set Programming. - Stefano Bistarelli; Pamela Peretti; Irina Trubitsyna (STM@ESORICS, 2007)

Weighted Datalog and Levels of Trust. - Stefano Bistarelli; Fabio Martinelli; Francesco Santini 001 (ARES, 2008)

A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily. - Stefano Bistarelli; Fabio Martinelli; Francesco Santini 001 (ATC, 2008)

Semiring-Based Soft Constraints. - Stefano Bistarelli; Francesca Rossi 001 (Concurrency, Graphs and Models, 2008)

Timed Soft Concurrent Constraint Programs. - Stefano Bistarelli; Maurizio Gabbrielli; Maria Chiara Meo; Francesco Santini 001 (COORDINATION, 2008)

From Marriages to Coalitions: A Soft CSP Approach. - Stefano Bistarelli; Simon N. Foley; Barry O'Sullivan; Francesco Santini 001 (CSCLP, 2008)

Solving CSPs with Naming Games. - Stefano Bistarelli; Giorgio Gosti (CSCLP, 2008)

A Soft Approach to Multi-objective Optimization. - Stefano Bistarelli; Fabio Gadducci; Javier Larrosa; Emma Rollon (ICLP, 2008)

A Formal and Practical Framework for Constraint-Based Routing. - Stefano Bistarelli; Francesco Santini 001 (ICN, 2008)

Soft Constraints for Dependable Service Oriented Architectures. - Stefano Bistarelli; Francesco Santini 001 (WADS, 2008)

Propagating multitrust within trust networks. - Stefano Bistarelli; Francesco Santini 001 (SAC, 2008)

Security Protocol Deployment Risk. - Simon N. Foley; Giampaolo Bella; Stefano Bistarelli (Security Protocols Workshop, 2008)

C-semiring Frameworks for Minimum Spanning Tree Problems. - Stefano Bistarelli; Francesco Santini 001 (WADT, 2008)

A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation. - Stefano Bistarelli; Francesco Santini 001 (VODCA@FOSAD, 2008)

Solving Weighted Argumentation Frameworks with Soft Constraints. - Stefano Bistarelli; Daniele Pirolandi; Francesco Santini 001 (CSCLP, 2009)

Constraint Based Languages for Biological Reactions. - Marco Bottalico; Stefano Bistarelli (ICLP, 2009)

Capturing Fair Computations on Concurrent Constraint Language. - Paola Campli; Stefano Bistarelli (ICLP, 2009)

Fairness as a QoS Measure for Web Services - Stefano Bistarelli; Paola Campli (YR-SOC, 2009)

Soft Constraints for Quality Aspects in Service Oriented Architectures - Stefano Bistarelli; Francesco Santini 001 (YR-SOC, 2009)

Solving finite domain constraint hierarchies by local consistency and tree search. - Stefano Bistarelli; Philippe Codognet; H. K. C. Hui; Jimmy Ho-Man Lee (J. Exp. Theor. Artif. Intell., 2009)

A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints. - Stefano Bistarelli; Fabio Martinelli; Francesco Santini 001 (ATC, 2010)

A Common Computational Framework for Semiring-based Argumentation Systems. - Stefano Bistarelli; Francesco Santini 001 (ECAI, 2010)

Extending Soft Arc Consistency Algorithms to Non-invertible Semirings. - Stefano Bistarelli; Fabio Gadducci; Javier Larrosa; Emma Rollon; Francesco Santini 001 (MICAI (1), 2010)

Solving Distributed CSPs Probabilistically. - Stefano Bistarelli; Giorgio Gosti (Fundam. Informaticae, 2010)

From soft constraints to bipolar preferences: modelling framework and solving issues. - Stefano Bistarelli; Maria Silvia Pini; Francesca Rossi 001; Kristen Brent Venable (J. Exp. Theor. Artif. Intell., 2010)

Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria. - Stefano Bistarelli; Simon N. Foley; Barry O'Sullivan; Francesco Santini 001 (Secur. Commun. Networks, 2010)

Unicast and multicast QoS routing with soft-constraint logic programming. - Stefano Bistarelli; Ugo Montanari; Francesca Rossi 001; Francesco Santini 001 (ACM Trans. Comput. Log., 2010)

Solving Fuzzy DCSPs with Naming Games. - Stefano Bistarelli; Giorgio Gosti; Francesco Santini 001 (ICTAI, 2011)

ConArg: A Constraint-Based Computational Framework for Argumentation Systems. - Stefano Bistarelli; Francesco Santini 001 (ICTAI, 2011)

Finding partitions of arguments with Dung's properties via SCSPs. - Stefano Bistarelli; Paola Campli; Francesco Santini 001 (SAC, 2011)

Modeling and Solving AFs with a Constraint-Based Tool: ConArg. - Stefano Bistarelli; Francesco Santini 001 (TAFA, 2011)

A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process. - Stefano Bistarelli; Francesco Santini 001 (Fundam. Informaticae, 2011)

Uncertainty in bipolar preference problems. - Stefano Bistarelli; Maria Silvia Pini; Francesca Rossi 001; Kristen Brent Venable (J. Exp. Theor. Artif. Intell., 2011)

ConArg: Argumentation with Constraints. - Stefano Bistarelli; Francesco Santini 001 (AT, 2012)

Semiring-based constraint models and frameworks for security-related scenarios. - Stefano Bistarelli; Francesco Santini 001 (CRiSIS, 2012)

Solving Fuzzy Distributed CSPs: An Approach with Naming Games. - Stefano Bistarelli; Giorgio Gosti; Francesco Santini 001 (DALT, 2012)

A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming. - Stefano Bistarelli; Paola Campli; Francesco Santini 001 (SAC, 2012)

Securely Accessing Shared Resources with Concurrent Constraint Programming. - Stefano Bistarelli; Francesco Santini 001 (SEFM, 2012)

Towards a similarity-based web service discovery through soft constraint satisfaction problems. - Farhad Arbab; Francesco Santini 001; Stefano Bistarelli; Daniele Pirolandi (SSW@VLDB, 2012)

A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials. - Stefano Bistarelli; Fabio Martinelli; Francesco Santini 001 (Comput. Math. Appl., 2012)

ConArg: a Tool to Solve (Weighted) Abstract Argumentation Frameworks with (Soft) Constraints - Stefano Bistarelli; Francesco Santini 001 (CoRR, 2012)

Local arc consistency for non-invertible semirings, with an application to multi-objective optimization. - Stefano Bistarelli; Fabio Gadducci; Javier Larrosa; Emma Rollon; Francesco Santini 001 (Expert Syst. Appl., 2012)

Evaluation of complex security scenarios using defense trees and economic indexes. - Stefano Bistarelli; Fabio Fioravanti; Pamela Peretti; Francesco Santini 001 (J. Exp. Theor. Artif. Intell., 2012)

A First Comparison of Abstract Argumentation Systems: A Computational Perspective. - Stefano Bistarelli; Fabio Rossi; Francesco Santini 001 (CILC, 2013)

Interchangeability with thresholds and degradation factors for Soft CSPs. - Stefano Bistarelli; Boi Faltings; Nicoleta Neagu (Ann. Math. Artif. Intell., 2013)

Coalitions of Arguments: An Approach with Constraint Programming. - Stefano Bistarelli; Francesco Santini 001 (Fundam. Informaticae, 2013)

An Improved Role-Based Access to Android Applications with JCHR. - Stefano Bistarelli; Gianpiero Costantino; Fabio Martinelli; Francesco Santini 001 (ARES, 2014)

On Relating Voting Systems and Argumentation Frameworks. - Irene Benedetti; Stefano Bistarelli; Paolo Piersanti (CILC, 2014)

Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic. - Stefano Bistarelli; Fabio Rossi; Francesco Santini 001 (CLIMA, 2014)

Benchmarking Hard Problems in Random Abstract AFs: The Stable Semantics. - Stefano Bistarelli; Fabio Rossi; Francesco Santini 001 (COMMA, 2014)

A First Comparison of Abstract Argumentation Reasoning-Tools. - Stefano Bistarelli; Fabio Rossi; Francesco Santini 001 (ECAI, 2014)

Efficient Solution for Credulous/Sceptical Acceptance in Lower-Order Dung's Semantics. - Stefano Bistarelli; Fabio Rossi; Francesco Santini 001 (ICTAI, 2014)

Abstract argumentation frameworks to promote fairness and rationality in multi-experts multi-criteria decision making. - Stefano Bistarelli; Martine Ceberio; Joel A. Henderson; Francesco Santini 001 (ICTCS, 2014)

Preface. - Stefano Bistarelli; Andrea Formisano 001 (ICTCS, 2014)

Two trust networks in one: Using bipolar structures to fuse trust and distrust. - Stefano Bistarelli; Francesco Santini 001 (PST, 2014)

A Secure Non-monotonic Soft Concurrent Constraint Language. - Stefano Bistarelli; Francesco Santini 001 (Fundam. Informaticae, 2014)

Testing Credulous and Sceptical Acceptance in Small-World Networks. - Stefano Bistarelli; Fabio Rossi; Francesco Santini 001 (RCRA@AI*IA, 2015)

Towards visualising security with arguments. - Stefano Bistarelli; Fabio Rossi; Francesco Santini 001; Carlo Taticchi (CILC, 2015)

A Comparative Test on the Enumeration of Extensions in Abstract Argumentation. - Stefano Bistarelli; Fabio Rossi; Francesco Santini 001 (Fundam. Informaticae, 2015)

Timed soft concurrent constraint programs: An interleaved and a parallel approach. - Stefano Bistarelli; Maurizio Gabbrielli; Maria Chiara Meo; Francesco Santini 001 (Theory Pract. Log. Program., 2015)

ConArg: A Tool for Classical and Weighted Argumentation. - Stefano Bistarelli; Fabio Rossi; Francesco Santini 001 (COMMA, 2016)

A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property. - Stefano Bistarelli; Fabio Martinelli; Ilaria Matteucci; Francesco Santini 001 (FACS, 2016)

A Collective Defence Against Grouped Attacks for Weighted Abstract Argumentation Frameworks. - Stefano Bistarelli; Fabio Rossi; Francesco Santini 001 (FLAIRS, 2016)

A Mechanism Design Approach for Allocation of Commodities. - Stefano Bistarelli; Rosario Culmone; Paolo Giuliodori; Stefano Mugnoz (ICTCS, 2016)

A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks. - Stefano Bistarelli; Fabio Rossi; Francesco Santini 001 (JELIA, 2016)

Automated adaptation via quantitative partial model checking. - Stefano Bistarelli; Francesco Santini 001; Fabio Martinelli; Ilaria Matteucci (SAC, 2016)

Mechanism Design Approach for Energy Efficiency. - Stefano Bistarelli; Rosario Culmone; Paolo Giuliodori; Stefano Mugnoz (CoRR, 2016)

Preface. - Stefano Bistarelli; Andrea Formisano 001; Marco Maratea; Paolo Torroni (Fundam. Informaticae, 2016)

Theoretical Computer Science in Italy. - Stefano Bistarelli; Andrea Formisano 001 (Theor. Comput. Sci., 2016)

Go with the -Bitcoin- Flow, with Visual Analytics. - Stefano Bistarelli; Francesco Santini 001 (ARES, 2017)

A ConArg-based Library for Abstract Argumentation. - Stefano Bistarelli; Fabio Rossi; Francesco Santini 001 (AI³@AI*IA, 2017)

PrOnto: an Ontology Driven Business Process Mining Tool. - Stefano Bistarelli; Tommaso Di Noia; Marina Mongiello; Francesco Nocera (KES, 2017)

A Quantitative Partial Model-Checking Function and Its Optimisation. - Stefano Bistarelli; Fabio Martinelli; Ilaria Matteucci; Francesco Santini 001 (LPAR, 2017)

A Hasse Diagram for Weighted Sceptical Semantics with a Unique-Status Grounded Semantics. - Stefano Bistarelli; Francesco Santini 001 (LPNMR, 2017)

An end-to-end voting-system based on bitcoin. - Stefano Bistarelli; Marco Mantilacci; Paolo Santancini; Francesco Santini 001 (SAC, 2017)

From Argumentation Frameworks to Voting Systems and Back. - Irene Benedetti; Stefano Bistarelli (Fundam. Informaticae, 2017)

On merging two trust-networks in one with bipolar preferences. - Stefano Bistarelli; Francesco Santini 001 (Math. Struct. Comput. Sci., 2017)

A Cooperative-game Approach to Share Acceptability and Rank Arguments. - Stefano Bistarelli; Paolo Giuliodori; Francesco Santini 001; Carlo Taticchi (AI³@AI*IA, 2018)

Using MetaProbLog and ConArg to compute Probabilistic Argumentation Frameworks. - Stefano Bistarelli; Theofrastos Mantadelis; Francesco Santini 001; Carlo Taticchi (AI³@AI*IA, 2018)

Local Expansion Invariant Operators in Argumentation Semantics. - Stefano Bistarelli; Francesco Santini 001; Carlo Taticchi (CLAR, 2018)

Defence Outsourcing in Argumentation. - Ryuta Arisaka; Stefano Bistarelli (COMMA, 2018)

Studying Dynamics in Argumentation with Rob. - Stefano Bistarelli; Francesco Faloci; Francesco Santini 001; Carlo Taticchi (COMMA, 2018)

Containerisation and Dynamic Frameworks in ICCMA'19. - Stefano Bistarelli; Lars Kotthoff; Francesco Santini 001; Carlo Taticchi (SAFA@COMMA, 2018)

An Analysis of Non-standard Bitcoin Transactions. - Ivan Mercanti; Stefano Bistarelli; Francesco Santini 001 (CVCBT, 2018)

A Suite of Tools for the Forensic Analysis of Bitcoin Transactions: Preliminary Report. - Stefano Bistarelli; Ivan Mercanti; Francesco Santini 001 (Euro-Par Workshops, 2018)

On Looking for Invariant Operators in Argumentation Semantics. - Stefano Bistarelli; Francesco Santini 001; Carlo Taticchi (FLAIRS, 2018)

A Matrix Approach for Weighted Argumentation Frameworks. - Stefano Bistarelli; Alessandra Tappini; Carlo Taticchi (FLAIRS, 2018)

Is Arbitrage Possible in the Bitcoin Market? (Work-In-Progress Paper). - Stefano Bistarelli; Alessandra Cretarola; Gianna Figà-Talamanca; Ivan Mercanti; Marco Patacca (GECON, 2018)

Probabilistic Argumentation Frameworks with MetaProbLog and ConArg. - Stefano Bistarelli; Theofrastos Mantadelis; Francesco Santini 001; Carlo Taticchi (ICTAI, 2018)

Preliminary Results on the Modeling of System Level Diagnosis Problems with Abstract Argumentation. - Stefano Bistarelli; Antonio Caruso 001 (ICTCS, 2018)

A Fair Payment Scheme for Virtuous Community Energy Usage. - Paolo Giuliodori; Stefano Bistarelli; Dimitri Mugnai (ISAIM, 2018)

Visualizing Bitcoin Flows of Ransomware: WannaCry One Week Later. - Stefano Bistarelli; Matteo Parroccini; Francesco Santini 001 (ITASEC, 2018)

Some Thoughts On Well-Foundedness in Weighted Abstract Argumentation. - Stefano Bistarelli; Francesco Santini 001 (KR, 2018)

On Looking for Local Expansion Invariants in Argumentation Semantics. - Stefano Bistarelli; Francesco Santini 001; Carlo Taticchi (CoRR, 2018)

A Matrix Approach for Weighted Argumentation Frameworks: a Preliminary Report. - Stefano Bistarelli; Alessandra Tappini; Carlo Taticchi (CoRR, 2018)

A Preliminary Report on Probabilistic Attack Normal Form for Constellation Semantics. - Theofrastos Mantadelis; Stefano Bistarelli (CoRR, 2018)

Special Issue: Selected Papers from AI∧3 2017, the 1st Workshop on Advances in Argumentation in Artificial Intelligence. - Stefano Bistarelli; Massimiliano Giacomin; Andrea Pazienza (Intelligenza Artificiale, 2018)

Architecting the Web of Things for the fog computing era. - Niko Mäkitalo; Francesco Nocera; Marina Mongiello; Stefano Bistarelli (IET Softw., 2018)

A novel weighted defence and its relaxation in abstract argumentation. - Stefano Bistarelli; Fabio Rossi; Francesco Santini 001 (Int. J. Approx. Reason., 2018)

23rd RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". - Stefano Bistarelli; Andrea Formisano 001; Marco Maratea (J. Exp. Theor. Artif. Intell., 2018)

Not only size, but also shape counts: abstract argumentation solvers are benchmark-sensitive. - Stefano Bistarelli; Fabio Rossi; Francesco Santini 001 (J. Log. Comput., 2018)

An Introduction to Optimal Stable Marriage Problems and Argumentation Frameworks. - Stefano Bistarelli; Francesco Santini 001 (AI³@AI*IA, 2019)

Preliminary Study on Reinstatement Labelling for Weighted Argumentation Frameworks. - Stefano Bistarelli; Carlo Taticchi (AI³@AI*IA, 2019)

Analysis of Ethereum Smart Contracts and Opcodes. - Stefano Bistarelli; Gianmarco Mazzante; Matteo Micheletti; Leonardo Mostarda; Francesco Tiezzi 001 (AINA, 2019)

A Tool For Ranking Arguments Through Voting-Games Power Indexes. - Stefano Bistarelli; Francesco Faloci; Francesco Santini 001; Carlo Taticchi (CILC, 2019)

CapBAC in Hyperledger Sawtooth. - Stefano Bistarelli; Claudio Pannacci; Francesco Santini 001 (DAIS, 2019)

Implementing Ranking-Based Semantics in ConArg. - Stefano Bistarelli; Francesco Faloci; Carlo Taticchi (ICTAI, 2019)

Studying forward looking bubbles in Bitcoin/USD exchange rates. - Stefano Bistarelli; Gianna Figà-Talamanca; Francesco Lucarini; Ivan Mercanti (IDEAS, 2019)

Well-Foundedness in Weighted Argumentation Frameworks. - Stefano Bistarelli; Francesco Santini 001 (JELIA, 2019)

A Possible World View and a Normal Form for the Constellation Semantics. - Stefano Bistarelli; Theofrastos Mantadelis (JELIA, 2019)

Block Argumentation. - Ryuta Arisaka; Francesco Santini 001; Stefano Bistarelli (PRIMA, 2019)

Implementing Ranking-Based Semantics in ConArg: a Preliminary Report. - Stefano Bistarelli; Francesco Faloci; Carlo Taticchi (CoRR, 2019)

An Analysis of Non-standard Transactions. - Stefano Bistarelli; Ivan Mercanti; Francesco Santini 001 (Frontiers Blockchain, 2019)

Special issue of the Knowledge Representation and Reasoning Track, Symposium on Applied Computing (SAC) 2017. - Stefano Bistarelli; Francesco Santini 001; Paolo Torroni (Fundam. Informaticae, 2019)

End-to-End Voting with Non-Permissioned and Permissioned Ledgers. - Stefano Bistarelli; Ivan Mercanti; Paolo Santancini; Francesco Santini 001 (J. Grid Comput., 2019)

Power index-based semantics for ranking arguments in abstract argumentation frameworks. - Stefano Bistarelli; Carlo Taticchi (Intelligenza Artificiale, 2019)

Preface to the Special Issue on Advances in Argumentation in Artificial Intelligence. - Pierpaolo Dondio; Luca Longo; Stefano Bistarelli (Intelligenza Artificiale, 2019)

A Short Introduction to Collective Defense in Weighted Abstract Argumentation Problems. - Stefano Bistarelli (Decision Making under Constraints, 2020)

A First Overview of ICCMA'19. - Stefano Bistarelli; Lars Kotthoff; Francesco Santini 001; Carlo Taticchi (AI³@AI*IA, 2020)

A Concurrent Language for Argumentation. - Stefano Bistarelli; Carlo Taticchi (AI³@AI*IA, 2020)

Towards an Implementation of a Concurrent Language for Argumentation. - Stefano Bistarelli; Carlo Taticchi (AI*IA, 2020)

A Concurrent Language for Argumentation: Preliminary Notes. - Stefano Bistarelli; Carlo Taticchi (Gabbrielli's Festschrift, 2020)

A Labelling Semantics for Weighted Argumentation Frameworks. - Stefano Bistarelli; Carlo Taticchi (CILC, 2020)

Ranking-Based Semantics from the Perspective of Claims. - Stefano Bistarelli; Wolfgang Dvorák; Carlo Taticchi; Stefan Woltran (COMMA, 2020)

A Report on the Security of Home Connections with IoT and Docker Honeypots. - Stefano Bistarelli; Emanuele Bosimini; Francesco Santini 001 (ITASEC, 2020)

Energy allocation and payment: a game-theoretic approach. - Paolo Giuliodori; Stefano Bistarelli; Dimitri Mugnai (Ann. Math. Artif. Intell., 2020)

Abstract argumentation and (optimal) stable marriage problems. - Stefano Bistarelli; Francesco Santini 001 (Argument Comput., 2020)

Probabilistic abstract argumentation frameworks, a possible world view. - Theofrastos Mantadelis; Stefano Bistarelli (Int. J. Approx. Reason., 2020)

Ethereum smart contracts: Analysis and statistics of their source code and opcodes. - Stefano Bistarelli; Gianmarco Mazzante; Matteo Micheletti; Leonardo Mostarda; Davide Sestili; Francesco Tiezzi 001 (Internet Things, 2020)

A Medium-Interaction Emulation and Monitoring System for Operational Technology. - Stefano Bistarelli; Emanuele Bosimini; Francesco Santini 001 (ARES, 2021)

Concurrent Argumentation with Time: an Overview. - Stefano Bistarelli; Maria Chiara Meo; Carlo Taticchi (AI³@AI*IA, 2021)

A Chatbot Extended with Argumentation. - Stefano Bistarelli; Carlo Taticchi; Francesco Santini 001 (AI³@AI*IA, 2021)

*.chain: automatic coding of smart contracts and user interfaces for supply chains. - Stefano Bistarelli; Francesco Faloci; Paolo Mori (BCCA, 2021)

Timed Concurrent Language for Argumentation. - Stefano Bistarelli; Maria Chiara Meo; Carlo Taticchi (CILC, 2021)

Towards a Graphical DSL for Tracing Supply Chains on Blockchain. - Stefano Bistarelli; Francesco Faloci; Paolo Mori (Euro-Par Workshops, 2021)

Extending Labelling Semantics to Weighted Argumentation Frameworks. - Carlo Taticchi; Stefano Bistarelli (FLAIRS, 2021)

A Unifying Four-State Labelling Semantics for Bridging Abstract Argumentation Frameworks and Belief Revision. - Stefano Bistarelli; Carlo Taticchi (ICTCS, 2021)

Introducing a Tool for Concurrent Argumentation. - Stefano Bistarelli; Carlo Taticchi (JELIA, 2021)

Highlighting poor anonymity and security practice in the blockchain of Bitcoin. - Stefano Bistarelli; Ivan Mercanti; Francesco Faloci; Francesco Santini 001 (SAC, 2021)

Summary Report for the Third International Competition On Computational Models of Argumentation. - Stefano Bistarelli; Lars Kotthoff; Francesco Santini 001; Carlo Taticchi (AI Mag., 2021)

Weighted Argumentation. - Stefano Bistarelli; Francesco Santini 001 (FLAP, 2021)

Kruskal with embedded C-semirings to solve MST problems with partially-ordered costs. - Stefano Bistarelli; Fabio Rossi; Francesco Santini 001 (Inf. Process. Lett., 2021)

ConArgLib: an argumentation library with support to search strategies and parallel search. - Stefano Bistarelli; Fabio Rossi; Francesco Santini 001 (J. Exp. Theor. Artif. Intell., 2021)

Computing Grounded Semantics of Uncontroversial Acyclic Constellation Probabilistic Argumentation in Linear Time. - Stefano Bistarelli; Victor David; Francesco Santini 001; Carlo Taticchi (AI³@AI*IA, 2022)

Deriving Dependency Graphs from Abstract Argumentation Frameworks: a Preliminary Report. - Stefano Bistarelli; Carlo Taticchi (AI³@AI*IA, 2022)

Blockchain and IoT Integration for Pollutant Emission Control. - Stefano Bistarelli; Marco Marcozzi; Gianmarco Mazzante; Leonardo Mostarda; Alfredo Navarra; Davide Sestili (AINA (3), 2022)

A Four-State Labelling Semantics for Weighted Argumentation Frameworks. - Stefano Bistarelli; Carlo Taticchi (CILC, 2022)

An Argumentative Explanation of Machine Learning Outcomes. - Stefano Bistarelli; Alessio Mancinelli; Francesco Santini 001; Carlo Taticchi (COMMA, 2022)

An E-Voting System Based on Tornado Cash. - Stefano Bistarelli; Bruno Lazo La Torre Montalvo; Ivan Mercanti; Francesco Santini 001 (ETAA, 2022)

Arg-XAI: a Tool for Explaining Machine Learning Results. - Stefano Bistarelli; Alessio Mancinelli; Francesco Santini 001; Carlo Taticchi (ICTAI, 2022)

On Identifying Repeated Patterns of OT Attacks with LOGistICS. - Stefano Bistarelli; Emanuele Bosimini; Francesco Santini 001 (ITASEC, 2022)

Olive Oil as Case Study for the *-Chain Platform. - Stefano Bistarelli; Francesco Faloci; Paolo Mori; Carlo Taticchi (DLT@ITASEC, 2022)

A Definition of Sceptical Semantics in the Constellations Approach. - Stefano Bistarelli; Francesco Santini 001 (LPNMR, 2022)

Timed Concurrent Language for Argumentation: An Interleaving Approach. - Stefano Bistarelli; Maria Chiara Meo; Carlo Taticchi (PADL, 2022)

A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks. - Stefano Bistarelli; Carlo Taticchi (J. Log. Comput., 2022)

A Survey of Steganography Tools at Layers 2-4 and HTTP. - Stefano Bistarelli; Michele Ceccarelli; Chiara Luchini; Ivan Mercanti; Francesco Santini 001 (ARES, 2023)

On the Role of Local Arguments in the (Timed) Concurrent Language for Argumentation. - Stefano Bistarelli; Maria Chiara Meo; Carlo Taticchi (AI³@AI*IA, 2023)

Deriving Dependency Graphs from Abstract Argumentation Frameworks. - Stefano Bistarelli; Carlo Taticchi (AI*IA, 2023)

Temporal Probabilistic Argumentation Frameworks. - Stefano Bistarelli; Victor David; Francesco Santini 001; Carlo Taticchi (CILC, 2023)

Modeling Carne PRI supply chain with the *-Chain Platform. - Stefano Bistarelli; Francesco Faloci; Paolo Mori; Carlo Taticchi; Marino Miculan (DLT, 2023)

Enforcing Confidentiality in Tornado Cash-based E-voting Systems. - Stefano Bistarelli; Ivan Mercanti; Francesco Santini 001 (DLT, 2023)

Towards a Temporal Probabilistic Argumentation Framework. - Stefano Bistarelli; Victor David; Francesco Santini 001; Carlo Taticchi (FLAIRS, 2023)

A Survey on Decentralized Identifier Methods for Self Sovereign Identity. - Stefano Bistarelli; Francesco Micheli; Francesco Santini 001 (ITASEC, 2023)

Towards automated verification of Bitcoin-based decentralised applications. - Stefano Bistarelli; Andrea Bracciali; Rick Klomp; Ivan Mercanti (SAC, 2023)

Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays. - Stefano Bistarelli; Rocco De Nicola; Letterio Galletta; Cosimo Laneve; Ivan Mercanti; Adele Veschetti (Concurr. Comput. Pract. Exp., 2023)

Timed concurrent language for argumentation with maximum parallelism. - Stefano Bistarelli; Maria Chiara Meo; Carlo Taticchi (J. Log. Comput., 2023)

An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games. - Stefano Bistarelli; Carlo Taticchi; Maria Chiara Meo (Theory Pract. Log. Program., 2023)

*-chain: A framework for automating the modeling of blockchain based supply chain tracing systems. - Stefano Bistarelli; Francesco Faloci; Paolo Mori (Future Gener. Comput. Syst., 2023)

On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics. - Stefano Bistarelli; Carlo Taticchi (J. Log. Comput., 2023)

Feature Selection on Contextual Embedding Pushing the Sparseness. - Stefano Bistarelli; Marco Cuccarini (AI*IA, 2024)

BERT-based Questions Answering on Close Domains: Preliminary Report. - Stefano Bistarelli; Marco Cuccarini (CILC, 2024)

Preserving Privacy in a (Timed) Concurrent Language for Argumentation. - Stefano Bistarelli; Maria Chiara Meo; Carlo Taticchi (CILC, 2024)

A Semantics-Aware Evaluation Order for Abstract Argumentation Frameworks. - Stefano Bistarelli; Carlo Taticchi (CILC, 2024)

A Short Survey on Bitcoin Price Prediction. - Stefano Bistarelli; Francesco Santini 001; Luca Maria Tutino (DLT, 2024)

Analysis of Blockchain Sustainability through the Comparison of Different Smart Contracts Programming Languages. - Stefano Bistarelli; Marco Fiore 002; Antonio Ignazio Lazzizera; Ivan Mercanti; Marina Mongiello (DLT, 2024)

An In-depth Analysis of Mining Pools Revenue. - Stefano Bistarelli; Gianlorenzo Giuliani; Ivan Mercanti; Francesco Santini 001 (DLT, 2024)

Policy-based Credential Disclosure in SSI by Using ORCON-based Access Control. - Stefano Bistarelli; Chiara Luchini; Francesco Santini 001 (DLT, 2024)

Analyzing the Fairness of Proof of Stake Ethereum. - Stefano Bistarelli; Cosimo Laneve; Ivan Mercanti; Adele Veschetti (DLT, 2024)

Local Spaces in Soft Concurrent Constraint Programming Oriented to Security. - Stefano Bistarelli; Francesco Santini 001 (ISoLA (1), 2024)

A Preliminary Study on the Creation of a Covert Channel with HTTP Headers. - Stefano Bistarelli; Michele Ceccarelli; Chiara Luchini; Ivan Mercanti; Francesco Santini 001 (ITASEC, 2024)

Modelling Dialogues in a Concurrent Language for Argumentation. - Stefano Bistarelli; Maria Chiara Meo; Carlo Taticchi (LPNMR, 2024)

A concurrent language for modelling agents arguing on a shared argumentation space. - Stefano Bistarelli; Carlo Taticchi (Argument Comput., 2024)

Temporal duration-based probabilistic argumentation frameworks. - Stefano Bistarelli; Victor David; Francesco Santini 001; Carlo Taticchi (J. Log. Comput., 2024)

A TCP-based covert channel with integrity check and retransmission. - Stefano Bistarelli; Andrea Imparato; Francesco Santini 001 (Int. J. Inf. Sec., 2024)

Generating Deepfakes with Stable Diffusion, ControlNet, and LoRA. - Stefano Bistarelli; Francesco Santini 001; Edoardo Toma Tavassi (ARES (Workshops 3), 2025)

Fast Computing of Dung Semantics in Acyclic Probabilistic Argumentation Frameworks. - Stefano Bistarelli; Victor David; Pierre Monnin; Francesco Santini 001; Carlo Taticchi (AAAI, 2025)

A Classification of Malware Sandboxes and Their Architectures. - Stefano Bistarelli; Emanuele Burberi; Francesco Santini 001 (ITASEC/SERICS, 2025)

Analysis and Study of a Cybersecurity Maturity Assessment System for SMEs. - Stefano Bistarelli; Sara Geoli; Chiara Luchini; Ivan Mercanti (ITASEC/SERICS, 2025)

SSI Policies Implementing Terms of Use to Control VC Disclosure. - Stefano Bistarelli; Chiara Luchini; Francesco Santini 001 (PerCom Workshops, 2025)

A Preliminary Approach for Translating ODRL to Smart Policies. - Stefano Bistarelli; Chiara Luchini; Francesco Santini 001 (PerCom Workshops, 2025)

Controlling VC disclosure with Terms of Use and ABAC in SSI. - Stefano Bistarelli; Chiara Luchini; Francesco Santini 001 (SAC, 2025)

The third and fourth international competitions on computational models of argumentation: Design, results and analysis. - Stefano Bistarelli; Lars Kotthoff; Jean-Marie Lagniez; Emmanuel Lonca; Jean-Guy Mailly; Julien Rossit; Francesco Santini 001; Carlo Taticchi (Argument Comput., 2025)

Usage of Large Language Model for Code Generation Tasks: A Review. - Stefano Bistarelli; Marco Fiore 002; Ivan Mercanti; Marina Mongiello (SN Comput. Sci., 2025)