On the application of stratification to requirement specifications. - Daniel E. Cooke; Ann Q. Gates (TAI, 1990)

An Introduction To The Recognition of Iterative Structures by a CASE Tool. - Ann Q. Gates; Daniel E. Cooke (SEKE, 1990)

On the Development of a Method to Synthesize Programs from Requirements Specifications. - Daniel E. Cooke; Ann Q. Gates (Int. J. Softw. Eng. Knowl. Eng., 1991)

Bag languages, concurrency, Horn logic programs, and linear logic. - Daniel E. Cooke; Richard Duran; Ann Q. Gates; Vladik Kreinovich (SEKE, 1994)

The Use of Integrity Constraints in Software Engineering. - Ann Q. Gates; Daniel E. Cooke (SEKE, 1995)

Integrating a Problem-Solving Methodology and Group Skills into CS1. - Ann Q. Gates (CSEE, 1996)

On Defining a Class of Integrity Constraints. - Ann Q. Gates (SEKE, 1996)

Languages for the specification of software. - Daniel E. Cooke; Ann Q. Gates; Elif Demirörs; Onur Demirörs; Murat M. Tanik; Bernd J. Krämer (J. Syst. Softw., 1996)

The identification of integrity constraints in requirements for context monitoring. - Ann Q. Gates; C. Kubo Della-Piana (ECBS, 1997)

Why is a function defined as set of ordered pairs? - Ann Q. Gates; Vladik Kreinovich (ACM SIGCSE Bull., 1997)

Kolmogorov Complexity Justifies Software Engineering Heuristics. - Ann Q. Gates; Vladik Kreinovich; Luc Longpré (Bull. EATCS, 1998)

DynaMICs: An Automated and Independent Software-FaultDetection Approach. - Ann Q. Gates; Patricia J. Teller (HASE, 1999)

Towards the design of a snoopy coprocessor for dynamic software-fault detection. - Patricia J. Teller; Michael E. Maxwell; Ann Q. Gates (IPCCC, 1999)

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. - S. Subbaramu; Ann Q. Gates; Vladik Kreinovich (Bull. EATCS, 1999)

How can symposia be structured to benefit both industry and academia? - Ann Q. Gates (HASE, 2000)

Structuring the student research experience. - Andrew Bernat 001; Patricia J. Teller; Ann Q. Gates; Nellie Delgado (ITiCSE, 2000)

An Integrated Development of a Dynamic Software-Fault Monitoring System. - Ann Q. Gates; Patricia J. Teller (Trans. SDPS, 2000)

Towards automatic detection of erroneous measurement results in a gravity database. - Qian Wen; Ann Q. Gates; Jan Beck; Vladik Kreinovich; G. Randy Keller (SMC, 2001)

Strassen's Algorithm Made (Somewhat) More Natural: A Pedagogical Remark. - Ann Q. Gates; Vladik Kreinovich (Bull. EATCS, 2001)

DynaMICs: Comprehensive Support for Run-Time Monitoring. - Ann Q. Gates; Steve Roach; Oscar Mondragon; Nelly Delgado (RV@CAV, 2001)

FasTLInC: a constraint-based tracing approach. - Ann Q. Gates; Oscar Mondragon (J. Syst. Softw., 2002)

Automated Support for Property Specification Based on Patterns. - Oscar Mondragon; Ann Q. Gates; Fadi Kassem (SEKE, 2003)

Instrumentation of Intermediate Code for Runtime Verification. - Ann Q. Gates; Oscar Mondragon; Mary Payne; Steve Roach (SEW, 2003)

Prospec: Support for Elicitation and Formal Specification of Software Properties. - Oscar Mondragon; Ann Q. Gates; Steve Roach (RV@CAV, 2003)

Supporting Elicitation And Specification Of Software Properties Through Patterns And Composite Propositions. - Oscar Mondragon; Ann Q. Gates (Int. J. Softw. Eng. Knowl. Eng., 2004)

A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools. - Nelly Delgado; Ann Q. Gates; Steve Roach (IEEE Trans. Software Eng., 2004)

Generating Properties for Runtime Monitoring from Software Specification Patterns. - Oscar Mondragon; Ann Q. Gates; Humberto Mendoza; Oleg Sokolsky (SEKE, 2005)

Verifying Pattern-Generated LTL Formulas: A Case Study. - Salamah Salamah; Ann Q. Gates; Steve Roach; Oscar Mondragon (SPIN, 2005)

JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. - Ann Q. Gates; Steve Roach; Irbis Gallegos; Omar Ochoa; Oleg Sokolsky (WORDS, 2005)

Workflow-Driven Ontologies: An Earth Sciences Case Study. - Leonardo Salayandia; Paulo Pinheiro da Silva; Ann Q. Gates; Flor Salcedo (e-Science, 2006)

Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications. - Salamah Salamah; Ann Q. Gates; Vladik Kreinovich; Steve Roach (ATVA, 2007)

The Gravity Data Ontology: Laying the Foundation for Workflow-Driven Ontologies. - Ann Q. Gates; G. Randy Keller; Leonardo Salayandia; Paulo Pinheiro da Silva; Flor Salcedo (GeoS, 2007)

Semantic Annotation of Maps Through Knowledge Provenance. - Nicholas Del Rio; Paulo Pinheiro da Silva; Ann Q. Gates; Leonardo Salayandia (GeoS, 2007)

Verification of Automatically Generated Pattern-Based LTL Specifications. - Salamah Salamah; Ann Q. Gates; Vladik Kreinovich; Steve Roach (HASE, 2007)

Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification. - Omar Ochoa; Irbis Gallegos; Steve Roach; Ann Q. Gates (RV, 2007)

Generating Linear Temporal Logic Formulas for Pattern-Based Specifications. - Salamah Salamah; Vladik Kreinovich; Ann Q. Gates (SEKE, 2007)

Generating Properties for Runtime Monitoring from Software Specification Patterns. - Oscar Mondragon; Ann Q. Gates; Steve Roach; Humberto Mendoza; Oleg Sokolsky (Int. J. Softw. Eng. Knowl. Eng., 2007)

Towards a workflow management system for service oriented modules. - Leonardo Salayandia; Ann Q. Gates (Int. J. Simul. Process. Model., 2007)

A Technique for Using Model Checkers to Teach Formal Specifications. - Salamah Salamah; Ann Q. Gates (CSEE&T, 2008)

Improving Pattern-Based LTL Formulas for Automata Model Checking. - Salamah Salamah; Ann Q. Gates; Steve Roach (ITNG, 2008)

A Property Specification Tool for Generating Formal Specifications: Prospec 2.0. - Irbis Gallegos; Omar Ochoa; Ann Q. Gates; Steve Roach; Salamah Salamah; Corina Vela (SEKE, 2008)

GEO-SEED: A Metadata Repository for Geosciences Web Service Discovery. - Pearl Brazier; Artem Chebotko; Ann Q. Gates; Leonardo Salayandia (SERVICES I, 2009)

Web 2.0 and Semantic Web Portal for Annotation and Discovery of Web Services in Geosciences. - Pearl Brazier; Artem Chebotko; Anthony Piazza; Ann Q. Gates; Leonardo Salayandia (SWWS, 2009)

CI-Miner: semantically enhancing scientific processes. - Paulo Pinheiro da Silva; Leonardo Salayandia; Aída Gándara; Ann Q. Gates (Earth Sci. Informatics, 2009)

DaProS: A Data Property Specification Tool to Capture Scientific Sensor Data Properties. - Irbis Gallegos; Ann Q. Gates; Craig E. Tweedie (ER Workshops, 2010)

Improving environmental sensor data quality using a categorization of data properties. - Irbis Gallegos; Ann Q. Gates; Craig E. Tweedie (ICIQ, 2010)

On the Use of Abstract Workflows to Capture Scientific Process Provenance. - Paulo Pinheiro da Silva; Leonardo Salayandia; Nicholas Del Rio; Ann Q. Gates (TaPP, 2010)

The role of Hispanic-serving institutions in contributing to an educated work force. - Ann Q. Gates (Commun. ACM, 2010)

Discovery, Innovation, and Creativity: The Core of Computing. - Ann Q. Gates (Computer, 2010)

Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications. - Salamah Salamah; Ann Q. Gates; Steve Roach; Matthew Engskow (Adv. Softw. Eng., 2011)

Cultivating Entrepreneurial Thinking through IEEE-CS Student Chapters. - Ann Q. Gates; Fernando Naveda; Fanny Klett; Miguel Alonso; Rodrigo Romero; Dina Grewal (Computer, 2011)

The Computing Alliance of Hispanic-Serving Institutions: Supporting Hispanics at Critical Transition Points. - Ann Quiroz Gates; Sarah Hug; Heather Thiry; Richard A. Aló; Mohsen Beheshti; John Fernandez; Nestor Rodriguez; Malek Adjouadi (ACM Trans. Comput. Educ., 2011)

An Approach to Evaluate Scientist Support in Abstract Workflows and Provenance Traces. - Leonardo Salayandia; Ann Q. Gates; Paulo Pinheiro 001 (AAAI Fall Symposium: Discovery Informatics, 2012)

Tool Support for Anomaly Detection in Scientific Sensor Data. - Irbis Gallegos; Ann Q. Gates (SEKE, 2012)

Validated templates for specification of complex LTL formulas. - Salamah Salamah; Ann Q. Gates; Vladik Kreinovich (J. Syst. Softw., 2012)

MetaShare: From Data Management Plans to Knowledge-Based Systems. - Leonardo Salayandia; Deana Pennington; Ann Q. Gates; Frank Osuna (AAAI Fall Symposia, 2013)

Using Peer-Led Team Learning to build university-community college relationships. - Ann Q. Gates; Claudia Casas; Christian Servin; Michelle Slattery (FIE, 2015)

Strategies for sustaining change in engineering education. - Sarah Hug; Heather Thiry; Ann Quiroz Gates (FIE, 2015)

Cyber-infrastructure support for the integration and analysis of student success data. - Wai Yan Elsa Tai; Ann Q. Gates; Monika Akbar (FIE, 2015)

A collaborative, interdisciplinary initiative for a smart cities innovation network. - Natalia Villanueva-Rosales; Ruey Long Cheu; Ann Q. Gates; Norma Rivera; Oscar Mondragon; Sergio D. Cabrera; Carlos Ferregut; César Carrasco; Soheil Nazarian; Heidi A. Taboada; Victor M. Larios-Rosillo; Liliana Ibeth Barbosa-Santillán; et al. (ISC2, 2015)

A Feasibility Study of an Approach to Extend Research Footprints. - Francisco Osuna; Bhanukiran Gurijala; Patricia Esparza; Monika Akbar; Ann Q. Gates (AAAI Workshop: Scholarly Big Data, 2016)

Towards Identifying Potential Research Collaborations from Scientific Research Networks using Scholarly Data. - Yanet Garay; Monika Akbar; Ann Q. Gates (JCDL, 2016)

Sol y Agua project: Promoting information science in middle school classrooms for a socially and environmentally responsible world. - Ann Q. Gates; Monika Akbar; Mary K. Roy; Angel Ortega; Jesus G. Tellez; Ivonne López; Christian Murga; Kevin Lanahan (RCIS, 2016)

The Sol y Agua Project: Enhancing Middle School Education through Computing with an Emphasis on Simulation and Data Science (Abstract Only). - Ann Q. Gates; Monika Akbar; Mary K. Roy; Florencia Larsen; Ivonne López; Christian Murga; Angel Ortega; Jesse Tellez; Rebecca Urbina (SIGCSE, 2016)

Reflections: The Computing Alliance of Hispanic-Serving Institutions. - Ann Quiroz Gates; Heather Thiry; Sarah Hug (Inroads, 2016)

On Using Disparate Scholarly Data to Identify Potential Members for Interdisciplinary Research Groups. - Francisco Osuna; Monika Akbar; Ann Q. Gates (IRI, 2017)

Sol y Agua: A Game-based Learning Platform to Engage Middle-school Students in STEM. - Monika Akbar; Lucia Dura; Ann Q. Gates; Angel Ortega; Mary K. Roy; Claudia Santiago; Jesus G. Tellez; Elsa Q. Villa (FIE, 2018)

Collaborative survey construction for national data collection: Coordination, negotiation, and delivery. - Edward J. Berger; Allison Godwin; Matthew Scheidt; John Chen; Ryan Senkpeil; Julianna Ge; James M. Widmann; Brian Self; Ann Q. Gates (FIE, 2018)

A National INCLUDES Alliance Effort to Integrate Problem-Solving Skills into Computer Science Curriculum. - Ann Q. Gates; Elsa Q. Villa; Sarah Hug; Christina Convertino; Johannes Strobel (FIE, 2019)

Broadening Participation in Computing: Putting Our Work in Context. - Jennifer M. Blaney; Linda J. Sax; David F. Feldon; Ann Q. Gates (SIGCSE, 2019)

National CS Ed Equity-Focused Consortia and Their Value to the Community. - Janice E. Cuny; Jamie Payton; Ann Q. Gates; Carol L. Fletcher; Alan Peterfreund (SIGCSE, 2020)

RESET (Re-Enter STEM through Emerging Technology): Finding Re-Entry Pathways for Women. - Farzana Rahman; Elodie Billionniere; Quincy Brown; Ann Quiroz Gates (SIGCSE, 2020)

Google tech exchange: an industry-academic partnership that prepares black and latinx undergraduates for high-tech careers. - April Alvarez; Legand Burge; Shameeka Emanuel; Ann Q. Gates; Sally A. Goldman; Jean Griffin; Harry Keeling; Mary Jo Madda; Bianca Okafor; Alycia Onowho; Gloria J. Washington (J. Comput. Sci. Coll., 2020)

Equipping and Empowering Faculty through Professional Development to Create a Future-Ready Workforce in Emerging Technologies. - Farzana Rahman; Elodie Billionniere; Ann Quiroz Gates; Felesia Stukes (SIGITE, 2021)

Innovative Courses that Broaden Awareness of CS Careers and Prepare Students for Technical Interviews. - Jean Griffin; Legand Burge; Sally A. Goldman; Diego Aguierre; Juan Alonso-Cruz; April Alvarez; Albert Cervantes; Shameeka Emanuel; Ann Q. Gates; Daniel Gillick; Christopher Hogan; Jeremy Hurwitz; et al. (J. Comput. Sci. Coll., 2022)

Collaborative Institutional Efforts to Promote Hispanic Representation Across Computer Science. - Mariana Alvidrez; Jessica Rivera; Sanga Kim; Ann Q. Gates; Elsa Q. Villa; Christian Teran Lopez; Karina L. Enriquez (FIE, 2023)

Noncognitive and Affective Attributes of Caregivers Enrolled in Engineering and Computing Programs. - Sanga Kim; Lisa C. Kaczmarczyk; Jessica Rivera; Ann Q. Gates (FIE, 2023)

Expanding Pathways for Hispanic Students to Enter and Succeed in Computing Graduate Studies. - Jessica Rivera; Ann Q. Gates; Elsa Q. Villa; Patricia Morreale (FIE, 2023)

Diversifying Pathways to the Computing Professoriate: A Deeper Look into Institutional Practices that Broaden Participation. - Annie M. Wofford; Jennifer M. Blaney; Daniel J. Blake; Ann Q. Gates (SIGCSE (2), 2023)

WIP: Embracing Challenges for Transformative Change in Research Capacity at Hispanic-Serving Institutions. - Ann Q. Gates; Elizabeth F. Hall; Sepi Hejazi Moghadam (FIE, 2024)

Strengthening CS Research Capacity of Undergraduate Hispanic Students Through the Local REU Model. - Ann Q. Gates; Sanga Kim; Heather Thiry; Sarah Hug; Elsa Q. Villa (FIE, 2024)