Double cosets and searching small groups. - Gregory Butler (SYMSACC, 1981)

Computing Normalizers in Permutation Groups. - Gregory Butler (J. Algorithms, 1983)

An improvement to the centralizer algorithm for permutation groups. - Gregory Butler (SIGSAM Bull., 1985)

Effective Computation with Group Homomorphisms. - Gregory Butler (J. Symb. Comput., 1985)

A General Backtrack Algorithm for the Isomorphism Problem of Combinatorial Objects. - Gregory Butler; Clement W. H. Lam (J. Symb. Comput., 1985)

Divide-and-conquer in computational group theory. - Greg Butler (SYMSAC, 1986)

The Suitability for Master/Slave Concurrency of Concurrent Euclid, Ada and Modula. - Gregory Butler; Matthew J. Kendall (Softw. Pract. Exp., 1987)

Cayley, Version 4: The User Language. - Gregory Butler; John J. Cannon (ISSAC, 1988)

A Proof of Holt's Algorithm. - Gregory Butler (J. Symb. Comput., 1988)

Computing in Permutation and Matrix Groups III: Sylow Subgroups. - Gregory Butler; John J. Cannon (J. Symb. Comput., 1989)

The Design of Cayley - a Language for Modern Algebra. - Gregory Butler; John J. Cannon (DISCO, 1990)

Deductive Mathematical Databases - A Case Study. - Gregory Butler; Sridhar S. Iyer (SSDBM, 1990)

Fundamental Algorithms for Permutation Groups - Gregory Butler (Springer, 1991)

Implementing Some Algorithms of Kantor. - Gregory Butler (AAECC, 1991)

A Deductive Database of the Groups of Order Dividing 128. - Gregory Butler; Sridhar S. Iyer; Susan H. Ley (ISSAC, 1991)

Towards a deductive database for small simple groups. - Gregory Butler; Sridhar S. Iyer (SIGSAM Bull., 1991)

Computing Sylow Subgroups of Permutation Groups Using Homomorphic Images of Centralizers. - Gregory Butler; John J. Cannon (J. Symb. Comput., 1991)

The Progress Towards an Intelligent Assistent - A Discussion Paper. - Gregory Butler (AISMC, 1992)

Experimental Comparison of Algorithms for Sylow Subgroups. - Gregory Butler (ISSAC, 1992)

An analysis of Atkinson's algorithm. - Greg Butler (SIGSAM Bull., 1992)

Specialised Theorem-Proving in an Intelligent Tutoring System for the Dijkstra-Gries Programming Methodology. - Frank Ng; Gregory Butler (ICCI, 1993)

The Transitive Groups of Degree Fourteen and Fifteen. - Gregory Butler (J. Symb. Comput., 1993)

On Holt's Algorithm. - Gregory Butler; John J. Cannon (J. Symb. Comput., 1993)

Datalog and TwoGroups and C++. - Gregory Butler (AISMC, 1994)

The Preliminary Design of an Object-Oriented Framework for Combinatorial Enumeration. - Gregory Butler; Clement W. H. Lam (COODBSE, 1994)

A Database of Groups of Prime-power Order. - Gregory Butler; Sridhar S. Iyer; E. A. O'Brien (Softw. Pract. Exp., 1994)

Intelligent Mathematical Databases. - Gregory Butler (DASFAA, 1995)

Analyzing the logical structure of data flow diagrams in software documents. - Gregory Butler; Peter Grogono; Rajjan Shinghal; Indra A. Tjandra (ICDAR, 1995)

Retrieving Information from Data Flow Diagrams. - Gregory Butler; Peter Grogono; Rajjan Shinghal; Indra A. Tjandra (WCRE, 1995)

Formal Representation of Reusable Software Modules. - Indra A. Tjandra; Gregory Butler (WCRE, 1995)

Easy Verification of Behavioural Subtyping in Common Cases. - Gregory Butler (Inf. Process. Lett., 1995)

An Intelligent Tutoring System for the Dijkstra-Gries Methodology. - Frank Ng; Gregory Butler; Judy Kay (IEEE Trans. Software Eng., 1995)

Document Recognition, Semantics, and Symbolic Reasoning in Reverse Engineering of Software. - Gregory Butler; Peter Grogono; Rajjan Shinghal; Indra A. Tjandra (AISMC, 1996)

Software Architectures for Computer Algebra: A Case Study. - Gregory Butler (DISCO, 1996)

Quality and Reuse in Industrial Software Engineering. - Greg Butler (APSEC, 1997)

A Z Specification of Use Cases: A Preliminary Report. - Greg Butler; Peter Grogono; Ferhat Khendek (APSEC, 1997)

A Reuse Case Perspective on Documenting Frameworks. - Greg Butler; Peter Grogono; Ferhat Khendek (APSEC, 1998)

Feature Interaction Detection Technique Based on Feature Assumptions. - Yuan Peng; Ferhat Khendek; Peter Grogono; Greg Butler (FIW, 1998)

Towards OM - An Object-Oriented Implementation of Mantra. - Gregory Butler; T. Kharma; O. Tjandra (Australasian Database Conference, 1999)

Reusable Strategies for Software Agents via the Subsumption. - Greg Butler; Andrea Gantchev; Peter Grogono (APSEC, 1999)

Developing Frameworks by Aligning Requirements, Design, and Code. - Gregory Butler (ECOOP Workshops, 1999)

New results on deriving SDL specifications from MSCs. - Miguel Abdalla; Ferhat Khendek; Greg Butler (SDL Forum, 1999)

Three Improvements to the BLASTP Search of Genome Databases. - Shawn Delaney; Gregory Butler; Clement W. H. Lam; Larry H. Thiel (SSDBM, 2000)

A framework for framework documentation. - Gregory Butler; Rudolf K. Keller; Hafedh Mili (ACM Comput. Surv., 2000)

Generative Programming. - Barbara Barth; Gregory Butler; Krzysztof Czarnecki 001; Ulrich W. Eisenecker (ECOOP Workshops, 2001)

Generative Techniques for Product Lines. - Gregory Butler; Don S. Batory; Krzysztof Czarnecki 001; Ulrich W. Eisenecker (ICSE, 2001)

Cascaded refactoring for framework. - Gregory Butler; Lugang Xu (SSR, 2001)

Generative techniques for product lines. - Greg Butler (ACM SIGSOFT Softw. Eng. Notes, 2001)

Architectural Refactoring in Framework Evolution: A Case Study. - Gregory Butler (GPCE, 2002)

Refactoring Use Case Models: The Metamodel. - Kexing Rui; Gregory Butler (ACSC, 2003)

Implementing Exception Handling Policies for Workflow Management System. - Jinmiao Li; Yun Mai; Greg Butler (APSEC, 2003)

Implementing the PostgreSQL Query Optimizer within the OPT++ Framework. - Ju Wang; Jinmiao Li; Greg Butler (APSEC, 2003)

Issues in Architectural Modeling and Evolution in the Know-It-All Case Study. - Gregory Butler; Xin Shen; Lugang Xu (ECBS, 2003)

Refactoring Use Case Models: A Case Study. - Kexing Rui; Shengbing Ren; Gregory Butler (ICEIS (3), 2003)

Refactoring the Scenario Specification: A Message Sequence Chart Approach. - Shengbing Ren; Kexing Rui; Gregory Butler (OOIS, 2003)

Use Case Refactoring: A Tool and a Case Study. - Jian Xu; Wei Yu; Kexing Rui; Gregory Butler (APSEC, 2004)

WISH Query Composer. - Vivien Liang; Gregory Butler (ICEIS (1), 2004)

Difficult Issues in Designing Adaptive Object Model Systems. - Yun Mai; Jinmiao Li; Greg Butler (ICEIS (3), 2004)

A Prototype Tool for Use Case Refactoring. - Shengbing Ren; Gregory Butler; Kexing Rui; Jian Xu; Wei Yu; Renhang Luo (ICEIS (3), 2004)

An Efficient B+-Tree Implementation in C++ Using the STL Style. - Jingxue Zhou; Bin Nie; Gregory Butler (ICEIS (1), 2004)

Experimental Studies of Scalability in Clustered Web Systems. - Ibrahim Haddad; Greg Butler (IPDPS, 2004)

Refactoring Use Case Models on Episodes. - Wei Yu; Jun Li; Greg Butler (ASE, 2004)

GUPFS: The Global Unified Parallel File System Project at NERSC. - Greg Butler; Rei Lee; Mike Welcome (MSST, 2004)

The Lord of the Rings: the visual effects that brought middle earth to the screen. - Matt Aitken; Greg Butler; Dan Lemmon; Eric Saindon; Dana Peters; Guy Williams (SIGGRAPH Course Notes, 2004)

A graph database with visual queries for genomics. - Greg Butler; Guang Wang; Yue Wang; Liqian Zou (APBC, 2005)

The FungalWeb Ontology: Semantic Web Challenges in Bioinformatics and Genomics. - Arash Shaban-Nejad; Christopher J. O. Baker; Volker Haarslev; Greg Butler (ISWC, 2005)

TargetIdentifier: a webserver for identifying full-length cDNAs from EST sequences. - Xiang Jia Min; Gregory Butler; Reginald Storms; Adrian Tsang (Nucleic Acids Res., 2005)

OrfPredictor: predicting protein-coding regions in EST-derived sequences. - Xiang Jia Min; Gregory Butler; Reginald Storms; Adrian Tsang (Nucleic Acids Res., 2005)

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. - Alireza Shaneh; Gregory Butler (Canadian AI, 2006)

Cascaded Refactoring for Framework Development and Evolution. - Lugang Xu; Greg Butler (ASWEC, 2006)

Ontoligent Interactive Query Tool. - Christopher J. O. Baker; Xiao Su; Greg Butler; Volker Haarslev (CSWWS, 2006)

A Distributed Agent System upon Semantic Web Technologies to Provide Biological Data. - Farzad Kohantorabi; Gregory Butler; Christopher J. O. Baker (CSWWS, 2006)

Query Optimization for a Graph Database with Visual Queries. - Greg Butler; Guang Wang; Yue Wang; Liqian Zou (DASFAA, 2006)

Semantic web infrastructure for fungal enzyme biotechnologists. - Christopher J. O. Baker; Arash Shaban-Nejad; Xiao Su; Volker Haarslev; Greg Butler (J. Web Semant., 2006)

A Pattern Language Verifier for Web-Based Enterprise Applications. - Bahman Zamani; Sahar Kayhani; Greg Butler (MoDELS, 2008)

A pipeline for 800+ shots. - Greg Butler; Anders Langlands; Hannes Ricklefs (SIGGRAPH Talks, 2008)

Tool Support for Pattern Selection and Use. - Bahman Zamani; Greg Butler; Sahar Kayhani (SQM@CSMR, 2008)

Describing Pattern Languages for Checking Design Models. - Bahman Zamani; Greg Butler (APSEC, 2009)

Merging of Use Case Models: Semantic Foundations. - Stephen C. Barrett; Daniel Sinnig; Patrice Chalin; Greg Butler (TASE, 2009)

Issues with the PipeAlign phylogenomics toolkit in identifying protein subfamilies. - Christine Kehyayan; Gregory Butler (CIBCB, 2010)

A regression tree-based Gibbs sampler to learn the regulation programs in a transcription regulatory module network. - Jianlong Qi; Tom Michoel; Gregory Butler (CIBCB, 2010)

Mirador: a synthesis of model matching strategies. - Stephen C. Barrett; Greg Butler; Patrice Chalin (IWMCP@ICMT, 2010)

An integrative approach to infer regulation programs in a transcription regulatory module network. - Jianlong Qi; Tom Michoel; Gregory Butler (BCB, 2011)

Towards Evaluating the Impact of Semantic Support for Curating the Fungus Scientic Literature. - Marie-Jean Meurs; Caitlin Murphy; Nona Naderi; Ingo Morgenstern; Carolina Cantu; Shary Semarjit; Greg Butler; Justin Powlowski; Adrian Tsang; René Witte (CSWS, 2011)

Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador. - Stephen C. Barrett; Patrice Chalin; Greg Butler (ECMFA, 2011)

Applying Linear Models to Learn Regulation Programs in a Transcription Regulatory Module Network. - Jianlong Qi; Tom Michoel; Gregory Butler (EvoBio, 2011)

Curation of characterized glycoside hydrolases of Fungal origin. - Caitlin Murphy; Justin Powlowski; Min Wu; Greg Butler; Adrian Tsang (Database J. Biol. Databases Curation, 2011)

Personalized semantic assistance for the curation of biochemical literature. - Fedor Bakalov; Marie-Jean Meurs; Birgitta König-Ries; Bahar Sateli; René Witte; Greg Butler; Adrian Tsang (BIBM, 2012)

ECTree: an extended tree index for attributed subgraph queries. - Jun Luo; Gregory Butler (IDEAS, 2012)

The EnzymeTracker: an open-source laboratory information management system for sample tracking. - Thomas Triplet; Gregory Butler (BMC Bioinform., 2012)

Semantic text mining support for lignocellulose research. - Marie-Jean Meurs; Caitlin Murphy; Ingo Morgenstern; Greg Butler; Justin Powlowski; Adrian Tsang; René Witte (BMC Medical Informatics Decis. Mak., 2012)

The impact of SignalP 4.0 on the prediction of secreted proteins. - Hind Melhem; Xiang Jia Min; Greg Butler (CIBCB, 2013)

Putting It All Together: The Design of a Pipeline for Genome-Wide Functional Annotation of Fungi in the Modern Era of "-Omics" Data and Systems Biology. - Greg Butler (DILS, 2013)

An approach to controlling user models and personalization effects in recommender systems. - Fedor Bakalov; Marie-Jean Meurs; Birgitta König-Ries; Bahar Sateli; René Witte; Greg Butler; Adrian Tsang (IUI, 2013)

BenchDW: a generic framework for biological data warehouse benchmarking. - Thomas Triplet; Gregory Butler (SAC, 2013)

Pattern Language Verification in Model Driven Design. - Bahman Zamani; Greg Butler (Inf. Sci., 2013)

A review of genomic data warehousing systems. - Thomas Triplet; Gregory Butler (Briefings Bioinform., 2014)

SnowyOwl: accurate prediction of fungal genes by using RNA-Seq and homology information to select among ab initio models. - Ian Reid 002; Nicholas O'Toole; Omar Zabaneh; Reza Nourzadeh; Mahmoud Dahdouli; Mostafa Abdellateef; Paul M. K. Gordon; Jung Soh; Gregory Butler; Christoph W. Sensen; Adrian Tsang (BMC Bioinform., 2014)

A visual spreadsheet using HTML5 for whole genome display. - Nada Alhirabi; Greg Butler (CIBCB, 2015)

On predicting transport proteins and their substrates for the reconstruction of metabolic networks. - Faizah Aplop; Greg Butler (CIBCB, 2015)

Accelerating Search of Protein Sequence Databases using CUDA-Enabled GPU. - Lin Cheng; Greg Butler (DASFAA (1), 2015)

Computation for Genomics Knowledge Discovery. - Gregory Butler (SE4HPCS@ICSE, 2015)

mycoCLAP, the database for characterized lignocellulose-active proteins of fungal origin: resource and text mining curation support. - Kimchi Strasser; Erin McDonnell; Carol Nyaga; Min Wu; Sherry Wu; Hayda Almeida; Marie-Jean Meurs; Leila Kosseim; Justin Powlowski; Gregory Butler; Adrian Tsang (Database J. Biol. Databases Curation, 2015)

Improving GraphChi for Large Graph Processing: Fast Radix Sort in Pre-Processing. - Stuart Thiel; Greg Butler; Larry H. Thiel (IDEAS, 2016)

SynAPhy and SynAVal: Mining a Synteny-Similarity Graph to Resolve Orthology of Proteins in Fungal Genomes. - Christine Kehyayan; Gregory Butler (BIBE, 2017)

Ontology-based transporter substrate annotation for benchmark datasets. - Munira Alballa; Gregory Butler (BIBM, 2019)

TportHMM: Predicting the substrate class of transmembrane transport proteins using profile Hidden Markov Models. - Shiva Shamloo; Qing Ye; Gregory Butler (BIBM, 2020)

Integrative approach for detecting membrane proteins. - Munira Alballa; Gregory Butler (BMC Bioinform., 2020)

BENIN: Biologically enhanced network inference. - Stephanie Kamgnia Wonkap; Gregory Butler (J. Bioinform. Comput. Biol., 2020)

TooT-T: discrimination of transport proteins from non-transport proteins. - Munira Alballa; Gregory Butler (BMC Bioinform., 2020)

Advances in the Development of Trifluoromethoxylation Reagents. - Qian Wang; Xin Zhang; Alexander E. Sorochinsky; Greg Butler; Jianlin Han; Vadim A. Soloshonok (Symmetry, 2021)

Predicting the specific substrate for transmembrane transport proteins using BERT language model. - Sima Ataei; Gregory Butler (CIBCB, 2022)

TooT-BERT-M: Discriminating Membrane Proteins from Non-Membrane Proteins using a BERT Representation of Protein Primary Sequences. - Hamed Ghazikhani; Gregory Butler (CIBCB, 2022)

A Study on the Application of Protein Language Models in the Analysis of Membrane Proteins. - Hamed Ghazikhani; Gregory Butler (DCAI (2), 2022)

TooT-BERT-C: A study on discriminating ion channels from membrane proteins based on the primary sequence's contextual representation from BERT models. - Hamed Ghazikhani; Gregory Butler (ICBRA, 2022)

TooT-BERT-T: A BERT Approach on Discriminating Transport Proteins from Non-transport Proteins. - Hamed Ghazikhani; Gregory Butler (PACBB, 2022)

Enhanced identification of membrane transport proteins: a hybrid approach combining ProtBERT-BFD and convolutional neural networks. - Hamed Ghazikhani; Gregory Butler (J. Integr. Bioinform., 2023)

Ion channel classification through machine learning and protein language model embeddings. - Hamed Ghazikhani; Gregory Butler (J. Integr. Bioinform., 2024)