Faculty of Engineering: Department of Computing

Selected Papers: Dr Alessandra Russo

Email: <ar3 AT SPAMFREE doc DOT ic DOT ac DOT uk>

/AllPapers   /PublicationByTopics   /Research   /ResearchProjects   /SelectedPublications  

Books

  1. Krysia Broda, Dov Gabbay, Luis Lamb, Alessandra Russo, Compiled Labelled Deductive Systems: A Uniform Presentation of Non-Classical Logics (2004), Research Study Press, 2004, ISBN: 0863802966, More>

Book Chapters

  1. Krysia Broda, Alessandra Russo, Compiled Labelled Deductive Systems for Access Control (2005) in We Will Show Them: Essays in Honour of Dov Gabbay, College Publications, 2005, More>

  2. Alessandra Russo, Bashar Nuseibeh, On the Use of Logical Abduction in Software Engineering. in Handbook of Software Engineering and Knowledge Engineering, World Scientific, 2001-12, More>

  3. Krysia Broda, Alessandra Russo, Dov Gabbay, A Unified Compilation Style Natural Deduction System for Modal, Substructural and Fuzzy Logics in Discovering World with Fuzzy Logic: Perspectives and Approaches to Formalization of Human-consistent Logical Systems, Springer-Verlag, 2000-11, ISBN: 3-7908-1330-3, More>

  4. Dov Gabbay, Odinaldo Rodrigues, Alessandra Russo, Revision by Transformation in Information, Uncertainty and Fusion, Kluwer Academic Publishers, 2000, ISBN: 079238590X, More>

  5. Krysia Broda, Marcello D'Agostino, Alessandra Russo, Transformation methods in LDS in Essays in Honour of Dov Gabbay, Kluwer Academic Publishers, 1999, More>

  6. Dov Gabbay, Odinaldo Rodrigues, Alessandra Russo, Revision by Translation in JFAK. Essays Dedicated to Johan van Benthem, Amsterdam University Press, 1999, More>

Journal Articles

  1. Arosha Bandara, Emil Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Paris Flegkas, Marinos Charalambides, George Pavlou, Policy Refinement for DiffServ Quality of Service Management (2006) in e-Transactions on Network and Service Management, IEEE, 2006, More>

  2. Oliver Ray, Krysia Broda, Alessandra Russo, A Hybrid Abductive Inductive Proof Procedure in Logic Journal of the IGPL, Oxford University Press, 2004-12, More>

  3. Artur d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer, Combining Abductive Reasoning and Inductive Learning to Evolve Requirements Specifications (2003), IEE, 2003-02, More>

  4. Krysia Broda, Luis Lamb, Alessandra Russo, Dov Gabbay, Labelled Natural Deduction for Conditional Logic of Normality. in Logic Journal of the IGPL, Oxford University Press, 2002-03, More>

  5. Bashar Nuseibeh, Steve Easterbrook, Alessandra Russo, Making Inconsistency Respectable in Software Development. in Journal of Systems and Software, Elsevier Science Bv, 2001-11, More>

  6. Bashar Nuseibeh, Steve Easterbrook, Alessandra Russo, Leveraging Inconsistency in Software Development in IEEE Computer, IEEE Computer Society Press, 2000, More>

  7. Krysia Broda, Marcelo Finger, Alessandra Russo, Labelled Natural Deduction for Substructural Logics in Logic Journal of the IGPL, Oxford University Press, 1999, More>

  8. Alessandra Russo, Using Abduction to Evolve Inconsistent Requirements Specifications in Australian Information Systems Journal, 1999, More>

  9. Alessandra Russo, Bashar Nuseibeh, Jeff Kramer, Restructuring Requirements Specifications in IEE Proceedings - Software, IEE, 1999, More>

  10. Marcello D'Agostino, Dov Gabbay, Alessandra Russo, Grafting Modalities onto Substructural Implication Systems in Studia Logica, Kluwer Academic Publishers, 1997, More>

  11. Krysia Broda, Marcelo Finger, Alessandra Russo, LDS-Natural Deduction for Substructural Logics, Oxford University Press, 1996, More>

  12. Marcello D'Agostino, Dov Gabbay, Alessandra Russo, Information Frames, Implication Systems and Modalities in Special issue on Aspects of Mechanising Inference: : Contexts and Problems, Universitat Politecnica de Catalunya, 1996, More>

  13. Floriana De Rosis, S. Pizzutilo, Alessandra Russo, Modelling the User Knowledge by Belief Networks in Journal of User-Modelling and User-Adapted Interaction, Kluwer Academic Publishers, 1992, More>

Conference and Workshop Papers

  1. Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastian Uchitel, Extracting Requirements from Scenarios using ILP presented at: 16th International Conference on Inductive Logic Programming , Springer Verlag, 2007-08, ISBN: 978-3-540-73846-6, More>

  2. Arosha Bandara, Jorge Lobo, Seraphin Calo, Emil Lupu, Alessandra Russo, Morris Sloman, Toward a Formal Characterization of Policy Specification & Analysis presented at: Annual Conference of ITA (ACITA), University of Maryland, USA, 2007-08, More>

  3. Arosha Bandara, Antonis Kakas, Emil Lupu, Alessandra Russo, Using Argumentation Logic for Firewall Policy Specification and Analysis presented at: 17th IFIP/IEEE Distributed Systems: Operations and Management (DSOM), Springer Verlag, 2006, More>

  4. Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel, Inferring Operational Requirements from Scenarios and Goal Models Using Inductive Learning (2006) presented at: International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools at the 29th IEEE/ACM International Conference on Software Engineering (ICSE). Shanghai, China, 2003., 2006-04, More>

  5. Marinos Charalambides, Paris Flegkas, George Pavlou, Arosha Bandara, Naranker Dulay, Emil Lupu, Javier Rubio-Loyola, Alessandra Russo, Morris Sloman, Dynamic Policy Analysis and Conflict Resolution for DiffServ Quality of Service Management presented at: IFIP/IEEE Network Operations and Management Symposium (NOMS 2006), IEEE Computer Society, 2006-03, More>

  6. Will Heaven, Alessandra Russo, Enhancing the Alloy Analyzer with Patterns of Analysis (2005) presented at: 15th International Workshop on Logic-based methods in Programming Environments (WLPE'05), 2005-09, More>

  7. Marinos Charalambides, Paris Flegkas, George Pavlou, Arosha Bandara, Emil Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Javier Rubio-Loyola, Policy Conflict Analysis for Quality of Service Management (2005) presented at: 6th IEEE Workshop on Policies for Distributed Systems and Networks (Policy 2005), 2005-05, More>

  8. Arosha Bandara, Emil Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Paris Flegkas, Marinos Charalambides, George Pavlou, Policy Refinement for DiffServ Quality of Service Management (2005) presented at: 9th IFIP/IEEE Intl. Symp. on Integrated Management (IM 2005), 2005-04, More>

  9. Odinaldo Rodrigues, Artur dAvila Garcez, Alessandra Russo, Reasoning about Requirements Evolution using Cluster Belief Revision presented at: Brazilian Symposium on Artificial Intelligence , Springer-Verlag Berlin, 2004-09, More>

  10. Oliver Ray, Krysia Broda, Alessandra Russo, Generalised Kernel Set for Inverse Entailment presented at: International Conference on Logic Programming, Springer Verlag, 2004-08, ISBN: 3-540-22671-0, More>

  11. Arosha Bandara, Emil Lupu, Jonathan Moffett, Alessandra Russo, A goal-based approach to policy refinement (2004) presented at: 5th IEEE international workshop on policies for distributed systems and networks (POLICY 2004), IBM T J Watson Res Lab, Yorktown Heights, NY, IEEE Computer Soc, 2004-05, ISBN: 0-7695-2141-X, More>

  12. Krysia Broda, Alessandra Russo, Hybrid abductive inductive learning: a generalisation of Progol presented at: 13th international conference on inductive logic programming, Szeged, Hungary, Springer-Verlag, 2003, ISBN: 3-5402-0144-0, More>

  13. Oliver Ray, Krysia Broda, Alessandra Russo, Hybrid Abductive Inductive Learning: A Generalisation of Progol presented at: 13th International Conference on Inductive Logic Programming, Springer Verlag, 2003-08, More>

  14. Genaina Rodrigues, Artur dAvila Garcez, Alessandra Russo, Reasoning about Requirements Evolution using Clustered Belief Revision , presented at: ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering, 2003-08, More>

  15. Odinaldo Rodrigues, Artur d'Avila Garcez, Alessandra Russo, Reasoning about requirements evolution using clustered belief revision presented at: ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering WITSE03, 2003, More>

  16. Arosha Bandara, Emil Lupu, Alessandra Russo, Using Event Calculus to Formalise Policy Speciflcation and Analysis (2003) presented at: 4th IEEE International Workshop on Policies for Distributed Systems and Networks, Lake Como, Italy, 2003, 2003-05, ISBN: 0-7695-1933-4, More>

  17. Alessandra Russo, Robert Miller, Jeff Kramer, Bashar Nuseibeh (Ed.), An Abductive Approach for Analysing Event-Based Requirements Specifications. presented at: 18th International Conference on Logic Programming, Springer Verlag, 2002-07, More>

  18. Artur dAvila Garcez, Alessandra Russo, Jeff Kramer, Bashar Nuseibeh, An Analysis-Revision Cycle to Evolve Requirements Specifications. presented at: 16th IEEE International Conference on Automated Software Engineering, IEEE, 2001-11, More>

  19. Odinaldo Rodrigues, Alessandra Russo, Dov Gabbay, Belief Revision in Non-Classical Logics. presented at: IJCAI01 Workshop on Inconsistency in Data and Knowledge, Workshop Proceedings, 2001-08, More>

  20. Alessandra Russo, Robert Miller, Bashar Nuseibeh, Jeff Kramer, An Abductive Approach for Handling Inconsistencies in SCR Specifications presented at: 3rd (ICSE) International Workshop on Intelligent Software Engineering (WISE-3), 2000, More>

  21. Alessandra Russo, Bashar Nuseibeh, Jeff Kramer, Restructuring Requirements Specifications for Managing Inconsistencies and Change: A Case Study presented at: 3rd International Conference on Requirements Engineering (ICRE'98), IEEE Computer Society Press, 1998, More>

  22. Alessandra Russo, Bashar Nuseibeh, On the Consequences of Acting in the Presence of Inconsistencies presented at: 9th International Workshop on Software Specification and Design (IWSSD-9), IEEE Computer Society Press, 1998, More>

  23. Alessandra Russo, Bashar Nuseibeh, Jeff Kramer, Restructuring Requirements Specifications for Inconsistency Analysis: A Case Study presented at: ICSE-97 Workshop on "Living with Inconsistency", Boston, University of Oregon, 1997, More>

  24. Alessandra Russo, Generalising Propositional Modal Logics using Labelled Deductive Systems presented at: 1st International Workshop on Frontiers of Combining Systems, Kluwer Academic Publishers, 1996, More>

Technical Reports

  1. David Roe, Krysia Broda, Alessandra Russo, Mapping UML Models incorporating OCL Constraints into Object-Z, Department of Computing, Imperial College London, 2003-08, More>

  2. Alessandra Russo, Robert Miller, Jeff Kramer, Bashar Nuseibeh, An Abductive Approach for Analysing Event-based Specifications, Imperial College of Science, Technology and Medicine, Department of Computing, 2001-08, More>

  3. Alessandra Russo, Odinaldo Rodrigues, A Translation Method for Four-valued Logics, Imperial College London, Department of Computing, 1998, More>

  4. Krysia Broda, Alessandra Russo, A Unified Compilation Style Labelled Deductive System for Modal and Substructural Logic using Natural Deduction, Imperial College London, Department of Computing, 1997, More>

  5. Alessandra Russo, Modal Labelled Deductive Systems, Imperial College London, Department of Computing, 1995, More>

Other Publications

  1. Alessandra Russo, Modal Logics as Labelled Deductive Systems (PhD Thesis) in PhD Thesis, presented at: Department of Computing, Imperial College London, 1996-05, More>

Full Publication List >

CategoryPeople, CategoryPapers

ar3/SelectedPublications (last edited 2009-05-21 08:50:54 by localhost)