2013 (5)
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.
Interchangeability with thresholds and degradation factors for Soft CSPs [link]Paper   doi   bibtex   2 downloads
Coalitions of Arguments: An Approach with Constraint Programming. BISTARELLI, S.; and Santini, F. FUNDAMENTA INFORMATICAE, 124: 383–401. 2013.
Coalitions of Arguments: An Approach with Constraint Programming [link]Paper   doi   bibtex
Multi-Experts Multi-Criteria Decision Making. Henderson, J.; BISTARELLI, S.; and Ceberio, M. In Proceeding of the international conference «numerical computations: theory and algorithms, pages –, 2013. Luigi Pellegrini Editore
Multi-Experts Multi-Criteria Decision Making [link]Paper   doi   bibtex   1 download
A First Comparison of Abstract Argumentation Systems: A Computational Perspective . BISTARELLI, S.; Rossi, F.; and Santini, F. In Proceedings of the 28th Italian Conference on Computational Logic, volume 1068, pages 241–245, September 25-27, 2013.
bibtex
Proceedings of the 2013 ACM Symposium on Applied Computing - Constraint solving and programming track. BISTARELLI, S.; Monfroy, E.; and O'Sullivan, B. , editor s. 2013.
bibtex   buy
  2012 (13)
Evaluation of complex security scenarios using defense trees and economic indexes. BISTARELLI, S.; F., F.; P., P.; and F., S. JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 24: 161–192. 2012.
Evaluation of complex security scenarios using defense trees and economic indexes [link]Paper   doi   bibtex   2 downloads
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. SSD prodotto: INF/01 - classe rivista: 2 - collaboratore IIT-CNR and INDAM (4 prodotti invece che 2)
Local Arc Consistency for Non-Invertible Semirings, with an Application to Multi-Objective Optimization [link]Paper   doi   bibtex
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. SSD prodotto: INF/01 - classe rivista: 2 - collaboratore IIT-CNR and INDAM (4 prodotti invece che 2)
A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials [link]Paper   doi   bibtex
Solving Fuzzy Distributed CSPs: An Approach with Naming Games. BISTARELLI, S.; Gosti, G.; and Santini, F. In Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, volume 7784, pages 116–135, June 4, 2012. Springer
Solving Fuzzy Distributed CSPs: An Approach with Naming Games [link]Paper   doi   bibtex
ConArg: Argumentation with Constraints. BISTARELLI, S.; and Santini, F. In Proceedings of the First International Conference on Agreement Technologies, AT 2012, volume 918, pages 197–198, October 15-16, 2012.
bibtex
Semiring-based constraint models and frameworks for security-related scenarios. BISTARELLI, S.; and Santini, F. In 2012 7th International Conference on Risks and Security of Internet and Systems (CRiSIS), pages 1–4, 10 October through 12 October 2012.
Semiring-based constraint models and frameworks for security-related scenarios [link]Paper   doi   bibtex
Towards a similarity-based web service discovery through soft constraint satisfaction problems. Arbab, F.; Santini, F.; BISTARELLI, S.; and Pirolandi, D. In Proceedings of the 2nd International Workshop on Semantic Search over the Web - SSW '12, pages 1–8, 27 August 2012.
Towards a similarity-based web service discovery through soft constraint satisfaction problems [link]Paper   doi   bibtex   3 downloads
Securely Accessing Shared Resources with Concurrent Constraint Programming. BISTARELLI, S.; and Santini, F. In 10th International Conference on Software Engineering and Formal Methods (SEFM 2012), volume 7504, pages 308–322, October 1-5, 2012. Springer
Securely Accessing Shared Resources with Concurrent Constraint Programming [link]Paper   doi   bibtex
Modeling and Solving AFs with a Constraint-Based Tool: ConArg. BISTARELLI, S.; and Santini, F. In Theorie and Applications of Formal Argumentation - First International Workshop, TAFA 2011, volume 7132, pages 99–116, July 16-17, 2011 2012.
bibtex
A Secure Coordination of Agents with Nonmonotonic Soft Concurrent Constraint Programming. BISTARELLI, S.; Campli, P.; and Santini, F. In Proceedings of the ACM Symposium on Applied Computing, SAC 2012, pages 1551–1553, March 26-30, 2012.
bibtex
Negotiation on mobile devices using Weighted RTML Credentials. BISTARELLI, S.; Martinelli, F.; Roperti, F.; and Santini, F. In INFORMATION SYSTEMS: CROSSROADS FOR ORGANIZATION, MANAGEMENT, ACCOUNTING AND ENGINEERING, pages 429–438, October 7-8, 2010 2012. SPRINGER
Negotiation on mobile devices using Weighted RTML Credentials [link]Paper   doi   bibtex
CELIA. Corpus Elettronico delle Lingue dell'Italia Antica. Agostiniani, L.; Bakkum, G.; BISTARELLI, S.; Calderini, A.; Massarelli, R.; and Meiser, G. 2012.
bibtex
Proceedings of the 2012 ACM Symposium on Applied Computing - Constraint solving and programming track. BISTARELLI, S.; Monfroi, E.; and O'Sullivan, B. , editor s. ACM, 2012.
bibtex   buy
  2011 (9)
Uncertainty in Bipolar Preference Problems. BISTARELLI, S.; Pini, M.; Rossi, F.; and Venable, K. JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 23: 545–575. 2011. SSD prodotto: INF/01 - classe rivista: 2 - collaboratore IIT-CNR and INDAM (4 prodotti invece che 2)
Uncertainty in Bipolar Preference Problems [link]Paper   doi   bibtex
A Nonmonotonic Soft Concurrent Constraint Language to Model the negotiation Process. BISTARELLI, S.; and Santini, F. FUNDAMENTA INFORMATICAE, 111: 257–279. 2011. SSD prodotto: INF/01 - classe rivista: 2 - collaboratore IIT-CNR and INDAM (4 prodotti invece che 2)
A Nonmonotonic Soft Concurrent Constraint Language to Model the negotiation Process [link]Paper   doi   bibtex
Finding Partitions of Arguments with Dung's Properties via SCSPs . BISTARELLI, S.; Campli, P.; and Santini, F. In Proceedings of the 26th Italian Conference on Computational Logic, volume 810, pages 199–213, August 31 - September 2, 2011.
bibtex
Security Protocol Deployment Risk. FOLEY, S.; BELLA, G.; and BISTARELLI, S. In Proceeding Security'08 Proceedings of the 16th International conference on Security protocols, volume 6615, pages 12–20, Cambridge, UK 2011. Springer
Security Protocol Deployment Risk [link]Paper   doi   bibtex
Solving Weighted Argumentation Frameworks with Soft Constraints. BISTARELLI, S.; D., P.; and F., S. In Recent Advances in Constraints 2009 Proceeding CSCLP'09 Proceedings of the 14th Annual ERCIM international conference on Constraint solving and constraint logic programming, volume 6384/2011, pages 1–18, June 15-17, 2009 2011.
Solving Weighted Argumentation Frameworks with Soft Constraints [link]Paper   doi   bibtex   1 download
Solving Fuzzy DCSPs with Naming Games. BISTARELLI, S.; Gosti, G.; and Santini, F. In 23rd IEEE International Conference on Tools with Artificial Intelligence, pages 605–612, Nov. 7-9, 2011. IEEE
bibtex
ConArg: A Constraint-based Computational Framework for Argumentation Systems. BISTARELLI, S.; and Santini, F. In 23rd IEEE International Conference on Tools with Artificial Intelligence, pages 605–612, Nov. 7-9, 2011. IEEE
ConArg: A Constraint-based Computational Framework for Argumentation Systems [link]Paper   doi   bibtex
Finding Partitions of Arguments with Dung’s Properties via SCSPs. BISTARELLI, S.; P., C.; and F., S. In ACM Symposium on Applied Computing (SAC), pages 913–919, 2011.
Finding Partitions of Arguments with Dung’s Properties via SCSPs [link]Paper   doi   bibtex
Proceedings of the 2011 ACM Symposium on Applied Computing - Constraint solving and programming track. BISTARELLI, S.; MONFROY, E.; and O'SULLIVAN., B. , editor s. ACM, 2011.
bibtex   buy
  2010 (10)
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.
From soft constraints to bipolar preferences: modelling framework and solving issues [link]Paper   doi   bibtex
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. Constraints; soft constraints; preferences; Quality of Service (QoS); routing; constraint logic programming (CLP)
Unicast and Multicast QoS Routing with Soft Constraint Logic Programming [link]Paper   doi   bibtex
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. Special Issue on Security and Trust Management for Dynamic Coalitions
Semiring-based Frameworks for Trust Propagation in Small-World Networks and Coalition Formation Criteria [link]Paper   doi   bibtex
Solving Distributed CSPs Probabilistically. BISTARELLI, S.; and Gosti, G. FUNDAMENTA INFORMATICAE, 105: 57–78. 2010.
Solving Distributed CSPs Probabilistically [link]Paper   doi   bibtex
Solving Weighted Argumentation Farmeworks with Soft Constraints. BISTARELLI, S.; Pirolandi, D.; and Santini, F. In Proceedings of the 25th Italian Conference on Computational Logic, volume 598, pages –, July 7-9, 2010.
bibtex
A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints. BISTARELLI, S.; F., M.; and F., S. In Autonomic and Trusted Computing, 7th International Conference, ATC 2010., volume 6407, pages 268–282, October 26-29, 2010.
bibtex
Extending Soft Arc Consistency to Non-Invertible Semirings. BISTARELLI, S.; F., G.; J., L.; E., R.; and F., S. In Advances in Artificial Intelligence - 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, volume 6437, pages 386–398, November 8-13, 2010.
bibtex
Finding Partitions of Arguments with Dung’s Properties via SCSPs. BISTARELLI, S.; P., C.; and F., S. In Proceedings of the Eleventh AI*IA Symposium on Artificial Intelligence, pages 201–208, 2010.
bibtex
A Common Computational Framework for Semiring-based Argumentation Systems. BISTARELLI, S.; and F., S. In ECAI 2010 - 19th European Conference on Artificial Intelligence, pages 131–136, August 16-20, 2010. IOS Press
bibtex
Proceedings of the 2010 ACM Symposium on Applied Computing - Constraint solving and programming track. - 2010.
bibtex   buy
  2009 (12)
Solving finite domain constraint hierarchies by local consistency and tree search. BISTARELLI, S.; CODOGNET, P.; HUI, H.; and LEE, J. JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 21: 233–257. 2009. if: (0.571)
Solving finite domain constraint hierarchies by local consistency and tree search [link]Paper   doi   bibtex
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.
bibtex
Capturing Fair Computations on Concurrent Constraint Language. Campli, P.; and BISTARELLI, S. In Logic Programming, volume 5649, pages 559–560, July 14-17, 2009.
Capturing Fair Computations on Concurrent Constraint Language [link]Paper   doi   bibtex
Constraint Based Languages for Biological Reactions. Bottalico, M.; and BISTARELLI, S. In Logic Programming, volume 5649, pages 561–562, July 14-17, 2009. Springer
Constraint Based Languages for Biological Reactions [link]Paper   doi   bibtex
C-semiring Frameworks for Minimum Spanning Tree Problems. BISTARELLI, S.; and SANTINI, F. In Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, volume 5486, pages 56–70, June 13-16, 2008 2009. Springer
bibtex
Soft Constraints for Dependable Service Oriented Architectures. BISTARELLI, S.; and SANTINI, F. In DSN 2008: Workshop on Software Architectures for Dependable Systems (WADS), volume 5835, pages 76–97, 2009. Springer
Soft Constraints for Dependable Service Oriented Architectures [link]Paper   doi   bibtex
Solving CSPs with Naming Games. BISTARELLI, S.; and GOSTI, G. In Revised Selected Papers Recent Advances in Constraints, CSCLP. June 18-20, 2008, volume 5655, pages 16–32, June 18-20, 2008 2009. Springer
Solving CSPs with Naming Games [link]Paper   doi   bibtex
From Marriages to Coalitions: A Soft CSP Approach. BISTARELLI, S.; FOLEY, S. N.; O'SULLIVAN, B.; and SANTINI, F. In Revised Selected Papers Recent Advances in Constraints, CSCLP 2008, volume 5655, pages 1–15, June 18-20, 2008 2009. Springer
From Marriages to Coalitions: A Soft CSP Approach [link]Paper   doi   bibtex
Soft Constraints for Quality Aspects in Service Oriented Architectures. BISTARELLI, S.; and SANTINI, F. In Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing , volume 2, pages 51–65, 17-19th June 2009.
Soft Constraints for Quality Aspects in Service Oriented Architectures [link]Paper   doi   bibtex
Fairness as a QoS Measure for Web Services. BISTARELLI, S.; and CAMPLI, P. In Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing , volume 2, pages 115–127, 17-19th June 2009.
Fairness as a QoS Measure for Web Services [link]Paper   doi   bibtex
A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation. BISTARELLI, S.; and SANTINI, F. In Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures (VODCA 2008), volume 236, pages 147–162, 30-31 August 2008 2009. ELSEVIER
A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation [link]Paper   doi   bibtex
Proceedings of the 2009 ACM Symposium on Applied Computing - Constraint solving and programming track. BISTARELLI, S.; MONFROY, E.; and O'SULLIVAN, B. , editor s. ACM Press, 2009.
bibtex   buy
  2008 (11)
Retaliation Against Protocol Attacks. BELLA, G.; BISTARELLI, S.; and MASSACCI, F. JOURNAL OF INFORMATION ASSURANCE AND SECURITY, 3: 313–325. 2008.
bibtex
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. BISTARELLI, S.; and ROSSI, F. Volume 5065 . Semiring-Based Soft Constraints, pages 155–173. Springer, 2008. scopus 45849104239
bibtex   buy
A Semantic Foundation for Trust Management Languages with Weights: An Application to the RT Family. BISTARELLI, S.; F, M.; and SANTINI, F. In Autonomic and Trusted Computing, 5th International Conference, ATC 2008, volume 5060, pages 481–495, June 23-25, 2008. Springer
bibtex
A soft approach to multi-objective optimization. BISTARELLI, S.; LARROSA, F. G. J.; and ROLLON, E. In Logic Programming, 24th International Conference, ICLP 2008, volume 5366, pages 764–768, December 9-13 2008. Springer
bibtex
SCLP for Trust Propagation in Small-World Networks. BISTARELLI, S.; and SANTINI, F. In Recent Advances in Constraints, 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007., volume 5129, pages 32–46, June 7-8, 2007 2008. Springer
bibtex
Timed Soft Concurrent Constraint Programs. BISTARELLI, S.; M, G.; MC, M.; and SANTINI, F. In Coordination Models and Languages, 10th International Conference, COORDINATION 2008, volume 5052, pages 50–66, June 4-6, 2008. Springer
bibtex
A Formal and Practical Framework for Constraint-Based Routing. BISTARELLI, S.; and F., S. In Seventh International Conference on Networking (ICN 2008), pages 162–167, 13-18 April 2008. IEEE Computer Society Press
bibtex
Weighted Datalog and Levels of Trust. BISTARELLI, S.; F, M.; and SANTINI, F. In Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona, Spain, pages 1128–1134, March 4-7, 2008. IEEE Computer Society Press
bibtex
Propagating multitrust within trust networks. BISTARELLI, S.; and SANTINI, F. In Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), pages 1990–1994, March 16-20, 2008. ACM Press
bibtex
Analyzing security scenarios using Defence Trees and Answer Set Programming. BISTARELLI, S.; PERETTI, P.; and TRUBITSYNA, I. In Proceedings of the 3rd International Workshop on Security and Trust Management (STM 2007), volume 197, pages 121–129, 2008. ELSEVIER
Analyzing security scenarios using Defence Trees and Answer Set Programming [link]Paper   doi   bibtex
Proceedings of the 2008 ACM Symposium on Applied Computing - Constraint solving and programming track. - ACM Press, 2008. atti di convegno.
bibtex   buy
  2007 (10)
Soft Constraint Based Pattern Mining. BISTARELLI, S.; and BONCHI, F. DATA & KNOWLEDGE ENGINEERING, 62: 118–137. 2007.
Soft Constraint Based Pattern Mining [link]Paper   doi   bibtex
Uncertainty in Bipolar Preference Problems. BISTARELLI, S.; PINI, M. S.; ROSSI, F.; and VENABLE, K. B. In Principles and Practice of Constraint Programming - CP 2007, volume 4741, pages 782–789, 2007. Springer
bibtex
Constraint Symmetry for the Soft CSP. SMITH, B. M.; BISTARELLI, S.; and O'SULLIVAN, B. In Principles and Practice of Constraint Programming - CP 2007, volume 4741, pages 872–879, 2007. Springer
bibtex
Bipolar preference problems: framework, properties and solving techniques. BISTARELLI, S.; PINI, M. S.; ROSSI, F.; and VENABLE, K. B. In Recent Advances in Constraints, ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP'06, Selected Papers, volume 4651, pages 78–92, 2007.
bibtex
Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario. BISTARELLI, S.; PERETTI, P.; and TRUBITSYNA, I. In CP 2007, 13th International Conference, CP 2007, volume 4741, pages 773–781, September 23-27, 2007. Springer
bibtex
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. In Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL 2007), volume 190, pages 111–127, 2007. ELSEVIER
Modelling Multicast Qos Routing by using Best-Tree Search in AND-OR Graphs and Soft Constraint Logic Programming [link]Paper   doi   bibtex
An Optimization Approach using Soft Constraints for the Cascade Vulnerability Problem. SERVIN, C.; CEBERIO, M.; FREUDENTHAL, E.; and BISTARELLI, S. In Annual Meeting of the North American Fuzzy Information Processing Society, 2007. NAFIPS '07., pages 372–377, 24 June-27 June, 2007. IEEE
bibtex
Augmented Risk Analysis. BELLA, G.; BISTARELLI, S.; PERETTI, P.; and RICCOBENE, S. In Proceedings of Second International Workshop on Views on Designing Complex Architectures (VODCA 2006), volume 168, pages 207–220, September 2006 2007. ELSEVIER
Augmented Risk Analysis [link]Paper   doi   bibtex
Using CP-nets as a guide for countermeasure selection. BISTARELLI, S.; FIORAVANTI, F.; and PERETTI, P. In 22nd ACM Symposium on Applied Computing (SAC2007), pages 300–304, March 11-15, 2007. ACM Press
bibtex
Proceedings of the 2007 ACM Symposium on Applied Computing - Constraint solving and programming track. - ACM Press, 2007. atti di convegno
bibtex   buy
  2006 (12)
Soft Concurrent Constraint Programming. BISTARELLI, S.; MONTANARI, U.; and ROSSI, F. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 7: 1–27. 2006.
Soft Concurrent Constraint Programming [link]Paper   doi   bibtex
An Asymmetric Fingerprint Matching Algorithm for Java Card. BISTARELLI, S.; SANTINI, F.; and VACCARELLI, A. PATTERN ANALYSIS AND APPLICATIONS, 9: 359–376. 2006. if: 0.400
An Asymmetric Fingerprint Matching Algorithm for Java Card [link]Paper   doi   bibtex
Principles of Secure Network Configuration: Towards a Formal Basis for Self-Configuration. FOLEY, S. N.; FITZGERALD, W.; BISTARELLI, S.; O'SULLIVAN, B.; and FOGHLU, M. O In AUTONOMIC PRINCIPLES OF IP OPERATIONS AND MANAGEMENT, PROCEEDINGS, volume 4268, pages 168–180, October 23-25, 2006. SPRINGER-VERLAG
Principles of Secure Network Configuration: Towards a Formal Basis for Self-Configuration [link]Paper   doi   bibtex
Strategic games on defense trees. BISTARELLI, S.; PERETTI, P.; and DALL'AGLIO, M. In Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006., volume 4691, pages 1–15, August 26-27, 2006. Springer
bibtex
Extending the Soft Constraint Based Mining Paradigm. BISTARELLI, S.; and BONCHI, F. In Knowledge Discovery in Inductive Databases, 5th International Workshop, KDID 2006, volume 4747, pages 24–41, September 18, 2006. Springer
bibtex
Enhancing constraints manipulation in semiring-based formalisms. BISTARELLI, S.; and GADDUCCI, F. In ECAI 2006, 17th European Conference on Artificial Intelligence, volume 141, pages 63–67, August 29 - September 1, 2006. IOS Press
bibtex
Bipolar preference problems. BISTARELLI, S.; PINI, M. S.; ROSSI, F.; and VENABLE, K. B. In ECAI 2006, 17th European Conference on Artificial Intelligence, volume 141, pages 705–706, August 29 - September 1, 2006. IOS Press
bibtex
Retaliation: Can We Live with Flaws?. BELLA, G.; BISTARELLI, S.; and MASSACCI, F. In INFORMATION ASSURANCE AND COMPUTER SECURITY, volume 6, pages 3–14, Amsterdam – NLD, June 2005 2006. IOS Press NATO Security through Science Series
bibtex
Defense trees for economic evaluation of security investments. BISTARELLI, S.; FIORAVANTI, F.; and PERETTI, P. In Proceedings of the The First International Conference on Availability, Reliability and Security, ARES 2006, The International Dependability Conference - Bridging Theory and Practice, pages 416–423, April 20-22 2006. IEEE Computer Society
Defense trees for economic evaluation of security investments [link]Paper   doi   bibtex
Soft Constraints for Security. BELLA, G.; BISTARELLI, S.; and FOLEY, S. N. In Special Issue VODCA, volume 142, pages 11–29, 11-12 September 2004 2006. ELSEVIER
Soft Constraints for Security [link]Paper   doi   bibtex
Special Issue: Preferences and Soft Constraints. ROSSI, S. B. F. Volume 12 Springer, DORDRECHT – NLD, 2006. WOS:000237397100001
Special Issue: Preferences and Soft Constraints [link]Paper   doi   bibtex   buy
Proceedings of the 2006 ACM Symposium on Applied Computing - Constraint solving and programming track. BISTARELLI, S.; MONFROY, E.; and O'SULLIVAN, B. , editor s. ACM Press, 2006.
bibtex   buy
  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. SCOPUS (special issue WITS)
bibtex
Information Assurance for Security Protocols. BELLA, G.; and BISTARELLI, S. COMPUTERS & SECURITY, 24: 322–333. 2005.
Information Assurance for Security Protocols [link]Paper   doi   bibtex
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. SCOPUS
bibtex
MOC via TOC Using a Mobile Agent Framework. BISTARELLI, S.; FRASSI, S.; and VACCARELLI, A. In AUDIO AND VIDEO BASED BIOMETRIC PERSON AUTHENTICATION, PROCEEDINGS, volume 3546, pages 464–473, July 20-22, 2005. SPRINGER-VERLAG
MOC via TOC Using a Mobile Agent Framework [link]Paper   doi   bibtex
Biometrics to Enhance Smartcard Security. BELLA, G.; BISTARELLI, S.; and MARTINELLI, F. In SECURITY PROTOCOLS, volume 3364, pages 324–335, April 2-4, 2003 2005. SPRINGER-VERLAG
Biometrics to Enhance Smartcard Security [link]Paper   doi   bibtex
A protocol's life after attacks... BELLA, G.; and BISTARELLI, S. In SECURITY PROTOCOLS, volume 3364, pages 3–10, April 2-4, 2003 2005. SPRINGER-VERLAG
A protocol's life after attacks... [link]Paper   doi   bibtex
Interestingness is not a Dichotomy: Introducing Softness in Constrained Pattern Mining. BISTARELLI, S.; and BONCHI, F. In KNOWLEDGE DISCOVERY IN DATABASES: PKDD 2005, volume 3721, pages 22–33, October 3-7, 2005.
Interestingness is not a Dichotomy: Introducing Softness in Constrained Pattern Mining [link]Paper   doi   bibtex
An Asymmetric Fingerprint Matching Algorithm for Java Card. BISTARELLI, S.; SANTINI, F.; and A, V. In AUDIO AND VIDEO BASED BIOMETRIC PERSON AUTHENTICATION, PROCEEDINGS, volume 3546, pages 279–288, July 20-22, 2005. SPRINGER-VERLAG
An Asymmetric Fingerprint Matching Algorithm for Java Card [link]Paper   doi   bibtex
Multilevel Security and Quality of Protection. FOLEY, S. N.; BISTARELLI, S.; O'SULLIVAN, B.; HERBERT, J.; and SWART, G. In Quality Of Protection, Security Measurements and Metrics, volume 23, pages 93–105, September 15, 2005. Springer
Multilevel Security and Quality of Protection [link]Paper   doi   bibtex
Reasoning about Secure Interoperation using Soft Constraints. BISTARELLI, S.; FOLEY, S. N.; and OSULLIVAN, B. In Formal Aspects in Security and Trust, volume 173, pages 173–186, August 22-27, 2004 2005. Springer
Reasoning about Secure Interoperation using Soft Constraints [link]Paper   doi   bibtex
Proceedings of the 2005 ACM Symposium on Applied Computing - Constraint solving and programming track. BISTARELLI, S.; MONFROY, E.; and O'SULLIVAN, B. , editor s. ACM Press, 2005.
bibtex   buy
  2004 (12)
Soft Constraint Propagation and Solving in Constraint Handling Rules. BISTARELLI, S.; FRUEWIRTH, T.; MARTE, M.; and ROSSI, F. COMPUTATIONAL INTELLIGENCE, 20: 287–307. 2004.
Soft Constraint Propagation and Solving in Constraint Handling Rules [link]Paper   doi   bibtex
Soft Constraint Programming to Analysing Security Protocol. BELLA, G.; and BISTARELLI, S. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 4: 1–28. 2004.
Soft Constraint Programming to Analysing Security Protocol [link]Paper   doi   bibtex
Semirings for Soft Constraint Solving and Programming. BISTARELLI, S. Volume 2962 SPRINGER-VERLAG, Berlin – DEU, 2004.
Semirings for Soft Constraint Solving and Programming [link]Paper   doi   bibtex   buy
Abstracting Soft Constraints: Some experimental results on Fuzzy CSPs. BISTARELLI, S.; ROSSI, F.; and PILAN, I. In RECENT ADVANCES IN CONSTRAINTS, volume 3010, pages 107–123, June 30 - July 2, 2003 2004. SPRINGER-VERLAG
Abstracting Soft Constraints: Some experimental results on Fuzzy CSPs [link]Paper   doi   bibtex
Tradeoff Generation using Soft Constraints. BISTARELLI, S.; KELLEHER, J.; and O'SULLIVAN, B. In RECENT ADVANCES IN CONSTRAINTS, volume 3010, pages 124–139, June 30 - July 2, 2003 2004.
Tradeoff Generation using Soft Constraints [link]Paper   doi   bibtex
Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints. BISTARELLI, S.; FREUDER, E. C.; and OSULLIVAN, B. In Tools with Artificial Intelligence, 2004. ICTAI 2004. 16th IEEE International Conference on, pages 240–245, 15-17 November 2004. iEEE Computer Society
Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints [link]Paper   doi   bibtex
Advancing Assurance for Secure Distributed Communications. BELLA, G.; and BISTARELLI, S. In Information Assurance Workshop, 2004. Proceedings from the Fifth Annual IEEE SMC, pages 306–313, June 10-11 2004. IEEE Computer Society
Advancing Assurance for Secure Distributed Communications [link]Paper   doi   bibtex
Detecting and Eliminating the Cascade Vulnerability Problem from Multi-level Security Networks using Soft Constraints. BISTARELLI, S.; FOLEY, S. N.; and O'SULLIVAN, B. In Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, pages 808–813, July 25-29, 2004. AAAI Pres / The MIT Press
bibtex
Modelling and Detecting the Cascade Vulnerabiliy Problem using Soft Constraints. BISTARELLI, S.; FOLEY, S. N.; and O'SULLIVAN, B. In Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), pages 383–390, March 14-17, 2004. ACM Press
Modelling and Detecting the Cascade Vulnerabiliy Problem using Soft Constraints [link]Paper   doi   bibtex
Experimental Evaluation of Interchangeability in Soft CSPs. BISTARELLI, S.; NEAGU, N.; and FALTINGS, B. In Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, volume 3010, pages 140–153, June 30 - July 2, 2003 2004. Springer
Experimental Evaluation of Interchangeability in Soft CSPs [link]Paper   doi   bibtex
Confidentiality levels and deliberate/indeliberate protocol attacks. BELLA, G.; and BISTARELLI, S. In Security Protocols, 10th International Workshop, Revised Papers, volume 2845, pages 104–119, April 17-19, 2002 2004. Springer
Confidentiality levels and deliberate/indeliberate protocol attacks [link]Paper   doi   bibtex
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. , editor s. ACM Press, 2004.
bibtex   buy
  2003 (12)
General Properties and Termination Conditions for Soft Constraint Propagation. BISTARELLI, S.; GENNARI, R.; and ROSSI, F. CONSTRAINTS, 8: 79–97. 2003.
General Properties and Termination Conditions for Soft Constraint Propagation [link]Paper   doi   bibtex
Interchangeability in Soft CSPs. BISTARELLI, S.; and NEAGU, B. F. A. N. In RECENT ADVANCES IN CONSTRAINTS, volume 2627, pages 31–46, June 30 - July 2, 2003. SPRINGER-VERLAG
Interchangeability in Soft CSPs [link]Paper   doi   bibtex
A Theoretical Framework for Tradeoff Generation using Soft Constraints. BISTARELLI, S.; and O'SULLIVAN, B. In Research and Development in Intelligent Systems, volume XX, pages 69–82, 15th-17th December 2003.
bibtex
Symmetry Breaking in Soft CSPs. BISTARELLI, S.; KELEHER, J.; and O'SULLIVAN, B. In Research and Development in Intelligent Systems XX: AI 2003, volume 20, pages 199–212, 15th-17th December 2003. Springer-Verlag ISBN-13: 9781852337803
bibtex
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. BISTARELLI, S.; CODOGNET, P.; HUI, K. C.; and LEE, J. H. In Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, volume 2833, pages 138–152, September 29 - October 3, 2003. springer
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search [link]Paper   doi   bibtex
Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. BISTARELLI, S.; CERVESATO, I.; LENZINI, G.; and MARTINELLI, F. In COMPUTER NETWORK SECURITY, volume 2776, pages 88–101, September 21-23, 2003. Springer
Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols [link]Paper   doi   bibtex
A constraint framework for the qualitative analysis of dependability goals: Integrity. BISTARELLI, S.; and FOLEY, S. N. In Computer Safety, Reliability, and Security, 22nd International Conference, SAFECOMP 2003, volume 2788, pages 130–143, September 23-26, 2003. Springer
A constraint framework for the qualitative analysis of dependability goals: Integrity [link]Paper   doi   bibtex
On representing biological systems through multiset rewriting. MARTINELLI, F.; BISTARELLI, S.; CERVESATO, I.; LENZINI, G.; and MARANGONI, R. In COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2003, volume 2809, pages 415–426, February 24-28, 2003. Springer
On representing biological systems through multiset rewriting [link]Paper   doi   bibtex
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. BISTARELLI, S.; CODOGNET, P.; HUI, K. C.; and LEE, J. H. In IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, pages 1364–1365, August 9-15, 2003. Morgan Kaufmann
bibtex
Analysis of Integrity Policies using Soft Constraints. BISTARELLI, S.; and FOLEY, S. N. In 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), pages 77–80, 4-6 June 2003. IEEE Computer Society
Analysis of Integrity Policies using Soft Constraints [link]Paper   doi   bibtex
Computer Algebra for Fingerprint Matching. BISTARELLI, S.; BOFFI, G.; and ROSSI, F. In COMPUTATIONAL SCIENCE - ICCS 2003, PT I, PROCEEDINGS, volume 2657, pages 811–820, June 2-4, 2003. Springer
Computer Algebra for Fingerprint Matching [link]Paper   doi   bibtex
Interchangeability in Soft Constraint Satisfaction Problems. NEAGU, N.; BISTARELLI, S.; and FALTINGS, B. In Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, pages 187–191, May 12-14, 2003. AAAI PRESS
bibtex
  2002 (6)
Soft Constraint logic Programming and Generalized Shortest Path Problems. BISTARELLI, S.; MONTANARI, U.; and ROSSI, F. JOURNAL OF HEURISTICS, 8: 25–41. 2002. if: 0.655
Soft Constraint logic Programming and Generalized Shortest Path Problems [link]Paper   doi   bibtex
Abstracting soft constraints: Framework, properties, examples. BISTARELLI, S.; CODOGNET, P.; and ROSSI, F. ARTIFICIAL INTELLIGENCE, 139: 175–211. 2002. if: 1.769
Abstracting soft constraints: Framework, properties, examples [link]Paper   doi   bibtex
Interchangeability in Soft CSPs. BISTARELLI, S.; FALTINGS, B.; and NEAGU, N. In Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, volume 2470, pages 726–731, September 9-13, 2002. SPRINGER
Interchangeability in Soft CSPs [link]Paper   doi   bibtex
Soft Concurrent Constraint Programming. BISTARELLI, S.; MONTANARI, U.; and ROSSI, F. In PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, volume 2305, pages 53–67, April 8-12, 2002. springer
Soft Concurrent Constraint Programming [link]Paper   doi   bibtex
Soft Constraint Propagation and Solving in CHR. BISTARELLI, S.; FRWIRTH, T.; MARTE, M.; and ROSSI, F. In Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), pages 1–5, March 10-14, 2002. ACM Press
bibtex
Proceedings of the 2012 ACM Symposium on Applied Computing - A.I. and computational logic track. - ACM Press, 2002.
bibtex   buy
  2001 (2)
Semiring-Based Constraint Logic Programming: Syntax and Semantics. BISTARELLI, S.; MONTANARI, U.; and ROSSI, F. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 23: 1–29. 2001. if: 0.950
Semiring-Based Constraint Logic Programming: Syntax and Semantics [link]Paper   doi   bibtex   1 download
Soft Constraints for Security Protocol Analysis: Confidentiality. BELLA, G.; and BISTARELLI, S. In Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, volume 1990, pages 108–122, March 11-12, 2001. SPRINGER
Soft Constraints for Security Protocol Analysis: Confidentiality [link]Paper   doi   bibtex
  2000 (4)
An Abstraction Framework for Soft Constraint and Its Relationship with Constraint Propagation. BISTARELLI, S.; CODOGNET, P.; and ROSSI, F. In Abstraction, Reformulation, and Approximation, 4th International Symposium, SARA 2000, volume 1864, pages 71–86, July 26-29, 2000. SPRINGER
An Abstraction Framework for Soft Constraint and Its Relationship with Constraint Propagation [link]Paper   doi   bibtex
Constraint Propagation for Soft Constraint Satisfaction Problems: Generalization and Termination Conditions. BISTARELLI, S.; GENNARI, R.; and ROSSI, F. In Principles and Practice of Constraint Programming - CP 2000: 6th International Conference, volume 1894, pages 83–97, September 18-21, 2000. Springer
Constraint Propagation for Soft Constraint Satisfaction Problems: Generalization and Termination Conditions [link]Paper   doi   bibtex
Abstracting Soft Constraints. BISTARELLI, S.; CODOGNET, P.; GEORGET, Y.; and ROSSI, F. In New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Selected Papers, volume 1865, pages 108–133, October 25-27, 1999 2000. SPRINGER
Abstracting Soft Constraints [link]Paper   doi   bibtex
Labeling and Partial Local Consistency for Soft Constraint Programming. BISTARELLI, S.; CODOGNET, P.; GEORGET, Y.; and ROSSI, F. In PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, volume 1753, pages 230–248, January 2000. SPRINGER-VERLAG
Labeling and Partial Local Consistency for Soft Constraint Programming [link]Paper   doi   bibtex
  1999 (1)
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison. BISTARELLI, S.; FARGIER, H.; MONTANARI, U.; ROSSI, F.; SCHIEX, T.; and VERFAILLIE, G. CONSTRAINTS, 4: 199–240. 1999. if: NO (1.038) SCOPUS
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison [link]Paper   doi   bibtex
  1997 (2)
Semiring-based constraint satisfaction and optimization. BISTARELLI, S.; MONTANARI, U.; and ROSSI, F. JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY, 44: 201–236. 1997. if: (3.344)
Semiring-based constraint satisfaction and optimization [link]Paper   doi   bibtex
Semiring-based Constraint Logic Programming. BISTARELLI, S.; MONTANARI, U.; and ROSSI, F. In 15th International Joint Conference on Artificial Intelligence (IJCAI97),, pages 352–357, August 23-29, 1997.
bibtex
  1996 (1)
Over-Constrained Systems. 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. Lecture Notes in Computer Science
bibtex   buy
  1995 (1)
Constraint Solving over Semirings. BISTARELLI, S.; MONTANARI, U.; and ROSSI, F. In 14th International Joint Conference on Artificial Intelligence (IJCAI95),, volume 1, pages 624–630, August 20-25 1995.
bibtex
  undefined (1)
Proceedings of the 2011 ACM Symposium on Applied Computing - Constraint solving and programming track. BISTARELLI, S.; MONFROY, E.; and O'SULLIVAN., B. , editor s. .
bibtex   buy