dblp.uni-trier.dewww.uni-trier.de

Stefano Bistarelli Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
86EEPaola Campli, Stefano Bistarelli: Capturing Fair Computations on Concurrent Constraint Language. ICLP 2009: 559-560
85EEMarco Bottalico, Stefano Bistarelli: Constraint Based Languages for Biological Reactions. ICLP 2009: 561-562
84EEStefano Bistarelli, Paola Campli: Fairness as a QoS Measure for Web Services YR-SOC 2009: 115-127
83EEStefano Bistarelli, Francesco Santini: Soft Constraints for Quality Aspects in Service Oriented Architectures YR-SOC 2009: 51-65
82EEStefano Bistarelli, Francesco Santini: A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation. Electr. Notes Theor. Comput. Sci. 236: 147-162 (2009)
2008
81EEStefano Bistarelli, Fabio Martinelli, Francesco Santini: Weighted Datalog and Levels of Trust. ARES 2008: 1128-1134
80EEStefano Bistarelli, Fabio Martinelli, Francesco Santini: A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily. ATC 2008: 481-495
79EEStefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini: Timed Soft Concurrent Constraint Programs. COORDINATION 2008: 50-66
78EEStefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini: From Marriages to Coalitions: A Soft CSP Approach. CSCLP 2008: 1-15
77EEStefano Bistarelli, Giorgio Gosti: Solving CSPs with Naming Games. CSCLP 2008: 16-32
76EEStefano Bistarelli, Francesca Rossi: Semiring-Based Soft Constraints. Concurrency, Graphs and Models 2008: 155-173
75EEStefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon: A Soft Approach to Multi-objective Optimization. ICLP 2008: 764-768
74EEStefano Bistarelli, Francesco Santini: A Formal and Practical Framework for Constraint-Based Routing. ICN 2008: 162-167
73EEStefano Bistarelli, Francesco Santini: Propagating multitrust within trust networks. SAC 2008: 1990-1994
72EEStefano 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
71EEStefano Bistarelli, Pamela Peretti, Irina Trubitsyna: Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario. CP 2007: 773-781
70EEStefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable: Uncertainty in Bipolar Preference Problems. CP 2007: 782-789
69EEBarbara M. Smith, Stefano Bistarelli, Barry O'Sullivan: Constraint Symmetry for the Soft CSP. CP 2007: 872-879
68EEStefano Bistarelli, Francesco Santini: SCLP for Trust Propagation in Small-World Networks. CSCLP 2007: 32-46
67EEStefano Bistarelli, Fabio Fioravanti, Pamela Peretti: Using CP-nets as a guide for countermeasure selection. SAC 2007: 300-304
66EEStefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini: Unicast and Multicast Qos Routing with Soft Constraint Logic Programming CoRR abs/0704.1783: (2007)
65EEStefano Bistarelli, Francesco Bonchi: Soft constraint based pattern mining. Data Knowl. Eng. 62(1): 118-137 (2007)
64EEGiampaolo Bella, Stefano Bistarelli, Pamela Peretti, Salvatore Riccobene: Augmented Risk Analysis. Electr. Notes Theor. Comput. Sci. 168: 207-220 (2007)
63EEStefano 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
62EEStefano Bistarelli, Fabio Fioravanti, Pamela Peretti: Defense trees for economic evaluation of security investments. ARES 2006: 416-423
61EEStefano 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
58EEStefano Bistarelli, Marco Dall'Aglio, Pamela Peretti: Strategic Games on Defense Trees. Formal Aspects in Security and Trust 2006: 1-15
57EESimon 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
56EEStefano Bistarelli, Francesco Bonchi: Extending the Soft Constraint Based Mining Paradigm. KDID 2006: 24-41
55EEStefano Bistarelli, Eric Monfroy, Barry O'Sullivan: Special track editorial: constraint solving and programming. SAC 2006: 392-393
54EEStefano Bistarelli, Ugo Montanari, Francesca Rossi: Soft concurrent constraint programming. ACM Trans. Comput. Log. 7(3): 563-589 (2006)
53EEGiampaolo Bella, Stefano Bistarelli, Simon N. Foley: Soft Constraints for Security. Electr. Notes Theor. Comput. Sci. 142: 11-29 (2006)
52EEStefano Bistarelli, Francesca Rossi: Editorial. J. Heuristics 12(4-5): 239-240 (2006)
51EEStefano Bistarelli, Francesco Santini, Anna Vaccarelli: An asymmetric fingerprint matching algorithm for Java Card TM. Pattern Anal. Appl. 9(4): 359-376 (2006)
2005
50EEStefano Bistarelli, Francesco Santini, Anna Vaccarelli: An Asymmetric Fingerprint Matching Algorithm for Java Card™. AVBPA 2005: 279-288
49EEStefano Bistarelli, Stefano Frassi, Anna Vaccarelli: MOC via TOC Using a Mobile Agent Framework. AVBPA 2005: 464-473
48EEStefano Bistarelli, Francesco Bonchi: Interestingness is Not a Dichotomy: Introducing Softness in Constrained Pattern Mining. PKDD 2005: 22-33
47EEStefano Bistarelli, Eric Monfroy, Barry O'Sullivan: Editorial: special track on constraint solving and programming. SAC 2005: 364-365
46EEGiampaolo 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)
44EEStefano 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
41EEStefano Bistarelli, Simon N. Foley, Barry O'Sullivan: Reasoning about Secure Interoperation Using Soft Constraints. Formal Aspects in Security and Trust 2004: 173-186
40EEStefano Bistarelli, Eugene C. Freuder, Barry O'Sullivan: Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints. ICTAI 2004: 240-245
39EEChih-Cheng Hung, Agostinho C. Rosa, Stefano Bistarelli: Editorial message: special track on artificial intelligence, computational logic and image analysis. SAC 2004: 3-4
38EEStefano 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
36EEStefano 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
35EEStefano Bistarelli, Francesca Rossi, Isabella Pilan: Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs. CSCLP 2003: 107-123
34EEStefano Bistarelli, Jerome Kelleher, Barry O'Sullivan: Tradeoff Generation Using Soft Constraints. CSCLP 2003: 124-139
33EENicoleta Neagu, Stefano Bistarelli, Boi Faltings: Experimental Evaluation of Interchangeability in Soft CSPs. CSCLP 2003: 140-153
32EEStefano 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
29EEStefano Bistarelli, Giandomenico Boffi, Fabio Rossi: Computer Algebra for Fingerprint Matching. International Conference on Computational Science 2003: 811-820
28EEStefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli: Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. MMM-ACNS 2003: 86-99
27EEStefano 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
25EEStefano Bistarelli, Simon N. Foley: A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity. SAFECOMP 2003: 130-143
24EEGiampaolo Bella, Stefano Bistarelli, Fabio Massacci: A Protocol's Life After Attacks.... Security Protocols Workshop 2003: 3-10
23EEGiampaolo Bella, Stefano Bistarelli, Fabio Martinelli: Biometrics to Enhance Smartcard Security. Security Protocols Workshop 2003: 324-332
22EEGiampaolo 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
20EEStefano Bistarelli, Boi Faltings, Nicoleta Neagu: Interchangeability in Soft CSPs. CP 2002: 726-731
19EEStefano Bistarelli, Ugo Montanari, Francesca Rossi: Soft Concurrent Constraint Programming. ESOP 2002: 53-67
18EEStefano Bistarelli, Boi Faltings, Nicoleta Neagu: Interchangeability in Soft CSPs. International Workshop on Constraint Solving and Constraint Logic Programming 2002: 31-46
17EEStefano Bistarelli, Thom W. Frühwirth, Michael Marte: Soft constraint propagation and solving in CHRs. SAC 2002: 1-5
16EEGiampaolo Bella, Stefano Bistarelli: Confidentiality Levels and Deliberate/Indeliberate Protocol Attacks. Security Protocols Workshop 2002: 104-119
15EEStefano Bistarelli, Philippe Codognet, Francesca Rossi: Abstracting soft constraints: Framework, properties, examples. Artif. Intell. 139(2): 175-211 (2002)
14EEStefano 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
12EEGiampaolo Bella, Stefano Bistarelli: Soft Constraints for Security Protocol Analysis: Confidentiality. PADL 2001: 108-122
11EEStefano Bistarelli, Francesca Rossi: Semiring-based contstraint logic programming: syntax and semantics. ACM Trans. Program. Lang. Syst. 23(1): 1-29 (2001)
2000
10EEStefano Bistarelli, Rosella Gennari, Francesca Rossi: Constraint Propagation for Soft Constraints: Generalization and Termination Conditions. CP 2000: 83-97
9EEStefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi: Labeling and Partial Local Consistency for Soft Constraint Programming. PADL 2000: 230-248
8EEStefano 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
6EEStefano 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
3EEStefano 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

Coauthor Index

1Giampaolo Bella [12] [16] [22] [23] [24] [37] [46] [53] [64]
2Giandomenico Boffi [29]
3Francesco Bonchi [48] [56] [65]
4Marco Bottalico [85]
5Paola Campli [84] [86]
6Iliano Cervesato [28] [32] [45]
7Philippe Codognet [6] [7] [8] [9] [15] [30] [36]
8Marco Dall'Aglio [58]
9Boi Faltings [18] [20] [31] [33]
10Hélène Fargier [1] [5]
11Fabio Fioravanti [62] [67]
12William M. Fitzgerald [57]
13Mícheál Ó Foghlú [57]
14Simon N. Foley [25] [27] [38] [41] [42] [44] [53] [57] [78]
15Stefano Frassi [49]
16Eugene C. Freuder [40]
17Thom W. Frühwirth [17]
18Maurizio Gabbrielli [79]
19Fabio Gadducci [60] [75]
20Rosella Gennari [10] [21]
21Yan Georget [6] [7] [9]
22Giorgio Gosti [77]
23Kin Chuen Hui [30] [36]
24Chih-Cheng Hung [26] [39]
25Jerome Kelleher [34]
26Javier Larrosa [75]
27Jimmy Ho-Man Lee (J. H. M. Lee) [30] [36]
28Gabriele Lenzini [28] [32] [45]
29Roberto Marangoni [32]
30Michael Marte [17]
31Fabio Martinelli [23] [28] [32] [45] [80] [81]
32Fabio Massacci [24]
33Maria Chiara Meo [79]
34Eric Monfroy [47] [55]
35Ugo Montanari [1] [2] [3] [4] [5] [13] [14] [19] [54] [63] [66]
36Nicoleta Neagu [18] [20] [31] [33]
37Barry O'Sullivan [34] [38] [40] [41] [42] [44] [47] [55] [57] [69] [78]
38Pamela Peretti [58] [62] [64] [67] [71] [72]
39Isabella Pilan [35]
40Maria Silvia Pini [59] [61] [70]
41Salvatore Riccobene [64]
42Emma Rollon [75]
43Agostinho C. Rosa (Agostinho Cláudio da Rosa) [26] [39]
44Fabio Rossi [7] [29]
45Francesca Rossi [1] [2] [3] [4] [5] [6] [8] [9] [10] [11] [13] [14] [15] [19] [21] [35] [52] [54] [59] [61] [63] [66] [70] [76]
46Francesco Santini [50] [51] [63] [66] [68] [73] [74] [78] [79] [80] [81] [82] [83]
47Thomas Schiex [1] [5]
48Barbara M. Smith [69]
49Irina Trubitsyna [71] [72]
50Anna Vaccarelli [49] [50] [51]
51Kristen Brent Venable (Kristen B. Venable) [59] [61] [70]
52Gérard Verfaillie [1] [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)