Ann Q. Gates
Affiliations: | University of Texas at El Paso, El Paso, TX, United States |
Area:
Computer ScienceGoogle:
"Ann Gates"Children
Sign in to add traineeOscar A. Mondragon | grad student | 2004 | UT El Paso |
Salamah I. Salamah | grad student | 2007 | UT El Paso |
Pearl W. Brazier | grad student | 2010 | UT El Paso |
Irbis J. Gallegos | grad student | 2011 | UT El Paso |
Leonardo Salayandia | grad student | 2012 | UT El Paso |
Aida Gandara | grad student | 2013 | UT El Paso |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Salayandia L, Pennington D, Gates AQ, et al. (2013) MetaShare: From data management plans to knowledge-based systems Aaai Fall Symposium - Technical Report. 44-49 |
Salamah S, Gates A, Kreinovich V. (2012) Validated templates for specification of complex LTL formulas Journal of Systems and Software. 85: 1915-1929 |
Salayandia L, Gates AQ, Pinheiro P. (2012) An approach to evaluate scientist support in abstract workflows and provenance traces Aaai Fall Symposium - Technical Report. 45-51 |
Salamah S, Gates AQ, Roach S, et al. (2011) Towards support for software model checking: improving the efficiency of formal specifications Advances in Software Engineering. 2011: 3 |
Gates AQ, Hug S, Thiry H, et al. (2011) The computing alliance of hispanic-serving institutions: Supporting hispanics at critical transition points Acm Transactions On Computing Education. 11 |
Gates AQ, Da Silva PP, Salayandia L, et al. (2011) Use of abstraction to support geoscientists’ understanding and production of scientific artifacts Geoinformatics: Cyberinfrastructure For the Solid Earth Sciences. 266-284 |
Gates AQ. (2010) Discovery, innovation, and creativity: The core of computing Computer. 43: 98-100 |
Salamah S, Ochoa O, Gates AQ. (2010) A comparative study of a tool-based approach for teaching formal specifications Proceedings - Frontiers in Education Conference, Fie |
Gallegos I, Gates AQ, Tweedie C. (2010) DaProS: A data property specification tool to capture scientific sensor data properties Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6413: 232-241 |
Brazier P, Chebotko A, Gates AQ, et al. (2009) GEO-SEED: A metadata repository for geosciences web service discovery Services 2009 - 5th 2009 World Congress On Services. 356-359 |