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   bibtex
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   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   bibtex
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   bibtex   1 download
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   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   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   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   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   bibtex
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   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   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   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   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   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   bibtex
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   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   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   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   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   bibtex
Solving Distributed CSPs Probabilistically BISTARELLI, S.; and Gosti, G. FUNDAMENTA INFORMATICAE, 105:57--78. 2010.
Solving Distributed CSPs Probabilistically [link]Paper   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   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   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   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   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   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   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   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   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   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   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   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   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   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   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   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   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, 3–4 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   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   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   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   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   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   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   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   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   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   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   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   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   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   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   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   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   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   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   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   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   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   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   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   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   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   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   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   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   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   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   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   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   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   bibtex
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   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   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   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   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   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   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   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