The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ann Q. Gates: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ann Q. Gates, C. Kubo Della-Piana
    The identification of integrity constraints in requirements for context monitoring. [Citation Graph (0, 0)][DBLP]
    ECBS, 1997, pp:498-506 [Conf]
  2. Ann Q. Gates, Patricia J. Teller
    DynaMICs: An Automated and Independent Software-FaultDetection Approach. [Citation Graph (0, 0)][DBLP]
    HASE, 1999, pp:11-19 [Conf]
  3. Ann Q. Gates
    On Defining a Class of Integrity Constraints. [Citation Graph (0, 0)][DBLP]
    SEKE, 1996, pp:338-344 [Conf]
  4. Oscar Mondragon, Ann Q. Gates, Fadi Kassem
    Automated Support for Property Specification Based on Patterns. [Citation Graph (0, 0)][DBLP]
    SEKE, 2003, pp:174-181 [Conf]
  5. Ann Q. Gates, Daniel E. Cooke
    The Use of Integrity Constraints in Software Engineering. [Citation Graph (0, 0)][DBLP]
    SEKE, 1995, pp:383-390 [Conf]
  6. Daniel E. Cooke, Richard Duran, Ann Q. Gates, Vladik Kreinovich
    Bag languages, concurrency, Horn logic programs, and linear logic. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:289-297 [Conf]
  7. Oscar Mondragon, Ann Q. Gates, Humberto Mendoza, Oleg Sokolsky
    Generating Properties for Runtime Monitoring from Software Specification Patterns. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:267-273 [Conf]
  8. Ann Q. Gates, Daniel E. Cooke
    An Introduction To The Recognition of Iterative Structures by a CASE Tool. [Citation Graph (0, 0)][DBLP]
    SEKE, 1990, pp:202-208 [Conf]
  9. Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon
    Verifying Pattern-Generated LTL Formulas: A Case Study. [Citation Graph (0, 0)][DBLP]
    SPIN, 2005, pp:200-220 [Conf]
  10. Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky
    JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. [Citation Graph (0, 0)][DBLP]
    WORDS, 2005, pp:105-112 [Conf]
  11. Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach
    Instrumentation of Intermediate Code for Runtime Verification. [Citation Graph (0, 0)][DBLP]
    SEW, 2003, pp:66- [Conf]
  12. Ann Q. Gates, Vladik Kreinovich
    Strassen's Algorithm Made (Somewhat) More Natural: A Pedagogical Remark. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2001, v:73, n:, pp:142-145 [Journal]
  13. Ann Q. Gates, Vladik Kreinovich, Luc Longpré
    Kolmogorov Complexity Justifies Software Engineering Heuristics. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1998, v:66, n:, pp:150-154 [Journal]
  14. S. Subbaramu, Ann Q. Gates, Vladik Kreinovich
    Application of Kolmogorov Complexity to Image Compression: It Is Possible to Have a Better Compression, But It Is Not Possible to Have the Best One. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1999, v:69, n:, pp:145-150 [Journal]
  15. Ann Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado
    DynaMICs: Comprehensive Support for Run-Time Monitoring. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
  16. Oscar Mondragon, Ann Q. Gates, Steve Roach
    Prospec: Support for Elicitation and Formal Specification of Software Properties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
  17. Daniel E. Cooke, Ann Q. Gates
    On the Development of a Method to Synthesize Programs from Requirements Specifications. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 1991, v:1, n:1, pp:21-38 [Journal]
  18. Oscar Mondragon, Ann Q. Gates
    Supporting Elicitation And Specification Of Software Properties Through Patterns And Composite Propositions. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2004, v:14, n:1, pp:21-41 [Journal]
  19. Oscar Mondragon, Ann Q. Gates, Steve Roach, Humberto Mendoza, Oleg Sokolsky
    Generating Properties for Runtime Monitoring from Software Specification Patterns. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2007, v:17, n:1, pp:107-126 [Journal]
  20. Daniel E. Cooke, Ann Q. Gates, Elif Demirörs, Onur Demirörs, Murat M. Tanik, Bernd J. Krämer
    Languages for the specification of software. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1996, v:32, n:3, pp:269-308 [Journal]
  21. Ann Q. Gates, Oscar Mondragon
    FasTLInC: a constraint-based tracing approach. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2002, v:63, n:3, pp:241-258 [Journal]
  22. Nelly Delgado, Ann Q. Gates, Steve Roach
    A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:12, pp:859-872 [Journal]
  23. Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach
    Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:533-542 [Conf]
  24. Leonardo Salayandia, Paulo Pinheiro da Silva, Ann Q. Gates, Flor Salcedo
    Workflow-Driven Ontologies: An Earth Sciences Case Study. [Citation Graph (0, 0)][DBLP]
    e-Science, 2006, pp:17- [Conf]
  25. Ann Q. Gates, G. Randy Keller, Leonardo Salayandia, Paulo Pinheiro da Silva, Flor Salcedo
    The Gravity Data Ontology: Laying the Foundation for Workflow-Driven Ontologies. [Citation Graph (0, 0)][DBLP]
    GeoS, 2007, pp:278-287 [Conf]
  26. Nicholas Del Rio, Paulo Pinheiro da Silva, Ann Q. Gates, Leonardo Salayandia
    Semantic Annotation of Maps Through Knowledge Provenance. [Citation Graph (0, 0)][DBLP]
    GeoS, 2007, pp:20-35 [Conf]
  27. Salamah Salamah, Vladik Kreinovich, Ann Q. Gates
    Generating Linear Temporal Logic Formulas for Pattern-Based Specifications. [Citation Graph (0, 0)][DBLP]
    SEKE, 2007, pp:422-427 [Conf]
  28. Patricia J. Teller, M. E. Maxwell, Ann Q. Gates
    Towards the design of a snoopy coprocessor for dynamic software-fault detection. [Citation Graph (0, 0)][DBLP]
    IPCCC, 1999, pp:310-317 [Conf]

  29. A Technique for Using Model Checkers to Teach Formal Specifications. [Citation Graph (, )][DBLP]


  30. Verification of Automatically Generated Pattern-Based LTL Specifications. [Citation Graph (, )][DBLP]


  31. Improving Pattern-Based LTL Formulas for Automata Model Checking. [Citation Graph (, )][DBLP]


  32. A Property Specification Tool for Generating Formal Specifications: Prospec 2.0. [Citation Graph (, )][DBLP]


  33. Web 2.0 and Semantic Web Portal for Annotation and Discovery of Web Services in Geosciences. [Citation Graph (, )][DBLP]


  34. Structuring the student research experience. [Citation Graph (, )][DBLP]


  35. Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification. [Citation Graph (, )][DBLP]


  36. GEO-SEED: A Metadata Repository for Geosciences Web Service Discovery. [Citation Graph (, )][DBLP]


  37. Discovery, Innovation, and Creativity: The Core of Computing. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
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