BibBase bistarelli, s
generated by bibbase.org
  2018 (5)
A novel weighted defence and its relaxation in abstract argumentation. Bistarelli, S.; Rossi, F.; and Santini, F. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 92: 66–86. 2018.
doi   link   bibtex   abstract   1 download  
. Bistarelli, S.; Ceberio, M.; Henderson, J. A.; and Santini, F. Volume 100 . Abstract argumentation frameworks to promote fairness and rationality in multi-experts multi-criteria decision making, pages 7–19. Springer International Publishing, 2018.
Abstract argumentation frameworks to promote fairness and rationality in multi-experts multi-criteria decision making [link]Paper   doi   link   bibtex   abstract  
Visualising bitcoin flows of ransomware: WannaCry one week later. Bistarelli, S.; Parroccini, M.; and Santini, F. 2018.
Visualising bitcoin flows of ransomware: WannaCry one week later [link]Paper   link   bibtex   abstract  
. Garbayo, L.; Ceberio, M.; Bistarelli, S.; and Henderson, J. Volume 100 . On modeling multi-experts multi-criteria decision-making argumentation and disagreement: Philosophical and computational approaches reconsidered, pages 67–75. Springer International Publishing, 2018.
On modeling multi-experts multi-criteria decision-making argumentation and disagreement: Philosophical and computational approaches reconsidered [link]Paper   doi   link   bibtex   abstract  
Not only size, but also shape counts: Argumentation solvers are benchmark-sensitive. Bistarelli, S.; Rossi, F.; and Santini, F. JOURNAL OF LOGIC AND COMPUTATION, 28: 85–117. 2018.
Not only size, but also shape counts: Argumentation solvers are benchmark-sensitive [link]Paper   doi   link   bibtex   abstract  
  2017 (9)
On merging two trust-networks in one with bipolar preferences. Bistarelli, S.; and Santini, F. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 27: 215–233. 2017.
doi   link   bibtex   abstract  
From Argumentation Frameworks to Voting Systems and Back. Benedetti, I.; and Bistarelli, S. FUNDAMENTA INFORMATICAE, 150: 25–48. 2017.
doi   link   bibtex   abstract  
A hasse diagram for weighted sceptical semantics with a unique-status grounded semantics. Bistarelli, S.; and Santini, F. 2017.
A hasse diagram for weighted sceptical semantics with a unique-status grounded semantics [link]Paper   doi   link   bibtex   abstract   1 download  
PrOnto: An Ontology Driven Business Process Mining Tool. Bistarelli, S.; Di Noia, T.; Mongiello, M.; and Nocera, F. 2017.
PrOnto: An Ontology Driven Business Process Mining Tool [link]Paper   doi   link   bibtex  
A formal and run-time framework for the adaptation of local behaviours to match a global property. Bistarelli, S.; Martinelli, F.; Matteucci, I.; and Santini, F. 2017.
A formal and run-time framework for the adaptation of local behaviours to match a global property [link]Paper   doi   link   bibtex   abstract  
An end-to-end voting-system based on Bitcoin. Bistarelli, S.; Mantilacci, M.; Santancini, P.; and Santini, F. 2017.
doi   link   bibtex   abstract  
Go with the -bitcoin- flow, with visual analytics. Bistarelli, S.; and Santini, F. 2017.
Go with the -bitcoin- flow, with visual analytics [link]Paper   doi   link   bibtex   abstract  
. Bistarelli, S.; Giacomin, M.; and Pazienza, A. Volume 2012 . Preface of the 1st Workshop on Advances In Argumentation In Artificial Intelligence, AI^3 2017. CEUR-WS, 2017.
Preface of the 1st Workshop on Advances In Argumentation In Artificial Intelligence, AI^3 2017 [link]Paper   link   bibtex  
A community payment scheme for consciousness energy usage. Bistarelli, S.; Giuliodori, P.; and Mugnai, D. 2017.
doi   link   bibtex  
  2016 (9)
Theoretical Computer Science in Italy. Bistarelli, S.; and Formisano, A. 2016.
Theoretical Computer Science in Italy [link]Paper   doi   link   bibtex  
A mechanism design approach for allocation of commodities. Bistarelli, S.; Culmone, R.; Giuliodori, P.; and Mugnoz, S. 2016.
A mechanism design approach for allocation of commodities [pdf]Paper   link   bibtex   abstract  
RCRA 2016 International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. Bistarelli, S.; Formisano, A.; and Maratea, M. 2016.
RCRA 2016 International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion [link]Paper   link   bibtex   abstract  
Automated adaptation via Quantitative Partial Model Checking. Bistarelli, S.; Santini, F.; Martinelli, F.; and Matteucci, I. 2016.
doi   link   bibtex   abstract  
A relaxation of internal conflict and defence in weighted argumentation frameworks. Bistarelli, S.; Rossi, F.; and Santini, F. 2016.
A relaxation of internal conflict and defence in weighted argumentation frameworks [link]Paper   doi   link   bibtex   abstract  
A collective defence against grouped attacks for weighted abstract argumentation frameworks. Bistarelli, S.; Rossi, F.; and Santini, F. 2016.
link   bibtex   abstract  
ConArg: A Tool for Classical and Weighted Argumentation. Bistarelli, S.; Rossi, F.; and Santini, F. 2016.
doi   link   bibtex   abstract   6 downloads  
Special issue of the 22nd RCRA international workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion". Bistarelli, S.; Formisano, A.; Maratea, M.; and Torroni, P. 2016.
Special issue of the 22nd RCRA international workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" [link]Paper   doi   link   bibtex  
. Bistarelli, S.; Formisano, A.; and Maratea, M. Volume 1745 . Preface. CEUR-WS, 2016.
Preface [link]Paper   link   bibtex  
  2015 (5)
Timed soft concurrent constraint programs: An interleaved and a parallel approach. Bistarelli, S.; Gabbrielli, M.; Meo, M. C.; and Santini, F. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 15: 1–743. 2015.
doi   link   bibtex   abstract   2 downloads  
A Comparative Test on the Enumeration of Extensions in Abstract Argumentation. Bistarelli, S.; Rossi, F.; and Santini, F. FUNDAMENTA INFORMATICAE, 140: 263–278. 2015.
doi   link   bibtex   abstract  
Towards visualising security with arguments. Bistarelli, S.; Rossi, F.; Santini, F.; and Taticchi, C. 2015.
Towards visualising security with arguments [pdf]Paper   link   bibtex   abstract   1 download  
RCRA 2015 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. Bistarelli, S.; Formisano, A.; and Maratea, M. 2015.
RCRA 2015 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion [pdf]Paper   link   bibtex  
Testing Credulous and Sceptical Acceptance in Small-World Networks. Bistarelli, S.; Rossi, F.; and Santini, F. 2015.
Testing Credulous and Sceptical Acceptance in Small-World Networks [pdf]Paper   link   bibtex   abstract  
  2014 (11)
On Relating Voting Systems and Argumentation Frameworks. Benedetti, I.; Bistarelli, S.; and Piersanti, P. 2014.
link   bibtex   abstract  
An Improved Role-Based Access to Android Applications with JCHR. Bistarelli, S.; Costantino, G.; Martinelli, F.; and Santini, F. 2014.
doi   link   bibtex   abstract  
Abstract argumentation frameworks to promote fairness and rationality in multi-experts multi-criteria decision making. Bistarelli, S.; Ceberio, M.; Henderson, J. A.; and Santini, F. 2014.
Abstract argumentation frameworks to promote fairness and rationality in multi-experts multi-criteria decision making [pdf]Paper   link   bibtex   1 download  
A Secure Non-monotonic Soft Concurrent Constraint Language. Bistarelli, S.; and Santini, F. FUNDAMENTA INFORMATICAE, 134: 261–285. 2014.
A Secure Non-monotonic Soft Concurrent Constraint Language [link]Paper   doi   link   bibtex   abstract  
Benchmarking Hard Problems in Random Abstract AFs: The Stable Semantics. Bistarelli, S.; Rossi, F.; and Santini, F. 2014.
Benchmarking Hard Problems in Random Abstract AFs: The Stable Semantics [link]Paper   doi   link   bibtex   abstract  
A First Comparison of Abstract Argumentation Reasoning-Tools. Bistarelli, S.; Rossi, F.; and Santini, F. 2014.
A First Comparison of Abstract Argumentation Reasoning-Tools [link]Paper   doi   link   bibtex   abstract   2 downloads  
Efficient Solution for Credulous/Sceptical Acceptance in Lower-Order Dung's Semantics. Bistarelli, S.; Rossi, F.; and Santini, F. 2014.
doi   link   bibtex   abstract  
Two trust networks in one: Using bipolar structures to fuse trust and distrust. Bistarelli, S.; and Santini, F. 2014.
doi   link   bibtex   abstract  
Proceedings of the 15th Italian Conference on Theoretical Computer Science, ICTCS2014. Bistarelli, S.; and Formisano, A. 2014.
Proceedings of the 15th Italian Conference on Theoretical Computer Science, ICTCS2014 [link]Paper   link   bibtex  
Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic. Bistarelli, S.; Rossi, F.; and Santini, F. 2014.
doi   link   bibtex  
. Bistarelli, S.; and Formisano, A. Volume 1231 . Preface, pages i–v. CEUR-WS.org, 2014.
Preface [pdf]Paper   link   bibtex  
  2013 (6)
Multi-Experts Multi-Criteria Decision Making. Henderson, J.; Bistarelli, S.; and Ceberio, M. 2013.
doi   link   bibtex  
Interchangeability with thresholds and degradation factors for Soft CSPs. Bistarelli, S.; Faltings, B.; and Neagu, N. ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE, 67: 123–163. 2013.
doi   link   bibtex   abstract   2 downloads  
Proceedings of the 2013 ACM Symposium on Applied Computing - Constraint solving and programming track. Bistarelli, S.; Monfroy, E.; and O'Sullivan, B. 2013.
link   bibtex  
Coalitions of Arguments: An Approach with Constraint Programming. Bistarelli, S.; and Santini, F. FUNDAMENTA INFORMATICAE, 124: 383–401. 2013.
doi   link   bibtex   abstract   2 downloads  
A First Comparison of Abstract Argumentation Systems: A Computational Perspective. Bistarelli, S.; Rossi, F.; and Santini, F. 2013.
link   bibtex   1 download  
Solving Fuzzy Distributed CSPs: An Approach with Naming Games. Bistarelli, S.; Gosti, G.; and Santini, F. 2013.
doi   link   bibtex   abstract  
  2012 (12)
A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials. Bistarelli, S.; Martinelli, F.; and Santini, F. COMPUTERS & MATHEMATICS WITH APPLICATIONS, 64: 447–462. 2012.
doi   link   bibtex   abstract  
Local Arc Consistency for Non-Invertible Semirings, with an Application to Multi-Objective Optimization. Bistarelli, S.; Gadducci, F.; Larrosa, J.; Rollon, E.; and Santini, F. EXPERT SYSTEMS WITH APPLICATIONS, 39: 1708–1717. 2012.
doi   link   bibtex   abstract  
Evaluation of complex security scenarios using defense trees and economic indexes. Bistarelli, S.; Fabio, F.; Pamela, P.; and Francesco, S. JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 24: 161–192. 2012.
doi   link   bibtex   abstract  
. Bistarelli, S.; Martinelli, F.; Roperti, F.; and Santini, F. Negotiation on mobile devices using Weighted RTML Credentials, pages 429–438. Springer, 2012.
doi   link   bibtex   abstract  
Modeling and Solving AFs with a Constraint-Based Tool: ConArg. Bistarelli, S.; and Santini, F. 2012.
doi   link   bibtex   abstract  
Proceedings of the 2012 ACM Symposium on Applied Computing - Constraint solving and programming track. Bistarelli, S.; Monfroi, E.; and O'Sullivan, B. 2012.
link   bibtex  
A Secure Coordination of Agents with Nonmonotonic Soft Concurrent Constraint Programming. Bistarelli, S.; Paola, C.; and Santini, F. 2012.
doi   link   bibtex   abstract  
CELIA. Corpus Elettronico delle Lingue dell'Italia Antica. Agostiniani, L.; Bakkum, G. C. L. M.; Bistarelli, S.; Calderini, A.; Massarelli, R.; and Meiser, G. 2012.
link   bibtex  
ConArg: Argumentation with Constraints. Bistarelli, S.; and Santini, F. 2012.
link   bibtex  
Towards a similarity-based web service discovery through soft constraint satisfaction problems. Arbab, F.; Santini, F.; Bistarelli, S.; and Pirolandi, D. 2012.
doi   link   bibtex   abstract  
Securely Accessing Shared Resources with Concurrent Constraint Programming. Bistarelli, S.; and Santini, F. 2012.
doi   link   bibtex   abstract  
Semiring-based constraint models and frameworks for security-related scenarios. Bistarelli, S.; and Santini, F. 2012.
doi   link   bibtex   abstract  
  2011 (9)
Security Protocol Deployment Risk. Foley, S. N.; Bella, G.; and Bistarelli, S. 2011.
doi   link   bibtex   abstract  
Proceedings of the 2011 ACM Symposium on Applied Computing - Constraint solving and programming track. Bistarelli, S.; Monfroy, E.; and O'Sullivan, B. 2011.
link   bibtex  
Solving Fuzzy DCSPs with Naming Games. Bistarelli, S.; Gosti, G.; and Santini, F. 2011.
doi   link   bibtex   abstract  
Solving Weighted Argumentation Frameworks with Soft Constraints. Bistarelli, S.; Pirolandi, D.; and Santini, F. 2011.
doi   link   bibtex   abstract  
Finding Partitions of Arguments with Dung’s Properties via SCSPs. Bistarelli, S.; Campli, P.; and Santini, F. 2011.
doi   link   bibtex   abstract   1 download  
Uncertainty in Bipolar Preference Problems. Bistarelli, S.; Pini, M. S.; Rossi, F.; and Venable, K. B. JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 23: 545–575. 2011.
doi   link   bibtex   abstract  
ConArg: A Constraint-based Computational Framework for Argumentation Systems. Bistarelli, S.; and Santini, F. 2011.
doi   link   bibtex   abstract   10 downloads  
A Nonmonotonic Soft Concurrent Constraint Language to Model the negotiation Process. Bistarelli, S.; and Santini, F. FUNDAMENTA INFORMATICAE, 111: 257–279. 2011.
doi   link   bibtex   abstract  
Finding Partitions of Arguments with Dung's Properties via SCSPs. Bistarelli, S.; Campli, P.; and Santini, F. 2011.
link   bibtex   abstract   1 download  
  2010 (10)
Unicast and Multicast QoS Routing with Soft Constraint Logic Programming. Bistarelli, S.; Montanari, U.; Rossi, F.; and Santini, F. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 12. 2010.
doi   link   bibtex   abstract  
From soft constraints to bipolar preferences: modelling framework and solving issues. Bistarelli, S.; Pini, M. S.; Rossi, F.; and Venable, K. B. JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 22: 135–158. 2010.
doi   link   bibtex   abstract  
Semiring-based Frameworks for Trust Propagation in Small-World Networks and Coalition Formation Criteria. Bistarelli, S.; Foley, S. N.; O'Sullivan, B.; and Santini, F. SECURITY AND COMMUNICATION NETWORKS, 3: 595–610. 2010.
doi   link   bibtex   abstract  
A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints. Bistarelli, S.; Martinelli, F.; and Santini, F. 2010.
link   bibtex  
Extending Soft Arc Consistency to Non-Invertible Semirings. Bistarelli, S.; Gadducci, F.; Larrosa, J.; Rollon, E.; and Santini, F. 2010.
doi   link   bibtex   abstract  
Proceedings of the 2010 ACM Symposium on Applied Computing - Constraint solving and programming track. Bistarelli, S.; Monfroy, E.; and O'Sullivan, B. 2010.
link   bibtex  
Solving Distributed CSPs Probabilistically. Bistarelli, S.; and Gosti, G. FUNDAMENTA INFORMATICAE, 105: 57–78. 2010.
doi   link   bibtex   abstract  
Finding Partitions of Arguments with Dung’s Properties via SCSPs. Bistarelli, S.; Campli, P.; and Santini, F. 2010.
link   bibtex  
A Common Computational Framework for Semiring-based Argumentation Systems. Bistarelli, S.; and Santini, F. 2010.
doi   link   bibtex   abstract  
Solving Weighted Argumentation Farmeworks with Soft Constraints. Bistarelli, S.; Daniele, P.; and Santini, F. 2010.
link   bibtex  
  2009 (12)
Implementing and Testing a Formal Framework for Constraint-Based Routing over Scale-free Networks. Bistarelli, S.; and Santini, F. INTERNATIONAL JOURNAL ON ADVANCES IN NETWORKS AND SERVICES, 2: 13–24. 2009.
Implementing and Testing a Formal Framework for Constraint-Based Routing over Scale-free Networks [link]Paper   link   bibtex  
A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation. Bistarelli, S.; and Santini, F. 2009.
doi   link   bibtex   abstract  
Solving finite domain constraint hierarchies by local consistency and tree search. Bistarelli, S.; Codognet, P.; Hui, H. K. C.; and Lee, J. H. M. JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 21: 233–257. 2009.
doi   link   bibtex   abstract  
Soft Constraints for Dependable Service Oriented Architectures. Bistarelli, S.; and Santini, F. 2009.
doi   link   bibtex   abstract  
Fairness as a QoS Measure for Web Services. Bistarelli, S.; and Campli, P. 2009.
doi   link   bibtex  
Proceedings of the 2009 ACM Symposium on Applied Computing - Constraint solving and programming track. Bistarelli, S.; Monfroy, E.; and O'Sullivan, B. 2009.
link   bibtex   abstract  
Solving CSPs with Naming Games. Bistarelli, S.; and Gosti, G. 2009.
doi   link   bibtex   abstract  
Soft Constraints for Quality Aspects in Service Oriented Architectures. Bistarelli, S.; and Santini, F. 2009.
doi   link   bibtex  
C-semiring Frameworks for Minimum Spanning Tree Problems. Bistarelli, S.; and Santini, F. 2009.
doi   link   bibtex   abstract  
From Marriages to Coalitions: A Soft CSP Approach. Bistarelli, S.; Foley, S. N.; O'Sullivan, B.; and Santini, F. 2009.
doi   link   bibtex   abstract  
Capturing Fair Computations on Concurrent Constraint Language. Campli, P.; and Bistarelli, S. 2009.
doi   link   bibtex  
Constraint Based Languages for Biological Reactions. Bottalico, M.; and Bistarelli, S. 2009.
doi   link   bibtex  
  2008 (11)
Retaliation Against Protocol Attacks. Bella, G.; Bistarelli, S.; and Massacci, F. JOURNAL OF INFORMATION ASSURANCE AND SECURITY, 3: 313–325. 2008.
link   bibtex   abstract  
Analyzing security scenarios using Defence Trees and Answer Set Programming. Bistarelli, S.; Peretti, P.; and Trubitsyna, I. 2008.
doi   link   bibtex   abstract  
. Bistarelli, S.; and Rossi, F. Volume 5065 . Semiring-Based Soft Constraints, pages 155–173. Springer, 2008.
link   bibtex   abstract  
Proceedings of the 2008 ACM Symposium on Applied Computing - Constraint solving and programming track. Bistarelli, S.; Monfroy, E.; and O'Sullivan, B. 2008.
link   bibtex   abstract  
Timed Soft Concurrent Constraint Programs. Bistarelli, S.; Gabbrielli, M.; Meo, M. C.; and Santini, F. 2008.
doi   link   bibtex   abstract  
SCLP for Trust Propagation in Small-World Networks. Bistarelli, S.; and Santini, F. 2008.
doi   link   bibtex   abstract  
Weighted Datalog and Levels of Trust. Bistarelli, S.; Martinelli, F.; and Santini, F. 2008.
doi   link   bibtex   abstract  
A Semantic Foundation for Trust Management Languages with Weights: An Application to the RT Family. Bistarelli, S.; Martinelli, F.; and Santini, F. 2008.
doi   link   bibtex   abstract  
A Formal and Practical Framework for Constraint-Based Routing. Bistarelli, S.; and Santini, F. 2008.
link   bibtex  
Propagating multitrust within trust networks. Bistarelli, S.; and Santini, F. 2008.
doi   link   bibtex   abstract  
A soft approach to multi-objective optimization. Bistarelli, S.; Gadducci, F.; Larrosa, J.; and Rollon, E. 2008.
link   bibtex   abstract  
  2007 (10)
Soft Constraint Based Pattern Mining. Bistarelli, S.; and Francesco, B. DATA & KNOWLEDGE ENGINEERING, 62: 118–137. 2007.
doi   link   bibtex   abstract  
Modelling Multicast Qos Routing by using Best-Tree Search in AND-OR Graphs and Soft Constraint Logic Programming. Bistarelli, S.; Montanari, U.; Rossi, F.; and Santini, F. 2007.
doi   link   bibtex   abstract  
Augmented Risk Analysis. Bella, G.; Bistarelli, S.; Peretti, P.; and Riccobene, S. 2007.
doi   link   bibtex   abstract  
Proceedings of the 2007 ACM Symposium on Applied Computing - Constraint solving and programming track. Bistarelli, S.; Monfroy, E.; and O'Sullivan, B. 2007.
link   bibtex   abstract  
Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario. Bistarelli, S.; Peretti, P.; and Trubitsyna, I. 2007.
link   bibtex  
Bipolar preference problems: framework, properties and solving techniques. Bistarelli, S.; Pini, M. S.; Rossi, F.; and Venable, K. B. 2007.
link   bibtex   abstract  
An Optimization Approach using Soft Constraints for the Cascade Vulnerability Problem. Servin, C.; Ceberio, M.; Freudenthal, E.; and Bistarelli, S. 2007.
link   bibtex  
Using CP-nets as a guide for countermeasure selection. Bistarelli, S.; Fioravanti, F.; and Peretti, P. 2007.
link   bibtex  
Uncertainty in Bipolar Preference Problems. Bistarelli, S.; Pini, M. S.; Rossi, F.; and Venable, K. B. 2007.
link   bibtex   abstract  
Constraint Symmetry for the Soft CSP. Smith, B. M.; Bistarelli, S.; and O'Sullivan, B. 2007.
link   bibtex  
  2006 (12)
Soft Concurrent Constraint Programming. Bistarelli, S.; Montanari, U.; and Rossi, F. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 7: 563–589. 2006.
doi   link   bibtex   abstract  
Soft Constraints for Security. Bella, G.; Bistarelli, S.; and Foley, S. N. 2006.
doi   link   bibtex   abstract  
An asymmetric fingerprint matching algorithm for Java Card (TM). Bistarelli, S.; Santini, F.; and Vaccarelli, A. PATTERN ANALYSIS AND APPLICATIONS, 9: 359–376. 2006.
doi   link   bibtex   abstract  
Principles of Secure Network Configuration: Towards a Formal Basis for Self-Configuration. Foley, S. N.; Fitzgerald, W.; Bistarelli, S.; O'Sullivan, B.; and O FOGHLU, M. 2006.
doi   link   bibtex   abstract  
Defense trees for economic evaluation of security investments. Bistarelli, S.; Fioravanti, F.; and Peretti, P. 2006.
doi   link   bibtex  
Bipolar preference problems. Bistarelli, S.; Pini, M. S.; Rossi, F.; and Venable, K. B. 2006.
link   bibtex   abstract  
Strategic games on defense trees. Bistarelli, S.; Peretti, P.; and Dall'Aglio, M. 2006.
link   bibtex  
Proceedings of the 2006 ACM Symposium on Applied Computing - Constraint solving and programming track. Bistarelli, S.; Monfroy, E.; and O'Sullivan, B. 2006.
link   bibtex   abstract  
Special Issue: Preferences and Soft Constraints. Bistarelli, S.; and Rossi, F. 2006.
doi   link   bibtex  
Retaliation: Can We Live with Flaws?. Bella, G.; Bistarelli, S.; and Massacci, F. 2006.
link   bibtex   abstract  
Enhancing constraints manipulation in semiring-based formalisms. Bistarelli, S.; and Gadducci, F. 2006.
link   bibtex   abstract  
Extending the Soft Constraint Based Mining Paradigm. Bistarelli, S.; and Bonchi, F. 2006.
link   bibtex  
  2005 (11)
Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis. Bistarelli, S.; Cervesato, I.; Lenzini, G.; and Martinelli, F. JOURNAL OF COMPUTER SECURITY, 13: 3–47. 2005.
link   bibtex   abstract  
Information Assurance for Security Protocols. Giampaolo, B.; and Bistarelli, S. COMPUTERS & SECURITY, 24: 322–333. 2005.
doi   link   bibtex   abstract  
A soft constraint-based approach to the cascade vulnerability problem. Bistarelli, S.; Foley, S. N.; and O'Sullivan, B. JOURNAL OF COMPUTER SECURITY, 13: 699–720. 2005.
link   bibtex   abstract  
Reasoning about Secure Interoperation using Soft Constraints. Bistarelli, S.; Foley, S. N.; and Barry, O. 2005.
doi   link   bibtex   abstract  
A protocol's life after attacks... Bella, G.; and Bistarelli, S. 2005.
doi   link   bibtex   abstract  
Proceedings of the 2005 ACM Symposium on Applied Computing - Constraint solving and programming track. Bistarelli, S.; Monfroy, E.; and O'Sullivan, B. 2005.
link   bibtex   abstract  
MOC via TOC Using a Mobile Agent Framework. Bistarelli, S.; Frassi, S.; and Vaccarelli, A. 2005.
doi   link   bibtex   abstract  
Biometrics to Enhance Smartcard Security. Bella, G.; Bistarelli, S.; and Martinelli, F. 2005.
doi   link   bibtex   abstract  
An Asymmetric Fingerprint Matching Algorithm for Java Card. Bistarelli, S.; Santini, F.; and Vaccarelli, A. 2005.
doi   link   bibtex   abstract  
Interestingness is not a Dichotomy: Introducing Softness in Constrained Pattern Mining. Bistarelli, S.; and Bonchi, F. 2005.
doi   link   bibtex   abstract  
Multilevel Security and Quality of Protection. Foley, S. N.; Bistarelli, S.; Barry, O.; John, H.; and Garret, S. 2005.
doi   link   bibtex  
  2004 (14)
Soft Constraint Programming to Analysing Security Protocol. Bella, G.; and Bistarelli, S. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 4: 545–572. 2004.
doi   link   bibtex   abstract  
Soft Constraint Propagation and Solving in Constraint Handling Rules. Bistarelli, S.; Fruewirth, T.; Marte, M.; and Rossi, F. COMPUTATIONAL INTELLIGENCE, 20: 287–307. 2004.
doi   link   bibtex   abstract  
Modelling and Detecting the Cascade Vulnerabiliy Problem using Soft Constraints. Bistarelli, S.; Foley, S. N.; and O'Sullivan, B. 2004.
doi   link   bibtex  
Symmetry Breaking in Soft CSPs. Bistarelli, S.; Jerome, K.; and Barry, O. 2004.
link   bibtex   abstract  
Abstracting Soft Constraints: Some experimental results on Fuzzy CSPs. Bistarelli, S.; Rossi, F.; and Pilan, I. 2004.
doi   link   bibtex   abstract  
Confidentiality levels and deliberate/indeliberate protocol attacks. Bella, G.; and Bistarelli, S. 2004.
doi   link   bibtex   abstract  
Advancing Assurance for Secure Distributed Communications. Bella, G.; and Bistarelli, S. 2004.
doi   link   bibtex  
Tradeoff Generation using Soft Constraints. Bistarelli, S.; Kelleher, J.; and O'Sullivan, B. 2004.
doi   link   bibtex   abstract  
Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints. Bistarelli, S.; Freuder, E. C.; and Osullivan, B. 2004.
doi   link   bibtex  
A Theoretical Framework for Tradeoff Generation using Soft Constraints. Bistarelli, S.; and Barry, O. 2004.
link   bibtex   abstract  
Proceedings of the 2004 ACM Symposium on Applied Computing - AI and computational logic and image analysis (AI). Hung, C. C.; Bistarelli, S.; and Rosa, A. 2004.
link   bibtex  
Semirings for Soft Constraint Solving and Programming. Bistarelli, S. Volume 2962 SPRINGER-VERLAG, BERLIN, 2004.
doi   link   bibtex   abstract  
Detecting and Eliminating the Cascade Vulnerability Problem from Multi-level Security Networks using Soft Constraints. Bistarelli, S.; Foley, S. N.; and O'Sullivan, B. 2004.
link   bibtex  
Experimental Evaluation of Interchangeability in Soft CSPs. Bistarelli, S.; Neagu, N.; and Faltings, B. 2004.
doi   link   bibtex   abstract  
  2003 (11)
General Properties and Termination Conditions for Soft Constraint Propagation. Bistarelli, S.; Gennari, R.; and Rossi, F. CONSTRAINTS, 8: 79–97. 2003.
doi   link   bibtex   abstract  
Interchangeability in Soft CSPs. Bistarelli, S.; Faltings, B.; and Neagu, N. 2003.
doi   link   bibtex   abstract  
On representing biological systems through multiset rewriting. Fabio, M.; Bistarelli, S.; Iliano, C.; Gabriele, L.; and Roberto, M. 2003.
doi   link   bibtex   abstract  
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. Bistarelli, S.; Philippe, C.; KIN CHUEN, H.; and JIMMY HO MAN, L. 2003.
link   bibtex  
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. Bistarelli, S.; Codognet, P.; Hui, K. C.; and Lee, J. H. 2003.
doi   link   bibtex   abstract  
Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. Bistarelli, S.; Cervesato, I.; Lenzini, G.; and Martinelli, F. 2003.
doi   link   bibtex   abstract  
Analysis of Integrity Policies using Soft Constraints. Bistarelli, S.; and Foley, S. N. 2003.
doi   link   bibtex  
A constraint framework for the qualitative analysis of dependability goals: Integrity. Bistarelli, S.; and Foley, S. N. 2003.
doi   link   bibtex   abstract  
Computer Algebra for Fingerprint Matching. Bistarelli, S.; Boffi, G.; and Rossi, F. 2003.
doi   link   bibtex   abstract  
On the Computation of Local Interchangeability in Soft Constraint Satisfaction Problems. Neagu, N.; Bistarelli, S.; and Faltings, B. 2003.
On the Computation of Local Interchangeability in Soft Constraint Satisfaction Problems [pdf]Paper   link   bibtex  
Editorial message: Special track on Artificial Intelligence and Computational Logic. 2003.
link   bibtex  
  2002 (6)
Abstracting soft constraints: Framework, properties, examples. Bistarelli, S.; Philippe, C.; and Francesca, R. ARTIFICIAL INTELLIGENCE, 139: 175–211. 2002.
doi   link   bibtex   abstract  
Soft Constraint logic Programming and Generalized Shortest Path Problems. Bistarelli, S.; Ugo, M.; and Francesca, R. JOURNAL OF HEURISTICS, 8: 25–41. 2002.
doi   link   bibtex   abstract  
Soft Constraint Propagation and Solving in CHR. Bistarelli, S.; Fruewirth, T.; Marte, M.; and Rossi, F. 2002.
link   bibtex   abstract  
Proceedings of the 2012 ACM Symposium on Applied Computing - A.I. and computational logic track. Hung, C.; Rosa, A.; and Bistarelli, S. 2002.
link   bibtex  
Soft Concurrent Constraint Programming. Bistarelli, S.; Montanari, U.; and Rossi, F. 2002.
doi   link   bibtex   abstract  
Interchangeability in Soft CSPs. Bistarelli, S.; Faltings, B.; and Neagu, N. 2002.
doi   link   bibtex   abstract  
  2001 (3)
Soft Constraint Solving and Programming: a general framework. Bistarelli, S. Volume TD-2/01 2001.
Soft Constraint Solving and Programming: a general framework. [pdf]Paper   link   bibtex  
Semiring-Based Constraint Logic Programming: Syntax and Semantics. Bistarelli, S.; Ugo, M.; and Francesca, R. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 23: 1–29. 2001.
doi   link   bibtex   abstract  
Soft Constraints for Security Protocol Analysis: Confidentiality. Giampaolo, B.; and Bistarelli, S. 2001.
doi   link   bibtex   abstract  
  2000 (4)
Labeling and Partial Local Consistency for Soft Constraint Programming. Bistarelli, S.; Philippe, C.; Yan, G.; and Francesca, R. 2000.
doi   link   bibtex   abstract  
Constraint Propagation for Soft Constraint Satisfaction Problems: Generalization and Termination Conditions. Bistarelli, S.; Gennari, R.; and Rossi, F. 2000.
doi   link   bibtex   abstract  
Abstracting Soft Constraints. Bistarelli, S.; Codognet, P.; Georget, Y.; and Rossi, F. 2000.
doi   link   bibtex   abstract  
An Abstraction Framework for Soft Constraint and Its Relationship with Constraint Propagation. Bistarelli, S.; Codognet, P.; and Rossi, F. 2000.
doi   link   bibtex   abstract  
  1999 (1)
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison. Bistarelli, S.; Ugo, M.; Francesca, R.; Thomas, S.; Gerard, V.; and Helene, F. CONSTRAINTS, 4: 199–240. 1999.
doi   link   bibtex   abstract  
  1997 (2)
Semiring-based constraint satisfaction and optimization. Bistarelli, S.; Ugo, M.; and Francesca, R. JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY, 44: 201–236. 1997.
doi   link   bibtex   abstract  
Semiring-based Constraint Logic Programming. Bistarelli, S.; Montanari, U.; and Rossi, F. 1997.
link   bibtex  
  1996 (1)
. Bistarelli, S.; Fargier, H.; Montanari, U.; Rossi, F.; Schiex, T.; and Verfaillie, G. Volume 1106 . Semiring-based CSPs and Valued CSPs: Basic Properties and Comparison, pages 111–150. Springer, 1996.
link   bibtex   abstract  
  1995 (1)
Constraint Solving over Semirings. Bistarelli, S.; Montanari, U.; and Rossi, F. 1995.
link   bibtex