Stefano Bistarelli

	2012
108		Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini: Local arc consistency for non-invertible semirings, with an application to multi-objective optimization. Expert Syst. Appl. 39(2): 1708-1717 (2012)
107		Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti, Francesco Santini: Evaluation of complex security scenarios using defense trees and economic indexes. J. Exp. Theor. Artif. Intell. 24(2): 161-192 (2012)
	2011
106		Stefano Bistarelli, Francesco Santini: ConArg: A Constraint-Based Computational Framework for Argumentation Systems. ICTAI 2011: 605-612
105		Stefano Bistarelli, Giorgio Gosti, Francesco Santini: Solving Fuzzy DCSPs with Naming Games. ICTAI 2011: 930-931
104		Stefano Bistarelli, Paola Campli, Francesco Santini: Finding partitions of arguments with Dung's properties via SCSPs. SAC 2011: 913-919
103		Stefano Bistarelli, Francesco Santini: Modeling and Solving AFs with a Constraint-Based Tool: ConArg. TAFA 2011: 99-116
102		Stefano Bistarelli, Francesco Santini: A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process. Fundam. Inform. 111(3): 257-279 (2011)
101		Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable: Uncertainty in bipolar preference problems. J. Exp. Theor. Artif. Intell. 23(4): 545-575 (2011)
	2010
100		Stefano Bistarelli, Fabio Martinelli, Francesco Santini: A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints. ATC 2010: 268-282
99		Stefano Bistarelli, Francesco Santini: A Common Computational Framework for Semiring-based Argumentation Systems. ECAI 2010: 131-136
98		Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini: Extending Soft Arc Consistency Algorithms to Non-invertible Semirings. MICAI (1) 2010: 386-398
97		Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini: Unicast and multicast QoS routing with soft-constraint logic programming. ACM Trans. Comput. Log. 12(1): 5 (2010)
96		Stefano Bistarelli, Giorgio Gosti: Solving Distributed CSPs Probabilistically. Fundam. Inform. 105(1-2): 57-78 (2010)
95		Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable: From soft constraints to bipolar preferences: modelling framework and solving issues. J. Exp. Theor. Artif. Intell. 22(2): 135-158 (2010)
94		Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini: Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria. Security and Communication Networks 3(6): 595-610 (2010)
	2009
93		Stefano Bistarelli, Daniele Pirolandi, Francesco Santini: Solving Weighted Argumentation Frameworks with Soft Constraints. CSCLP 2009: 1-18
92		Paola Campli, Stefano Bistarelli: Capturing Fair Computations on Concurrent Constraint Language. ICLP 2009: 559-560
91		Marco Bottalico, Stefano Bistarelli: Constraint Based Languages for Biological Reactions. ICLP 2009: 561-562
90		Stefano Bistarelli, Paola Campli: Fairness as a QoS Measure for Web Services YR-SOC 2009: 115-127
89		Stefano Bistarelli, Francesco Santini: Soft Constraints for Quality Aspects in Service Oriented Architectures YR-SOC 2009: 51-65
88		Stefano Bistarelli, Francesco Santini: A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation. Electr. Notes Theor. Comput. Sci. 236: 147-162 (2009)
87		Stefano Bistarelli, Philippe Codognet, H. K. C. Hui, Jimmy Ho-Man Lee: Solving finite domain constraint hierarchies by local consistency and tree search. J. Exp. Theor. Artif. Intell. 21(4): 233-257 (2009)
	2008
86		Stefano Bistarelli, Fabio Martinelli, Francesco Santini: Weighted Datalog and Levels of Trust. ARES 2008: 1128-1134
85		Stefano Bistarelli, Fabio Martinelli, Francesco Santini: A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily. ATC 2008: 481-495
84		Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini: Timed Soft Concurrent Constraint Programs. COORDINATION 2008: 50-66
83		Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini: From Marriages to Coalitions: A Soft CSP Approach. CSCLP 2008: 1-15
82		Stefano Bistarelli, Giorgio Gosti: Solving CSPs with Naming Games. CSCLP 2008: 16-32
81		Stefano Bistarelli, Francesca Rossi: Semiring-Based Soft Constraints. Concurrency, Graphs and Models 2008: 155-173
80		Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon: A Soft Approach to Multi-objective Optimization. ICLP 2008: 764-768
79		Stefano Bistarelli, Francesco Santini: A Formal and Practical Framework for Constraint-Based Routing. ICN 2008: 162-167
78		Stefano Bistarelli, Francesco Santini: Propagating multitrust within trust networks. SAC 2008: 1990-1994
77		Simon N. Foley, Giampaolo Bella, Stefano Bistarelli: Security Protocol Deployment Risk. Security Protocols Workshop 2008: 12-20
76		Stefano Bistarelli, Francesco Santini: Soft Constraints for Dependable Service Oriented Architectures. WADS 2008: 76-97
75		Stefano Bistarelli, Francesco Santini: C-semiring Frameworks for Minimum Spanning Tree Problems. WADT 2008: 56-70
74		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
73		Stefano Bistarelli, Pamela Peretti, Irina Trubitsyna: Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario. CP 2007: 773-781
72		Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable: Uncertainty in Bipolar Preference Problems. CP 2007: 782-789
71		Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan: Constraint Symmetry for the Soft CSP. CP 2007: 872-879
70		Stefano Bistarelli, Francesco Santini: SCLP for Trust Propagation in Small-World Networks. CSCLP 2007: 32-46
69		Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti: Using CP-nets as a guide for countermeasure selection. SAC 2007: 300-304
68		Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini: Unicast and Multicast Qos Routing with Soft Constraint Logic Programming CoRR abs/0704.1783: (2007)
67		Stefano Bistarelli, Francesco Bonchi: Soft constraint based pattern mining. Data Knowl. Eng. 62(1): 118-137 (2007)
66		Giampaolo Bella, Stefano Bistarelli, Pamela Peretti, Salvatore Riccobene: Augmented Risk Analysis. Electr. Notes Theor. Comput. Sci. 168: 207-220 (2007)
65		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
64		Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti: Defense trees for economic evaluation of security investments. ARES 2006: 416-423
63		Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable: Bipolar Preference Problems: Framework, Properties and Solving Techniques. CSCLP 2006: 78-92
62		Stefano Bistarelli, Fabio Gadducci: Enhancing Constraints Manipulation in Semiring-Based Formalisms. ECAI 2006: 63-67
61		Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable: Bipolar Preference Problems. ECAI 2006: 705-706
60		Stefano Bistarelli, Marco Dall'Aglio, Pamela Peretti: Strategic Games on Defense Trees. Formal Aspects in Security and Trust 2006: 1-15
59		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
58		Stefano Bistarelli, Francesco Bonchi: Extending the Soft Constraint Based Mining Paradigm. KDID 2006: 24-41
57		Stefano Bistarelli, Eric Monfroy, Barry O'Sullivan: Special track editorial: constraint solving and programming. SAC 2006: 392-393
56		Simon N. Foley, Stefano Bistarelli, Barry O'Sullivan, John Herbert, Garret Swart: Multilevel Security and Quality of Protection. Quality of Protection 2006: 93-105
55		Stefano Bistarelli, Ugo Montanari, Francesca Rossi: Soft concurrent constraint programming. ACM Trans. Comput. Log. 7(3): 563-589 (2006)
54		Giampaolo Bella, Stefano Bistarelli, Simon N. Foley: Soft Constraints for Security. Electr. Notes Theor. Comput. Sci. 142: 11-29 (2006)
53		Stefano Bistarelli, Francesca Rossi: Editorial. J. Heuristics 12(4-5): 239-240 (2006)
52		Stefano Bistarelli, Francesco Santini, Anna Vaccarelli: An asymmetric fingerprint matching algorithm for Java Card TM. Pattern Anal. Appl. 9(4): 359-376 (2006)
	2005
51		Stefano Bistarelli, Francesco Santini, Anna Vaccarelli: An Asymmetric Fingerprint Matching Algorithm for Java Card™. AVBPA 2005: 279-288
50		Stefano Bistarelli, Stefano Frassi, Anna Vaccarelli: MOC via TOC Using a Mobile Agent Framework. AVBPA 2005: 464-473
49		Stefano Bistarelli, Francesco Bonchi: Interestingness is Not a Dichotomy: Introducing Softness in Constrained Pattern Mining. PKDD 2005: 22-33
48		Stefano Bistarelli, Eric Monfroy, Barry O'Sullivan: Editorial: special track on constraint solving and programming. SAC 2005: 364-365
47		Giampaolo Bella, Stefano Bistarelli: Information Assurance for security protocols. Computers & Security 24(4): 322-333 (2005)
46		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)
45		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
44		Stefano Bistarelli: Semirings for Soft Constraint Solving and Programming Springer 2004
43		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
42		Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan: Reasoning about Secure Interoperation Using Soft Constraints. Formal Aspects in Security and Trust 2004: 173-186
41		Stefano Bistarelli, Eugene C. Freuder, Barry O'Sullivan: Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints. ICTAI 2004: 240-245
40		Chih-Cheng Hung, Agostinho C. Rosa, Stefano Bistarelli: Editorial message: special track on artificial intelligence, computational logic and image analysis. SAC 2004: 3-4
39		Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan: Modeling and detecting the cascade vulnerability problem using soft constraints. SAC 2004: 383-390
38		Stefano Bistarelli, Thom W. Frühwirth, Michael Marte, Francesca Rossi: Soft Constraint Propagation and Solving in Constraint Handling Rules. Computational Intelligence 20(2): 287-307 (2004)
37		Giampaolo Bella, Stefano Bistarelli: Soft Constraint Programming to Analysing Security Protocols. TPLP 4(5-6): 545-572 (2004)
	2003
36		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		Stefano Bistarelli, Francesca Rossi, Isabella Pilan: Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs. CSCLP 2003: 107-123
34		Stefano Bistarelli, Jerome Kelleher, Barry O'Sullivan: Tradeoff Generation Using Soft Constraints. CSCLP 2003: 124-139
33		Nicoleta Neagu, Stefano Bistarelli, Boi Faltings: Experimental Evaluation of Interchangeability in Soft CSPs. CSCLP 2003: 140-153
32		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		Stefano Bistarelli, Giandomenico Boffi, Fabio Rossi: Computer Algebra for Fingerprint Matching. International Conference on Computational Science 2003: 811-820
28		Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli: Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. MMM-ACNS 2003: 86-99
27		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		Stefano Bistarelli, Simon N. Foley: A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity. SAFECOMP 2003: 130-143
24		Giampaolo Bella, Stefano Bistarelli, Fabio Massacci: A Protocol's Life After Attacks.... Security Protocols Workshop 2003: 3-10
23		Giampaolo Bella, Stefano Bistarelli, Fabio Martinelli: Biometrics to Enhance Smartcard Security. Security Protocols Workshop 2003: 324-332
22		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		Stefano Bistarelli, Boi Faltings, Nicoleta Neagu: Interchangeability in Soft CSPs. CP 2002: 726-731
19		Stefano Bistarelli, Ugo Montanari, Francesca Rossi: Soft Concurrent Constraint Programming. ESOP 2002: 53-67
18		Stefano Bistarelli, Boi Faltings, Nicoleta Neagu: Interchangeability in Soft CSPs. International Workshop on Constraint Solving and Constraint Logic Programming 2002: 31-46
17		Stefano Bistarelli, Thom W. Frühwirth, Michael Marte: Soft constraint propagation and solving in CHRs. SAC 2002: 1-5
16		Giampaolo Bella, Stefano Bistarelli: Confidentiality Levels and Deliberate/Indeliberate Protocol Attacks. Security Protocols Workshop 2002: 104-119
15		Stefano Bistarelli, Philippe Codognet, Francesca Rossi: Abstracting soft constraints: Framework, properties, examples. Artif. Intell. 139(2): 175-211 (2002)
14		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		Giampaolo Bella, Stefano Bistarelli: Soft Constraints for Security Protocol Analysis: Confidentiality. PADL 2001: 108-122
11		Stefano Bistarelli, Ugo Montanari, Francesca Rossi: Semiring-based contstraint logic programming: syntax and semantics. ACM Trans. Program. Lang. Syst. 23(1): 1-29 (2001)
	2000
10		Stefano Bistarelli, Rosella Gennari, Francesca Rossi: Constraint Propagation for Soft Constraints: Generalization and Termination Conditions. CP 2000: 83-97
9		Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi: Labeling and Partial Local Consistency for Soft Constraint Programming. PADL 2000: 230-248
8		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		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		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

Coauthor Index

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

Colors in the list of coauthors

Last update Thu May 24 01:13:30 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page