Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 48.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000665 | Stefano Bistarelli [Italie] ; Fabio Martinelli [Italie] ; Francesco Santini [Pays-Bas] | A Semiring-based Framework for the Deduction/Abduction Reasoning in Access Control with Weighted Credentials |
| 000783 | Stefano Bistarelli [Italie] ; Daniele Pirolandi [Italie] ; Francesco Santini [Italie] | Solving Weighted Argumentation Frameworks with Soft Constraints |
| 000858 | Simon N. Foley [Irlande (pays)] ; Giampaolo Bella [France, Italie] ; Stefano Bistarelli [Italie] | Security Protocol Deployment Risk |
| 000A61 | Stefano Bistarelli [Italie] ; Fabio Martinelli [Italie] ; Francesco Santini [Italie] | A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction |
| 000B97 | Stefano Bistarelli [Italie] ; Fabio Gadducci [Italie] ; Javier Larrosa [États-Unis] ; Emma Rollon [États-Unis] ; Francesco Santini [Italie] | Extending Soft Arc Consistency Algorithms to Non-invertible Semirings |
| 000F00 | Stefano Bistarelli [Italie] ; Fabio Martinelli [Italie] ; Francesco Santini [Italie] | A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints |
| 001061 | Stefano Bistarelli [Italie] ; Giorgio Gosti [Italie] | Solving CSPs with Naming Games |
| 001070 | Stefano Bistarelli [Italie] ; Simon Foley [Irlande (pays)] ; Barry O Ullivan [Irlande (pays)] ; Francesco Santini [Italie] | From Marriages to Coalitions: A Soft CSP Approach |
| 001161 | Stefano Bistarelli [Italie] ; Francesco Santini [Italie] | Soft Constraints for Dependable Service Oriented Architectures |
| 001377 | Stefano Bistarelli [Italie] ; Francesco Santini [Italie] | C-semiring Frameworks for Minimum Spanning Tree Problems |
| 001681 | Stefano Bistarelli [Italie] ; Francesco Santini [Italie] | SCLP for Trust Propagation in Small-World Networks |
| 001736 | Stefano Bistarelli [Italie] ; Maurizio Gabbrielli [Italie] ; Maria Chiara Meo [Italie] ; Francesco Santini [Italie] | Timed Soft Concurrent Constraint Programs |
| 001932 | Stefano Bistarelli [Italie] ; Fabio Gadducci [Italie] ; Javier Larrosa [Espagne] ; Emma Rollon [Espagne] | A Soft Approach to Multi-objective Optimization |
| 001933 | Stefano Bistarelli [Italie] ; Fabio Martinelli [Italie] ; Francesco Santini [Italie] | A Semantic Foundation for Trust Management Languages with Weights: An Application to the RT Family |
| 001A42 | Barbara M. Smith [Royaume-Uni] ; Stefano Bistarelli [Italie] ; Barry O Ullivan [Irlande (pays)] | Constraint Symmetry for the Soft CSP |
| 001A68 | Stefano Bistarelli [Italie] ; Maria Silvia Pini [Italie] ; Francesca Rossi [Italie] ; K. Brent Venable [Italie] | Bipolar Preference Problems: Framework, Properties and Solving Techniques |
| 001B03 | Stefano Bistarelli [Italie] ; Maria Silvia Pini [Italie] ; Francesca Rossi [Italie] ; K. Brent Venable [Italie] | Uncertainty in Bipolar Preference Problems |
| 001B38 | Stefano Bistarelli [Italie] ; Marco Dall Glio [Italie] ; Pamela Peretti [Italie] | Strategic Games on Defense Trees |
| 001C48 | Stefano Bistarelli [Italie] ; Francesco Bonchi [Italie] | Extending the Soft Constraint Based Mining Paradigm |
| 001D10 | Stefano Bistarelli [Italie] ; Pamela Peretti [Italie] ; Irina Trubitsyna [Italie] | Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario |
| 001F82 | Simon N. Foley [Irlande (pays)] ; William Fitzgerald [Irlande (pays)] ; Stefano Bistarelli [Italie] ; Barry O Ullivan [Irlande (pays)] ; Mícheál Foghlú [Irlande (pays)] | Principles of Secure Network Configuration: Towards a Formal Basis for Self-configuration |
| 002335 | Giampaolo Bella [Royaume-Uni, Italie] ; Stefano Bistarelli [Italie] ; Fabio Massacci [Italie] | A Protocol’s Life After Attacks... |
| 002347 | Stefano Bistarelli [Italie] ; Francesco Bonchi [Italie] | Interestingness is Not a Dichotomy: Introducing Softness in Constrained Pattern Mining |
| 002499 | Stefano Bistarelli [Italie] ; Stefano Frassi [Italie] ; Anna Vaccarelli [Italie] | MOC via TOC Using a Mobile Agent Framework |
| 002606 | Giampaolo Bella [Royaume-Uni, Italie] ; Stefano Bistarelli [Italie] ; Fabio Martinelli [Italie] | Biometrics to Enhance Smartcard Security |
| 002625 | Stefano Bistarelli [Italie] ; Francesco Santini [Italie] ; Anna Vaccarelli [Italie] | An Asymmetric Fingerprint Matching Algorithm for Java CardTM |
| 002804 | Stefano Bistarelli [Italie] | 4. SCSP Abstraction |
| 002805 | Stefano Bistarelli [Italie] | 3. Towards SCSPs Solutions |
| 002806 | Stefano Bistarelli [Italie] | 2. Soft Constraint Satisfaction Problems |
| 002807 | Stefano Bistarelli [Italie] | 10. SCSPs for Modelling Attacks to Security Protocols |
| 002810 | Stefano Bistarelli [Italie] ; Jerome Kelleher [Irlande (pays)] ; Barry O Ullivan [Irlande (pays)] | Tradeoff Generation Using Soft Constraints |
| 002819 | Nicoleta Neagu [Suisse] ; Stefano Bistarelli [Italie] ; Boi Faltings [Suisse] | Experimental Evaluation of Interchangeability in Soft CSPs |
| 002823 | Stefano Bistarelli [Italie] ; Francesca Rossi [Italie] ; Isabella Pilan [Italie] | Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs |
| 002B19 | Giampaolo Bella [Royaume-Uni, Italie] ; Stefano Bistarelli [Italie] | Confidentiality Levels and Deliberate/Indeliberate Protocol Attacks |
| 002C21 | Stefano Bistarelli [Italie] | 9. Interchangeability in Soft CSPs |
| 002C22 | Stefano Bistarelli [Italie] | 8. Soft Concurrent Constraint Programming |
| 002C23 | Stefano Bistarelli [Italie] | 7. SCLP and Generalized Shortest Path Problems |
| 002C24 | Stefano Bistarelli [Italie] | 6. Soft CLP |
| 002C25 | Stefano Bistarelli [Italie] | 5. Higher Order Semiring-Based Constraints |
| 002C26 | Stefano Bistarelli [Italie] | 11. Conclusions and Directions for Future Work |
| 002C27 | Stefano Bistarelli [Italie] | 1. Introduction |
| 002E46 | Stefano Bistarelli [Italie] ; Philippe Codognet [France] ; Kin-Chuen Hui [République populaire de Chine, Hong Kong] ; Jimmy Ho Man Lee [République populaire de Chine, Hong Kong] | Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search |
| 002E64 | Stefano Bistarelli [Italie] ; Iliano Cervesato [États-Unis] ; Gabriele Lenzini [Italie] ; Fabio Martinelli [Italie] | Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols |
| 002F37 | Stefano Bistarelli [Italie] ; Boi Faltings [Suisse] ; Nicoleta Neagu [Suisse] | Interchangeability in Soft CSPs |
| 003016 | Stefano Bistarelli [Italie] ; Giandomenico Boffi [Italie] ; Fabio Rossi [Italie] | Computer Algebra for Fingerprint Matching |
| 003063 | Stefano Bistarelli [Italie] ; Simon N. Foley [Irlande (pays)] | A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity |
| 003285 | Stefano Bistarelli [Italie] ; Ugo Montanari [Italie] ; Francesca Rossi [Italie] | Soft Concurrent Constraint Programming |
| 003413 | Stefano Bistarelli [Italie] ; Boi Faltings [Suisse] ; Nicoleta Neagu [Suisse] | Interchangeability in Soft CSPs |
| This area was generated with Dilib version V0.6.31. |  |