The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alessandra Russo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Krysia Broda, Alessandra Russo
    Compiled Labelled Deductive Systems for Access Control. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (1), 2005, pp:309-338 [Conf]
  2. Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo
    Using Argumentation Logic for Firewall Policy Specification and Analysis. [Citation Graph (0, 0)][DBLP]
    DSOM, 2006, pp:185-196 [Conf]
  3. Alessandra Russo
    Generalising Propositional Modal Logic Using Labelled Deductive Systems. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:57-73 [Conf]
  4. Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer
    An Abductive Approach for Analysing Event-Based Requirements Specifications. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:22-37 [Conf]
  5. Oliver Ray, Krysia Broda, Alessandra Russo
    Generalised Kernel Sets for Inverse Entailment. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:165-179 [Conf]
  6. Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
    Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study. [Citation Graph (0, 0)][DBLP]
    ICRE, 1998, pp:51-0 [Conf]
  7. Oliver Ray, Krysia Broda, Alessandra Russo
    Hybrid Abductive Inductive Learning: A Generalisation of Progol. [Citation Graph (0, 0)][DBLP]
    ILP, 2003, pp:311-328 [Conf]
  8. Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
    An Analysis-Revision Cycle to Evolve Requirements Specifications. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:354-358 [Conf]
  9. William Heaven, Alessandra Russo
    Enhancing the Alloy Analyzer with Patterns of Analysis. [Citation Graph (0, 0)][DBLP]
    WLPE, 2005, pp:14-30 [Conf]
  10. Arosha K. Bandara, Emil Lupu, Jonathan D. Moffett, Alessandra Russo
    A Goal-based Approach to Policy Refinement. [Citation Graph (0, 0)][DBLP]
    POLICY, 2004, pp:229-239 [Conf]
  11. Arosha K. Bandara, Emil Lupu, Alessandra Russo
    Using Event Calculus to Formalise Policy Specification and Analysis. [Citation Graph (0, 0)][DBLP]
    POLICY, 2003, pp:26-0 [Conf]
  12. 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. [Citation Graph (0, 0)][DBLP]
    POLICY, 2005, pp:99-108 [Conf]
  13. Odinaldo Rodrigues, Artur S. d'Avila Garcez, Alessandra Russo
    Reasoning About Requirements Evolution Using Clustered Belief Revision. [Citation Graph (0, 0)][DBLP]
    SBIA, 2004, pp:41-51 [Conf]
  14. Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel
    Inferring operational requirements from scenarios and goal models using inductive learning. [Citation Graph (0, 0)][DBLP]
    SCESM, 2006, pp:29-36 [Conf]
  15. Bashar Nuseibeh, Steve M. Easterbrook, Alessandra Russo
    Leveraging Inconsistency in Software Development. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2000, v:33, n:4, pp:24-29 [Journal]
  16. Artur S. d'Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
    Combining abductive reasoning and inductive learning to evolve requirements specifications. [Citation Graph (0, 0)][DBLP]
    IEE Proceedings - Software, 2003, v:150, n:1, pp:25-38 [Journal]
  17. Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
    Restructuring requirement specifications. [Citation Graph (0, 0)][DBLP]
    IEE Proceedings - Software, 1999, v:146, n:1, pp:44-50 [Journal]
  18. Krysia Broda, Marcelo Finger, Alessandra Russo
    Labelled Natural Deduction for Substructural Logics. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1999, v:7, n:3, pp:283-318 [Journal]
  19. Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo
    Labelled Natural Deduction for Conditional Logics of Normality. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2002, v:10, n:2, pp:123-163 [Journal]
  20. Oliver Ray, Krysia Broda, Alessandra Russo
    A Hybrid Abductive Inductive Proof Procedure. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2004, v:12, n:5, pp:371-397 [Journal]
  21. Bashar Nuseibeh, Steve M. Easterbrook, Alessandra Russo
    Making inconsistency respectable in software development. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2001, v:58, n:2, pp:171-180 [Journal]
  22. Marcello D'Agostino, Dov M. Gabbay, Alessandra Russo
    Grafting Modalities onto Substructural Implication Systems. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1997, v:59, n:1, pp:65-102 [Journal]
  23. Fiorella de Rosis, Sebastiano Pizzutilo, Alessandra Russo, Dianne C. Berry, F. Javier Nicolau Molina
    Modeling the User Knowledge by Belief Networks. [Citation Graph (0, 0)][DBLP]
    User Model. User-Adapt. Interact., 1992, v:2, n:4, pp:367-388 [Journal]
  24. Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel
    Extracting Requirements from Scenarios with ILP. [Citation Graph (0, 0)][DBLP]
    ILP, 2006, pp:64-78 [Conf]
  25. 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. [Citation Graph (0, 0)][DBLP]
    Integrated Network Management, 2005, pp:469-482 [Conf]
  26. Arosha K. Bandara, Alessandra Russo, Emil C. Lupu
    Towards Learning Privacy Policies. [Citation Graph (0, 0)][DBLP]
    POLICY, 2007, pp:274- [Conf]

  27. Multi-agent planning with confidentiality. [Citation Graph (, )][DBLP]


  28. Distributed abductive reasoning with constraints. [Citation Graph (, )][DBLP]


  29. Expressive policy analysis with enhanced system dynamicity. [Citation Graph (, )][DBLP]


  30. Speculative Abductive Reasoning for Hierarchical Agent Systems. [Citation Graph (, )][DBLP]


  31. The Dynamics of Multi-Agent Reinforcement Learning. [Citation Graph (, )][DBLP]


  32. Deriving Non-zeno Behavior Models from Goal Models Using ILP. [Citation Graph (, )][DBLP]


  33. Inductive Logic Programming as Abductive Search. [Citation Graph (, )][DBLP]


  34. Learning operational requirements from goal models. [Citation Graph (, )][DBLP]


  35. Learning Rules from User Behaviour. [Citation Graph (, )][DBLP]


  36. Using argumentation logic for firewall configuration management. [Citation Graph (, )][DBLP]


  37. Induction on Failure: Learning Connected Horn Theories. [Citation Graph (, )][DBLP]


  38. Speech Emotion Classification Using Machine Learning Algorithms. [Citation Graph (, )][DBLP]


  39. SAGE: A Logical Agent-Based Environment Monitoring and Control System. [Citation Graph (, )][DBLP]


  40. Dynamic Policy Analysis and Conflict Resolution for DiffServ Quality of Service Management. [Citation Graph (, )][DBLP]


  41. DARE: a system for distributed abductive reasoning. [Citation Graph (, )][DBLP]


  42. Enhancing the Alloy Analyzer with Patterns of Analysis [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002