Ann Q. Gates

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 12

Top Topics

Learning Platform

Computer Science

Top Venues

Publications

Sanga Kim, Lisa C. Kaczmarczyk, Jessica Rivera, Ann Q. Gates
Noncognitive and Affective Attributes of Caregivers Enrolled in Engineering and Computing Programs. FIE (2023)
Mariana Alvidrez, Jessica Rivera, Sanga Kim, Ann Q. Gates, Elsa Q. Villa, Christian Teran Lopez, Karina L. Enriquez
Collaborative Institutional Efforts to Promote Hispanic Representation Across Computer Science. FIE (2023)
Jessica Rivera, Ann Q. Gates, Elsa Q. Villa, Patricia Morreale
Expanding Pathways for Hispanic Students to Enter and Succeed in Computing Graduate Studies. FIE (2023)
Annie M. Wofford, Jennifer M. Blaney, Daniel J. Blake, Ann Q. Gates
Diversifying Pathways to the Computing Professoriate: A Deeper Look into Institutional Practices that Broaden Participation. SIGCSE (2) (2023)
Ann Q. Gates, Elsa Q. Villa, Sarah Hug, Christina Convertino, Johannes Strobel
A National INCLUDES Alliance Effort to Integrate Problem-Solving Skills into Computer Science Curriculum. FIE (2019)
Edward J. Berger, Allison Godwin, Matthew Scheidt, John Chen, Ryan Senkpeil, Julianna Ge, James M. Widmann, Brian Self, Ann Q. Gates
Collaborative survey construction for national data collection: Coordination, negotiation, and delivery. FIE (2018)
Monika Akbar, Lucia Dura, Ann Q. Gates, Angel Ortega, Mary K. Roy, Claudia Santiago, Jesus G. Tellez, Elsa Q. Villa
Sol y Agua: A Game-based Learning Platform to Engage Middle-school Students in STEM. FIE (2018)
Francisco Osuna, Monika Akbar, Ann Q. Gates
On Using Disparate Scholarly Data to Identify Potential Members for Interdisciplinary Research Groups. IRI (2017)
Ann Q. Gates, Monika Akbar, Mary K. Roy, Angel Ortega, Jesus G. Tellez, Ivonne López, Christian Murga, Kevin Lanahan
Sol y Agua project: Promoting information science in middle school classrooms for a socially and environmentally responsible world. RCIS (2016)
Yanet Garay, Monika Akbar, Ann Q. Gates
Towards Identifying Potential Research Collaborations from Scientific Research Networks using Scholarly Data. JCDL (2016)
Ann Q. Gates, Monika Akbar, Mary K. Roy, Florencia Larsen, Ivonne López, Christian Murga, Angel Ortega, Jesse Tellez, Rebecca Urbina
The Sol y Agua Project: Enhancing Middle School Education through Computing with an Emphasis on Simulation and Data Science (Abstract Only). SIGCSE (2016)
Francisco Osuna, Bhanukiran Gurijala, Patricia Esparza, Monika Akbar, Ann Q. Gates
A Feasibility Study of an Approach to Extend Research Footprints. AAAI Workshop: Scholarly Big Data (2016)
Wai Yan Elsa Tai, Ann Q. Gates, Monika Akbar
Cyber-infrastructure support for the integration and analysis of student success data. FIE (2015)
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, Miroslav Svitek, Ondrej Pribyl, Tomas Horak, Dana Procházková
A collaborative, interdisciplinary initiative for a smart cities innovation network. ISC2 (2015)
Ann Q. Gates, Claudia Casas, Christian Servin, Michelle Slattery
Using Peer-Led Team Learning to build university-community college relationships. FIE (2015)
Leonardo Salayandia, Deana Pennington, Ann Q. Gates, Frank Osuna
MetaShare: From Data Management Plans to Knowledge-Based Systems. AAAI Fall Symposia (2013)
Irbis Gallegos, Ann Q. Gates
Tool Support for Anomaly Detection in Scientific Sensor Data. SEKE (2012)
Leonardo Salayandia, Ann Q. Gates, Paulo Pinheiro
An Approach to Evaluate Scientist Support in Abstract Workflows and Provenance Traces. AAAI Fall Symposium: Discovery Informatics (2012)
Salamah Salamah, Ann Q. Gates, Vladik Kreinovich
Validated templates for specification of complex LTL formulas. J. Syst. Softw. 85 (8) (2012)
Ann Q. Gates, Fernando Naveda, Fanny Klett, Miguel Alonso, Rodrigo Romero, Dina Grewal
Cultivating Entrepreneurial Thinking through IEEE-CS Student Chapters. Computer 44 (4) (2011)
Salamah Salamah, Ann Q. Gates, Steve Roach, Matthew Engskow
Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications. Adv. Softw. Eng. 2011 (2011)
Ann Q. Gates
The role of Hispanic-serving institutions in contributing to an educated work force. Commun. ACM 53 (12) (2010)
Ann Q. Gates
Discovery, Innovation, and Creativity: The Core of Computing. Computer 43 (2) (2010)
Irbis Gallegos, Ann Q. Gates, Craig E. Tweedie
Improving environmental sensor data quality using a categorization of data properties. ICIQ (2010)
Irbis Gallegos, Ann Q. Gates, Craig E. Tweedie
DaProS: A Data Property Specification Tool to Capture Scientific Sensor Data Properties. ER Workshops (2010)
Paulo Pinheiro da Silva, Leonardo Salayandia, Nicholas Del Rio, Ann Q. Gates
On the Use of Abstract Workflows to Capture Scientific Process Provenance. TaPP (2010)
Pearl Brazier, Artem Chebotko, Ann Q. Gates, Leonardo Salayandia
GEO-SEED: A Metadata Repository for Geosciences Web Service Discovery. SERVICES I (2009)
Pearl Brazier, Artem Chebotko, Anthony Piazza, Ann Q. Gates, Leonardo Salayandia
Web 2.0 and Semantic Web Portal for Annotation and Discovery of Web Services in Geosciences. SWWS (2009)
Paulo Pinheiro da Silva, Leonardo Salayandia, Aída Gándara, Ann Q. Gates
CI-Miner: semantically enhancing scientific processes. Earth Sci. Informatics 2 (4) (2009)
Salamah Salamah, Ann Q. Gates
A Technique for Using Model Checkers to Teach Formal Specifications. CSEE&T (2008)
Salamah Salamah, Ann Q. Gates, Steve Roach
Improving Pattern-Based LTL Formulas for Automata Model Checking. ITNG (2008)
Irbis Gallegos, Omar Ochoa, Ann Q. Gates, Steve Roach, Salamah Salamah, Corina Vela
A Property Specification Tool for Generating Formal Specifications: Prospec 2.0. SEKE (2008)
Leonardo Salayandia, Ann Q. Gates
Towards a workflow management system for service oriented modules. Int. J. Simul. Process. Model. 3 (1/2) (2007)
Nicholas Del Rio, Paulo Pinheiro da Silva, Ann Q. Gates, Leonardo Salayandia
Semantic Annotation of Maps Through Knowledge Provenance. GeoS (2007)
Oscar Mondragon, Ann Q. Gates, Steve Roach, Humberto Mendoza, Oleg Sokolsky
Generating Properties for Runtime Monitoring from Software Specification Patterns. Int. J. Softw. Eng. Knowl. Eng. 17 (1) (2007)
Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach
Verification of Automatically Generated Pattern-Based LTL Specifications. HASE (2007)
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. GeoS (2007)
Salamah Salamah, Vladik Kreinovich, Ann Q. Gates
Generating Linear Temporal Logic Formulas for Pattern-Based Specifications. SEKE (2007)
Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach
Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications. ATVA (2007)
Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates
Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification. RV (2007)
Leonardo Salayandia, Paulo Pinheiro da Silva, Ann Q. Gates, Flor Salcedo
Workflow-Driven Ontologies: An Earth Sciences Case Study. e-Science (2006)
Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky
JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. WORDS (2005)
Oscar Mondragon, Ann Q. Gates, Humberto Mendoza, Oleg Sokolsky
Generating Properties for Runtime Monitoring from Software Specification Patterns. SEKE (2005)
Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon
Verifying Pattern-Generated LTL Formulas: A Case Study. SPIN (2005)
Oscar Mondragon, Ann Q. Gates
Supporting Elicitation And Specification Of Software Properties Through Patterns And Composite Propositions. Int. J. Softw. Eng. Knowl. Eng. 14 (1) (2004)
Nelly Delgado, Ann Q. Gates, Steve Roach
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools. IEEE Trans. Software Eng. 30 (12) (2004)
Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach
Instrumentation of Intermediate Code for Runtime Verification. SEW (2003)
Oscar Mondragon, Ann Q. Gates, Fadi Kassem
Automated Support for Property Specification Based on Patterns. SEKE (2003)
Oscar Mondragon, Ann Q. Gates, Steve Roach
Prospec: Support for Elicitation and Formal Specification of Software Properties. Electron. Notes Theor. Comput. Sci. 89 (2) (2003)
Ann Q. Gates, Oscar Mondragon
FasTLInC: a constraint-based tracing approach. J. Syst. Softw. 63 (3) (2002)
Ann Q. Gates, Vladik Kreinovich
Strassen's Algorithm Made (Somewhat) More Natural: A Pedagogical Remark. Bull. EATCS 73 (2001)
Qian Wen, Ann Q. Gates, Jan Beck, Vladik Kreinovich, G. Randy Keller
Towards automatic detection of erroneous measurement results in a gravity database. SMC (2001)
Ann Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado
DynaMICs: Comprehensive Support for Run-Time Monitoring. Electron. Notes Theor. Comput. Sci. 55 (2) (2001)
Andrew P. Bernat, Patricia J. Teller, Ann Q. Gates, Nellie Delgado
Structuring the student research experience. ITiCSE (2000)
Ann Q. Gates
How can symposia be structured to benefit both industry and academia? HASE (2000)
Ann Q. Gates, Patricia J. Teller
An Integrated Development of a Dynamic Software-Fault Monitoring System. Trans. SDPS 4 (3) (2000)
Patricia J. Teller, Michael E. Maxwell, Ann Q. Gates
Towards the design of a snoopy coprocessor for dynamic software-fault detection. IPCCC (1999)
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. Bull. EATCS 69 (1999)
Ann Q. Gates, Patricia J. Teller
DynaMICs: An Automated and Independent Software-FaultDetection Approach. HASE (1999)
Ann Q. Gates, Vladik Kreinovich, Luc Longpré
Kolmogorov Complexity Justifies Software Engineering Heuristics. Bull. EATCS 66 (1998)
Ann Q. Gates, Vladik Kreinovich
Why is a function defined as set of ordered pairs? ACM SIGCSE Bull. 29 (4) (1997)
Ann Q. Gates, C. Kubo Della-Piana
The identification of integrity constraints in requirements for context monitoring. ECBS (1997)
Ann Q. Gates
Integrating a Problem-Solving Methodology and Group Skills into CS1. CSEE (1996)
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. J. Syst. Softw. 32 (3) (1996)
Ann Q. Gates
On Defining a Class of Integrity Constraints. SEKE (1996)
Ann Q. Gates, Daniel E. Cooke
The Use of Integrity Constraints in Software Engineering. SEKE (1995)
Daniel E. Cooke, Richard Duran, Ann Q. Gates, Vladik Kreinovich
Bag languages, concurrency, Horn logic programs, and linear logic. SEKE (1994)
Daniel E. Cooke, Ann Q. Gates
On the Development of a Method to Synthesize Programs from Requirements Specifications. Int. J. Softw. Eng. Knowl. Eng. 1 (1) (1991)
Daniel E. Cooke, Ann Q. Gates
On the application of stratification to requirement specifications. TAI (1990)
Ann Q. Gates, Daniel E. Cooke
An Introduction To The Recognition of Iterative Structures by a CASE Tool. SEKE (1990)