The SCEAS System
Navigation Menu

Search the dblp DataBase


Rose F. Gamble: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Leigh A. Davis, Rose F. Gamble, M. Hepner, M. Kelkar
    Toward Formalizing Service Integration Glue Code. [Citation Graph (0, 0)][DBLP]
    IEEE SCC, 2005, pp:165-172 [Conf]
  2. Rose F. Gamble, Gruia-Catalin Roman, William E. Ball
    Formal Verification of Pure Production System Programs. [Citation Graph (0, 0)][DBLP]
    AAAI, 1991, pp:329-334 [Conf]
  3. Jamie Payton, Gerður Jónsdóttir, Daniel Flagg, Rose F. Gamble
    Merging Integration Solutions for Architecture and Security Mismatch. [Citation Graph (0, 0)][DBLP]
    ICCBSS, 2002, pp:199-208 [Conf]
  4. Leigh A. Davis, Daniel Flagg, Rose F. Gamble, C. Karatas
    Classifying Interoperability Conflicts. [Citation Graph (0, 0)][DBLP]
    ICCBSS, 2003, pp:62-71 [Conf]
  5. Leigh A. Davis, Rose F. Gamble
    Identifying Evolvability for Integration. [Citation Graph (0, 0)][DBLP]
    ICCBSS, 2002, pp:65-75 [Conf]
  6. Leigh A. Davis, Rose F. Gamble
    Understanding Services for Integration Management. [Citation Graph (0, 0)][DBLP]
    ICCBSS, 2004, pp:84-93 [Conf]
  7. Daniel Flagg, Rose F. Gamble, R. Baird, W. Stewart
    Migrating Application Integrations. [Citation Graph (0, 0)][DBLP]
    ICCBSS, 2004, pp:94-103 [Conf]
  8. Gerður Jónsdóttir, Leigh A. Davis, Rose F. Gamble
    Designing Secure Integration Architectures. [Citation Graph (0, 0)][DBLP]
    ICCBSS, 2003, pp:112-122 [Conf]
  9. Gruia-Catalin Roman, Rose F. Gamble, William E. Ball
    Seeking Concurrency in Rule-Based Programming. [Citation Graph (0, 0)][DBLP]
    ICSE, 1992, pp:225-234 [Conf]
  10. Rose F. Gamble
    Transforming Rule-Based Programs: From the Sequential to the Parallel. [Citation Graph (0, 0)][DBLP]
    IEA/AIE (Vol. 2), 1990, pp:854-863 [Conf]
  11. T. Gamble, Rose F. Gamble, Leigh A. Davis
    Defining Change Management Properties for Component Interoperability Assessment. [Citation Graph (0, 0)][DBLP]
    SEKE, 2003, pp:475-482 [Conf]
  12. M. Hepner, M. T. Gamble, Rose F. Gamble
    Elevating Interaction Requirements for Web Service Composition. [Citation Graph (0, 0)][DBLP]
    SEKE, 2006, pp:697-701 [Conf]
  13. M. Kelkar, M. Smith, Rose F. Gamble
    Interaction Partnering Criteria for COTS Components. [Citation Graph (0, 0)][DBLP]
    SEKE, 2006, pp:278-283 [Conf]
  14. Rose F. Gamble
    Integrating a formal specification course with a software projects course via an editing tool. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1995, pp:312-316 [Conf]
  15. Leigh A. Davis, Rose F. Gamble, Jamie Payton, Gerður Jónsdóttir, Dennis J. Underwood
    A notation for problematic architecture interactions. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:132-141 [Conf]
  16. M. Hepner, Rose F. Gamble
    Establishing Connectors as Integration Services. [Citation Graph (0, 0)][DBLP]
    WICSA, 2005, pp:280-284 [Conf]
  17. Leigh A. Davis, Jamie Payton, Rose F. Gamble
    How system architectures impede interoperability. [Citation Graph (0, 0)][DBLP]
    Workshop on Software and Performance, 2000, pp:145-146 [Conf]
  18. Rose F. Gamble, D. M. Baughman
    A methodology to incorporateformal methods in hybrid KBS verification. [Citation Graph (0, 0)][DBLP]
    Int. J. Hum.-Comput. Stud., 1996, v:44, n:2, pp:213-244 [Journal]
  19. Robert Plant, Rose F. Gamble
    Using meta-knowledge within a multilevel framework for KBS development. [Citation Graph (0, 0)][DBLP]
    Int. J. Hum.-Comput. Stud., 1997, v:46, n:2-3, pp:523-547 [Journal]
  20. A. V. Pai, Rose F. Gamble, Robert Plant
    Using KBS verification techniques to demonstrate the existence of rule anomalies in ADBs. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1999, v:41, n:10, pp:627-638 [Journal]
  21. Leigh A. Davis, Rose F. Gamble, Jamie Payton
    The impact of component architectures on interoperability. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2002, v:61, n:1, pp:31-45 [Journal]
  22. M. Hepner, Rose F. Gamble, M. Kelkar, Leigh A. Davis, Daniel Flagg
    Patterns of conflict among software components. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2006, v:79, n:4, pp:537-551 [Journal]
  23. Rose F. Gamble, Patricia Stiger, Robert Plant
    Rule-based systems formalized within a software architectural style. [Citation Graph (0, 0)][DBLP]
    Knowl.-Based Syst., 1999, v:12, n:1-2, pp:13-26 [Journal]
  24. Gruia-Catalin Roman, Rose F. Gamble, William E. Ball
    Formal Derivation of Rule-Based Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1993, v:19, n:3, pp:277-296 [Journal]
  25. L. Davis, Rose F. Gamble, S. Kimsen
    A patterned approach for linking knowledge-based systems to external resources. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Systems, Man, and Cybernetics, Part B, 2004, v:34, n:1, pp:222-233 [Journal]
  26. Leigh A. Davis, Rose F. Gamble
    Conflict Patterns: Toward Identifying Suitable Middleware. [Citation Graph (0, 0)][DBLP]
    IRI, 2001, pp:121-126 [Conf]
  27. M. Hepner, M. T. Gamble, Rose F. Gamble
    Forming a Security Certification Enclave for Service-Oriented Architectures. [Citation Graph (0, 0)][DBLP]
    SCW, 2006, pp:148-155 [Conf]

  28. Automating Preference and Change in Workflows. [Citation Graph (, )][DBLP]

  29. Reasoning about Hybrid System of Systems Designs. [Citation Graph (, )][DBLP]

  30. FACT: A fusion architecture with contract templates for semantic and syntactic integration. [Citation Graph (, )][DBLP]

  31. Dynamically Changing Workflows of Web Services. [Citation Graph (, )][DBLP]

Search in 0.011secs, Finished in 0.014secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002