| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Stephen Barrett, Patrice Chalin, Greg Butler |
Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador.  |
ECMFA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianlong Qi, Tom Michoel, Gregory Butler |
Applying Linear Models to Learn Regulation Programs in a Transcription Regulatory Module Network. |
EvoBio |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Kehyayan, Gregory Butler |
Issues with the PipeAlign phylogenomics toolkit in identifying protein subfamilies. |
CIBCB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianlong Qi, Tom Michoel, Gregory Butler |
A regression tree-based Gibbs sampler to learn the regulation programs in a transcription regulatory module network. |
CIBCB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bahman Zamani, Greg Butler, Sahar Kayhani |
Tool Support for Pattern Selection and Use. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bahman Zamani, Greg Butler |
Describing Pattern Languages for Checking Design Models. |
APSEC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Barrett, Daniel Sinnig, Patrice Chalin, Greg Butler |
Merging of Use Case Models: Semantic Foundations. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bahman Zamani, Sahar Kayhani, Greg Butler |
A Pattern Language Verifier for Web-Based Enterprise Applications. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
Profile, Model Driven Engineering, Pattern Language |
| 1 | Christopher J. O. Baker, Arash Shaban-Nejad, Xiao Su, Volker Haarslev, Greg Butler |
Semantic web infrastructure for fungal enzyme biotechnologists. |
J. Web Sem. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher J. O. Baker, Xiao Su, Greg Butler, Volker Haarslev |
Ontoligent Interactive Query Tool. |
CSWWS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lugang Xu, Greg Butler |
Cascaded Refactoring for Framework Development and Evolution. |
ASWEC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Butler, Guang Wang, Yue Wang, Liqian Zou |
Query Optimization for a Graph Database with Visual Queries. |
DASFAA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Farzad Kohantorabi, Gregory Butler, Christopher J. O. Baker |
A Distributed Agent System upon Semantic Web Technologies to Provide Biological Data. |
CSWWS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Butler, Guang Wang, Yue Wang, Liqian Zou |
A graph database with visual queries for genomics. |
APBC |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiang Jia Min, Gregory Butler, Reginald Storms, Adrian Tsang |
OrfPredictor: predicting protein-coding regions in EST-derived sequences. |
Nucleic Acids Research |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiang Jia Min, Gregory Butler, Reginald Storms, Adrian Tsang |
TargetIdentifier: a webserver for identifying full-length cDNAs from EST sequences. |
Nucleic Acids Research |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yun Mai, Jinmiao Li, Greg Butler |
Difficult Issues in Designing Adaptive Object Model Systems. |
ICEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Wei Yu, Jun Li, Greg Butler |
Refactoring Use Case Models on Episodes. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
episode, reuse, evolution, refactoring, use case |
| 1 | Ibrahim Haddad, Greg Butler |
Experimental Studies of Scalability in Clustered Web Systems. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
Clusters, Performance, Scalability, Benchmarking, Web Servers |
| 1 | Greg Butler, Rei Lee, Mike Welcome |
GUPFS: The Global Unified Parallel File System Project at NERSC. |
MSST |
2004 |
DBLP BibTeX RDF |
|
| 1 | Shengbing Ren, Gregory Butler, Kexing Rui, Jian Xu, Wei Yu, Renhang Luo |
A Prototype Tool for Use Case Refactoring. |
ICEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Vivien Liang, Gregory Butler |
WISH Query Composer. |
ICEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jingxue Zhou, Bin Nie, Gregory Butler |
An Efficient B+-Tree Implementation in C++ Using the STL Style. |
ICEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jian Xu, Wei Yu, Kexing Rui, Gregory Butler |
Use Case Refactoring: A Tool and a Case Study. |
APSEC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ju Wang, Jinmiao Li, Greg Butler |
Implementing the PostgreSQL Query Optimizer within the OPT++ Framework. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinmiao Li, Yun Mai, Greg Butler |
Implementing Exception Handling Policies for Workflow Management System. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kexing Rui, Shengbing Ren, Gregory Butler |
Refactoring Use Case Models: A Case Study. |
ICEIS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Gregory Butler, Xin Shen, Lugang Xu |
Issues in Architectural Modeling and Evolution in the Know-It-All Case Study. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengbing Ren, Kexing Rui, Gregory Butler |
Refactoring the Scenario Specification: A Message Sequence Chart Approach. |
OOIS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kexing Rui, Gregory Butler |
Refactoring Use Case Models: The Metamodel. |
ACSC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Gregory Butler |
Architectural Refactoring in Framework Evolution: A Case Study. |
GPCE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Barth, Gregory Butler, Krzysztof Czarnecki, Ulrich W. Eisenecker |
Generative Programming. |
ECOOP Workshops |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Butler, Stan Jarzabek (eds.) |
Generative and Component-Based Software Engineering, Second International Symposium, GCSE 2000, Erfurt, Germany, October 9-12, 2000, Revised Papers |
GCSE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Gregory Butler, Don S. Batory, Krzysztof Czarnecki, Ulrich W. Eisenecker |
Generative Techniques for Product Lines. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Butler, Lugang Xu |
Cascaded refactoring for framework. |
SSR |
2001 |
DBLP DOI BibTeX RDF |
architecture, framework, design pattern, evolution, refactoring, use case, role, feature model, domain analysis, hotspot |
| 1 | Gregory Butler, Rudolf K. Keller, Hafedh Mili |
A framework for framework documentation. |
ACM Comput. Surv. |
2000 |
DBLP DOI BibTeX RDF |
design patterns, use case, CASE, application frameworks |
| 1 | Shawn Delaney, Gregory Butler, Clement W. H. Lam, Larry H. Thiel |
Three Improvements to the BLASTP Search of Genome Databases. (PDF / PS) |
SSDBM |
2000 |
DBLP DOI BibTeX RDF |
genome database, BLAST algorithm, sequence alignment, approximate string match, protein sequences |
| 1 | Greg Butler, Andrea Gantchev, Peter Grogono |
Reusable Strategies for Software Agents via the Subsumption. |
APSEC |
1999 |
DBLP DOI BibTeX RDF |
architecture, agent, component, reuse, subsumption |
| 1 | Miguel Abdalla, Ferhat Khendek, Greg Butler |
New results on deriving SDL specifications from MSCs. |
SDL Forum |
1999 |
DBLP BibTeX RDF |
|
| 1 | Gregory Butler |
Developing Frameworks by Aligning Requirements, Design, and Code. |
ECOOP Workshops |
1999 |
DBLP BibTeX RDF |
|
| 1 | Gregory Butler, T. Kharma, O. Tjandra |
Towards OM - An Object-Oriented Implementation of Mantra. |
Australasian Database Conference |
1999 |
DBLP BibTeX RDF |
|
| 1 | Greg Butler, Peter Grogono, Ferhat Khendek |
A Reuse Case Perspective on Documenting Frameworks. (PDF / PS) |
APSEC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Peng, Ferhat Khendek, Peter Grogono, Greg Butler |
Feature Interaction Detection Technique Based on Feature Assumptions. |
FIW |
1998 |
DBLP BibTeX RDF |
|
| 1 | Greg Butler, Peter Grogono, Ferhat Khendek |
A Z Specification of Use Cases: A Preliminary Report. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Butler |
Quality and Reuse in Industrial Software Engineering. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Butler |
Software Architectures for Computer Algebra: A Case Study. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra |
Document Recognition, Semantics, and Symbolic Reasoning in Reverse Engineering of Software. |
AISMC |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Ng, Gregory Butler, Judy Kay |
An Intelligent Tutoring System for the Dijkstra-Gries Methodology. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
Dijkstra-Gries, symbolic algebra, user modeling, inheritance, intelligent tutoring systems, unification, object-oriented systems, programming methodology, teaching programming, re-use |
| 1 | Gregory Butler |
Easy Verification of Behavioural Subtyping in Common Cases. |
Inf. Process. Lett. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Butler |
Intelligent Mathematical Databases. |
DASFAA |
1995 |
DBLP BibTeX RDF |
|
| 1 | Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra |
Analyzing the logical structure of data flow diagrams in software documents. (PDF / PS) |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
logical structure analysis, Calculus of Communicating Systems, Edinburgh Concurrency Workbench, CWB, deep understanding, equivalence, CCS, document understanding, software documents, flowcharting, formal description, data flow diagrams, data flow diagram |
| 1 | Indra A. Tjandra, Gregory Butler |
Formal Representation of Reusable Software Modules. |
WCRE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra |
Retrieving Information from Data Flow Diagrams. |
WCRE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Gregory Butler, Sridhar S. Iyer, E. A. O'Brien |
A Database of Groups of Prime-power Order. |
Softw., Pract. Exper. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Butler, Clement W. H. Lam |
The Preliminary Design of an Object-Oriented Framework for Combinatorial Enumeration. |
COODBSE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Gregory Butler |
Datalog and TwoGroups and C++. |
AISMC |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Butler, John J. Cannon |
On Holt's Algorithm. |
J. Symb. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Butler |
The Transitive Groups of Degree Fourteen and Fifteen. |
J. Symb. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Ng, Gregory Butler |
Specialised Theorem-Proving in an Intelligent Tutoring System for the Dijkstra-Gries Programming Methodology. |
ICCI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Gregory Butler |
The Progress Towards an Intelligent Assistent - A Discussion Paper. |
AISMC |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Butler |
Experimental Comparison of Algorithms for Sylow Subgroups. |
ISSAC |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Butler, John J. Cannon |
Computing Sylow Subgroups of Permutation Groups Using Homomorphic Images of Centralizers. |
J. Symb. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Butler |
Fundamental Algorithms for Permutation Groups |
|
1991 |
DOI RDF |
|
| 1 | Gregory Butler |
Implementing Some Algorithms of Kantor. |
AAECC |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Butler, Sridhar S. Iyer, Susan H. Ley |
A Deductive Database of the Groups of Order Dividing 128. |
ISSAC |
1991 |
DBLP DOI BibTeX RDF |
Prolog |
| 1 | Gregory Butler, John J. Cannon |
The Design of Cayley - a Language for Modern Algebra. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Butler, Sridhar S. Iyer |
Deductive Mathematical Databases - A Case Study. |
SSDBM |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Butler, John J. Cannon |
Computing in Permutation and Matrix Groups III: Sylow Subgroups. |
J. Symb. Comput. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Butler |
A Proof of Holt's Algorithm. |
J. Symb. Comput. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Butler, John J. Cannon |
Cayley, Version 4: The User Language. |
ISSAC |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Butler, Matthew J. Kendall |
The Suitability for Master/Slave Concurrency of Concurrent Euclid, Ada and Modula. |
Softw., Pract. Exper. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Butler, Clement W. H. Lam |
A General Backtrack Algorithm for the Isomorphism Problem of Combinatorial Objects. |
J. Symb. Comput. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Butler |
Effective Computation with Group Homomorphisms. |
J. Symb. Comput. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Butler |
Computing Normalizers in Permutation Groups. |
J. Algorithms |
1983 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")