| 2009 |
|---|
| 80 | EE | Stefano Bistarelli,
Francesco Santini:
A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation.
Electr. Notes Theor. Comput. Sci. 236: 147-162 (2009) |
| 2008 |
|---|
| 79 | EE | Stefano Bistarelli,
Fabio Martinelli,
Francesco Santini:
Weighted Datalog and Levels of Trust.
ARES 2008: 1128-1134 |
| 78 | EE | Stefano Bistarelli,
Fabio Martinelli,
Francesco Santini:
A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily.
ATC 2008: 481-495 |
| 77 | EE | Stefano Bistarelli,
Maurizio Gabbrielli,
Maria Chiara Meo,
Francesco Santini:
Timed Soft Concurrent Constraint Programs.
COORDINATION 2008: 50-66 |
| 76 | EE | Stefano Bistarelli,
Francesca Rossi:
Semiring-Based Soft Constraints.
Concurrency, Graphs and Models 2008: 155-173 |
| 75 | EE | Stefano Bistarelli,
Fabio Gadducci,
Javier Larrosa,
Emma Rollon:
A Soft Approach to Multi-objective Optimization.
ICLP 2008: 764-768 |
| 74 | EE | Stefano Bistarelli,
Francesco Santini:
A Formal and Practical Framework for Constraint-Based Routing.
ICN 2008: 162-167 |
| 73 | EE | Stefano Bistarelli,
Francesco Santini:
Propagating multitrust within trust networks.
SAC 2008: 1990-1994 |
| 72 | EE | Stefano Bistarelli,
Pamela Peretti,
Irina Trubitsyna:
Analyzing Security Scenarios Using Defence Trees and Answer Set Programming.
Electr. Notes Theor. Comput. Sci. 197(2): 121-129 (2008) |
| 2007 |
|---|
| 71 | EE | Stefano Bistarelli,
Pamela Peretti,
Irina Trubitsyna:
Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario.
CP 2007: 773-781 |
| 70 | EE | Stefano Bistarelli,
Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable:
Uncertainty in Bipolar Preference Problems.
CP 2007: 782-789 |
| 69 | EE | Barbara M. Smith,
Stefano Bistarelli,
Barry O'Sullivan:
Constraint Symmetry for the Soft CSP.
CP 2007: 872-879 |
| 68 | EE | Stefano Bistarelli,
Francesco Santini:
SCLP for Trust Propagation in Small-World Networks.
CSCLP 2007: 32-46 |
| 67 | EE | Stefano Bistarelli,
Fabio Fioravanti,
Pamela Peretti:
Using CP-nets as a guide for countermeasure selection.
SAC 2007: 300-304 |
| 66 | EE | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi,
Francesco Santini:
Unicast and Multicast Qos Routing with Soft Constraint Logic Programming
CoRR abs/0704.1783: (2007) |
| 65 | EE | Stefano Bistarelli,
Francesco Bonchi:
Soft constraint based pattern mining.
Data Knowl. Eng. 62(1): 118-137 (2007) |
| 64 | EE | Giampaolo Bella,
Stefano Bistarelli,
Pamela Peretti,
Salvatore Riccobene:
Augmented Risk Analysis.
Electr. Notes Theor. Comput. Sci. 168: 207-220 (2007) |
| 63 | EE | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi,
Francesco Santini:
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming.
Electr. Notes Theor. Comput. Sci. 190(3): 111-127 (2007) |
| 2006 |
|---|
| 62 | EE | Stefano Bistarelli,
Fabio Fioravanti,
Pamela Peretti:
Defense trees for economic evaluation of security investments.
ARES 2006: 416-423 |
| 61 | EE | Stefano Bistarelli,
Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable:
Bipolar Preference Problems: Framework, Properties and Solving Techniques.
CSCLP 2006: 78-92 |
| 60 | | Stefano Bistarelli,
Fabio Gadducci:
Enhancing Constraints Manipulation in Semiring-Based Formalisms.
ECAI 2006: 63-67 |
| 59 | | Stefano Bistarelli,
Maria Silvia Pini,
Francesca Rossi,
Kristen Brent Venable:
Bipolar Preference Problems.
ECAI 2006: 705-706 |
| 58 | EE | Stefano Bistarelli,
Marco Dall'Aglio,
Pamela Peretti:
Strategic Games on Defense Trees.
Formal Aspects in Security and Trust 2006: 1-15 |
| 57 | EE | Simon N. Foley,
William M. Fitzgerald,
Stefano Bistarelli,
Barry O'Sullivan,
Mícheál Ó Foghlú:
Principles of Secure Network Configuration: Towards a Formal Basis for Self-configuration.
IPOM 2006: 168-180 |
| 56 | EE | Stefano Bistarelli,
Francesco Bonchi:
Extending the Soft Constraint Based Mining Paradigm.
KDID 2006: 24-41 |
| 55 | EE | Stefano Bistarelli,
Eric Monfroy,
Barry O'Sullivan:
Special track editorial: constraint solving and programming.
SAC 2006: 392-393 |
| 54 | EE | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi:
Soft concurrent constraint programming.
ACM Trans. Comput. Log. 7(3): 563-589 (2006) |
| 53 | EE | Giampaolo Bella,
Stefano Bistarelli,
Simon N. Foley:
Soft Constraints for Security.
Electr. Notes Theor. Comput. Sci. 142: 11-29 (2006) |
| 52 | EE | Stefano Bistarelli,
Francesca Rossi:
Editorial.
J. Heuristics 12(4-5): 239-240 (2006) |
| 51 | EE | Stefano Bistarelli,
Francesco Santini,
Anna Vaccarelli:
An asymmetric fingerprint matching algorithm for Java Card TM.
Pattern Anal. Appl. 9(4): 359-376 (2006) |
| 2005 |
|---|
| 50 | EE | Stefano Bistarelli,
Francesco Santini,
Anna Vaccarelli:
An Asymmetric Fingerprint Matching Algorithm for Java Card™.
AVBPA 2005: 279-288 |
| 49 | EE | Stefano Bistarelli,
Stefano Frassi,
Anna Vaccarelli:
MOC via TOC Using a Mobile Agent Framework.
AVBPA 2005: 464-473 |
| 48 | EE | Stefano Bistarelli,
Francesco Bonchi:
Interestingness is Not a Dichotomy: Introducing Softness in Constrained Pattern Mining.
PKDD 2005: 22-33 |
| 47 | EE | Stefano Bistarelli,
Eric Monfroy,
Barry O'Sullivan:
Editorial: special track on constraint solving and programming.
SAC 2005: 364-365 |
| 46 | EE | Giampaolo Bella,
Stefano Bistarelli:
Information Assurance for security protocols.
Computers & Security 24(4): 322-333 (2005) |
| 45 | | Stefano Bistarelli,
Iliano Cervesato,
Gabriele Lenzini,
Fabio Martinelli:
Relating multiset rewriting and process algebras for security protocol analysis.
Journal of Computer Security 13(1): 3-47 (2005) |
| 44 | EE | Stefano Bistarelli,
Simon N. Foley,
Barry O'Sullivan:
A soft constraint-based approach to the cascade vulnerability problem.
Journal of Computer Security 13(5): 699-720 (2005) |
| 2004 |
|---|
| 43 | | Stefano Bistarelli:
Semirings for Soft Constraint Solving and Programming
Springer 2004 |
| 42 | | Stefano Bistarelli,
Simon N. Foley,
Barry O'Sullivan:
Detecting and Eliminating the Cascade Vulnerability Problem from Multilevel Security Networks Using Soft Constraints.
AAAI 2004: 808-813 |
| 41 | EE | Stefano Bistarelli,
Simon N. Foley,
Barry O'Sullivan:
Reasoning about Secure Interoperation Using Soft Constraints.
Formal Aspects in Security and Trust 2004: 173-186 |
| 40 | EE | Stefano Bistarelli,
Eugene C. Freuder,
Barry O'Sullivan:
Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints.
ICTAI 2004: 240-245 |
| 39 | EE | Chih-Cheng Hung,
Agostinho C. Rosa,
Stefano Bistarelli:
Editorial message: special track on artificial intelligence, computational logic and image analysis.
SAC 2004: 3-4 |
| 38 | EE | Stefano Bistarelli,
Simon N. Foley,
Barry O'Sullivan:
Modeling and detecting the cascade vulnerability problem using soft constraints.
SAC 2004: 383-390 |
| 37 | | Giampaolo Bella,
Stefano Bistarelli:
Soft Constraint Programming to Analysing Security Protocols.
TPLP 4(5-6): 545-572 (2004) |
| 2003 |
|---|
| 36 | EE | Stefano Bistarelli,
Philippe Codognet,
Kin Chuen Hui,
Jimmy Ho-Man Lee:
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search.
CP 2003: 138-152 |
| 35 | EE | Stefano Bistarelli,
Francesca Rossi,
Isabella Pilan:
Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs.
CSCLP 2003: 107-123 |
| 34 | EE | Stefano Bistarelli,
Jerome Kelleher,
Barry O'Sullivan:
Tradeoff Generation Using Soft Constraints.
CSCLP 2003: 124-139 |
| 33 | EE | Nicoleta Neagu,
Stefano Bistarelli,
Boi Faltings:
Experimental Evaluation of Interchangeability in Soft CSPs.
CSCLP 2003: 140-153 |
| 32 | EE | Stefano Bistarelli,
Iliano Cervesato,
Gabriele Lenzini,
Roberto Marangoni,
Fabio Martinelli:
On Representing Biological Systems through Multiset Rewriting.
EUROCAST 2003: 415-426 |
| 31 | | Nicoleta Neagu,
Stefano Bistarelli,
Boi Faltings:
On the Computation of Local Interchangeability in Soft Constraint Satisfaction Problems.
FLAIRS Conference 2003: 187-191 |
| 30 | | Stefano Bistarelli,
Philippe Codognet,
Kin Chuen Hui,
Jimmy Ho-Man Lee:
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search.
IJCAI 2003: 1364-1365 |
| 29 | EE | Stefano Bistarelli,
Giandomenico Boffi,
Fabio Rossi:
Computer Algebra for Fingerprint Matching.
International Conference on Computational Science 2003: 811-820 |
| 28 | EE | Stefano Bistarelli,
Iliano Cervesato,
Gabriele Lenzini,
Fabio Martinelli:
Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols.
MMM-ACNS 2003: 86-99 |
| 27 | EE | Stefano Bistarelli,
Simon N. Foley:
Analysis of Integrity Policies using Soft Constraints.
POLICY 2003: 77-80 |
| 26 | | Chih-Cheng Hung,
Agostinho C. Rosa,
Stefano Bistarelli:
AI and Computational Science Track Editorial.
SAC 2003: 1 |
| 25 | EE | Stefano Bistarelli,
Simon N. Foley:
A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity.
SAFECOMP 2003: 130-143 |
| 24 | EE | Giampaolo Bella,
Stefano Bistarelli,
Fabio Massacci:
A Protocol's Life After Attacks....
Security Protocols Workshop 2003: 3-10 |
| 23 | EE | Giampaolo Bella,
Stefano Bistarelli,
Fabio Martinelli:
Biometrics to Enhance Smartcard Security.
Security Protocols Workshop 2003: 324-332 |
| 22 | EE | Giampaolo Bella,
Stefano Bistarelli:
Soft Constraint Programming to Analysing Security Protocols
CoRR cs.CR/0312025: (2003) |
| 21 | | Stefano Bistarelli,
Rosella Gennari,
Francesca Rossi:
General Properties and Termination Conditions for Soft Constraint Propagation.
Constraints 8(1): 79-97 (2003) |
| 2002 |
|---|
| 20 | EE | Stefano Bistarelli,
Boi Faltings,
Nicoleta Neagu:
Interchangeability in Soft CSPs.
CP 2002: 726-731 |
| 19 | EE | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi:
Soft Concurrent Constraint Programming.
ESOP 2002: 53-67 |
| 18 | EE | Stefano Bistarelli,
Boi Faltings,
Nicoleta Neagu:
Interchangeability in Soft CSPs.
International Workshop on Constraint Solving and Constraint Logic Programming 2002: 31-46 |
| 17 | EE | Stefano Bistarelli,
Thom W. Frühwirth,
Michael Marte:
Soft constraint propagation and solving in CHRs.
SAC 2002: 1-5 |
| 16 | EE | Giampaolo Bella,
Stefano Bistarelli:
Confidentiality Levels and Deliberate/Indeliberate Protocol Attacks.
Security Protocols Workshop 2002: 104-119 |
| 15 | EE | Stefano Bistarelli,
Philippe Codognet,
Francesca Rossi:
Abstracting soft constraints: Framework, properties, examples.
Artif. Intell. 139(2): 175-211 (2002) |
| 14 | EE | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi:
Soft Concurrent Constraint Programming
CoRR cs.PL/0208008: (2002) |
| 13 | | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi:
Soft Constraint Logic Programming and Generalized Shortest Path Problems.
J. Heuristics 8(1): 25-41 (2002) |
| 2001 |
|---|
| 12 | EE | Giampaolo Bella,
Stefano Bistarelli:
Soft Constraints for Security Protocol Analysis: Confidentiality.
PADL 2001: 108-122 |
| 11 | EE | Stefano Bistarelli,
Francesca Rossi:
Semiring-based contstraint logic programming: syntax and semantics.
ACM Trans. Program. Lang. Syst. 23(1): 1-29 (2001) |
| 2000 |
|---|
| 10 | EE | Stefano Bistarelli,
Rosella Gennari,
Francesca Rossi:
Constraint Propagation for Soft Constraints: Generalization and Termination Conditions.
CP 2000: 83-97 |
| 9 | EE | Stefano Bistarelli,
Philippe Codognet,
Yan Georget,
Francesca Rossi:
Labeling and Partial Local Consistency for Soft Constraint Programming.
PADL 2000: 230-248 |
| 8 | EE | Stefano Bistarelli,
Philippe Codognet,
Francesca Rossi:
An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation.
SARA 2000: 71-86 |
| 1999 |
|---|
| 7 | | Stefano Bistarelli,
Philippe Codognet,
Yan Georget,
Fabio Rossi:
Labeling and Partial Arc Consistency for Soft Constraints.
APPIA-GULP-PRODE 1999: 121-136 |
| 6 | EE | Stefano Bistarelli,
Philippe Codognet,
Yan Georget,
Francesca Rossi:
Abstracting Soft Constraints.
New Trends in Constraints 1999: 108-133 |
| 5 | | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi,
Thomas Schiex,
Gérard Verfaillie,
Hélène Fargier:
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison.
Constraints 4(3): 199-240 (1999) |
| 1997 |
|---|
| 4 | | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi:
Semiring-based Constraint Logic Programming.
IJCAI (1) 1997: 352-357 |
| 3 | EE | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi:
Semiring-based constraint satisfaction and optimization.
J. ACM 44(2): 201-236 (1997) |
| 1995 |
|---|
| 2 | | Stefano Bistarelli,
Ugo Montanari,
Francesca Rossi:
Constraint Solving over Semirings.
IJCAI (1) 1995: 624-630 |
| 1 | | Stefano Bistarelli,
Hélène Fargier,
Ugo Montanari,
Francesca Rossi,
Thomas Schiex,
Gérard Verfaillie:
Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison.
Over-Constrained Systems 1995: 111-150 |
