Ann Q. Gates

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