Stefano Bistarelli

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

Stefano Bistarelli, Fabio Martinelli, Francesco Santini: A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials. Computers & Mathematics with Applications 64(4): 447-462 (2012)

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

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

Stefano Bistarelli, Francesco Santini: ConArg: Argumentation with Constraints. AT 2012: 197-198

Stefano Bistarelli, Francesco Santini: Semiring-based constraint models and frameworks for security-related scenarios. CRiSIS 2012: 1-4

Stefano Bistarelli, Paola Campli, Francesco Santini: A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming. SAC 2012: 1551-1553

Stefano Bistarelli, Francesco Santini: Securely Accessing Shared Resources with Concurrent Constraint Programming. SEFM 2012: 308-322

Stefano Bistarelli, Francesco Santini: ConArg: a Tool to Solve (Weighted) Abstract Argumentation Frameworks with (Soft) Constraints. CoRR abs/1212.2857 (2012)

Stefano Bistarelli, Francesco Santini: A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process. Fundam. Inform. 111(3): 257-279 (2011)

Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable: Uncertainty in bipolar preference problems. J. Exp. Theor. Artif. Intell. 23(4): 545-575 (2011)

Stefano Bistarelli, Paola Campli, Francesco Santini: Finding Partitions of Arguments with Dung's Properties via SCSPs. CILC 2011: 199-213

Stefano Bistarelli, Francesco Santini: ConArg: A Constraint-Based Computational Framework for Argumentation Systems. ICTAI 2011: 605-612

Stefano Bistarelli, Giorgio Gosti, Francesco Santini: Solving Fuzzy DCSPs with Naming Games. ICTAI 2011: 930-931

Stefano Bistarelli, Paola Campli, Francesco Santini: Finding partitions of arguments with Dung's properties via SCSPs. SAC 2011: 913-919

Stefano Bistarelli, Francesco Santini: Modeling and Solving AFs with a Constraint-Based Tool: ConArg. TAFA 2011: 99-116

Stefano Bistarelli, Giorgio Gosti: Solving Distributed CSPs Probabilistically. Fundam. Inform. 105(1-2): 57-78 (2010)

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

Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini: Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria. Security and Communication Networks 3(6): 595-610 (2010)

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

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

Stefano Bistarelli, Daniele Pirolandi, Francesco Santini: Solving Weighted Argumentation Frameworks with Soft Constraints. CILC 2010

Stefano Bistarelli, Francesco Santini: A Common Computational Framework for Semiring-based Argumentation Systems. ECAI 2010: 131-136

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

Stefano Bistarelli, Francesco Santini: A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation. Electr. Notes Theor. Comput. Sci. 236: 147-162 (2009)

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

Stefano Bistarelli, Daniele Pirolandi, Francesco Santini: Solving Weighted Argumentation Frameworks with Soft Constraints. CSCLP 2009: 1-18

Paola Campli, Stefano Bistarelli: Capturing Fair Computations on Concurrent Constraint Language. ICLP 2009: 559-560

Marco Bottalico, Stefano Bistarelli: Constraint Based Languages for Biological Reactions. ICLP 2009: 561-562

Stefano Bistarelli, Francesco Santini: Soft Constraints for Quality Aspects in Service Oriented Architectures. YR-SOC 2009: 51-65

Stefano Bistarelli, Paola Campli: Fairness as a QoS Measure for Web Services. YR-SOC 2009: 115-127

Stefano Bistarelli, Pamela Peretti, Irina Trubitsyna: Analyzing Security Scenarios Using Defence Trees and Answer Set Programming. Electr. Notes Theor. Comput. Sci. 197(2): 121-129 (2008)

Stefano Bistarelli, Fabio Martinelli, Francesco Santini: Weighted Datalog and Levels of Trust. ARES 2008: 1128-1134

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

Stefano Bistarelli, Francesca Rossi: Semiring-Based Soft Constraints. Concurrency, Graphs and Models 2008: 155-173

Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini: Timed Soft Concurrent Constraint Programs. COORDINATION 2008: 50-66

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

Stefano Bistarelli, Giorgio Gosti: Solving CSPs with Naming Games. CSCLP 2008: 16-32

Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon: A Soft Approach to Multi-objective Optimization. ICLP 2008: 764-768

Stefano Bistarelli, Francesco Santini: A Formal and Practical Framework for Constraint-Based Routing. ICN 2008: 162-167

Stefano Bistarelli, Francesco Santini: Soft Constraints for Dependable Service Oriented Architectures. WADS 2008: 76-97

Stefano Bistarelli, Francesco Santini: Propagating multitrust within trust networks. SAC 2008: 1990-1994

Simon N. Foley, Giampaolo Bella, Stefano Bistarelli: Security Protocol Deployment Risk. Security Protocols Workshop 2008: 12-20

Stefano Bistarelli, Francesco Santini: C-semiring Frameworks for Minimum Spanning Tree Problems. WADT 2008: 56-70

Stefano Bistarelli, Francesco Bonchi: Soft constraint based pattern mining. Data Knowl. Eng. 62(1): 118-137 (2007)

Giampaolo Bella, Stefano Bistarelli, Pamela Peretti, Salvatore Riccobene: Augmented Risk Analysis. Electr. Notes Theor. Comput. Sci. 168: 207-220 (2007)

Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini: Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming. Electr. Notes Theor. Comput. Sci. 190(3): 111-127 (2007)

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

Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable: Uncertainty in Bipolar Preference Problems. CP 2007: 782-789

Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan: Constraint Symmetry for the Soft CSP. CP 2007: 872-879

Stefano Bistarelli, Francesco Santini: SCLP for Trust Propagation in Small-World Networks. CSCLP 2007: 32-46

Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti: Using CP-nets as a guide for countermeasure selection. SAC 2007: 300-304

Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini: Unicast and Multicast Qos Routing with Soft Constraint Logic Programming. CoRR abs/0704.1783 (2007)

Giampaolo Bella, Stefano Bistarelli, Simon N. Foley: Soft Constraints for Security. Electr. Notes Theor. Comput. Sci. 142: 11-29 (2006)

Stefano Bistarelli, Francesca Rossi: Editorial. J. Heuristics 12(4-5): 239-240 (2006)

Stefano Bistarelli, Francesco Santini, Anna Vaccarelli: An asymmetric fingerprint matching algorithm for Java Card ^TM. Pattern Anal. Appl. 9(4): 359-376 (2006)

Stefano Bistarelli, Ugo Montanari, Francesca Rossi: Soft concurrent constraint programming. ACM Trans. Comput. Log. 7(3): 563-589 (2006)

Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti: Defense trees for economic evaluation of security investments. ARES 2006: 416-423

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

Stefano Bistarelli, Fabio Gadducci: Enhancing Constraints Manipulation in Semiring-Based Formalisms. ECAI 2006: 63-67

Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable: Bipolar Preference Problems. ECAI 2006: 705-706

Stefano Bistarelli, Marco Dall'Aglio, Pamela Peretti: Strategic Games on Defense Trees. Formal Aspects in Security and Trust 2006: 1-15

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

Stefano Bistarelli, Francesco Bonchi: Extending the Soft Constraint Based Mining Paradigm. KDID 2006: 24-41

Stefano Bistarelli, Eric Monfroy, Barry O'Sullivan: Special track editorial: constraint solving and programming. SAC 2006: 392-393

Simon N. Foley, Stefano Bistarelli, Barry O'Sullivan, John Herbert, Garret Swart: Multilevel Security and Quality of Protection. Quality of Protection 2006: 93-105

Giampaolo Bella, Stefano Bistarelli: Information Assurance for security protocols. Computers & Security 24(4): 322-333 (2005)

Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli: Relating multiset rewriting and process algebras for security protocol analysis. Journal of Computer Security 13(1): 3-47 (2005)

Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan: A soft constraint-based approach to the cascade vulnerability problem. Journal of Computer Security 13(5): 699-720 (2005)

Stefano Bistarelli, Francesco Santini, Anna Vaccarelli: An Asymmetric Fingerprint Matching Algorithm for Java Card™. AVBPA 2005: 279-288

Stefano Bistarelli, Stefano Frassi, Anna Vaccarelli: MOC via TOC Using a Mobile Agent Framework. AVBPA 2005: 464-473

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

Stefano Bistarelli, Eric Monfroy, Barry O'Sullivan: Editorial: special track on constraint solving and programming. SAC 2005: 364-365

Stefano Bistarelli: Semirings for Soft Constraint Solving and Programming. Lecture Notes in Computer Science 2962, Springer 2004, isbn 3-540-21181-0

Stefano Bistarelli, Thom W. Frühwirth, Michael Marte, Francesca Rossi: Soft Constraint Propagation and Solving in Constraint Handling Rules. Computational Intelligence 20(2): 287-307 (2004)

Giampaolo Bella, Stefano Bistarelli: Soft Constraint Programming to Analysing Security Protocols. TPLP 4(5-6): 545-572 (2004)

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

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

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

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

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

Stefano Bistarelli, Rosella Gennari, Francesca Rossi: General Properties and Termination Conditions for Soft Constraint Propagation. Constraints 8(1): 79-97 (2003)

Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee: Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. CP 2003: 138-152

Stefano Bistarelli, Francesca Rossi, Isabella Pilan: Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs. CSCLP 2003: 107-123

Stefano Bistarelli, Jerome Kelleher, Barry O'Sullivan: Tradeoff Generation Using Soft Constraints. CSCLP 2003: 124-139

Nicoleta Neagu, Stefano Bistarelli, Boi Faltings: Experimental Evaluation of Interchangeability in Soft CSPs. CSCLP 2003: 140-153

Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Roberto Marangoni, Fabio Martinelli: On Representing Biological Systems through Multiset Rewriting. EUROCAST 2003: 415-426

Nicoleta Neagu, Stefano Bistarelli, Boi Faltings: On the Computation of Local Interchangeability in Soft Constraint Satisfaction Problems. FLAIRS Conference 2003: 187-191

Stefano Bistarelli, Giandomenico Boffi, Fabio Rossi: Computer Algebra for Fingerprint Matching. International Conference on Computational Science 2003: 811-820

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

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

Stefano Bistarelli, Simon N. Foley: Analysis of Integrity Policies using Soft Constraints. POLICY 2003: 77-80

Chih-Cheng Hung, Agostinho C. Rosa, Stefano Bistarelli: AI and Computational Science Track Editorial. SAC 2003: 1

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

Giampaolo Bella, Stefano Bistarelli, Fabio Massacci: A Protocol's Life After Attacks.... Security Protocols Workshop 2003: 3-10

Giampaolo Bella, Stefano Bistarelli, Fabio Martinelli: Biometrics to Enhance Smartcard Security. Security Protocols Workshop 2003: 324-332

Giampaolo Bella, Stefano Bistarelli: Soft Constraint Programming to Analysing Security Protocols. CoRR cs.CR/0312025 (2003)

Stefano Bistarelli, Philippe Codognet, Francesca Rossi: Abstracting soft constraints: Framework, properties, examples. Artif. Intell. 139(2): 175-211 (2002)

Stefano Bistarelli, Ugo Montanari, Francesca Rossi: Soft Constraint Logic Programming and Generalized Shortest Path Problems. J. Heuristics 8(1): 25-41 (2002)

Stefano Bistarelli, Boi Faltings, Nicoleta Neagu: Interchangeability in Soft CSPs. International Workshop on Constraint Solving and Constraint Logic Programming 2002: 31-46

Stefano Bistarelli, Boi Faltings, Nicoleta Neagu: Interchangeability in Soft CSPs. CP 2002: 726-731

Stefano Bistarelli, Ugo Montanari, Francesca Rossi: Soft Concurrent Constraint Programming. ESOP 2002: 53-67

Stefano Bistarelli, Thom W. Frühwirth, Michael Marte: Soft constraint propagation and solving in CHRs. SAC 2002: 1-5

Giampaolo Bella, Stefano Bistarelli: Confidentiality Levels and Deliberate/Indeliberate Protocol Attacks. Security Protocols Workshop 2002: 104-119

Stefano Bistarelli, Ugo Montanari, Francesca Rossi: Soft Concurrent Constraint Programming. CoRR cs.PL/0208008 (2002)

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

Giampaolo Bella, Stefano Bistarelli: Soft Constraints for Security Protocol Analysis: Confidentiality. PADL 2001: 108-122

Stefano Bistarelli, Rosella Gennari, Francesca Rossi: Constraint Propagation for Soft Constraints: Generalization and Termination Conditions. CP 2000: 83-97

Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi: Labeling and Partial Local Consistency for Soft Constraint Programming. PADL 2000: 230-248

Stefano Bistarelli, Philippe Codognet, Francesca Rossi: An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation. SARA 2000: 71-86

Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie, Hélène Fargier: Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison. Constraints 4(3): 199-240 (1999)

Stefano Bistarelli, Philippe Codognet, Yan Georget, Fabio Rossi: Labeling and Partial Arc Consistency for Soft Constraints. APPIA-GULP-PRODE 1999: 121-136

Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi: Abstracting Soft Constraints. New Trends in Constraints 1999: 108-133

Stefano Bistarelli, Ugo Montanari, Francesca Rossi: Semiring-based constraint satisfaction and optimization. J. ACM 44(2): 201-236 (1997)

Stefano Bistarelli, Ugo Montanari, Francesca Rossi: Semiring-based Constraint Logic Programming. IJCAI (1) 1997: 352-357

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

Stefano Bistarelli, Ugo Montanari, Francesca Rossi: Constraint Solving over Semirings. IJCAI (1) 1995: 624-630