Gregory Butler

Greg Butler

2009
70	EE	Bahman Zamani, Greg Butler, Sahar Kayhani: Tool Support for Pattern Selection and Use. Electr. Notes Theor. Comput. Sci. 233: 127-142 (2009)
2008
69	EE	Bahman Zamani, Sahar Kayhani, Greg Butler: A Pattern Language Verifier for Web-Based Enterprise Applications. MoDELS 2008: 553-567
2006
68	EE	Lugang Xu, Greg Butler: Cascaded Refactoring for Framework Development and Evolution. ASWEC 2006: 319-330
67	EE	Christopher Baker, Xiao Su, Greg Butler, Volker Haarslev: Ontoligent Interactive Query Tool. CSWWS 2006: 155-169
66	EE	Farzad Kohantorabi, Gregory Butler, Christopher Baker: A Distributed Agent System upon Semantic Web Technologies to Provide Biological Data. CSWWS 2006: 63-80
65	EE	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	EE	Greg Butler, Guang Wang, Yue Wang, Liqian Zou: Query Optimization for a Graph Database with Visual Queries. DASFAA 2006: 602-616
63	EE	Christopher 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	EE	Greg Butler, Guang Wang, Yue Wang, Liqian Zou: A graph database with visual queries for genomics. APBC 2005: 31-40
61	EE	Arash Shaban-Nejad, Christopher Baker, Volker Haarslev, Greg Butler: The FungalWeb Ontology: Semantic Web Challenges in Bioinformatics and Genomics. International Semantic Web Conference 2005: 1063-1066
60	EE	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	EE	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	EE	Jian Xu, Wei Yu, Kexing Rui, Gregory Butler: Use Case Refactoring: A Tool and a Case Study. APSEC 2004: 484-491
57	EE	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	EE	Ibrahim Haddad, Greg Butler: Experimental Studies of Scalability in Clustered Web Systems. IPDPS 2004
51	EE	Greg Butler, Rei Lee, Mike Welcome: GUPFS: The Global Unified Parallel File System Project at NERSC. MSST 2004: 361-371
2003
50	EE	Kexing Rui, Gregory Butler: Refactoring Use Case Models: The Metamodel. ACSC 2003: 301-308
49	EE	Ju Wang, Jinmiao Li, Greg Butler: Implementing the PostgreSQL Query Optimizer within the OPT++ Framework. APSEC 2003: 262-272
48	EE	Jinmiao Li, Yun Mai, Greg Butler: Implementing Exception Handling Policies for Workflow Management System. APSEC 2003: 564-573
47	EE	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	EE	Shengbing Ren, Kexing Rui, Gregory Butler: Refactoring the Scenario Specification: A Message Sequence Chart Approach. OOIS 2003: 294-298
2002
44	EE	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	EE	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	EE	Gregory Butler, Lugang Xu: Cascaded refactoring for framework. SSR 2001: 51-57
2000
39	EE	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	EE	Gregory Butler, Rudolf K. Keller, Hafedh Mili: A framework for framework documentation. ACM Comput. Surv. 32(1es): 15 (2000)
1999
37	EE	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	EE	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	EE	Greg Butler: Quality and Reuse in Industrial Software Engineering. APSEC 1997: 3-12
30	EE	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	EE	Gregory Butler: Intelligent Mathematical Databases. DASFAA 1995: 326-332
26	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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 Baker	[61] [63] [66] [67]
3	Barbara Barth	[42]
4	Don S. Batory	[41]
5	John J. Cannon	[6] [7] [9] [10] [17]
6	Krzysztof Czarnecki	[41] [42]
7	Shawn Delaney	[39]
8	Ulrich W. Eisenecker	[41] [42]
9	Andrea Gantchev	[37]
10	Peter Grogono	[24] [26] [29] [30] [32] [33] [37]
11	Volker Haarslev	[61] [63] [67]
12	Ibrahim Haddad	[52]
13	Sridhar S. Iyer	[8] [11] [19]
14	Stan Jarzabek (Stanislaw Jarzabek)	[43]
15	Judy Kay	[23]
16	Sahar Kayhani	[69] [70]
17	Rudolf K. Keller	[38]
18	Matthew J. Kendall	[4]
19	T. Kharma	[36]
20	Ferhat Khendek	[30] [32] [33] [34]
21	Farzad Kohantorabi	[66]
22	Clement W. H. Lam (Clement Wing Hong Lam)	[2] [20] [39]
23	Rei Lee	[51]
24	Susan H. Ley	[11]
25	Jinmiao Li	[48] [49] [53]
26	Jun Li	[57]
27	Vivien Liang	[55]
28	Renhang Luo	[54]
29	Yun Mai	[48] [53]
30	Hafedh Mili	[38]
31	Xiang Jia Min	[59] [60]
32	Frank Ng	[18] [23]
33	Bin Nie	[56]
34	E. A. O'Brien	[19]
35	Yuan Peng	[32]
36	Shengbing Ren	[45] [46] [54]
37	Kexing Rui	[45] [46] [50] [54] [58]
38	Arash Shaban-Nejad	[61] [63]
39	Alireza Shaneh	[65]
40	Xin Shen	[47]
41	Rajjan Shinghal	[24] [26] [29]
42	Reginald Storms	[59] [60]
43	Xiao Su	[63] [67]
44	Larry H. Thiel	[39]
45	Indra A. Tjandra	[24] [25] [26] [29]
46	O. Tjandra	[36]
47	Adrian Tsang	[59] [60]
48	Guang Wang	[62] [64]
49	Ju Wang	[49]
50	Yue Wang	[62] [64]
51	Mike Welcome	[51]
52	Jian Xu	[54] [58]
53	Lugang Xu	[40] [47] [68]
54	Wei Yu	[54] [57] [58]
55	Bahman Zamani	[69] [70]
56	Jingxue Zhou	[56]
57	Liqian Zou	[62] [64]

Colors in the list of coauthors