Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnn Q. Gates
Person information
- affiliation: University of Texas at El Paso, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2016
[j20]Ann Quiroz Gates, Heather Thiry, Sarah Hug
:
Reflections: The Computing Alliance of Hispanic-Serving Institutions. Inroads 7(4): 69-73 (2016)- 2012
- [j19]Salamah Salamah, Ann Q. Gates, Vladik Kreinovich:
Validated templates for specification of complex LTL formulas. J. Syst. Softw. 85(8): 1915-1929 (2012) - 2011
- [j18]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: 869182:1-869182:13 (2011) - [j17]Ann Q. Gates, Fernando Naveda, Fanny Klett, Miguel Alonso, Rodrigo Romero, Dina Grewal:
Cultivating Entrepreneurial Thinking through IEEE-CS Student Chapters. Computer 44(4): 48-55 (2011) - [j16]Ann Quiroz Gates, Sarah Hug, Heather Thiry, Richard A. Aló, Mohsen Beheshti, John Fernandez, Nestor Rodriguez, Malek Adjouadi:
The Computing Alliance of Hispanic-Serving Institutions: Supporting Hispanics at Critical Transition Points. ACM Trans. Comput. Educ. 11(3): 16:1-16:21 (2011) - 2010
- [j15]Ann Q. Gates:
The role of Hispanic-serving institutions in contributing to an educated work force. Commun. ACM 53(12): 31-33 (2010) - [j14]Ann Q. Gates:
Discovery, Innovation, and Creativity: The Core of Computing. Computer 43(2): 98-100 (2010) - 2009
- [j13]Paulo Pinheiro da Silva, Leonardo Salayandia, Aída Gándara, Ann Q. Gates:
CI-Miner: semantically enhancing scientific processes. Earth Sci. Informatics 2(4): 249-269 (2009) - 2007
- [j12]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): 107-126 (2007) - [j11]Leonardo Salayandia, Ann Q. Gates:
Towards a workflow management system for service oriented modules. Int. J. Simul. Process. Model. 3(1/2): 18-25 (2007) - 2004
- [j10]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): 21-41 (2004) - [j9]Nelly Delgado, Ann Q. Gates, Steve Roach:
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools. IEEE Trans. Software Eng. 30(12): 859-872 (2004) - 2002
- [j8]Ann Q. Gates, Oscar Mondragon:
FasTLInC: a constraint-based tracing approach. J. Syst. Softw. 63(3): 241-258 (2002) - 2001
- [j7]Ann Q. Gates, Vladik Kreinovich:
Strassen's Algorithm Made (Somewhat) More Natural: A Pedagogical Remark. Bull. EATCS 73: 142-145 (2001) - 2000
- [j6]Ann Q. Gates, Patricia J. Teller:
An Integrated Development of a Dynamic Software-Fault Monitoring System. Trans. SDPS 4(3): 63-78 (2000) - 1999
- [j5]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: 145-150 (1999) - 1998
- [j4]Ann Q. Gates, Vladik Kreinovich, Luc Longpré:
Kolmogorov Complexity Justifies Software Engineering Heuristics. Bull. EATCS 66: 150-154 (1998) - 1997
- [j3]Ann Q. Gates, Vladik Kreinovich:
Why is a function defined as set of ordered pairs? ACM SIGCSE Bull. 29(4): 57 (1997) - 1996
- [j2]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): 269-308 (1996) - 1991
- [j1]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): 21-38 (1991)
Conference and Workshop Papers
- 2023
- [c57]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: 1-5 - [c56]Sanga Kim, Lisa C. Kaczmarczyk, Jessica Rivera, Ann Q. Gates:
Noncognitive and Affective Attributes of Caregivers Enrolled in Engineering and Computing Programs. FIE 2023: 1-8 - [c55]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: 1-9 - [c54]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: 1198-1199 - 2021
- [c53]Farzana Rahman, Elodie Billionniere, Ann Quiroz Gates, Felesia Stukes:
Equipping and Empowering Faculty through Professional Development to Create a Future-Ready Workforce in Emerging Technologies. SIGITE 2021: 21-22 - 2020
- [c52]Farzana Rahman, Elodie Billionniere, Quincy Brown, Ann Quiroz Gates:
RESET (Re-Enter STEM through Emerging Technology): Finding Re-Entry Pathways for Women. SIGCSE 2020: 173-174 - [c51]Janice E. Cuny, Jamie Payton, Ann Q. Gates, Carol L. Fletcher, Alan Peterfreund:
National CS Ed Equity-Focused Consortia and Their Value to the Community. SIGCSE 2020: 1116-1117 - 2019
- [c50]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: 1-4 - [c49]Jennifer M. Blaney, Linda J. Sax, David F. Feldon, Ann Q. Gates:
Broadening Participation in Computing: Putting Our Work in Context. SIGCSE 2019: 490-491 - 2018
- [c48]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: 1-9 - [c47]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: 1-7 - 2017
- [c46]Francisco Osuna, Monika Akbar, Ann Q. Gates:
On Using Disparate Scholarly Data to Identify Potential Members for Interdisciplinary Research Groups. IRI 2017: 59-68 - 2016
- [c45]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 - [c44]Yanet Garay, Monika Akbar, Ann Q. Gates:
Towards Identifying Potential Research Collaborations from Scientific Research Networks using Scholarly Data. JCDL 2016: 217-218 - [c43]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: 1-2 - [c42]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: 699 - 2015
- [c41]Ann Q. Gates, Claudia Casas, Christian Servin, Michelle Slattery:
Using Peer-Led Team Learning to build university-community college relationships. FIE 2015: 1-7 - [c40]Sarah Hug, Heather Thiry, Ann Quiroz Gates:
Strategies for sustaining change in engineering education. FIE 2015: 1-7 - [c39]Wai Yan Elsa Tai, Ann Q. Gates, Monika Akbar:
Cyber-infrastructure support for the integration and analysis of student success data. FIE 2015: 1-5 - [c38]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: 1-2 - 2013
- [c37]Leonardo Salayandia, Deana Pennington, Ann Q. Gates, Frank Osuna:
MetaShare: From Data Management Plans to Knowledge-Based Systems. AAAI Fall Symposia 2013 - 2012
- [c36]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 - [c35]Irbis Gallegos, Ann Q. Gates:
Tool Support for Anomaly Detection in Scientific Sensor Data. SEKE 2012: 678-683 - 2010
- [c34]Irbis Gallegos, Ann Q. Gates, Craig E. Tweedie:
DaProS: A Data Property Specification Tool to Capture Scientific Sensor Data Properties. ER Workshops 2010: 232-241 - [c33]Irbis Gallegos, Ann Q. Gates, Craig E. Tweedie:
Improving environmental sensor data quality using a categorization of data properties. ICIQ 2010 - [c32]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 - 2009
- [c31]Pearl Brazier, Artem Chebotko, Ann Q. Gates, Leonardo Salayandia:
GEO-SEED: A Metadata Repository for Geosciences Web Service Discovery. SERVICES I 2009: 356-359 - [c30]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: 220-226 - 2008
- [c29]Salamah Salamah, Ann Q. Gates:
A Technique for Using Model Checkers to Teach Formal Specifications. CSEE&T 2008: 181-188 - [c28]Salamah Salamah, Ann Q. Gates, Steve Roach:
Improving Pattern-Based LTL Formulas for Automata Model Checking. ITNG 2008: 9-14 - [c27]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: 273-278 - 2007
- [c26]Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach:
Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications. ATVA 2007: 533-542 - [c25]Nicholas Del Rio, Paulo Pinheiro da Silva, Ann Q. Gates, Leonardo Salayandia:
Semantic Annotation of Maps Through Knowledge Provenance. GeoS 2007: 20-35 - [c24]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: 278-287 - [c23]Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach:
Verification of Automatically Generated Pattern-Based LTL Specifications. HASE 2007: 341-348 - [c22]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: 75-86 - [c21]Salamah Salamah, Vladik Kreinovich, Ann Q. Gates:
Generating Linear Temporal Logic Formulas for Pattern-Based Specifications. SEKE 2007: 422-427 - 2006
- [c20]Leonardo Salayandia, Paulo Pinheiro da Silva, Ann Q. Gates, Flor Salcedo:
Workflow-Driven Ontologies: An Earth Sciences Case Study. e-Science 2006: 17 - 2005
- [c19]Oscar Mondragon, Ann Q. Gates, Humberto Mendoza, Oleg Sokolsky:
Generating Properties for Runtime Monitoring from Software Specification Patterns. SEKE 2005: 267-273 - [c18]Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon:
Verifying Pattern-Generated LTL Formulas: A Case Study. SPIN 2005: 200-220 - [c17]Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky:
JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. WORDS 2005: 105-112 - 2003
- [c16]Oscar Mondragon, Ann Q. Gates, Fadi Kassem:
Automated Support for Property Specification Based on Patterns. SEKE 2003: 174-181 - [c15]Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach:
Instrumentation of Intermediate Code for Runtime Verification. SEW 2003: 66 - [c14]Oscar Mondragon, Ann Q. Gates, Steve Roach:
Prospec: Support for Elicitation and Formal Specification of Software Properties. RV@CAV 2003: 67-88 - 2001
- [c13]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: 2170-2175 - [c12]Ann Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado:
DynaMICs: Comprehensive Support for Run-Time Monitoring. RV@CAV 2001: 164-180 - 2000
- [c11]Ann Q. Gates:
How can symposia be structured to benefit both industry and academia? HASE 2000: 45-46 - [c10]Andrew P. Bernat, Patricia J. Teller, Ann Q. Gates, Nellie Delgado:
Structuring the student research experience. ITiCSE 2000: 17-20 - 1999
- [c9]Ann Q. Gates, Patricia J. Teller:
DynaMICs: An Automated and Independent Software-FaultDetection Approach. HASE 1999: 11-19 - [c8]Patricia J. Teller, Michael E. Maxwell, Ann Q. Gates:
Towards the design of a snoopy coprocessor for dynamic software-fault detection. IPCCC 1999: 310-317 - 1997
- [c7]Ann Q. Gates, C. Kubo Della-Piana:
The identification of integrity constraints in requirements for context monitoring. ECBS 1997: 498-506 - 1996
- [c6]Ann Q. Gates:
Integrating a Problem-Solving Methodology and Group Skills into CS1. CSEE 1996: 6-15 - [c5]Ann Q. Gates:
On Defining a Class of Integrity Constraints. SEKE 1996: 338-344 - 1995
- [c4]Ann Q. Gates, Daniel E. Cooke:
The Use of Integrity Constraints in Software Engineering. SEKE 1995: 383-390 - 1994
- [c3]Daniel E. Cooke, Richard Duran, Ann Q. Gates, Vladik Kreinovich:
Bag languages, concurrency, Horn logic programs, and linear logic. SEKE 1994: 289-297 - 1990
- [c2]Daniel E. Cooke, Ann Q. Gates:
On the application of stratification to requirement specifications. TAI 1990: 760-766 - [c1]Ann Q. Gates, Daniel E. Cooke:
An Introduction To The Recognition of Iterative Structures by a CASE Tool. SEKE 1990: 202-208
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 23:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
