dblp.uni-trier.dewww.uni-trier.de

Gregory Butler Vis

Greg Butler

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
71EEStephen Barrett, Daniel Sinnig, Patrice Chalin, Greg Butler: Merging of Use Case Models: Semantic Foundations. TASE 2009: 182-189
70EEBahman Zamani, Greg Butler, Sahar Kayhani: Tool Support for Pattern Selection and Use. Electr. Notes Theor. Comput. Sci. 233: 127-142 (2009)
2008
69EEBahman Zamani, Sahar Kayhani, Greg Butler: A Pattern Language Verifier for Web-Based Enterprise Applications. MoDELS 2008: 553-567
2006
68EELugang Xu, Greg Butler: Cascaded Refactoring for Framework Development and Evolution. ASWEC 2006: 319-330
67EEChristopher Baker, Xiao Su, Greg Butler, Volker Haarslev: Ontoligent Interactive Query Tool. CSWWS 2006: 155-169
66EEFarzad Kohantorabi, Gregory Butler, Christopher Baker: A Distributed Agent System upon Semantic Web Technologies to Provide Biological Data. CSWWS 2006: 63-80
65EEAlireza 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
64EEGreg Butler, Guang Wang, Yue Wang, Liqian Zou: Query Optimization for a Graph Database with Visual Queries. DASFAA 2006: 602-616
63EEChristopher 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
62EEGreg Butler, Guang Wang, Yue Wang, Liqian Zou: A graph database with visual queries for genomics. APBC 2005: 31-40
61EEArash 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
60EEXiang 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)
59EEXiang 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
58EEJian Xu, Wei Yu, Kexing Rui, Gregory Butler: Use Case Refactoring: A Tool and a Case Study. APSEC 2004: 484-491
57EEWei 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
52EEIbrahim Haddad, Greg Butler: Experimental Studies of Scalability in Clustered Web Systems. IPDPS 2004
51EEGreg Butler, Rei Lee, Mike Welcome: GUPFS: The Global Unified Parallel File System Project at NERSC. MSST 2004: 361-371
2003
50EEKexing Rui, Gregory Butler: Refactoring Use Case Models: The Metamodel. ACSC 2003: 301-308
49EEJu Wang, Jinmiao Li, Greg Butler: Implementing the PostgreSQL Query Optimizer within the OPT++ Framework. APSEC 2003: 262-272
48EEJinmiao Li, Yun Mai, Greg Butler: Implementing Exception Handling Policies for Workflow Management System. APSEC 2003: 564-573
47EEGregory 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
45EEShengbing Ren, Kexing Rui, Gregory Butler: Refactoring the Scenario Specification: A Message Sequence Chart Approach. OOIS 2003: 294-298
2002
44EEGregory 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
42EEBarbara 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
40EEGregory Butler, Lugang Xu: Cascaded refactoring for framework. SSR 2001: 51-57
2000
39EEShawn Delaney, Gregory Butler, Clement W. H. Lam, Larry H. Thiel: Three Improvements to the BLASTP Search of Genome Databases. SSDBM 2000: 14-24
38EEGregory Butler, Rudolf K. Keller, Hafedh Mili: A framework for framework documentation. ACM Comput. Surv. 32(1es): 15 (2000)
1999
37EEGreg 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
33EEGreg 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
31EEGreg Butler: Quality and Reuse in Industrial Software Engineering. APSEC 1997: 3-12
30EEGreg 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
28EEGregory Butler: Software Architectures for Computer Algebra: A Case Study. DISCO 1996: 277-286
1995
27EEGregory Butler: Intelligent Mathematical Databases. DASFAA 1995: 326-332
26EEGregory 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
23EEFrank Ng, Gregory Butler, Judy Kay: An Intelligent Tutoring System for the Dijkstra-Gries Methodology. IEEE Trans. Software Eng. 21(5): 415-428 (1995)
22EEGregory 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
14EEGregory Butler: Experimental Comparison of Algorithms for Sylow Subgroups. ISSAC 1992: 251-262
1991
13 Gregory Butler: Fundamental Algorithms for Permutation Groups Springer 1991
12EEGregory Butler: Implementing Some Algorithms of Kantor. AAECC 1991: 82-93
11EEGregory 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
9EEGregory Butler, John J. Cannon: The Design of Cayley - a Language for Modern Algebra. DISCO 1990: 10-19
8EEGregory 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)