Ross A. Overbeek

Affiliations:
  • University of Minnesota, USA


According to our database1, Ross A. Overbeek authored at least 71 papers between 1974 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
The PATRIC Bioinformatics Resource Center: expanding data and analysis capabilities.
Nucleic Acids Res., 2020

2019
A machine learning-based service for estimating quality of genomes using PATRIC.
BMC Bioinform., 2019

PATRIC as a unique resource for studying antimicrobial resistance.
Briefings Bioinform., 2019

2017
Improvements to PATRIC, the all-bacterial Bioinformatics Database and Analysis Resource Center.
Nucleic Acids Res., 2017

2014
PATRIC, the bacterial bioinformatics database and analysis resource.
Nucleic Acids Res., 2014

The SEED and the Rapid Annotation of microbial genomes using Subsystems Technology (RAST).
Nucleic Acids Res., 2014

Genome-scale bacterial transcriptional regulatory networks: reconstruction and integrated analysis with metabolic models.
Briefings Bioinform., 2014

2012
Real Time Metagenomics: Using <i>k</i>-mers to annotate metagenomes.
Bioinform., 2012

2010
Accessing the SEED genome databases via Web services API: tools for programmers.
BMC Bioinform., 2010

2007
The National Microbial Pathogen Database Resource (NMPDR): a genomics platform based on subsystem annotation.
Nucleic Acids Res., 2007

2005
Automatic detection of subsystem/pathway variants in genome analysis.
Proceedings of the Proceedings Thirteenth International Conference on Intelligent Systems for Molecular Biology 2005, 2005

Challenges in large scale distributed computing: bioinformatics.
Proceedings of the 2005 Challenges of Large Applications in Distributed Environments, 2005

2004
The SEED: a peer-to-peer environment for genome annotation.
Commun. ACM, 2004

2003
The ERGOTM genome analysis and discovery system.
Nucleic Acids Res., 2003

Bioinformatics classification and functional analysis of PhoH homologs.
Silico Biol., 2003

2000
WIT: integrated system for high-throughput genome sequence analysis and metabolic reconstruction.
Nucleic Acids Res., 2000

1999
A new version of the RDP (Ribosomal Database Project).
Nucleic Acids Res., 1999

1998
Use of contiguity on the chromosome to predict functional coupling.
Silico Biol., 1998

Metabolic Pathway Interface to Molecular Biology Databases.
Proceedings of the 10th International Conference on Scientific and Statistical Database Management, 1998

1997
The metabolic pathway collection: an update.
Nucleic Acids Res., 1997

The RDP (Ribosomal Database Project).
Nucleic Acids Res., 1997

1996
The metabolic pathway collection from EMP: the enzymes and metabolic pathways database.
Nucleic Acids Res., 1996

The Ribosomal Database Project (RDP).
Nucleic Acids Res., 1996

1994
Maximum likelihood genetic sequence reconstruction from oligo content.
Networks, 1994

Formula Databases for High-Performance Resolution/Paramodulation Systems.
J. Autom. Reason., 1994

The genetic data environment an expandable GUI for multiple sequence analysis.
Comput. Appl. Biosci., 1994

fastDNAmL: a tool for construction of phylogenetic trees of DNA sequences using maximum likelihood.
Comput. Appl. Biosci., 1994

Fast phylogenetic analysis on a massively parallel machine.
Proceedings of the 8th international conference on Supercomputing, 1994

1993
The ribosomal database project.
Nucleic Acids Res., 1993

The CADE-11 Competitions: A Personal View.
J. Autom. Reason., 1993

Searching for Genomic Organizational Motifs: Explorations of the Escherichia Coli Chromosome.
Comput. Chem., 1993

Applications of the Aurora Parallel Prolog System to Computational Molecular Biology.
Proceedings of the Logic Programming, 1993

1992
Exploitation of Parallel Processing for Implementing High-Performance Deduction Systems.
J. Autom. Reason., 1992

Logic Programming and Genetic Sequence Analysis: a Tutorial.
Proceedings of the Logic Programming, 1992

Toward a Human Genome Encyclopedia.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

The Role of Logic Programming in the 21st Century - Panel Position Paper.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991
Subsumption, a Sometimes Undervalued Procedure.
Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991

Aligning Multiple RNA Sequences.
Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991

1990
The Aurora or-parallel Prolog system.
New Gener. Comput., 1990

Structure detection through automated covariance search.
Comput. Appl. Biosci., 1990

Automated Reasoning Contributed to Mathematics and Logic.
Proceedings of the 10th International Conference on Automated Deduction, 1990

A High-Performance Parallel Theorem Prover.
Proceedings of the 10th International Conference on Automated Deduction, 1990

1989
Derivation of efficient parallel programs: An example from genetic sequence analysis.
Int. J. Parallel Program., 1989

1988
Geometric specification of scheduling constraints: A simplified approach to multiprocessing.
Parallel Comput., 1988

A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment.
Proceedings of the Logic Programming, 1988

Scheduling OR-Parallelism: An Argonne Perspective.
Proceedings of the Logic Programming, 1988

The Aurora Or-Parallel Prolog System.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987
Experiments with OR-Parallel Logic Programs.
Proceedings of the Logic Programming, 1987

1986
A Foray Into Combinatory Logic.
J. Autom. Reason., 1986

Set Theory in First-Order Logic: Clauses for Gödel's Axioms.
J. Autom. Reason., 1986

Parallel Logic Programming for Numeric Applications.
Proceedings of the Third International Conference on Logic Programming, 1986

ITP at Argonne National Laboratory.
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

Paths to High-Performance Automated Theorem Proving.
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985
A technique for achieving portability among multiprocessors: Implementation on the Lemur.
Parallel Comput., 1985

Reasoning about Equality.
J. Autom. Reason., 1985

Non-Horn Problems.
J. Autom. Reason., 1985

The Design of Entity-Relationship Models for General Ledger Systems.
Data Knowl. Eng., 1985

A parallel adaptive numerical scheme for hyperbolic systems for conservation laws.
Proceedings of the Selected Papers from the Second Conference on Parallel Processing for Scientific Computing, 1985

1984
A Portable Environment for Research in Automated Reasoning.
Proceedings of the 7th International Conference on Automated Deduction, 1984

1983
Tools for the Creation of IMS Database Designs from Entity-Relationship Diagrams.
Proceedings of the 3rd Int. Conf. on Entity-Relationship Approach (ER'83), 1983

Data Management: A Practical View (Panel).
Proceedings of the 3rd Int. Conf. on Entity-Relationship Approach (ER'83), 1983

1982
Logic Machine Architecture: Inference Mechanisms.
Proceedings of the 6th Conference on Automated Deduction, 1982

Logic Machine Architecture: Kernel Funtions.
Proceedings of the 6th Conference on Automated Deduction, 1982

1981
Item Tracking Entity-Relationship Models.
Proceedings of the Entity-Relationship Approach to Information Modeling and Analysis, 1981

1980
A Practical Design Methodology for the Implementation of IMS Databases, Using the Entity-Relationship Model.
Proceedings of the 1980 ACM SIGMOD International Conference on Management of Data, 1980

Hyperparamodulation: A Refinement of Paramodulation.
Proceedings of the 5th Conference on Automated Deduction, 1980

Data Structures and Control Architectures for Implementation of Theorem-Proving Programs.
Proceedings of the 5th Conference on Automated Deduction, 1980

1979
A DML for Entity-Relationship Models.
Proceedings of the Entity-Relationship Approach to Systems Analysis and Design. Proc. 1st International Conference on the Entity-Relationship Approach, 1979

1976
Problems and Experiments for and with Automated Theorem-Proving Programs.
IEEE Trans. Computers, 1976

1974
A New Class of Automated Theorem-Proving Algorithms.
J. ACM, 1974

A Theorem-Proving Language for Experimentation.
Commun. ACM, 1974


  Loading...