Improvements to PATRIC, the all-bacterial Bioinformatics Database and Analysis Resource Center. | 14 | 0.86 | 2017 |
The Seed And The Rapid Annotation Of Microbial Genomes Using Subsystems Technology (Rast) | 36 | 1.39 | 2014 |
Patric, The Bacterial Bioinformatics Database And Analysis Resource | 41 | 2.02 | 2014 |
Real Time Metagenomics: Using k-mers to annotate metagenomes. | 7 | 0.53 | 2012 |
Accessing the SEED genome databases via Web services API: tools for programmers. | 14 | 0.73 | 2010 |
The National Microbial Pathogen Database Resource (Nmpdr): A Genomics Platform Based On Subsystem Annotation | 16 | 3.03 | 2007 |
The SEED: a peer-to-peer environment for genome annotation | 19 | 1.04 | 2004 |
The Ergo (Tm) Genome Analysis And Discovery System | 16 | 1.36 | 2003 |
Bioinformatics classification and functional analysis of PhoH homologs. | 1 | 0.55 | 2003 |
Wit: Integrated System For High-Throughput Genome Sequence Analysis And Metabolic Reconstruction | 71 | 18.31 | 2000 |
A New Version Of The Rdp (Ribosomal Database Project) | 8 | 1.85 | 1999 |
Use of contiguity on the chromosome to predict functional coupling. | 26 | 4.10 | 1998 |
Metabolic Pathway Interface to Molecular Biology Databases | 0 | 0.34 | 1998 |
The Metabolic Pathway Collection: An Update | 13 | 10.95 | 1997 |
The Rdp (Ribosomal Database Project) | 9 | 3.62 | 1997 |
The Metabolic Pathway Collection From Emp: The Enzymes And Metabolic Pathways Database | 18 | 9.77 | 1996 |
The Ribosomal Database Project (RDP). | 12 | 10.86 | 1996 |
The genetic data environment an expandable GUI for multiple sequence analysis. | 7 | 4.44 | 1994 |
fastDNAmL: a tool for construction of phylogenetic trees of DNA sequences using maximum likelihood | 85 | 27.18 | 1994 |
Formula Databases for High-Performance Resolution/Paramodulation Systems | 3 | 0.68 | 1994 |
The Ribosomal Database Project | 17 | 11.48 | 1993 |
The CADE-11 Competitions: A Personal View | 4 | 0.70 | 1993 |
Logic Programming and Genetic Sequence Analysis: a Tutorial | 1 | 0.43 | 1992 |
The Role of Logic Programming in the 21st Century - Panel Position Paper | 0 | 0.34 | 1992 |
Applications of the Aurora Parallel Prolog System to Computational Molecular Biology | 1 | 0.36 | 1992 |
Aligning Multiple RNA Sequences | 0 | 0.34 | 1991 |
Subsumption, a Sometimes Undervalued Procedure | 19 | 2.05 | 1991 |
Structure detection through automated covariance search. | 8 | 3.67 | 1990 |
Derivation of efficient parallel programs: an example from genetic sequence analysis | 6 | 0.66 | 1989 |
A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment | 9 | 0.76 | 1988 |
Geometric specification of scheduling constraints: A simplified approach to multiprocessing | 0 | 0.34 | 1988 |
Scheduling OR-Parallelism: An Argonne Perspective | 27 | 2.20 | 1988 |
9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings | 71 | 30.76 | 1988 |
Experiments with OR-Parallel Logic Programs | 15 | 2.29 | 1987 |
Set Theory in First-Order Logic: Clauses for Gödel's Axioms | 50 | 8.20 | 1986 |
A foray into combinatory logic | 3 | 2.15 | 1986 |
ITP at Argonne National Laboratory | 5 | 1.02 | 1986 |
Reasoning about Equality | 13 | 4.12 | 1985 |
The design of entity-relationship models for general ledger systems | 0 | 0.34 | 1985 |
Data Management: A Practical View (Panel) | 0 | 0.34 | 1983 |
Tools for the Creation of IMS Database Designs from Entity-Relationship Diagrams | 6 | 10.74 | 1983 |
Logic Machine Architecture: Kernel Funtions | 21 | 10.90 | 1982 |
Logic Machine Architecture: Inference Mechanisms | 15 | 7.92 | 1982 |
Item Tracking Entity-Relationship Models | 7 | 5.79 | 1981 |
Hyperparamodulation: A Refinement of Paramodulation | 18 | 2.90 | 1980 |
A practical design methodology for the implementation of IMS databases, using the entity-relationship model | 4 | 4.64 | 1980 |
Data Structures and Control Architectures for Implementation of Theorem-Proving Programs | 10 | 3.32 | 1980 |
A DML for Entity-Relationship Models | 9 | 10.48 | 1979 |
A theorem-proving language for experimentation | 0 | 0.34 | 1974 |
A New Class of Automated Theorem-Proving Algorithms | 5 | 1.22 | 1974 |