Stefano Bistarelli

295 papers A* 5A 11B 31C 30Misc 23Journal 76Unranked 111
YearRankTypeTitle / Venue / Authors
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
2026 J jnl
Strategic and private reasoning with the concurrent (timed) language for argumentation.
J. Log. Comput.
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
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
AI and tourism: a chatbot for small and medium enterprises in the tourism sector.
Ital-IA
Stefano Bistarelli, Marco Cuccarini
2025 — conf
Analysis and Study of a Cybersecurity Maturity Assessment System for SMEs.
ITASEC/SERICS
Stefano Bistarelli, Sara Geoli, Chiara Luchini, Ivan Mercanti
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 C conf
Exploring Fairness in Ethereum PoS: The Impact of Protocol Design and MEV.
DLT
Stefano Bistarelli, Ivan Mercanti, Adele Veschetti
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 C conf
Introducing Event-Driven Properties Management in *-chain.
DLT
Stefano Bistarelli, Ivan Mercanti, Paolo Mori, Carlo Taticchi
2025 C ed.
Proceedings of the Seventh Distributed Ledger Technology Workshop (DLT 2025), Pizzo, Italy, June 12-14 2025.
DLT
Stefano Bistarelli, Carmelo Felicetti, Claudio Schifanella
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
2025 — conf
Unveiling Stereotypes: Combining Knowledge Graphs and LLMs for Implied Stereotype Generation.
CLiC-it
Marco Cuccarini, Lia Draetta, Beatrice Fiumanò, Stefano Bistarelli, Rossana Damiano, Valentina Presutti
2025 J jnl
Usage of Large Language Model for Code Generation Tasks: A Review.
SN Comput. Sci.
Stefano Bistarelli, Marco Fiore, Ivan Mercanti, Marina Mongiello
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 — conf
A Semantics-Aware Evaluation Order for Abstract Argumentation Frameworks.
CILC
Stefano Bistarelli, Carlo Taticchi
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 J jnl
A concurrent language for modelling agents arguing on a shared argumentation space.
Argument Comput.
Stefano Bistarelli, Carlo Taticchi
2024 C conf
An In-depth Analysis of Mining Pools Revenue.
DLT
Stefano Bistarelli, Gianlorenzo Giuliani, Ivan Mercanti, Francesco Santini
2024 C conf
Analysis of Blockchain Sustainability through the Comparison of Different Smart Contracts Programming Languages.
DLT
Stefano Bistarelli, Marco Fiore, Antonio Ignazio Lazzizera, Ivan Mercanti, Marina Mongiello
2024 C conf
Analyzing the Fairness of Proof of Stake Ethereum.
DLT
Stefano Bistarelli, Cosimo Laneve, Ivan Mercanti, Adele Veschetti
2024 — conf
BERT-based Questions Answering on Close Domains: Preliminary Report.
CILC
Stefano Bistarelli, Marco Cuccarini
2024 — conf
Feature Selection on Contextual Embedding Pushing the Sparseness.
AI*IA
Stefano Bistarelli, Marco Cuccarini
2024 — conf
Local Spaces in Soft Concurrent Constraint Programming Oriented to Security.
ISoLA (1)
Stefano Bistarelli, Francesco Santini
2024 B conf
Modelling Dialogues in a Concurrent Language for Argumentation.
LPNMR
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
2024 C conf
Policy-based Credential Disclosure in SSI by Using ORCON-based Access Control.
DLT
Stefano Bistarelli, Chiara Luchini, Francesco Santini
2024 — conf
Preserving Privacy in a (Timed) Concurrent Language for Argumentation.
CILC
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
2024 J jnl
Temporal duration-based probabilistic argumentation frameworks.
J. Log. Comput.
Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi
2023 J jnl
*-chain: A framework for automating the modeling of blockchain based supply chain tracing systems.
Future Gener. Comput. Syst.
Stefano Bistarelli, Francesco Faloci, Paolo Mori
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 J jnl
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games.
CoRR
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
2023 J jnl
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games.
Theory Pract. Log. Program.
Stefano Bistarelli, Carlo Taticchi, Maria Chiara Meo
2023 — conf
Deriving Dependency Graphs from Abstract Argumentation Frameworks.
AI*IA
Stefano Bistarelli, Carlo Taticchi
2023 C conf
Enforcing Confidentiality in Tornado Cash-based E-voting Systems.
DLT
Stefano Bistarelli, Ivan Mercanti, Francesco Santini
2023 C conf
Modeling Carne PRI supply chain with the *-Chain Platform.
DLT
Stefano Bistarelli, Francesco Faloci, Paolo Mori, Carlo Taticchi, Marino Miculan
2023 — conf
On the Role of Local Arguments in the (Timed) Concurrent Language for Argumentation.
AI³@AI*IA
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
2023 J jnl
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics.
J. Log. Comput.
Stefano Bistarelli, Carlo Taticchi
2023 C ed.
Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), Bologna, Italy, May 25-26, 2023.
DLT
Paolo Mori, Ivan Visconti, Stefano Bistarelli
2023 J jnl
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays.
Concurr. Comput. Pract. Exp.
Stefano Bistarelli, Rocco De Nicola, Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti
2023 — conf
Temporal Probabilistic Argumentation Frameworks.
CILC
Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi
2023 J jnl
Timed concurrent language for argumentation with maximum parallelism.
J. Log. Comput.
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
2023 Misc conf
Towards a Temporal Probabilistic Argumentation Framework.
FLAIRS
Stefano Bistarelli, Victor David, Francesco Santini, Carlo Taticchi
2023 Misc conf
Towards automated verification of Bitcoin-based decentralised applications.
SAC
Stefano Bistarelli, Andrea Bracciali, Rick Klomp, Ivan Mercanti
2022 B conf
A Definition of Sceptical Semantics in the Constellations Approach.
LPNMR
Stefano Bistarelli, Francesco Santini
2022 — conf
A Four-State Labelling Semantics for Weighted Argumentation Frameworks.
CILC
Stefano Bistarelli, Carlo Taticchi
2022 J jnl
A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks.
J. Log. Comput.
Stefano Bistarelli, Carlo Taticchi
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
Blockchain and IoT Integration for Pollutant Emission Control.
AINA (3)
Stefano Bistarelli, Marco Marcozzi, Gianmarco Mazzante, Leonardo Mostarda, Alfredo Navarra, Davide Sestili
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 — conf
Deriving Dependency Graphs from Abstract Argumentation Frameworks: a Preliminary Report.
AI³@AI*IA
Stefano Bistarelli, Carlo Taticchi
2022 — conf
Olive Oil as Case Study for the *-Chain Platform.
DLT@ITASEC
Stefano Bistarelli, Francesco Faloci, Paolo Mori, Carlo Taticchi
2022 — conf
On Identifying Repeated Patterns of OT Attacks with LOGistICS.
ITASEC
Stefano Bistarelli, Emanuele Bosimini, Francesco Santini
2022 C conf
Timed Concurrent Language for Argumentation: An Interleaving Approach.
PADL
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
2021 — conf
*.chain: automatic coding of smart contracts and user interfaces for supply chains.
BCCA
Stefano Bistarelli, Francesco Faloci, Paolo Mori
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 — conf
A Unifying Four-State Labelling Semantics for Bridging Abstract Argumentation Frameworks and Belief Revision.
ICTCS
Stefano Bistarelli, Carlo Taticchi
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 — conf
Concurrent Argumentation with Time: an Overview.
AI³@AI*IA
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
2021 Misc conf
Extending Labelling Semantics to Weighted Argumentation Frameworks.
FLAIRS
Carlo Taticchi, Stefano Bistarelli
2021 Misc conf
Highlighting poor anonymity and security practice in the blockchain of Bitcoin.
SAC
Stefano Bistarelli, Ivan Mercanti, Francesco Faloci, Francesco Santini
2021 B conf
Introducing a Tool for Concurrent Argumentation.
JELIA
Stefano Bistarelli, Carlo Taticchi
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 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 — conf
Timed Concurrent Language for Argumentation.
CILC
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi
2021 — conf
Towards a Graphical DSL for Tracing Supply Chains on Blockchain.
Euro-Par Workshops
Stefano Bistarelli, Francesco Faloci, Paolo Mori
2021 J jnl
Weighted Argumentation.
FLAP
Stefano Bistarelli, Francesco Santini
2020 — conf
A Concurrent Language for Argumentation.
AI³@AI*IA
Stefano Bistarelli, Carlo Taticchi
2020 — conf
A Concurrent Language for Argumentation: Preliminary Notes.
Gabbrielli's Festschrift
Stefano Bistarelli, Carlo Taticchi
2020 — conf
A First Overview of ICCMA'19.
AI³@AI*IA
Stefano Bistarelli, Lars Kotthoff, Francesco Santini, Carlo Taticchi
2020 — conf
A Labelling Semantics for Weighted Argumentation Frameworks.
CILC
Stefano Bistarelli, 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 — ch.
A Short Introduction to Collective Defense in Weighted Abstract Argumentation Problems.
Decision Making under Constraints
Stefano Bistarelli
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 J jnl
Energy allocation and payment: a game-theoretic approach.
Ann. Math. Artif. Intell.
Paolo Giuliodori, Stefano Bistarelli, Dimitri Mugnai
2020 J jnl
Ethereum smart contracts: Analysis and statistics of their source code and opcodes.
Internet Things
Stefano Bistarelli, Gianmarco Mazzante, Matteo Micheletti, Leonardo Mostarda, Davide Sestili, Francesco Tiezzi
2020 J jnl
Probabilistic abstract argumentation frameworks, a possible world view.
Int. J. Approx. Reason.
Theofrastos Mantadelis, Stefano Bistarelli
2020 C conf
Ranking-Based Semantics from the Perspective of Claims.
COMMA
Stefano Bistarelli, Wolfgang Dvorák, Carlo Taticchi, Stefan Woltran
2020 — conf
Towards an Implementation of a Concurrent Language for Argumentation.
AI*IA
Stefano Bistarelli, Carlo Taticchi
2019 B conf
A Possible World View and a Normal Form for the Constellation Semantics.
JELIA
Stefano Bistarelli, Theofrastos Mantadelis
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
Analysis of Ethereum Smart Contracts and Opcodes.
AINA
Stefano Bistarelli, Gianmarco Mazzante, Matteo Micheletti, Leonardo Mostarda, Francesco Tiezzi
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 B conf
Implementing Ranking-Based Semantics in ConArg.
ICTAI
Stefano Bistarelli, Francesco Faloci, Carlo Taticchi
2019 J jnl
Implementing Ranking-Based Semantics in ConArg: a Preliminary Report.
CoRR
Stefano Bistarelli, Francesco Faloci, Carlo Taticchi
2019 J jnl
Power index-based semantics for ranking arguments in abstract argumentation frameworks.
Intelligenza Artificiale
Stefano Bistarelli, Carlo Taticchi
2019 J jnl
Preface to the Special Issue on Advances in Argumentation in Artificial Intelligence.
Intelligenza Artificiale
Pierpaolo Dondio, Luca Longo, Stefano Bistarelli
2019 — conf
Preliminary Study on Reinstatement Labelling for Weighted Argumentation Frameworks.
AI³@AI*IA
Stefano Bistarelli, Carlo Taticchi
2019 — ed.
Proceedings of the Second Distributed Ledger Technology Workshop, DLT@ITASEC 2019, Pisa, Italy, February 12, 2019.
DLT@ITASEC
Paolo Mori, Massimo Bartoletti, Stefano Bistarelli
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 C conf
Studying forward looking bubbles in Bitcoin/USD exchange rates.
IDEAS
Stefano Bistarelli, Gianna Figà-Talamanca, Francesco Lucarini, Ivan Mercanti
2019 B conf
Well-Foundedness in Weighted Argumentation Frameworks.
JELIA
Stefano Bistarelli, Francesco Santini
2018 J jnl
23rd RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion".
J. Exp. Theor. Artif. Intell.
Stefano Bistarelli, Andrea Formisano, Marco Maratea
2018 — conf
A Cooperative-game Approach to Share Acceptability and Rank Arguments.
AI³@AI*IA
Stefano Bistarelli, Paolo Giuliodori, Francesco Santini, Carlo Taticchi
2018 Misc conf
A Fair Payment Scheme for Virtuous Community Energy Usage.
ISAIM
Paolo Giuliodori, Stefano Bistarelli, Dimitri Mugnai
2018 Misc conf
A Matrix Approach for Weighted Argumentation Frameworks.
FLAIRS
Stefano Bistarelli, Alessandra Tappini, Carlo Taticchi
2018 J jnl
A Matrix Approach for Weighted Argumentation Frameworks: a Preliminary Report.
CoRR
Stefano Bistarelli, Alessandra Tappini, Carlo Taticchi
2018 J jnl
A Preliminary Report on Probabilistic Attack Normal Form for Constellation Semantics.
CoRR
Theofrastos Mantadelis, Stefano Bistarelli
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 J jnl
Architecting the Web of Things for the fog computing era.
IET Softw.
Niko Mäkitalo, Francesco Nocera, Marina Mongiello, Stefano Bistarelli
2018 — conf
Containerisation and Dynamic Frameworks in ICCMA'19.
SAFA
Stefano Bistarelli, Lars Kotthoff, Francesco Santini, Carlo Taticchi
2018 C conf
Defence Outsourcing in Argumentation.
COMMA
Ryuta Arisaka, Stefano Bistarelli
2018 — conf
Is Arbitrage Possible in the Bitcoin Market? (Work-In-Progress Paper).
GECON
Stefano Bistarelli, Alessandra Cretarola, Gianna Figà-Talamanca, Ivan Mercanti, Marco Patacca
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 — conf
Preliminary Results on the Modeling of System Level Diagnosis Problems with Abstract Argumentation.
ICTCS
Stefano Bistarelli, Antonio Caruso
2018 B conf
Probabilistic Argumentation Frameworks with MetaProbLog and ConArg.
ICTAI
Stefano Bistarelli, Theofrastos Mantadelis, Francesco Santini, Carlo Taticchi
2018 A* conf
Some Thoughts On Well-Foundedness in Weighted Abstract Argumentation.
KR
Stefano Bistarelli, Francesco Santini
2018 J jnl
Special Issue: Selected Papers from AI
Intelligenza Artificiale
Stefano Bistarelli, Massimiliano Giacomin, Andrea Pazienza
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 J jnl
From Argumentation Frameworks to Voting Systems and Back.
Fundam. Informaticae
Irene Benedetti, Stefano Bistarelli
2017 B conf
Go with the -Bitcoin- Flow, with Visual Analytics.
ARES
Stefano Bistarelli, Francesco Santini
2017 J jnl
On merging two trust-networks in one with bipolar preferences.
Math. Struct. Comput. Sci.
Stefano Bistarelli, Francesco Santini
2017 B conf
PrOnto: an Ontology Driven Business Process Mining Tool.
KES
Stefano Bistarelli, Tommaso Di Noia, Marina Mongiello, Francesco Nocera
2017 — ed.
Proceedings of the 1st Workshop on Advances In Argumentation In Artificial Intelligence co-located with XVI International Conference of the Italian Association for Artificial Intelligence, AI³@AI*IA 2017, Bari, Italy, November 16-17, 2017.
AI³@AI*IA
Stefano Bistarelli, Massimiliano Giacomin, Andrea Pazienza
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 — conf
A Mechanism Design Approach for Allocation of Commodities.
ICTCS
Stefano Bistarelli, Rosario Culmone, Paolo Giuliodori, Stefano Mugnoz
2016 B conf
A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks.
JELIA
Stefano Bistarelli, Fabio Rossi, Francesco Santini
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 J jnl
Mechanism Design Approach for Energy Efficiency.
CoRR
Stefano Bistarelli, Rosario Culmone, Paolo Giuliodori, Stefano Mugnoz
2016 J jnl
Preface.
Fundam. Informaticae
Stefano Bistarelli, Andrea Formisano, Marco Maratea, Paolo Torroni
2016 — ed.
Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2016 (RCRA 2016) A workshop of the XV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), Genova, Italy, November 28, 2016.
RCRA@AI*IA
Stefano Bistarelli, Andrea Formisano, Marco Maratea
2016 J jnl
Theoretical Computer Science in Italy.
Theor. Comput. Sci.
Stefano Bistarelli, Andrea Formisano
2015 J jnl
A Comparative Test on the Enumeration of Extensions in Abstract Argumentation.
Fundam. Informaticae
Stefano Bistarelli, Fabio Rossi, Francesco Santini
2015 — ed.
Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 22, 2015.
RCRA@AI*IA
Stefano Bistarelli, Andrea Formisano, Marco Maratea
2015 — conf
Testing Credulous and Sceptical Acceptance in Small-World Networks.
RCRA@AI*IA
Stefano Bistarelli, Fabio Rossi, 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 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 — conf
On Relating Voting Systems and Argumentation Frameworks.
CILC
Irene Benedetti, Stefano Bistarelli, Paolo Piersanti
2014 — conf
Preface.
ICTCS
Stefano Bistarelli, Andrea Formisano
2014 — ed.
Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014.
ICTCS
Stefano Bistarelli, Andrea Formisano
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 J jnl
Coalitions of Arguments: An Approach with Constraint Programming.
Fundam. Informaticae
Stefano Bistarelli, Francesco Santini
2013 J jnl
Interchangeability with thresholds and degradation factors for Soft CSPs.
Ann. Math. Artif. Intell.
Stefano Bistarelli, Boi Faltings, Nicoleta Neagu
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
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 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
2011 J jnl
Uncertainty in bipolar preference problems.
J. Exp. Theor. Artif. Intell.
Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable
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
From soft constraints to bipolar preferences: modelling framework and solving issues.
J. Exp. Theor. Artif. Intell.
Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, K. Brent Venable
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 J jnl
Solving Distributed CSPs Probabilistically.
Fundam. Informaticae
Stefano Bistarelli, Giorgio Gosti
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 B conf
Capturing Fair Computations on Concurrent Constraint Language.
ICLP
Paola Campli, Stefano Bistarelli
2009 B conf
Constraint Based Languages for Biological Reactions.
ICLP
Marco Bottalico, Stefano Bistarelli
2009 — conf
Fairness as a QoS Measure for Web Services
YR-SOC
Stefano Bistarelli, Paola Campli
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
2009 J jnl
Solving finite domain constraint hierarchies by local consistency and tree search.
J. Exp. Theor. Artif. Intell.
Stefano Bistarelli, Philippe Codognet, H. K. C. Hui, Jimmy Ho-Man Lee
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 B conf
A Soft Approach to Multi-objective Optimization.
ICLP
Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon
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 Misc conf
Propagating multitrust within trust networks.
SAC
Stefano Bistarelli, Francesco Santini
2008 — conf
Security Protocol Deployment Risk.
Security Protocols Workshop
Simon N. Foley, Giampaolo Bella, Stefano Bistarelli
2008 — conf
Semiring-Based Soft Constraints.
Concurrency, Graphs and Models
Stefano Bistarelli, Francesca Rossi
2008 B conf
Soft Constraints for Dependable Service Oriented Architectures.
WADS
Stefano Bistarelli, Francesco Santini
2008 — conf
Solving CSPs with Naming Games.
CSCLP
Stefano Bistarelli, Giorgio Gosti
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
Analyzing Security Scenarios Using Defence Trees and Answer Set Programming.
STM@ESORICS
Stefano Bistarelli, Pamela Peretti, Irina Trubitsyna
2007 A conf
Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario.
CP
Stefano Bistarelli, Pamela Peretti, Irina Trubitsyna
2007 A conf
Constraint Symmetry for the Soft CSP.
CP
Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan
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
Soft constraint based pattern mining.
Data Knowl. Eng.
Stefano Bistarelli, Francesco Bonchi
2007 A conf
Uncertainty in Bipolar Preference Problems.
CP
Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, K. Brent Venable
2007 J jnl
Unicast and Multicast Qos Routing with Soft Constraint Logic Programming
CoRR
Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini
2007 Misc conf
Using CP-nets as a guide for countermeasure selection.
SAC
Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti
2006 J jnl
An asymmetric fingerprint matching algorithm for Java Card
Pattern Anal. Appl.
Stefano Bistarelli, Francesco Santini, Anna Vaccarelli
2006 — conf
Augmented Risk Analysis.
VODCA@FOSAD
Giampaolo Bella, Stefano Bistarelli, Pamela Peretti, Salvatore Riccobene
2006 A conf
Bipolar Preference Problems.
ECAI
Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, K. Brent Venable
2006 — conf
Bipolar Preference Problems: Framework, Properties and Solving Techniques.
CSCLP
Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, K. Brent Venable
2006 B conf
Defense trees for economic evaluation of security investments.
ARES
Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti
2006 J jnl
Editorial.
J. Heuristics
Stefano Bistarelli, Francesca Rossi
2006 A conf
Enhancing Constraints Manipulation in Semiring-Based Formalisms.
ECAI
Stefano Bistarelli, Fabio Gadducci
2006 — conf
Extending the Soft Constraint Based Mining Paradigm.
KDID
Stefano Bistarelli, Francesco Bonchi
2006 — ch.
Multilevel Security and Quality of Protection.
Quality of Protection
Simon N. Foley, Stefano Bistarelli, Barry O'Sullivan, John Herbert, Garret Swart
2006 — conf
Principles of Secure Network Configuration: Towards a Formal Basis for Self-configuration.
IPOM
Simon N. Foley, William M. Fitzgerald, Stefano Bistarelli, Barry O'Sullivan, Mícheál Ó Foghlú
2006 J jnl
Soft concurrent constraint programming.
ACM Trans. Comput. Log.
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
2006 Misc conf
Special track editorial: constraint solving and programming.
SAC
Stefano Bistarelli, Éric Monfroy, Barry O'Sullivan
2006 — conf
Strategic Games on Defense Trees.
Formal Aspects in Security and Trust
Stefano Bistarelli, Marco Dall'Aglio, Pamela Peretti
2005 J jnl
A soft constraint-based approach to the cascade vulnerability problem.
J. Comput. Secur.
Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan
2005 — conf
An Asymmetric Fingerprint Matching Algorithm for Java Card™.
AVBPA
Stefano Bistarelli, Francesco Santini, Anna Vaccarelli
2005 Misc conf
Editorial: special track on constraint solving and programming.
SAC
Stefano Bistarelli, Éric Monfroy, Barry O'Sullivan
2005 J jnl
Information Assurance for security protocols.
Comput. Secur.
Giampaolo Bella, Stefano Bistarelli
2005 — conf
Interestingness is Not a Dichotomy: Introducing Softness in Constrained Pattern Mining.
PKDD
Stefano Bistarelli, Francesco Bonchi
2005 — conf
MOC via TOC Using a Mobile Agent Framework.
AVBPA
Stefano Bistarelli, Stefano Frassi, Anna Vaccarelli
2005 J jnl
Relating multiset rewriting and process algebras for security protocol analysis.
J. Comput. Secur.
Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli
2004 A* conf
Detecting and Eliminating the Cascade Vulnerability Problem from Multilevel Security Networks Using Soft Constraints.
AAAI
Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan
2004 Misc conf
Editorial message: special track on artificial intelligence, computational logic and image analysis.
SAC
Chih-Cheng Hung, Agostinho C. Rosa, Stefano Bistarelli
2004 B conf
Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints.
ICTAI
Stefano Bistarelli, Eugene C. Freuder, Barry O'Sullivan
2004 Misc conf
Modeling and detecting the cascade vulnerability problem using soft constraints.
SAC
Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan
2004 — conf
Reasoning about Secure Interoperation Using Soft Constraints.
Formal Aspects in Security and Trust
Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan
2004 — book
Semirings for Soft Constraint Solving and Programming
Stefano Bistarelli
2004 J jnl
Soft Constraint Programming to Analysing Security Protocols.
Theory Pract. Log. Program.
Giampaolo Bella, Stefano Bistarelli
2004 J jnl
Soft Constraint Propagation and Solving in Constraint Handling Rules.
Comput. Intell.
Stefano Bistarelli, Thom W. Frühwirth, Michael Marte, Francesca Rossi
2004 — conf
Soft Constraints for Security.
VODCA@FOSAD
Giampaolo Bella, Stefano Bistarelli, Simon N. Foley
2003 B conf
A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity.
SAFECOMP
Stefano Bistarelli, Simon N. Foley
2003 — conf
A Protocol's Life After Attacks....
Security Protocols Workshop
Giampaolo Bella, Stefano Bistarelli, Fabio Massacci
2003 — conf
A Theoretical Framework for Tradeoff Generation using Soft Constraints.
SGAI Conf.
Stefano Bistarelli, Barry O'Sullivan
2003 Misc conf
AI and Computational Science Track Editorial.
SAC
Chih-Cheng Hung, Agostinho C. Rosa, Stefano Bistarelli
2003 — conf
Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs.
CSCLP
Stefano Bistarelli, Francesca Rossi, Isabella Pilan
2003 — conf
Analysis of Integrity Policies using Soft Constraints.
POLICY
Stefano Bistarelli, Simon N. Foley
2003 — conf
Biometrics to Enhance Smartcard Security.
Security Protocols Workshop
Giampaolo Bella, Stefano Bistarelli, Fabio Martinelli
2003 Misc conf
Computer Algebra for Fingerprint Matching.
International Conference on Computational Science
Stefano Bistarelli, Giandomenico Boffi, Fabio Rossi
2003 — conf
Experimental Evaluation of Interchangeability in Soft CSPs.
CSCLP
Nicoleta Neagu, Stefano Bistarelli, Boi Faltings
2003 J jnl
General Properties and Termination Conditions for Soft Constraint Propagation.
Constraints An Int. J.
Stefano Bistarelli, Rosella Gennari, Francesca Rossi
2003 — conf
On Representing Biological Systems through Multiset Rewriting.
EUROCAST
Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Roberto Marangoni, Fabio Martinelli
2003 Misc conf
On the Computation of Local Interchangeability in Soft Constraint Satisfaction Problems.
FLAIRS
Nicoleta Neagu, Stefano Bistarelli, Boi Faltings
2003 — conf
Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols.
MMM-ACNS
Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli
2003 J jnl
Soft Constraint Programming to Analysing Security Protocols
CoRR
Giampaolo Bella, Stefano Bistarelli
2003 A conf
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search.
CP
Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee
2003 A* conf
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search.
IJCAI
Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee
2003 — conf
Symmetry Breaking in Soft CSPs.
SGAI Conf.
Stefano Bistarelli, Jerome Kelleher, Barry O'Sullivan
2003 — conf
Tradeoff Generation Using Soft Constraints.
CSCLP
Stefano Bistarelli, Jerome Kelleher, Barry O'Sullivan
2002 J jnl
Abstracting soft constraints: Framework, properties, examples.
Artif. Intell.
Stefano Bistarelli, Philippe Codognet, Francesca Rossi
2002 — conf
Confidentiality Levels and Deliberate/Indeliberate Protocol Attacks.
Security Protocols Workshop
Giampaolo Bella, Stefano Bistarelli
2002 — conf
Interchangeability in Soft CSPs.
International Workshop on Constraint Solving and Constraint Logic Programming
Stefano Bistarelli, Boi Faltings, Nicoleta Neagu
2002 A conf
Interchangeability in Soft CSPs.
CP
Stefano Bistarelli, Boi Faltings, Nicoleta Neagu
2002 J jnl
Soft Concurrent Constraint Programming
CoRR
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
2002 A conf
Soft Concurrent Constraint Programming.
ESOP
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
2002 J jnl
Soft Constraint Logic Programming and Generalized Shortest Path Problems.
J. Heuristics
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
2002 Misc conf
Soft constraint propagation and solving in CHRs.
SAC
Stefano Bistarelli, Thom W. Frühwirth, Michael Marte
2001 J jnl
Semiring-based contstraint logic programming: syntax and semantics.
ACM Trans. Program. Lang. Syst.
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
2001 C conf
Soft Constraints for Security Protocol Analysis: Confidentiality.
PADL
Giampaolo Bella, Stefano Bistarelli
2000 — conf
An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation.
SARA
Stefano Bistarelli, Philippe Codognet, Francesca Rossi
2000 A conf
Constraint Propagation for Soft Constraints: Generalization and Termination Conditions.
CP
Stefano Bistarelli, Rosella Gennari, Francesca Rossi
2000 C conf
Labeling and Partial Local Consistency for Soft Constraint Programming.
PADL
Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi
1999 — conf
Abstracting Soft Constraints.
New Trends in Constraints
Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi
1999 — conf
Labeling and Partial Arc Consistency for Soft Constraints.
APPIA-GULP-PRODE
Stefano Bistarelli, Philippe Codognet, Yan Georget, Fabio Rossi
1999 J jnl
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison.
Constraints An Int. J.
Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie, Hélène Fargier
1997 — conf
Constraints and Agents for a Decentralized Network Infrastructure.
AAAI Workshop: Constraints & Agents
Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi, Stefano Bistarelli, Ugo Montanari, Francesca Rossi
1997 — conf
Semiring-based Constraint Logic Programming.
IJCAI (1)
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
1997 J jnl
Semiring-based constraint satisfaction and optimization.
J. ACM
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
1995 A* conf
Constraint Solving over Semirings.
IJCAI (1)
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
1995 — conf
Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison.
Over-Constrained Systems
Stefano Bistarelli, Hélène Fargier, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie