Ann Q. Gates

	2011
42		Salamah Salamah, Ann Q. Gates, Steve Roach, Matthew Engskow: Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications. Adv. Software Engineering 2011: (2011)
	2010
41		Irbis Gallegos, Ann Q. Gates, Craig Tweedie: DaProS: A Data Property Specification Tool to Capture Scientific Sensor Data Properties. ER Workshops 2010: 232-241
40		Ann Q. Gates: The role of Hispanic-serving institutions in contributing to an educated work force. Commun. ACM 53(12): 31-33 (2010)
39		Ann Q. Gates: Discovery, Innovation, and Creativity: The Core of Computing. IEEE Computer 43(2): 98-100 (2010)
	2009
38		Pearl Brazier, Artem Chebotko, Ann Q. Gates, Leonardo Salayandia: GEO-SEED: A Metadata Repository for Geosciences Web Service Discovery. SERVICES I 2009: 356-359
37		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
36		Paulo Pinheiro da Silva, Leonardo Salayandia, Aída Gándara, Ann Q. Gates: CI-Miner: semantically enhancing scientific processes. Earth Science Informatics 2(4): 249-269 (2009)
	2008
35		Salamah Salamah, Ann Q. Gates: A Technique for Using Model Checkers to Teach Formal Specifications. CSEE&T 2008: 181-188
34		Salamah Salamah, Ann Q. Gates, Steve Roach: Improving Pattern-Based LTL Formulas for Automata Model Checking. ITNG 2008: 9-14
33		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
32		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
31		Nicholas Del Rio, Paulo Pinheiro da Silva, Ann Q. Gates, Leonardo Salayandia: Semantic Annotation of Maps Through Knowledge Provenance. GeoS 2007: 20-35
30		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
29		Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach: Verification of Automatically Generated Pattern-Based LTL Specifications. HASE 2007: 341-348
28		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
27		Salamah Salamah, Vladik Kreinovich, Ann Q. Gates: Generating Linear Temporal Logic Formulas for Pattern-Based Specifications. SEKE 2007: 422-427
26		Oscar Mondragon, Ann Q. Gates, Steve Roach, Humberto Mendoza, Oleg Sokolsky: Generating Properties for Runtime Monitoring from Software Specification Patterns. International Journal of Software Engineering and Knowledge Engineering 17(1): 107-126 (2007)
	2006
25		Leonardo Salayandia, Paulo Pinheiro da Silva, Ann Q. Gates, Flor Salcedo: Workflow-Driven Ontologies: An Earth Sciences Case Study. e-Science 2006: 17
	2005
24		Oscar Mondragon, Ann Q. Gates, Humberto Mendoza, Oleg Sokolsky: Generating Properties for Runtime Monitoring from Software Specification Patterns. SEKE 2005: 267-273
23		Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon: Verifying Pattern-Generated LTL Formulas: A Case Study. SPIN 2005: 200-220
22		Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky: JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. WORDS 2005: 105-112
	2004
21		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)
20		Oscar Mondragon, Ann Q. Gates: Supporting Elicitation And Specification Of Software Properties Through Patterns And Composite Propositions. International Journal of Software Engineering and Knowledge Engineering 14(1): 21-41 (2004)
	2003
19		Oscar Mondragon, Ann Q. Gates, Fadi Kassem: Automated Support for Property Specification Based on Patterns. SEKE 2003: 174-181
18		Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach: Instrumentation of Intermediate Code for Runtime Verification. SEW 2003: 66
17		Oscar Mondragon, Ann Q. Gates, Steve Roach: Prospec: Support for Elicitation and Formal Specification of Software Properties. Electr. Notes Theor. Comput. Sci. 89(2): 67-88 (2003)
	2002
16		Ann Q. Gates, Oscar Mondragon: FasTLInC: a constraint-based tracing approach. Journal of Systems and Software 63(3): 241-258 (2002)
	2001
15		Ann Q. Gates, Vladik Kreinovich: Strassen's Algorithm Made (Somewhat) More Natural: A Pedagogical Remark. Bulletin of the EATCS 73: 142-145 (2001)
14		Ann Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado: DynaMICs: Comprehensive Support for Run-Time Monitoring. Electr. Notes Theor. Comput. Sci. 55(2): 164-180 (2001)
	2000
13		Andrew Bernat, Patricia J. Teller, Ann Q. Gates, Nellie Delgado: Structuring the student research experience. ITiCSE 2000: 17-20
	1999
12		Ann Q. Gates, Patricia J. Teller: DynaMICs: An Automated and Independent Software-FaultDetection Approach. HASE 1999: 11-19
11		Patricia J. Teller, M. E. Maxwell, Ann Q. Gates: Towards the design of a snoopy coprocessor for dynamic software-fault detection. IPCCC 1999: 310-317
10		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. Bulletin of the EATCS 69: 145-150 (1999)
	1998
9		Ann Q. Gates, Vladik Kreinovich, Luc Longpré: Kolmogorov Complexity Justifies Software Engineering Heuristics. Bulletin of the EATCS 66: 150-154 (1998)
	1997
8		Ann Q. Gates, C. Kubo Della-Piana: The identification of integrity constraints in requirements for context monitoring. ECBS 1997: 498-506
7		Ann Q. Gates, Vladik Kreinovich: Why is a function defined as set of ordered pairs? SIGCSE Bulletin 29(4): 57 (1997)
	1996
6		Ann Q. Gates: On Defining a Class of Integrity Constraints. SEKE 1996: 338-344
5		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. Journal of Systems and Software 32(3): 269-308 (1996)
	1995
4		Ann Q. Gates, Daniel E. Cooke: The Use of Integrity Constraints in Software Engineering. SEKE 1995: 383-390
	1994
3		Daniel E. Cooke, Richard Duran, Ann Q. Gates, Vladik Kreinovich: Bag languages, concurrency, Horn logic programs, and linear logic. SEKE 1994: 289-297
	1991
2		Daniel E. Cooke, Ann Q. Gates: On the Development of a Method to Synthesize Programs from Requirements Specifications. International Journal of Software Engineering and Knowledge Engineering 1(1): 21-38 (1991)
	1990
1		Ann Q. Gates, Daniel E. Cooke: An Introduction To The Recognition of Iterative Structures by a CASE Tool. SEKE 1990: 202-208

Coauthor Index

1	Andrew Bernat	[13]
2	Pearl Brazier	[37] [38]
3	Artem Chebotko	[37] [38]
4	Daniel E. Cooke	[1] [2] [3] [4] [5]
5	Nellie Delgado	[13]
6	Nelly Delgado	[14] [21]
7	C. Kubo Della-Piana	[8]
8	Elif Demirörs	[5]
9	Onur Demirörs	[5]
10	Richard Duran	[3]
11	Matthew Engskow	[42]
12	Irbis Gallegos	[22] [28] [33] [41]
13	Aída Gándara	[36]
14	Fadi Kassem	[19]
15	G. Randy Keller	[30]
16	Bernd J. Krämer	[5]
17	Vladik Kreinovich	[3] [7] [9] [10] [15] [27] [29] [32]
18	Luc Longpré	[9]
19	M. E. Maxwell	[11]
20	Humberto Mendoza	[24] [26]
21	Oscar Mondragon	[14] [16] [17] [18] [19] [20] [23] [24] [26]
22	Omar Ochoa	[22] [28] [33]
23	Mary Payne	[18]
24	Anthony Piazza	[37]
25	Nicholas Del Rio	[31]
26	Steve Roach	[14] [17] [18] [21] [22] [23] [26] [28] [29] [32] [33] [34] [42]
27	Salamah Salamah	[23] [27] [29] [32] [33] [34] [35] [42]
28	Leonardo Salayandia	[25] [30] [31] [36] [37] [38]
29	Flor Salcedo	[25] [30]
30	Paulo Pinheiro da Silva	[25] [30] [31] [36]
31	Oleg Sokolsky	[22] [24] [26]
32	S. Subbaramu	[10]
33	Murat M. Tanik	[5]
34	Patricia J. Teller	[11] [12] [13]
35	Craig Tweedie	[41]
36	Corina Vela	[33]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page