Gregory Butler

Greg Butler

	2009
72		Bahman Zamani, Greg Butler: Describing Pattern Languages for Checking Design Models. APSEC 2009: 197-204
71		Stephen Barrett, Daniel Sinnig, Patrice Chalin, Greg Butler: Merging of Use Case Models: Semantic Foundations. TASE 2009: 182-189
70		Bahman Zamani, Greg Butler, Sahar Kayhani: Tool Support for Pattern Selection and Use. Electr. Notes Theor. Comput. Sci. 233: 127-142 (2009)
	2008
69		Bahman Zamani, Sahar Kayhani, Greg Butler: A Pattern Language Verifier for Web-Based Enterprise Applications. MoDELS 2008: 553-567
	2006
68		Lugang Xu, Greg Butler: Cascaded Refactoring for Framework Development and Evolution. ASWEC 2006: 319-330
67		Christopher J. O. Baker, Xiao Su, Greg Butler, Volker Haarslev: Ontoligent Interactive Query Tool. CSWWS 2006: 155-169
66		Farzad Kohantorabi, Gregory Butler, Christopher J. O. Baker: A Distributed Agent System upon Semantic Web Technologies to Provide Biological Data. CSWWS 2006: 63-80
65		Alireza Shaneh, Gregory Butler: Bayesian Learning for Feed-Forward Neural Network with Application to Proteomic Data: The Glycosylation Sites Detection of the Epidermal Growth Factor-Like Proteins Associated with Cancer as a Case Study. Canadian Conference on AI 2006: 110-121
64		Greg Butler, Guang Wang, Yue Wang, Liqian Zou: Query Optimization for a Graph Database with Visual Queries. DASFAA 2006: 602-616
63		Christopher J. O. Baker, Arash Shaban-Nejad, Xiao Su, Volker Haarslev, Greg Butler: Semantic web infrastructure for fungal enzyme biotechnologists. J. Web Sem. 4(3): 168-180 (2006)
	2005
62		Greg Butler, Guang Wang, Yue Wang, Liqian Zou: A graph database with visual queries for genomics. APBC 2005: 31-40
61		Arash Shaban-Nejad, Christopher J. O. Baker, Volker Haarslev, Greg Butler: The FungalWeb Ontology: Semantic Web Challenges in Bioinformatics and Genomics. International Semantic Web Conference 2005: 1063-1066
60		Xiang Jia Min, Gregory Butler, Reginald Storms, Adrian Tsang: TargetIdentifier: a webserver for identifying full-length cDNAs from EST sequences. Nucleic Acids Research 33(Web-Server-Issue): 669-672 (2005)
59		Xiang Jia Min, Gregory Butler, Reginald Storms, Adrian Tsang: OrfPredictor: predicting protein-coding regions in EST-derived sequences. Nucleic Acids Research 33(Web-Server-Issue): 677-680 (2005)
	2004
58		Jian Xu, Wei Yu, Kexing Rui, Gregory Butler: Use Case Refactoring: A Tool and a Case Study. APSEC 2004: 484-491
57		Wei Yu, Jun Li, Greg Butler: Refactoring Use Case Models on Episodes. ASE 2004: 328-331
56		Jingxue Zhou, Bin Nie, Gregory Butler: An Efficient B+-Tree Implementation in C++ Using the STL Style. ICEIS (1) 2004: 163-168
55		Vivien Liang, Gregory Butler: WISH Query Composer. ICEIS (1) 2004: 566-569
54		Shengbing Ren, Gregory Butler, Kexing Rui, Jian Xu, Wei Yu, Renhang Luo: A Prototype Tool for Use Case Refactoring. ICEIS (3) 2004: 173-178
53		Yun Mai, Jinmiao Li, Greg Butler: Difficult Issues in Designing Adaptive Object Model Systems. ICEIS (3) 2004: 295-302
52		Ibrahim Haddad, Greg Butler: Experimental Studies of Scalability in Clustered Web Systems. IPDPS 2004
51		Greg Butler, Rei Lee, Mike Welcome: GUPFS: The Global Unified Parallel File System Project at NERSC. MSST 2004: 361-371
	2003
50		Kexing Rui, Gregory Butler: Refactoring Use Case Models: The Metamodel. ACSC 2003: 301-308
49		Ju Wang, Jinmiao Li, Greg Butler: Implementing the PostgreSQL Query Optimizer within the OPT++ Framework. APSEC 2003: 262-272
48		Jinmiao Li, Yun Mai, Greg Butler: Implementing Exception Handling Policies for Workflow Management System. APSEC 2003: 564-573
47		Gregory Butler, Xin Shen, Lugang Xu: Issues in Architectural Modeling and Evolution in the Know-It-All Case Study. ECBS 2003: 321-330
46		Kexing Rui, Shengbing Ren, Gregory Butler: Refactoring Use Case Models: A Case Study. ICEIS (3) 2003: 239-244
45		Shengbing Ren, Kexing Rui, Gregory Butler: Refactoring the Scenario Specification: A Message Sequence Chart Approach. OOIS 2003: 294-298
	2002
44		Gregory Butler: Architectural Refactoring in Framework Evolution: A Case Study. GPCE 2002: 128-139
	2001
43		Gregory Butler, Stan Jarzabek: Generative and Component-Based Software Engineering, Second International Symposium, GCSE 2000, Erfurt, Germany, October 9-12, 2000, Revised Papers Springer 2001
42		Barbara Barth, Gregory Butler, Krzysztof Czarnecki, Ulrich W. Eisenecker: Generative Programming. ECOOP Workshops 2001: 135-149
41		Gregory Butler, Don S. Batory, Krzysztof Czarnecki, Ulrich W. Eisenecker: Generative Techniques for Product Lines. ICSE 2001: 760-761
40		Gregory Butler, Lugang Xu: Cascaded refactoring for framework. SSR 2001: 51-57
	2000
39		Shawn Delaney, Gregory Butler, Clement W. H. Lam, Larry H. Thiel: Three Improvements to the BLASTP Search of Genome Databases. SSDBM 2000: 14-24
38		Gregory Butler, Rudolf K. Keller, Hafedh Mili: A framework for framework documentation. ACM Comput. Surv. 32(1es): 15 (2000)
	1999
37		Greg Butler, Andrea Gantchev, Peter Grogono: Reusable Strategies for Software Agents via the Subsumption. APSEC 1999: 326-333
36		Gregory Butler, T. Kharma, O. Tjandra: Towards OM - An Object-Oriented Implementation of Mantra. Australasian Database Conference 1999: 89-100
35		Gregory Butler: Developing Frameworks by Aligning Requirements, Design, and Code. ECOOP Workshops 1999: 368
34		Miguel Abdalla, Ferhat Khendek, Greg Butler: New results on deriving SDL specifications from MSCs. SDL Forum 1999: 51-66
	1998
33		Greg Butler, Peter Grogono, Ferhat Khendek: A Reuse Case Perspective on Documenting Frameworks. APSEC 1998: 94-101
32		Yuan Peng, Ferhat Khendek, Peter Grogono, Greg Butler: Feature Interaction Detection Technique Based on Feature Assumptions. FIW 1998: 291-298
	1997
31		Greg Butler: Quality and Reuse in Industrial Software Engineering. APSEC 1997: 3-12
30		Greg Butler, Peter Grogono, Ferhat Khendek: A Z Specification of Use Cases: A Preliminary Report. APSEC 1997: 505-506
	1996
29		Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra: Document Recognition, Semantics, and Symbolic Reasoning in Reverse Engineering of Software. AISMC 1996: 38-48
28		Gregory Butler: Software Architectures for Computer Algebra: A Case Study. DISCO 1996: 277-286
	1995
27		Gregory Butler: Intelligent Mathematical Databases. DASFAA 1995: 326-332
26		Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra: Analyzing the logical structure of data flow diagrams in software documents. ICDAR 1995: 575-578
25		Indra A. Tjandra, Gregory Butler: Formal Representation of Reusable Software Modules. WCRE 1995: 198-202
24		Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra: Retrieving Information from Data Flow Diagrams. WCRE 1995: 22-29
23		Frank Ng, Gregory Butler, Judy Kay: An Intelligent Tutoring System for the Dijkstra-Gries Methodology. IEEE Trans. Software Eng. 21(5): 415-428 (1995)
22		Gregory Butler: Easy Verification of Behavioural Subtyping in Common Cases. Inf. Process. Lett. 55(1): 57-58 (1995)
	1994
21		Gregory Butler: Datalog and TwoGroups and C++. AISMC 1994: 80-92
20		Gregory Butler, Clement W. H. Lam: The Preliminary Design of an Object-Oriented Framework for Combinatorial Enumeration. COODBSE 1994: 134-144
19		Gregory Butler, Sridhar S. Iyer, E. A. O'Brien: A Database of Groups of Prime-power Order. Softw., Pract. Exper. 24(10): 911-951 (1994)
	1993
18		Frank Ng, Gregory Butler: Specialised Theorem-Proving in an Intelligent Tutoring System for the Dijkstra-Gries Programming Methodology. ICCI 1993: 294-298
17		Gregory Butler, John J. Cannon: On Holt's Algorithm. J. Symb. Comput. 15(2): 229-233 (1993)
16		Gregory Butler: The Transitive Groups of Degree Fourteen and Fifteen. J. Symb. Comput. 16(5): 413-422 (1993)
	1992
15		Gregory Butler: The Progress Towards an Intelligent Assistent - A Discussion Paper. AISMC 1992: 107-115
14		Gregory Butler: Experimental Comparison of Algorithms for Sylow Subgroups. ISSAC 1992: 251-262
	1991
13		Gregory Butler: Fundamental Algorithms for Permutation Groups Springer 1991
12		Gregory Butler: Implementing Some Algorithms of Kantor. AAECC 1991: 82-93
11		Gregory Butler, Sridhar S. Iyer, Susan H. Ley: A Deductive Database of the Groups of Order Dividing 128. ISSAC 1991: 210-218
10		Gregory Butler, John J. Cannon: Computing Sylow Subgroups of Permutation Groups Using Homomorphic Images of Centralizers. J. Symb. Comput. 12(4/5): 443-458 (1991)
	1990
9		Gregory Butler, John J. Cannon: The Design of Cayley - a Language for Modern Algebra. DISCO 1990: 10-19
8		Gregory Butler, Sridhar S. Iyer: Deductive Mathematical Databases - A Case Study. SSDBM 1990: 50-64
	1989
7		Gregory Butler, John J. Cannon: Computing in Permutation and Matrix Groups III: Sylow Subgroups. J. Symb. Comput. 8(3): 241-252 (1989)
	1988
6		Gregory Butler, John J. Cannon: Cayley, Version 4: The User Language. ISSAC 1988: 456-466
5		Gregory Butler: A Proof of Holt's Algorithm. J. Symb. Comput. 5(3): 275-283 (1988)
	1987
4		Gregory Butler, Matthew J. Kendall: The Suitability for Master/Slave Concurrency of Concurrent Euclid, Ada and Modula. Softw., Pract. Exper. 17(2): 117-134 (1987)
	1985
3		Gregory Butler: Effective Computation with Group Homomorphisms. J. Symb. Comput. 1(2): 143-157 (1985)
2		Gregory Butler, Clement W. H. Lam: A General Backtrack Algorithm for the Isomorphism Problem of Combinatorial Objects. J. Symb. Comput. 1(4): 363-381 (1985)
	1983
1		Gregory Butler: Computing Normalizers in Permutation Groups. J. Algorithms 4(2): 163-175 (1983)

Coauthor Index

1	Miguel Abdalla	[34]
2	Christopher J. O. Baker	[61] [63] [66] [67]
3	Stephen Barrett	[71]
4	Barbara Barth	[42]
5	Don S. Batory	[41]
6	John J. Cannon	[6] [7] [9] [10] [17]
7	Patrice Chalin	[71]
8	Krzysztof Czarnecki	[41] [42]
9	Shawn Delaney	[39]
10	Ulrich W. Eisenecker	[41] [42]
11	Andrea Gantchev	[37]
12	Peter Grogono	[24] [26] [29] [30] [32] [33] [37]
13	Volker Haarslev	[61] [63] [67]
14	Ibrahim Haddad	[52]
15	Sridhar S. Iyer	[8] [11] [19]
16	Stan Jarzabek (Stanislaw Jarzabek)	[43]
17	Judy Kay	[23]
18	Sahar Kayhani	[69] [70]
19	Rudolf K. Keller	[38]
20	Matthew J. Kendall	[4]
21	T. Kharma	[36]
22	Ferhat Khendek	[30] [32] [33] [34]
23	Farzad Kohantorabi	[66]
24	Clement W. H. Lam (Clement Wing Hong Lam)	[2] [20] [39]
25	Rei Lee	[51]
26	Susan H. Ley	[11]
27	Jinmiao Li	[48] [49] [53]
28	Jun Li	[57]
29	Vivien Liang	[55]
30	Renhang Luo	[54]
31	Yun Mai	[48] [53]
32	Hafedh Mili	[38]
33	Xiang Jia Min	[59] [60]
34	Frank Ng	[18] [23]
35	Bin Nie	[56]
36	E. A. O'Brien	[19]
37	Yuan Peng	[32]
38	Shengbing Ren	[45] [46] [54]
39	Kexing Rui	[45] [46] [50] [54] [58]
40	Arash Shaban-Nejad	[61] [63]
41	Alireza Shaneh	[65]
42	Xin Shen	[47]
43	Rajjan Shinghal	[24] [26] [29]
44	Daniel Sinnig	[71]
45	Reginald Storms	[59] [60]
46	Xiao Su	[63] [67]
47	Larry H. Thiel	[39]
48	Indra A. Tjandra	[24] [25] [26] [29]
49	O. Tjandra	[36]
50	Adrian Tsang	[59] [60]
51	Guang Wang	[62] [64]
52	Ju Wang	[49]
53	Yue Wang	[62] [64]
54	Mike Welcome	[51]
55	Jian Xu	[54] [58]
56	Lugang Xu	[40] [47] [68]
57	Wei Yu	[54] [57] [58]
58	Bahman Zamani	[69] [70] [72]
59	Jingxue Zhou	[56]
60	Liqian Zou	[62] [64]

Colors in the list of coauthors