Francesco Santini

175 papers A* 3A 2B 25C 22Misc 11Journal 39Unranked 72
YearRankTypeTitle / Venue / Authors
2026 — conf
An Application to Automatically Detect Track-Limit Violations in Car Races.
ICAART (5)
Morgana Bellacci, Eduard Brahas, Marco Prepi, Fabio Seghetta, Francesco Santini, Michele Vantaggi
2026 — conf
Design and First Evaluation of a Matrix-Based PUF Authentication Scheme for Blockchain-Based Tracking.
ICISSP (1)
Stefano Bistarelli, Ivan Mercanti, Igor Neri, Francesco Santini
2026 — conf
From Raw Social Data to Actionable Intelligence: The SocHunter Approach.
ITASEC/SERICS
Stefano Bistarelli, Cristian Cerami, Francesco Santini
2025 — conf
A Classification of Malware Sandboxes and Their Architectures.
ITASEC/SERICS
Stefano Bistarelli, Emanuele Burberi, Francesco Santini
2025 — conf
A Decentralized and Privacy-Preserving Voting System with Enigma.
BCCA
Stefano Bistarelli, Ivan Mercanti, Paolo Santancini, Francesco Santini, Marco Timpanella
2025 — conf
A Preliminary Approach for Translating ODRL to Smart Policies.
PerCom Workshops
Stefano Bistarelli, Chiara Luchini, Francesco Santini
2025 — conf
A QUBO Approach to Value-Sensitive Reasoning in Argumentation Frameworks.
AIQxQIA@ECAI
Marco Baioletti, Francesco Santini, Fabio Rossi
2025 C conf
Analyzing Terms of Use Adoption in SSI Digital Wallets: A Review of Current Implementations.
DLT
Stefano Bistarelli, Chiara Luchini, Francesco Santini
2025 Misc conf
Controlling VC disclosure with Terms of Use and ABAC in SSI.
SAC
Stefano Bistarelli, Chiara Luchini, Francesco Santini
2025 — conf
Empowering Public Interest Communication with Argumentation - Project Report (short paper).
AI^3@ICLP
Pietro Baroni, Stefano Bistarelli, Bettina Fazzinga, Giulio Fellin, Sergio Flesca, Filippo Furfaro, Massimiliano Giacomin, Francesco Parisi, Carlo Proietti, Irene Russo, Francesco Santini, Carlo Taticchi, Paola Vernillo
2025 A* conf
Fast Computing of Dung Semantics in Acyclic Probabilistic Argumentation Frameworks.
AAAI
Stefano Bistarelli, Victor David, Pierre Monnin, Francesco Santini, Carlo Taticchi
2025 — conf
From Fear to Greed: Analyzing Sentiment Indicators in Bitcoin Price Prediction.
MARBLE
Stefano Bistarelli, Francesco Santini, Luca Maria Tutino
2025 — conf
Generating Deepfakes with Stable Diffusion, ControlNet, and LoRA.
ARES (Workshops 3)
Stefano Bistarelli, Francesco Santini, Edoardo Toma Tavassi
2025 — conf
SSI Policies Implementing Terms of Use to Control VC Disclosure.
PerCom Workshops
Stefano Bistarelli, Chiara Luchini, Francesco Santini
2025 J jnl
The third and fourth international competitions on computational models of argumentation: Design, results and analysis.
Argument Comput.
Stefano Bistarelli, Lars Kotthoff, Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit, Francesco Santini, Carlo Taticchi
2024 — conf
A Preliminary Study on the Creation of a Covert Channel with HTTP Headers.
ITASEC
Stefano Bistarelli, Michele Ceccarelli, Chiara Luchini, Ivan Mercanti, Francesco Santini
2024 C conf
A Short Survey on Bitcoin Price Prediction.
DLT
Stefano Bistarelli, Francesco Santini, Luca Maria Tutino
2024 J jnl
A TCP-based covert channel with integrity check and retransmission.
Int. J. Inf. Sec.
Stefano Bistarelli, Andrea Imparato, Francesco Santini
2024 C conf
An In-depth Analysis of Mining Pools Revenue.
DLT
Stefano Bistarelli, Gianlorenzo Giuliani, Ivan Mercanti, Francesco Santini
2024 J jnl
An encoding of argumentation problems using quadratic unconstrained binary optimization.
CoRR
Marco Baioletti, Francesco Santini
2024 J jnl
An encoding of argumentation problems using quadratic unconstrained binary optimization.
Quantum Mach. Intell.
Marco Baioletti, Francesco Santini
2024 — conf
Enumerating Extensions in Abstract Argumentation by Using QUBO.
AIQxQIA@AI*IA
Marco Baioletti, Fabio Rossi, Francesco Santini
2024 — conf
Local Spaces in Soft Concurrent Constraint Programming Oriented to Security.
ISoLA (1)
Stefano Bistarelli, Francesco Santini
2024 C conf
Policy-based Credential Disclosure in SSI by Using ORCON-based Access Control.
DLT
Stefano Bistarelli, Chiara Luchini, Francesco Santini
2024 J jnl
Temporal duration-based probabilistic argumentation frameworks.
J. Log. Comput.
Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi
2023 B conf
A Survey of Steganography Tools at Layers 2-4 and HTTP.
ARES
Stefano Bistarelli, Michele Ceccarelli, Chiara Luchini, Ivan Mercanti, Francesco Santini
2023 — conf
A Survey on Decentralized Identifier Methods for Self Sovereign Identity.
ITASEC
Stefano Bistarelli, Francesco Micheli, Francesco Santini
2023 C conf
A TCP-based Covert Channel with Integrity Check and Retransmission.
PST
Stefano Bistarelli, Andrea Imparato, Francesco Santini
2023 C conf
Enforcing Confidentiality in Tornado Cash-based E-voting Systems.
DLT
Stefano Bistarelli, Ivan Mercanti, Francesco Santini
2023 — conf
On using QUBO to enforce extensions in abstract argumentation (Short Paper).
AIQxQIA@AI*IA
Marco Baioletti, Francesco Santini
2023 — conf
Temporal Probabilistic Argumentation Frameworks.
CILC
Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi
2023 Misc conf
Towards a Temporal Probabilistic Argumentation Framework.
FLAIRS
Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi
2022 B conf
A Definition of Sceptical Semantics in the Constellations Approach.
LPNMR
Stefano Bistarelli, Francesco Santini
2022 — conf
Abstract Argumentation Goes Quantum: An Encoding to QUBO Problems.
PRICAI (1)
Marco Baioletti, Francesco Santini
2022 C conf
An Argumentative Explanation of Machine Learning Outcomes.
COMMA
Stefano Bistarelli, Alessio Mancinelli, Francesco Santini, Carlo Taticchi
2022 — conf
An E-Voting System Based on Tornado Cash.
ETAA
Stefano Bistarelli, Bruno Lazo La Torre Montalvo, Ivan Mercanti, Francesco Santini
2022 B conf
Arg-XAI: a Tool for Explaining Machine Learning Results.
ICTAI
Stefano Bistarelli, Alessio Mancinelli, Francesco Santini, Carlo Taticchi
2022 — conf
Computing Grounded Semantics of Uncontroversial Acyclic Constellation Probabilistic Argumentation in Linear Time.
AI³@AI*IA
Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi
2022 J jnl
Distributivity and residuation for lexicographic orders.
Inf. Process. Lett.
Fabio Gadducci, Francesco Santini
2022 — conf
On Identifying Repeated Patterns of OT Attacks with LOGistICS.
ITASEC
Stefano Bistarelli, Emanuele Bosimini, Francesco Santini
2022 C conf
Soft Concurrent Constraint Programming with Local Variables.
COORDINATION
Laura Bussi, Fabio Gadducci, Francesco Santini
2021 — conf
A Chatbot Extended with Argumentation.
AI³@AI*IA
Stefano Bistarelli, Carlo Taticchi, Francesco Santini
2021 B conf
A Medium-Interaction Emulation and Monitoring System for Operational Technology.
ARES
Stefano Bistarelli, Emanuele Bosimini, Francesco Santini
2021 J jnl
ConArgLib: an argumentation library with support to search strategies and parallel search.
J. Exp. Theor. Artif. Intell.
Stefano Bistarelli, Fabio Rossi, Francesco Santini
2021 Misc conf
Highlighting poor anonymity and security practice in the blockchain of Bitcoin.
SAC
Stefano Bistarelli, Ivan Mercanti, Francesco Faloci, Francesco Santini
2021 J jnl
Kruskal with embedded C-semirings to solve MST problems with partially-ordered costs.
Inf. Process. Lett.
Stefano Bistarelli, Fabio Rossi, Francesco Santini
2021 B conf
Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques.
JELIA
Fabio Gadducci, Francesco Santini
2021 J jnl
Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques.
CoRR
Fabio Gadducci, Francesco Santini
2021 J jnl
Soft constraint automata with memory.
J. Log. Algebraic Methods Program.
Kasper Dokter, Fabio Gadducci, Benjamin Lion, Francesco Santini
2021 J jnl
Summary Report for the Third International Competition On Computational Models of Argumentation.
AI Mag.
Stefano Bistarelli, Lars Kotthoff, Francesco Santini, Carlo Taticchi
2021 J jnl
Weighted Argumentation.
FLAP
Stefano Bistarelli, Francesco Santini
2020 — conf
A First Overview of ICCMA'19.
AI³@AI*IA
Stefano Bistarelli, Lars Kotthoff, Francesco Santini, Carlo Taticchi
2020 — conf
A Report on the Security of Home Connections with IoT and Docker Honeypots.
ITASEC
Stefano Bistarelli, Emanuele Bosimini, Francesco Santini
2020 J jnl
Abstract argumentation and (optimal) stable marriage problems.
Argument Comput.
Stefano Bistarelli, Francesco Santini
2020 C ed.
Computational Models of Argument - Proceedings of COMMA 2020, Perugia, Italy, September 4-11, 2020.
COMMA
Henry Prakken, Stefano Bistarelli, Francesco Santini, Carlo Taticchi
2020 — conf
Multi-dimensional Stable Matching Problems in Abstract Argumentation.
SUM
Francesco Santini
2019 — conf
A Tool For Ranking Arguments Through Voting-Games Power Indexes.
CILC
Stefano Bistarelli, Francesco Faloci, Francesco Santini, Carlo Taticchi
2019 J jnl
An Analysis of Non-standard Transactions.
Frontiers Blockchain
Stefano Bistarelli, Ivan Mercanti, Francesco Santini
2019 — conf
An Introduction to Optimal Stable Marriage Problems and Argumentation Frameworks.
AI³@AI*IA
Stefano Bistarelli, Francesco Santini
2019 B conf
Block Argumentation.
PRIMA
Ryuta Arisaka, Francesco Santini, Stefano Bistarelli
2019 J jnl
Block Argumentation.
CoRR
Ryuta Arisaka, Stefano Bistarelli, Francesco Santini
2019 C conf
CapBAC in Hyperledger Sawtooth.
DAIS
Stefano Bistarelli, Claudio Pannacci, Francesco Santini
2019 J jnl
End-to-End Voting with Non-Permissioned and Permissioned Ledgers.
J. Grid Comput.
Stefano Bistarelli, Ivan Mercanti, Paolo Santancini, Francesco Santini
2019 — conf
From Trust Among Agents to Reputation of Abstract Arguments by Using Subjective Logic.
AI³@AI*IA
Francesco Santini
2019 — conf
Polyadic Soft Constraints.
The Art of Modelling Computational Systems
Filippo Bonchi, Laura Bussi, Fabio Gadducci, Francesco Santini
2019 — ed.
Proceedings of the 3rd Workshop on Advances In Argumentation In Artificial Intelligence co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019), Rende, Italy, November 19-22, 2019.
AI³@AI*IA
Francesco Santini, Alice Toniolo
2019 J jnl
Special issue of the Knowledge Representation and Reasoning Track, Symposium on Applied Computing (SAC) 2017.
Fundam. Informaticae
Stefano Bistarelli, Francesco Santini, Paolo Torroni
2019 B conf
Well-Foundedness in Weighted Argumentation Frameworks.
JELIA
Stefano Bistarelli, Francesco Santini
2018 — conf
A Cooperative-game Approach to Share Acceptability and Rank Arguments.
AI³@AI*IA
Stefano Bistarelli, Paolo Giuliodori, Francesco Santini, Carlo Taticchi
2018 — conf
A Suite of Tools for the Forensic Analysis of Bitcoin Transactions: Preliminary Report.
Euro-Par Workshops
Stefano Bistarelli, Ivan Mercanti, Francesco Santini
2018 J jnl
A novel weighted defence and its relaxation in abstract argumentation.
Int. J. Approx. Reason.
Stefano Bistarelli, Fabio Rossi, Francesco Santini
2018 — conf
An Analysis of Non-standard Bitcoin Transactions.
CVCBT
Ivan Mercanti, Stefano Bistarelli, Francesco Santini
2018 C conf
Are My Arguments Trustworthy? Abstract Argumentation with Subjective Logic.
FUSION
Francesco Santini, Audun Jøsang, Maria Silvia Pini
2018 — conf
Containerisation and Dynamic Frameworks in ICCMA'19.
SAFA
Stefano Bistarelli, Lars Kotthoff, Francesco Santini, Carlo Taticchi
2018 — conf
Local Expansion Invariant Operators in Argumentation Semantics.
CLAR
Stefano Bistarelli, Francesco Santini, Carlo Taticchi
2018 J jnl
Not only size, but also shape counts: abstract argumentation solvers are benchmark-sensitive.
J. Log. Comput.
Stefano Bistarelli, Fabio Rossi, Francesco Santini
2018 Misc conf
On Looking for Invariant Operators in Argumentation Semantics.
FLAIRS
Stefano Bistarelli, Francesco Santini, Carlo Taticchi
2018 J jnl
On Looking for Local Expansion Invariants in Argumentation Semantics.
CoRR
Stefano Bistarelli, Francesco Santini, Carlo Taticchi
2018 B conf
Probabilistic Argumentation Frameworks with MetaProbLog and ConArg.
ICTAI
Stefano Bistarelli, Theofrastos Mantadelis, Francesco Santini, Carlo Taticchi
2018 — conf
Soft Constraint Automata with Memory.
It's All About Coordination
Kasper Dokter, Fabio Gadducci, Francesco Santini
2018 A* conf
Some Thoughts On Well-Foundedness in Weighted Abstract Argumentation.
KR
Stefano Bistarelli, Francesco Santini
2018 C conf
Studying Dynamics in Argumentation with Rob.
COMMA
Stefano Bistarelli, Francesco Faloci, Francesco Santini, Carlo Taticchi
2018 — conf
Using MetaProbLog and ConArg to compute Probabilistic Argumentation Frameworks.
AI³@AI*IA
Stefano Bistarelli, Theofrastos Mantadelis, Francesco Santini, Carlo Taticchi
2018 — conf
Visualizing Bitcoin Flows of Ransomware: WannaCry One Week Later.
ITASEC
Stefano Bistarelli, Matteo Parroccini, Francesco Santini
2017 B conf
A ConArg-Based Library for Abstract Argumentation.
ICTAI
Stefano Bistarelli, Fabio Rossi, Francesco Santini
2017 — conf
A ConArg-based Library for Abstract Argumentation.
AI³@AI*IA
Stefano Bistarelli, Fabio Rossi, Francesco Santini
2017 B conf
A Hasse Diagram for Weighted Sceptical Semantics with a Unique-Status Grounded Semantics.
LPNMR
Stefano Bistarelli, Francesco Santini
2017 B conf
A Quantitative Partial Model-Checking Function and Its Optimisation.
LPAR
Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini
2017 Misc conf
An end-to-end voting-system based on bitcoin.
SAC
Stefano Bistarelli, Marco Mantilacci, Paolo Santancini, Francesco Santini
2017 B conf
Go with the -Bitcoin- Flow, with Visual Analytics.
ARES
Stefano Bistarelli, Francesco Santini
2017 J jnl
Observational and behavioural equivalences for soft concurrent constraint programming.
J. Log. Algebraic Methods Program.
Fabio Gadducci, Francesco Santini, Luis Fernando Pino, Frank D. Valencia
2017 J jnl
On merging two trust-networks in one with bipolar preferences.
Math. Struct. Comput. Sci.
Stefano Bistarelli, Francesco Santini
2017 B conf
Properties and Implementation of a Two-Step Ranking-Based Semantics: On Revising NaE and SC.
ICTAI
Francesco Santini
2017 J jnl
Residuation for bipolar preferences in soft constraints.
Inf. Process. Lett.
Fabio Gadducci, Francesco Santini
2016 Misc conf
A Collective Defence Against Grouped Attacks for Weighted Abstract Argumentation Frameworks.
FLAIRS
Stefano Bistarelli, Fabio Rossi, Francesco Santini
2016 — conf
A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property.
FACS
Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini
2016 B conf
A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks.
JELIA
Stefano Bistarelli, Fabio Rossi, Francesco Santini
2016 Misc conf
A multi-criteria ranking of security countermeasures.
SAC
Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Francesco Santini, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli
2016 Misc conf
Automated adaptation via quantitative partial model checking.
SAC
Stefano Bistarelli, Francesco Santini, Fabio Martinelli, Ilaria Matteucci
2016 C conf
ConArg: A Tool for Classical and Weighted Argumentation.
COMMA
Stefano Bistarelli, Fabio Rossi, Francesco Santini
2016 — conf
Decomposing Global Quantitative Properties into Local Ones.
DPM/QASA@ESORICS
Ilaria Matteucci, Francesco Santini
2016 — conf
From Arguments and Reviewers to their Simulation - Reproducing a Case-Study.
ICAART (1)
Simone Gabbriellini, Francesco Santini
2016 — conf
From Reviews to Arguments and from Arguments Back to Reviewers' Behaviour.
ICAART (Revised Selected Papers)
Simone Gabbriellini, Francesco Santini
2016 — conf
Graded Justification of Arguments via Internal and External Endogenous Features.
SUM
Francesco Santini
2015 J jnl
A Comparative Test on the Enumeration of Extensions in Abstract Argumentation.
Fundam. Informaticae
Stefano Bistarelli, Fabio Rossi, Francesco Santini
2015 C conf
A Labelled Semantics for Soft Concurrent Constraint Programming.
COORDINATION
Fabio Gadducci, Francesco Santini, Luis Fernando Pino, Frank D. Valencia
2015 B conf
A Micro Study on the Evolution of Arguments in Amazon.com's Reviews.
PRIMA
Simone Gabbriellini, Francesco Santini
2015 — conf
Defeasible Logic Programming in Satisfiability Modulo CHR.
AI*IA
Francesco Santini
2015 C conf
Network security supported by arguments.
PST
Fabio Martinelli, Francesco Santini, Artsiom Yautsiukhin
2015 J jnl
Partially distributed coordination with Reo and constraint automata.
Serv. Oriented Comput. Appl.
Sung-Shik T. Q. Jongmans, Francesco Santini, Farhad Arbab
2015 — conf
Quantitative Analysis of Network Security with Abstract Argumentation.
DPM/QASA@ESORICS
Francesco Santini, Artsiom Yautsiukhin
2015 — conf
Semiring-based Specification Approaches for Quantitative Security.
QAPL
Fabio Martinelli, Ilaria Matteucci, Francesco Santini
2015 — conf
Testing Credulous and Sceptical Acceptance in Small-World Networks.
RCRA@AI*IA
Stefano Bistarelli, Fabio Rossi, Francesco Santini
2015 — conf
There are Two Sides to Every Question - Controller Versus Attacker.
Programming Languages with Applications to Biology and Security
Fabio Martinelli, Ilaria Matteucci, Francesco Santini
2015 J jnl
Timed soft concurrent constraint programs: An interleaved and a parallel approach.
Theory Pract. Log. Program.
Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini
2015 — conf
Towards visualising security with arguments.
CILC
Stefano Bistarelli, Fabio Rossi, Francesco Santini, Carlo Taticchi
2014 A conf
A First Comparison of Abstract Argumentation Reasoning-Tools.
ECAI
Stefano Bistarelli, Fabio Rossi, Francesco Santini
2014 J jnl
A Secure Non-monotonic Soft Concurrent Constraint Language.
Fundam. Informaticae
Stefano Bistarelli, Francesco Santini
2014 — conf
Abstract argumentation frameworks to promote fairness and rationality in multi-experts multi-criteria decision making.
ICTCS
Stefano Bistarelli, Martine Ceberio, Joel A. Henderson, Francesco Santini
2014 B conf
An Improved Role-Based Access to Android Applications with JCHR.
ARES
Stefano Bistarelli, Gianpiero Costantino, Fabio Martinelli, Francesco Santini
2014 C conf
Benchmarking Hard Problems in Random Abstract AFs: The Stable Semantics.
COMMA
Stefano Bistarelli, Fabio Rossi, Francesco Santini
2014 — conf
Debating Cybersecurity or Securing a Debate? - (Position Paper).
FPS
Fabio Martinelli, Francesco Santini
2014 B conf
Efficient Solution for Credulous/Sceptical Acceptance in Lower-Order Dung's Semantics.
ICTAI
Stefano Bistarelli, Fabio Rossi, Francesco Santini
2014 — conf
Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic.
CLIMA
Stefano Bistarelli, Fabio Rossi, Francesco Santini
2014 J jnl
Orchestrating web services using Reo: from circuits and behaviors to automatically generated code.
Serv. Oriented Comput. Appl.
Sung-Shik T. Q. Jongmans, Francesco Santini, Mahdi Sargolzaei, Farhad Arbab, Hamideh Afsarmanesh
2014 C conf
Partially-Distributed Coordination with Reo.
PDP
Sung-Shik T. Q. Jongmans, Francesco Santini, Farhad Arbab
2014 J jnl
Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach.
CoRR
Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini
2014 C conf
Two trust networks in one: Using bipolar structures to fuse trust and distrust.
PST
Stefano Bistarelli, Francesco Santini
2013 — conf
A First Comparison of Abstract Argumentation Systems: A Computational Perspective.
CILC
Stefano Bistarelli, Fabio Rossi, Francesco Santini
2013 B conf
A Tool for Behaviour-Based Discovery of Approximately Matching Web Services.
SEFM
Mahdi Sargolzaei, Francesco Santini, Farhad Arbab, Hamideh Afsarmanesh
2013 J jnl
Coalitions of Arguments: An Approach with Constraint Programming.
Fundam. Informaticae
Stefano Bistarelli, Francesco Santini
2013 B conf
Combining Recommender and Reputation Systems to Produce Better Online Advice.
MDAI
Audun Jøsang, Guibing Guo, Maria Silvia Pini, Francesco Santini, Yue Xu
2013 — conf
Validating reconfigurations of reo circuits in an e-Banking scenario.
ISARCS
Maurice H. ter Beek, Fabio Gadducci, Francesco Santini
2012 Misc conf
A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming.
SAC
Stefano Bistarelli, Paola Campli, Francesco Santini
2012 J jnl
A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials.
Comput. Math. Appl.
Stefano Bistarelli, Fabio Martinelli, Francesco Santini
2012 — conf
Automatic Code Generation for the Orchestration of Web Services with Reo.
ESOCC
Sung-Shik T. Q. Jongmans, Francesco Santini, Mahdi Sargolzaei, Farhad Arbab, Hamideh Afsarmanesh
2012 — conf
ConArg: Argumentation with Constraints.
AT
Stefano Bistarelli, Francesco Santini
2012 J jnl
ConArg: a Tool to Solve (Weighted) Abstract Argumentation Frameworks with (Soft) Constraints
CoRR
Stefano Bistarelli, Francesco Santini
2012 J jnl
Evaluation of complex security scenarios using defense trees and economic indexes.
J. Exp. Theor. Artif. Intell.
Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti, Francesco Santini
2012 J jnl
Local arc consistency for non-invertible semirings, with an application to multi-objective optimization.
Expert Syst. Appl.
Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini
2012 — conf
Preference and Similarity-Based Behavioral Discovery of Services.
WS-FM
Farhad Arbab, Francesco Santini
2012 B conf
Securely Accessing Shared Resources with Concurrent Constraint Programming.
SEFM
Stefano Bistarelli, Francesco Santini
2012 C conf
Semiring-based constraint models and frameworks for security-related scenarios.
CRiSIS
Stefano Bistarelli, Francesco Santini
2012 — conf
Solving Fuzzy Distributed CSPs: An Approach with Naming Games.
DALT
Stefano Bistarelli, Giorgio Gosti, Francesco Santini
2012 — conf
Towards a similarity-based web service discovery through soft constraint satisfaction problems.
SSW@VLDB
Farhad Arbab, Francesco Santini, Stefano Bistarelli, Daniele Pirolandi
2011 J jnl
A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process.
Fundam. Informaticae
Stefano Bistarelli, Francesco Santini
2011 B conf
ConArg: A Constraint-Based Computational Framework for Argumentation Systems.
ICTAI
Stefano Bistarelli, Francesco Santini
2011 — conf
Finding Partitions of Arguments with Dung's Properties via SCSPs.
CILC
Stefano Bistarelli, Paola Campli, Francesco Santini
2011 Misc conf
Finding partitions of arguments with Dung's properties via SCSPs.
SAC
Stefano Bistarelli, Paola Campli, Francesco Santini
2011 — conf
Modeling and Solving AFs with a Constraint-Based Tool: ConArg.
TAFA
Stefano Bistarelli, Francesco Santini
2011 B conf
Solving Fuzzy DCSPs with Naming Games.
ICTAI
Stefano Bistarelli, Giorgio Gosti, Francesco Santini
2010 A conf
A Common Computational Framework for Semiring-based Argumentation Systems.
ECAI
Stefano Bistarelli, Francesco Santini
2010 C conf
A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints.
ATC
Stefano Bistarelli, Fabio Martinelli, Francesco Santini
2010 — conf
Extending Soft Arc Consistency Algorithms to Non-invertible Semirings.
MICAI (1)
Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini
2010 J jnl
Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria.
Secur. Commun. Networks
Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini
2010 — conf
Solving Weighted Argumentation Frameworks with Soft Constraints.
CILC
Stefano Bistarelli, Daniele Pirolandi, Francesco Santini
2010 J jnl
Unicast and multicast QoS routing with soft-constraint logic programming.
ACM Trans. Comput. Log.
Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini
2009 — conf
Soft Constraints for Quality Aspects in Service Oriented Architectures
YR-SOC
Stefano Bistarelli, Francesco Santini
2009 — conf
Solving Weighted Argumentation Frameworks with Soft Constraints.
CSCLP
Stefano Bistarelli, Daniele Pirolandi, Francesco Santini
2008 — conf
A Formal and Practical Framework for Constraint-Based Routing.
ICN
Stefano Bistarelli, Francesco Santini
2008 — conf
A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation.
VODCA@FOSAD
Stefano Bistarelli, Francesco Santini
2008 C conf
A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily.
ATC
Stefano Bistarelli, Fabio Martinelli, Francesco Santini
2008 — conf
C-semiring Frameworks for Minimum Spanning Tree Problems.
WADT
Stefano Bistarelli, Francesco Santini
2008 — conf
From Marriages to Coalitions: A Soft CSP Approach.
CSCLP
Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini
2008 A* conf
Managing Quality of Service with Soft Constraints.
AAAI
Francesco Santini
2008 B conf
Managing Quality of Service with Soft Constraints.
ICLP
Francesco Santini
2008 Misc conf
Propagating multitrust within trust networks.
SAC
Stefano Bistarelli, Francesco Santini
2008 B conf
Soft Constraints for Dependable Service Oriented Architectures.
WADS
Stefano Bistarelli, Francesco Santini
2008 C conf
Timed Soft Concurrent Constraint Programs.
COORDINATION
Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini
2008 B conf
Weighted Datalog and Levels of Trust.
ARES
Stefano Bistarelli, Fabio Martinelli, Francesco Santini
2007 — conf
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming.
QAPL
Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini
2007 — conf
SCLP for Trust Propagation in Small-World Networks.
CSCLP
Stefano Bistarelli, Francesco Santini
2007 J jnl
Unicast and Multicast Qos Routing with Soft Constraint Logic Programming
CoRR
Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini
2006 J jnl
An asymmetric fingerprint matching algorithm for Java Card
Pattern Anal. Appl.
Stefano Bistarelli, Francesco Santini, Anna Vaccarelli
2005 — conf
An Asymmetric Fingerprint Matching Algorithm for Java Card™.
AVBPA
Stefano Bistarelli, Francesco Santini, Anna Vaccarelli