Ann Q. Gates

According to our database, Ann Q. Gates authored at least 77 papers between 1990 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

Expanding Pathways for Hispanic Students to Enter and Succeed in Computing Graduate Studies.

Jessica Rivera, Ann Q. Gates, Elsa Q. Villa, Patricia Morreale

Proceedings of the IEEE Frontiers in Education Conference, 2023

Noncognitive and Affective Attributes of Caregivers Enrolled in Engineering and Computing Programs.

Sanga Kim, Lisa C. Kaczmarczyk, Jessica Rivera, Ann Q. Gates

Proceedings of the IEEE Frontiers in Education Conference, 2023

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

Proceedings of the IEEE Frontiers in Education Conference, 2023

2021

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

Proceedings of the SIGITE '21: The 22nd Annual Conference on Information Technology Education, SnowBird, UT, USA, October 6, 2021

2020

RESET (Re-Enter STEM through Emerging Technology): Finding Re-Entry Pathways for Women.

Farzana Rahman, Elodie Billionniere, Quincy Brown, Ann Quiroz Gates

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

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

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

2019

Broadening Participation in Computing: Putting Our Work in Context.

Jennifer M. Blaney, Linda J. Sax, David F. Feldon, Ann Q. Gates

Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

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

Proceedings of the IEEE Frontiers in Education Conference, 2019

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

Proceedings of the IEEE Frontiers in Education Conference, 2018

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

Proceedings of the IEEE Frontiers in Education Conference, 2018

2017

On Using Disparate Scholarly Data to Identify Potential Members for Interdisciplinary Research Groups.

Francisco Osuna, Monika Akbar, Ann Q. Gates

Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017

2016

Reflections: The Computing Alliance of Hispanic-Serving Institutions.

Ann Quiroz Gates, Heather Thiry, Sarah Hug

Inroads, 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

Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 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

Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016

Towards Identifying Potential Research Collaborations from Scientific Research Networks using Scholarly Data.

Yanet Garay, Monika Akbar, Ann Q. Gates

Proceedings of the 16th ACM/IEEE-CS on Joint Conference on Digital Libraries, 2016

A Feasibility Study of an Approach to Extend Research Footprints.

Francisco Osuna, Bhanukiran Gurijala, Patricia Esparza, Monika Akbar, Ann Q. Gates

Proceedings of the Scholarly Big Data: AI Perspectives, 2016

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, Miroslav Svitek, Ondrej Pribyl, Tomas Horak, Dana Procházková

Proceedings of the IEEE First International Smart Cities Conference, 2015

Cyber-infrastructure support for the integration and analysis of student success data.

Wai Yan Elsa Tai, Ann Q. Gates, Monika Akbar

Proceedings of the 2015 IEEE Frontiers in Education Conference, 2015

Strategies for sustaining change in engineering education.

Sarah Hug, Heather Thiry, Ann Quiroz Gates

Proceedings of the 2015 IEEE Frontiers in Education Conference, 2015

Using Peer-Led Team Learning to build university-community college relationships.

Ann Q. Gates, Claudia Casas, Christian Servin, Michelle Slattery

Proceedings of the 2015 IEEE Frontiers in Education Conference, 2015

2013

MetaShare: From Data Management Plans to Knowledge-Based Systems.

Leonardo Salayandia, Deana Pennington, Ann Q. Gates, Frank Osuna

Proceedings of the 2013 AAAI Fall Symposia, Arlington, Virginia, USA, November 15-17, 2013, 2013

2012

Validated templates for specification of complex LTL formulas.

Salamah Salamah, Ann Q. Gates, Vladik Kreinovich

J. Syst. Softw., 2012

Tool Support for Anomaly Detection in Scientific Sensor Data.

Irbis Gallegos, Ann Q. Gates

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

An Approach to Evaluate Scientist Support in Abstract Workflows and Provenance Traces.

Leonardo Salayandia, Ann Q. Gates, Paulo Pinheiro

Proceedings of the Discovery Informatics: The Role of AI Research in Innovating Scientific Processes, 2012

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

Cultivating Entrepreneurial Thinking through IEEE-CS Student Chapters.

Ann Q. Gates, Fernando Naveda, Fanny Klett, Miguel Alonso, Rodrigo Romero, Dina Grewal

Computer, 2011

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

2010

Discovery, Innovation, and Creativity: The Core of Computing.

Ann Q. Gates

Computer, 2010

The role of Hispanic-serving institutions in contributing to an educated work force.

Ann Q. Gates

Commun. ACM, 2010

On the Use of Abstract Workflows to Capture Scientific Process Provenance.

Paulo Pinheiro da Silva, Leonardo Salayandia, Nicholas Del Rio, Ann Q. Gates

Proceedings of the 2nd Workshop on the Theory and Practice of Provenance, 2010

Improving environmental sensor data quality using a categorization of data properties.

Irbis Gallegos, Ann Q. Gates, Craig E. Tweedie

Proceedings of the 15th International Conference on Information Quality, 2010

DaProS: A Data Property Specification Tool to Capture Scientific Sensor Data Properties.

Irbis Gallegos, Ann Q. Gates, Craig E. Tweedie

Proceedings of the Advances in Conceptual Modeling - Applications and Challenges, 2010

2009

CI-Miner: semantically enhancing scientific processes.

Paulo Pinheiro da Silva, Leonardo Salayandia, Aída Gándara, Ann Q. Gates

Earth Sci. Informatics, 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

Proceedings of the 2009 International Conference on Semantic Web & Web Services, 2009

GEO-SEED: A Metadata Repository for Geosciences Web Service Discovery.

Pearl Brazier, Artem Chebotko, Ann Q. Gates, Leonardo Salayandia

Proceedings of the 2009 IEEE Congress on Services, Part I, 2009

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

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Improving Pattern-Based LTL Formulas for Automata Model Checking.

Salamah Salamah, Ann Q. Gates, Steve Roach

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

A Technique for Using Model Checkers to Teach Formal Specifications.

Salamah Salamah, Ann Q. Gates

Proceedings of the Proceedings 21st Conference on Software Engineering Education and Training, 2008

2007

Towards a workflow management system for service oriented modules.

Leonardo Salayandia, Ann Q. Gates

Int. J. Simul. Process. Model., 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

Generating Linear Temporal Logic Formulas for Pattern-Based Specifications.

Salamah Salamah, Vladik Kreinovich, Ann Q. Gates

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification.

Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates

Proceedings of the Runtime Verification, 7th International Workshop, 2007

Verification of Automatically Generated Pattern-Based LTL Specifications.

Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Semantic Annotation of Maps Through Knowledge Provenance.

Nicholas Del Rio, Paulo Pinheiro da Silva, Ann Q. Gates, Leonardo Salayandia

Proceedings of the GeoSpatial Semantics, Second International Conference, 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

Proceedings of the GeoSpatial Semantics, Second International Conference, 2007

Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications.

Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Workflow-Driven Ontologies: An Earth Sciences Case Study.

Leonardo Salayandia, Paulo Pinheiro da Silva, Ann Q. Gates, Flor Salcedo

Proceedings of the Second International Conference on e-Science and Grid Technologies (e-Science 2006), 2006

2005

JavaMaC and Runtime Monitoring for Geoinformatics Grid Services.

Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky

Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Verifying Pattern-Generated LTL Formulas: A Case Study.

Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon

Proceedings of the Model Checking Software, 2005

Generating Properties for Runtime Monitoring from Software Specification Patterns.

Oscar Mondragon, Ann Q. Gates, Humberto Mendoza, Oleg Sokolsky

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

2004

A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools.

Nelly Delgado, Ann Q. Gates, Steve Roach

IEEE Trans. Software Eng., 2004

Supporting Elicitation And Specification Of Software Properties Through Patterns And Composite Propositions.

Oscar Mondragon, Ann Q. Gates

Int. J. Softw. Eng. Knowl. Eng., 2004

2003

Prospec: Support for Elicitation and Formal Specification of Software Properties.

Oscar Mondragon, Ann Q. Gates, Steve Roach

Proceedings of the Third Workshop on Run-time Verification, 2003

Instrumentation of Intermediate Code for Runtime Verification.

Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach

Proceedings of the 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2003

Automated Support for Property Specification Based on Patterns.

Oscar Mondragon, Ann Q. Gates, Fadi Kassem

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

2002

FasTLInC: a constraint-based tracing approach.

Ann Q. Gates, Oscar Mondragon

J. Syst. Softw., 2002

2001

DynaMICs: Comprehensive Support for Run-Time Monitoring.

Ann Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado

Proceedings of the Workshop on Runtime Verification, 2001

Strassen's Algorithm Made (Somewhat) More Natural: A Pedagogical Remark.

Ann Q. Gates, Vladik Kreinovich

Bull. EATCS, 2001

Towards automatic detection of erroneous measurement results in a gravity database.

Qian Wen, Ann Q. Gates, Jan Beck, Vladik Kreinovich, G. Randy Keller

Proceedings of the IEEE International Conference on Systems, 2001

2000

An Integrated Development of a Dynamic Software-Fault Monitoring System.

Ann Q. Gates, Patricia J. Teller

Trans. SDPS, 2000

Structuring the student research experience.

Andrew P. Bernat, Patricia J. Teller, Ann Q. Gates, Nellie Delgado

Proceedings of the 5th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2000

How can symposia be structured to benefit both industry and academia?

Ann Q. Gates

Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

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

Towards the design of a snoopy coprocessor for dynamic software-fault detection.

Patricia J. Teller, Michael E. Maxwell, Ann Q. Gates

Proceedings of the IEEE International Performance Computing and Communications Conference, 1999

DynaMICs: An Automated and Independent Software-FaultDetection Approach.

Ann Q. Gates, Patricia J. Teller

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

1998

Kolmogorov Complexity Justifies Software Engineering Heuristics.

Ann Q. Gates, Vladik Kreinovich, Luc Longpré

Bull. EATCS, 1998

1997

Why is a function defined as set of ordered pairs?

Ann Q. Gates, Vladik Kreinovich

ACM SIGCSE Bull., 1997

The identification of integrity constraints in requirements for context monitoring.

Ann Q. Gates, C. Kubo Della-Piana

Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), 1997

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

On Defining a Class of Integrity Constraints.

Ann Q. Gates

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Integrating a Problem-Solving Methodology and Group Skills into CS1.

Ann Q. Gates

Proceedings of the Ninth Conference on Software Engineering Education, 1996

1995

The Use of Integrity Constraints in Software Engineering.

Ann Q. Gates, Daniel E. Cooke

Proceedings of the SEKE'95, 1995

1994

Bag languages, concurrency, Horn logic programs, and linear logic.

Daniel E. Cooke, Richard Duran, Ann Q. Gates, Vladik Kreinovich

Proceedings of the SEKE'94, 1994

1991

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

1990

An Introduction To The Recognition of Iterative Structures by a CASE Tool.

Ann Q. Gates, Daniel E. Cooke

Proceedings of the SEKE'90, 1990

On the application of stratification to requirement specifications.

Daniel E. Cooke, Ann Q. Gates

Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990