| 2011 |
|---|
| 24 | Multi-agent abductive reasoning with confidentiality. Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu. AAMAS 2011, 1137-1138. Web SearchBibTeXDownload |
| 23 | Policy refinement: Decomposition and operationalization for dynamic domains. Robert Craven, Jorge Lobo, Emil Lupu, Alessandra Russo, Morris Sloman. CNSM 2011, 1-9. Web SearchBibTeXDownload |
| 22 | Multi-agent Confidential Abductive Reasoning. Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu. ICLP (Technical Communications) 2011, 175-186. Web SearchBibTeXDownload |
| 21 | Refinement of History-Based Policies. Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil Lupu, Seraphin B. Calo, Morris Sloman. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011, 280-299. Web SearchBibTeXDownload |
| 2010 |
|---|
| 20 | Distributed abductive reasoning with constraints. Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu. AAMAS 2010, 1381-1382. Web SearchBibTeXDownload |
| 19 | Revising Process Models through Inductive Learning. Fabrizio Maria Maggi, Domenico Corapi, Alessandra Russo, Emil Lupu, Giuseppe Visaggio. Business Process Management Workshops 2010, 182-193. Web SearchBibTeXDownload |
| 18 | Speculative Abductive Reasoning for Hierarchical Agent Systems. Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, Ken Satoh. CLIMA 2010, 49-64. Web SearchBibTeXDownload |
| 17 | Decomposition techniques for policy refinement. Robert Craven, Jorge Lobo, Emil C. Lupu, Alessandra Russo, Morris Sloman. CNSM 2010, 72-79. Web SearchBibTeXDownload |
| 16 | Distributed Abductive Reasoning with Constraints. Jiefei Ma, Krysia Broda, Alessandra Russo, Emil Lupu. DALT 2010, 148-166. Web SearchBibTeXDownload |
| 15 | Inductive Logic Programming as Abductive Search. Domenico Corapi, Alessandra Russo, Emil Lupu. ICLP (Technical Communications) 2010, 54-63. Web SearchBibTeXDownload |
| 2009 |
|---|
| 14 | Multi-agent planning with confidentiality. Jiefei Ma, Alessandra Russo, Krysia Broda, Emil Lupu. AAMAS (2) 2009, 1275-1276. Web SearchBibTeXDownload |
| 13 | Expressive policy analysis with enhanced system dynamicity. Robert Craven, Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil C. Lupu, Arosha K. Bandara. ASIACCS 2009, 239-250. Cited by 5Web SearchBibTeXDownload |
| 12 | Policy conflict analysis for diffserv quality of service management. Marinos Charalambides, Paris Flegkas, George Pavlou, Javier Rubio-Loyola, Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman. IEEE Transactions on Network and Service Management (6): 15-30 (2009). Web SearchBibTeXDownload |
| 11 | Using argumentation logic for firewall configuration management. Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo. Integrated Network Management 2009, 180-187. Web SearchBibTeXDownload |
| 2006 |
|---|
| 10 | Using Argumentation Logic for Firewall Policy Specification and Analysis. Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo. DSOM 2006, 185-196. Web SearchBibTeXDownload |
| 9 | Policy refinement for IP differentiated services Quality of Service management. Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Paris Flegkas, Marinos Charalambides, George Pavlou. IEEE Transactions on Network and Service Management (3): 2-13 (2006). Web SearchBibTeXDownload |
| 8 | Dynamic Policy Analysis and Conflict Resolution for DiffServ Quality of Service Management. Marinos Charalambides, Paris Flegkas, George Pavlou, Javier Rubio-Loyola, Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Morris Sloman, Naranker Dulay. NOMS 2006, 294-304. Web SearchBibTeXDownload |
| 2005 |
|---|
| 7 | Policy refinement for DiffServ quality of service management. Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Paris Flegkas, Marinos Charalambides, George Pavlou. Integrated Network Management 2005, 469-482. Web SearchBibTeXDownload |
| 6 | Policy Conflict Analysis for Quality of Service Management. Marinos Charalambides, Paris Flegkas, George Pavlou, Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Javier Rubio-Loyola. POLICY 2005, 99-108. Web SearchBibTeXDownload |
| 2004 |
|---|
| 5 | A Goal-based Approach to Policy Refinement. Arosha K. Bandara, Emil Lupu, Jonathan D. Moffett, Alessandra Russo. POLICY 2004, 229-239. Web SearchBibTeXDownload |
| 2003 |
|---|
| 4 | Using Event Calculus to Formalise Policy Specification and Analysis. Arosha K. Bandara, Emil Lupu, Alessandra Russo. POLICY 2003, 26. Web SearchBibTeXDownload |
| 2002 |
|---|
| 3 | Labelled Natural Deduction for Conditional Logics of Normality. Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo. Logic Journal of the IGPL (10): 123-163 (2002). Web SearchBibTeXDownload |
| 1999 |
|---|
| 2 | Labelled Natural Deduction for Substructural Logics. Krysia Broda, Marcelo Finger, Alessandra Russo. Logic Journal of the IGPL (7): 283-318 (1999). Web SearchBibTeXDownload |
| 1997 |
|---|
| 1 | Grafting Modalities onto Substructural Implication Systems. Marcello D'Agostino, Dov M. Gabbay, Alessandra Russo. Studia Logica (59): 65-102 (1997). Web SearchBibTeXDownload |
