Alessandra Russo

	2009
37		Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu: Multi-agent planning with confidentiality. AAMAS (2) 2009: 1275-1276
36		Robert Craven, Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil C. Lupu, Arosha K. Bandara: Expressive policy analysis with enhanced system dynamicity. ASIACCS 2009: 239-250
35		Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel: Learning operational requirements from goal models. ICSE 2009: 265-275
34		Tim Kimber, Krysia Broda, Alessandra Russo: Induction on Failure: Learning Connected Horn Theories. LPNMR 2009: 169-181
33		Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel: Using abduction and induction for operational requirements elaboration. J. Applied Logic 7(3): 275-288 (2009)
	2008
32		Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel: Deriving Non-zeno Behavior Models from Goal Models Using ILP. FASE 2008: 1-15
31		Salvatore Casale, Alessandra Russo, G. Scebba, Salvatore Serrano: Speech Emotion Classification Using Machine Learning Algorithms. ICSC 2008: 158-165
30		Jiefei Ma, Alessandra Russo, Krysia Broda, Keith Clark: DARE: a system for distributed abductive reasoning. Autonomous Agents and Multi-Agent Systems 16(3): 271-297 (2008)
	2007
29		Arosha K. Bandara, Alessandra Russo, Emil C. Lupu: Towards Learning Privacy Policies. POLICY 2007: 274
28		Salvatore Casale, Alessandra Russo, Salvatore Serrano: Multistyle classification of speech under stress using feature subset selection based on genetic algorithms. Speech Communication 49(10-11): 801-810 (2007)
	2006
27		Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo: Using Argumentation Logic for Firewall Policy Specification and Analysis. DSOM 2006: 185-196
26		Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel: Extracting Requirements from Scenarios with ILP. ILP 2006: 64-78
25		Marinos Charalambides, Paris Flegkas, George Pavlou, Javier Rubio-Loyola, Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Morris Sloman, Naranker Dulay: Dynamic Policy Analysis and Conflict Resolution for DiffServ Quality of Service Management. NOMS 2006: 294-304
24		Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel: Inferring operational requirements from scenarios and goal models using inductive learning. SCESM 2006: 29-36
	2005
23		Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Paris Flegkas, Marinos Charalambides, George Pavlou: Policy refinement for DiffServ quality of service management. Integrated Network Management 2005: 469-482
22		Marinos Charalambides, Paris Flegkas, George Pavlou, Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Javier Rubio-Loyola: Policy Conflict Analysis for Quality of Service Management. POLICY 2005: 99-108
21		William Heaven, Alessandra Russo: Enhancing the Alloy Analyzer with Patterns of Analysis. WLPE 2005: 14-30
20		Krysia Broda, Alessandra Russo: Compiled Labelled Deductive Systems for Access Control. We Will Show Them! (1) 2005: 309-338
19		William Heaven, Alessandra Russo: Enhancing the Alloy Analyzer with Patterns of Analysis CoRR abs/cs/0508109: (2005)
	2004
18		Oliver Ray, Krysia Broda, Alessandra Russo: Generalised Kernel Sets for Inverse Entailment. ICLP 2004: 165-179
17		Arosha K. Bandara, Emil Lupu, Jonathan D. Moffett, Alessandra Russo: A Goal-based Approach to Policy Refinement. POLICY 2004: 229-239
16		Odinaldo Rodrigues, Artur S. d'Avila Garcez, Alessandra Russo: Reasoning About Requirements Evolution Using Clustered Belief Revision. SBIA 2004: 41-51
15		Oliver Ray, Krysia Broda, Alessandra Russo: A Hybrid Abductive Inductive Proof Procedure. Logic Journal of the IGPL 12(5): 371-397 (2004)
	2003
14		Oliver Ray, Krysia Broda, Alessandra Russo: Hybrid Abductive Inductive Learning: A Generalisation of Progol. ILP 2003: 311-328
13		Arosha K. Bandara, Emil Lupu, Alessandra Russo: Using Event Calculus to Formalise Policy Specification and Analysis. POLICY 2003: 26-
12		Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer: Combining abductive reasoning and inductive learning to evolve requirements specifications. IEE Proceedings - Software 150(1): 25-38 (2003)
	2002
11		Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer: An Abductive Approach for Analysing Event-Based Requirements Specifications. ICLP 2002: 22-37
10		Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo: Labelled Natural Deduction for Conditional Logics of Normality. Logic Journal of the IGPL 10(2): 123-163 (2002)
	2001
9		Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer: An Analysis-Revision Cycle to Evolve Requirements Specifications. ASE 2001: 354-358
8		Bashar Nuseibeh, Steve M. Easterbrook, Alessandra Russo: Making inconsistency respectable in software development. Journal of Systems and Software 58(2): 171-180 (2001)
	2000
7		Bashar Nuseibeh, Steve M. Easterbrook, Alessandra Russo: Leveraging Inconsistency in Software Development. IEEE Computer 33(4): 24-29 (2000)
	1999
6		Alessandra Russo, Bashar Nuseibeh, Jeff Kramer: Restructuring requirement specifications. IEE Proceedings - Software 146(1): 44-50 (1999)
5		Krysia Broda, Marcelo Finger, Alessandra Russo: Labelled Natural Deduction for Substructural Logics. Logic Journal of the IGPL 7(3): 283-318 (1999)
	1998
4		Alessandra Russo, Bashar Nuseibeh, Jeff Kramer: Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study. ICRE 1998: 51-
	1997
3		Marcello D'Agostino, Dov M. Gabbay, Alessandra Russo: Grafting Modalities onto Substructural Implication Systems. Studia Logica 59(1): 65-102 (1997)
	1996
2		Alessandra Russo: Generalising Propositional Modal Logic Using Labelled Deductive Systems. Frontiers of Combining Systems (FroCos) 1996: 57-73
	1992
1		Fiorella de Rosis, Sebastiano Pizzutilo, Alessandra Russo, Dianne C. Berry, F. Javier Nicolau Molina: Modeling the User Knowledge by Belief Networks. User Model. User-Adapt. Interact. 2(4): 367-388 (1992)

Coauthor Index

1	Dalal Alrajeh	[24] [26] [32] [33] [35]
2	Arosha K. Bandara	[13] [17] [22] [23] [25] [27] [29] [36]
3	Dianne C. Berry	[1]
4	Krysia Broda	[5] [10] [14] [15] [18] [20] [30] [34] [37]
5	Salvatore Casale	[28] [31]
6	Marinos Charalambides	[22] [23] [25]
7	Keith Clark	[30]
8	Robert Craven	[36]
9	Marcello D'Agostino	[3]
10	Naranker Dulay	[22] [23] [25]
11	Steve M. Easterbrook	[7] [8]
12	Marcelo Finger	[5]
13	Paris Flegkas	[22] [23] [25]
14	Dov M. Gabbay	[3] [10]
15	Artur S. d'Avila Garcez	[9] [12] [16]
16	William Heaven	[19] [21]
17	Antonis C. Kakas	[27]
18	Tim Kimber	[34]
19	Jeff Kramer	[4] [6] [9] [11] [12] [35]
20	Luís C. Lamb (Luís da Cunha Lamb)	[10]
21	Jorge Lobo	[36]
22	Emil C. Lupu (Emil Lupu)	[13] [17] [22] [23] [25] [27] [29] [36] [37]
23	Jiefei Ma	[30] [36] [37]
24	Rob Miller (Robert Simon Miller)	[11]
25	Jonathan D. Moffett	[17]
26	F. Javier Nicolau Molina	[1]
27	Bashar Nuseibeh	[4] [6] [7] [8] [9] [11] [12]
28	George Pavlou	[22] [23] [25]
29	Sebastiano Pizzutilo	[1]
30	Oliver Ray	[14] [15] [18] [26] [33]
31	Odinaldo Rodrigues	[16]
32	Fiorella de Rosis	[1]
33	Javier Rubio-Loyola	[22] [25]
34	G. Scebba	[31]
35	Salvatore Serrano	[28] [31]
36	Morris Sloman	[22] [23] [25]
37	Sebastián Uchitel	[24] [26] [32] [33] [35]

Colors in the list of coauthors