Ross A. Overbeek Home Page Coauthor index DBLP Vis pubzone.org

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

DBLP keys2007
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeslie Klis McNeil, Claudia Reich, Ramy K. Aziz, Daniela Bartels, Matthew Cohoon, Terry Disz, Robert A. Edwards, Svetlana Gerdes, Kaitlyn Hwang, Michael Kubal, Gohar Rem Margaryan, Folker Meyer, William Mihalo, Gary J. Olsen, Robert Olson, Andrei Osterman, Daniel Paarmann, Tobias Paczian, Bruce D. Parrello, Gordon D. Pusch, Dmitry A. Rodionov, Xinghua Shi, Olga Vassieva, Veronika Vonstein, Olga Zagnitko, Fangfang Xia, Jenifer Zinner, Ross A. Overbeek, Rick Stevens: The National Microbial Pathogen Database Resource (NMPDR): a genomics platform based on subsystem annotation. Nucleic Acids Research 35(Database-Issue): 347-353 (2007)
2005
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuzhen Ye, Andrei Osterman, Ross A. Overbeek, Adam Godzik: Automatic detection of subsystem/pathway variants in genome analysis. ISMB (Supplement of Bioinformatics) 2005: 478-486
2004
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoss A. Overbeek, Terry Disz, Rick L. Stevens: The SEED: a peer-to-peer environment for genome annotation. Commun. ACM 47(11): 46-51 (2004)
2003
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexei E. Kazakov, Olga Vassieva, Mikhail S. Gelfand, Andrei Osterman, Ross A. Overbeek: Bioinformatics classification and functional analysis of PhoH homologs. In Silico Biology 3: 2 (2003)
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoss A. Overbeek, Niels Larsen, Theresa Walunas, Mark D'Souza, Gordon D. Pusch, Evgeni Selkov Jr., Konstantinos Liolios, Viktor Joukov, Denis Kaznadzey, Iain Anderson, Anamitra Bhattacharyya, Henry Burd, Warren Gardner, Paul Hanke, Vinayak Kapatral, Natalia Mikhailova, Olga Vassieva, Andrei Osterman, Veronika Vonstein, Michael Fonstein, Natalia Ivanova, Nikos Kyrpides: The ERGOTM genome analysis and discovery system. Nucleic Acids Research 31(1): 164-171 (2003)
2000
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoss A. Overbeek, Niels Larsen, Gordon D. Pusch, Mark D'Souza, Evgeni Selkov Jr., Nikos Kyrpides, Michael Fonstein, Natalia Maltsev, Evgeni Selkov: WIT: integrated system for high-throughput genome sequence analysis and metabolic reconstruction. Nucleic Acids Research 28(1): 123-125 (2000)
1999
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBonnie L. Maidak, James R. Cole, Charles T. Parker Jr., George M. Garrity, Niels Larsen, Bing Li, Timothy G. Lilburn, Michael J. McCaughey, Gary J. Olsen, Ross A. Overbeek, Sakti Pramanik, Thomas M. Schmidt, James M. Tiedje, Carl R. Woese: A new version of the RDP (Ribosomal Database Project). Nucleic Acids Research 27(1): 171-173 (1999)
1998
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBarry Zeeberg, Kevin Watanabe, Susumu Goto, Ross A. Overbeek, Larry Kerschberg, George Michaels: Metabolic Pathway Interface to Molecular Biology Databases. SSDBM 1998: 238-241
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoss A. Overbeek, Michael Fonstein, Mark D'Souza, Gordon D. Pusch, Natalia Maltsev: Use of contiguity on the chromosome to predict functional coupling. In Silico Biology 1: 9 (1998)
1997
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBonnie L. Maidak, Gary J. Olsen, Niels Larsen, Ross A. Overbeek, Michael J. McCaughey, Carl R. Woese: The RDP (Ribosomal Database Project). Nucleic Acids Research 25(1): 109-111 (1997)
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvgeni Selkov, Miliusha Galimova, Igor Goryanin, Yuri Grechkin, Natalia Ivanova, Yuri Komarov, Natalia Maltsev, Natalia Mikhailova, Valeri Nenashev, Ross A. Overbeek, Elena Panyushkina, Lyudmila Pronevitch, Evgeni Selkov Jr.: The metabolic pathway collection: an update. Nucleic Acids Research 25(1): 37-38 (1997)
1996
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvgeni Selkov, Svetlana Basmanova, Terry Gaasterland, Igor Goryanin, Yuri Grechkin, Natalia Maltsev, Valeri Nenashev, Ross A. Overbeek, Elena Panyushkina, Lyudmila Pronevitch, Evgeni Selkov Jr., Ilya Yunus: The metabolic pathway collection from EMP: the enzymes and metabolic pathways database. Nucleic Acids Research 24(1): 26-28 (1996)
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBonnie L. Maidak, Gary J. Olsen, Niels Larsen, Ross A. Overbeek, Michael J. McCaughey, Carl R. Woese: The Ribosomal Database Project (RDP). Nucleic Acids Research 24(1): 82-85 (1996)
1994
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHideo Matsuda, Gary J. Olsen, Ross A. Overbeek, Yukio Kaneda: Fast phylogenetic analysis on a massively parallel machine. International Conference on Supercomputing 1994: 297-302
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGary J. Olsen, Hideo Matsuda, Ray Hagstrom, Ross A. Overbeek: fastDNAmL: a tool for construction of phylogenetic trees of DNA sequences using maximum likelihood. Computer Applications in the Biosciences 10(1): 41-48 (1994)
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteven W. Smith, Ross A. Overbeek, Carl R. Woese, W. Gilbert, P. M. Gillevet: The genetic data environment an expandable GUI for multiple sequence analysis. Computer Applications in the Biosciences 10(6): 671-675 (1994)
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph Butler, Ross A. Overbeek: Formula Databases for High-Performance Resolution/Paramodulation Systems. J. Autom. Reasoning 12(2): 139-156 (1994)
1993
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, Shyam Mudambi, Ross A. Overbeek, Péter Szeredi: Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. ILPS 1993: 353-369
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge S. Michaels, Ronald Taylor, Ray Hagstrom, Morgan Price, Ross A. Overbeek: Searching for Genomic Organizational Motifs: Explorations of the Escherichia Coli Chromosome. Computers & Chemistry 17(2): 209-217 (1993)
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoss A. Overbeek: The CADE-11 Competitions: A Personal View. J. Autom. Reasoning 11(3): 315-316 (1993)
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Larsen, Gary J. Olsen, Bonnie L. Maidak, Michael J. McCaughey, Ross A. Overbeek, Thomas J. Macke, Terry L. Marsh, Carl R. Woese: The ribosomal database project. Nucleic Acids Research 21(13): 3021-3023 (1993)
1992
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoss A. Overbeek: The Role of Logic Programming in the 21st Century - Panel Position Paper. FGCS 1992: 223-224
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaoru Yoshida, Cassandra Smith, Toni Kazic, George Michaels, Ronald Taylor, David Zawada, Ray Hagstrom, Ross A. Overbeek: Toward a Human Genome Encyclopedia. FGCS 1992: 307-320
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, Ross A. Overbeek, Shyam Mudambi, Péter Szeredi: Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. IJCSLP Workshop on Concurrent and Parallel Implementations 1992
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoss A. Overbeek: Logic Programming and Genetic Sequence Analysis: a Tutorial. JICSLP 1992: 32-34
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnita Jindal, Ross A. Overbeek, Waldo C. Kabat: Exploitation of Parallel Processing for Implementing High-Performance Deduction Systems. J. Autom. Reasoning 8(1): 23-38 (1992)
1991
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoss A. Overbeek, Ian T. Foster: Aligning Multiple RNA Sequences. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 231-248
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLarry Wos, Ross A. Overbeek, Ewing L. Lusk: Subsumption, a Sometimes Undervalued Procedure. Computational Logic - Essays in Honor of Alan Robinson 1991: 3-40
1990
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLarry Wos, S. Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler: Automated Reasoning Contributed to Mathematics and Logic. CADE 1990: 485-499
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph Butler, Ian T. Foster, Anita Jindal, Ross A. Overbeek: A High-Performance Parallel Theorem Prover. CADE 1990: 649-650
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLS. Winker, Ross A. Overbeek, Carl R. Woese, Gary J. Olsen, N. Pfluger: Structure detection through automated covariance search. Computer Applications in the Biosciences 6(4): 365-371 (1990)
1988
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, Ross A. Overbeek: 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings Springer 1988
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, Ralph Butler, Terry Disz, Robert Olson, Ross A. Overbeek, Rick L. Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi, Per Brand, Mats Carlsson, Andrzej Ciepielewski, Bogumil Hausman: The Aurora Or-Parallel Prolog System. FGCS 1988: 819-830
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMats Carlsson, Kenneth J. Danhof, Ross A. Overbeek: A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment. ICLP/SLP 1988: 1565-1577
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph Butler, Terry Disz, Ewing L. Lusk, Robert Olson, Ross A. Overbeek, Rick L. Stevens: Scheduling OR-Parallelism: An Argonne Perspective. ICLP/SLP 1988: 1590-1605
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBarney Glickfeld, Ross A. Overbeek: Geometric specification of scheduling constraints: A simplified approach to multiprocessing. Parallel Computing 6(3): 325-337 (1988)
1987
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTerry Disz, Ewing L. Lusk, Ross A. Overbeek: Experiments with OR-Parallel Logic Programs. ICLP 1987: 576-600
1986
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek: Paths to High-Performance Automated Theorem Proving. CADE 1986: 588-597
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, William McCune, Ross A. Overbeek: ITP at Argonne National Laboratory. CADE 1986: 697-698
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek: Parallel Logic Programming for Numeric Applications. ICLP 1986: 375-388
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert S. Boyer, Ewing L. Lusk, William McCune, Ross A. Overbeek, Mark E. Stickel, Larry Wos: Set Theory in First-Order Logic: Clauses for Gödel's Axioms. J. Autom. Reasoning 2(3): 287-327 (1986)
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBarney Glickfeld, Ross A. Overbeek: A Foray Into Combinatory Logic. J. Autom. Reasoning 2(4): 419-431 (1986)
1985
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBradley J. Lucier, Ross A. Overbeek: A parallel adaptive numerical scheme for hyperbolic systems for conservation laws. PPSC 1985: 203-219
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce D. Parrello, Ross A. Overbeek, Ewing L. Lusk: The Design of Entity-Relationship Models for General Ledger Systems. Data Knowl. Eng. 1(2): 155-180 (1985)
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, Ross A. Overbeek: Non-Horn Problems. J. Autom. Reasoning 1(1): 103-114 (1985)
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, Ross A. Overbeek: Reasoning about Equality. J. Autom. Reasoning 1(2): 209-228 (1985)
1984
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, Ross A. Overbeek: A Portable Environment for Research in Automated Reasoning. CADE 1984: 43-52
1983
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLG. Margrave, Ewing L. Lusk, Ross A. Overbeek: Tools for the Creation of IMS Database Designs from Entity-Relationship Diagrams. ER 1983: 501-515
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul K. Blackwell, Dan Kapp, Ross A. Overbeek, H. J. Spencer, Gio Wiederhold, Stanley B. Zdonik: Data Management: A Practical View (Panel). ER 1983: 809
1982
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, William McCune, Ross A. Overbeek: Logic Machine Architecture: Kernel Funtions. CADE 1982: 70-84
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, William McCune, Ross A. Overbeek: Logic Machine Architecture: Inference Mechanisms. CADE 1982: 85-108
1981
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, Gene Petrie, Ross A. Overbeek: Item Tracking Entity-Relationship Models. ER 1981: 213-233
1980
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLarry Wos, Ross A. Overbeek, Lawrence J. Henschen: Hyperparamodulation: A Refinement of Paramodulation. CADE 1980: 208-219
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoss A. Overbeek, Ewing L. Lusk: Data Structures and Control Architectures for Implementation of Theorem-Proving Programs. CADE 1980: 232-249
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, Ross A. Overbeek, Bruce D. Parrello: A Practical Design Methodology for the Implementation of IMS Databases, Using the Entity-Relationship Model. SIGMOD Conference 1980: 9-21
1979
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, Ross A. Overbeek: A DML for Entity-Relationship Models. ER 1979: 445-462
1976
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn D. McCharen, Ross A. Overbeek, Larry Wos: Problems and Experiments for and with Automated Theorem-Proving Programs. IEEE Trans. Computers 25(8): 773-782 (1976)
1974
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLawrence J. Henschen, Ross A. Overbeek, Larry Wos: A Theorem-Proving Language for Experimentation. Commun. ACM 17(6): 308-314 (1974)
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoss A. Overbeek: A New Class of Automated Theorem-Proving Algorithms. J. ACM 21(2): 191-200 (1974)

Coauthor Index

1Iain Anderson [55]
2Ramy K. Aziz [59]
3Daniela Bartels [59]
4Svetlana Basmanova [48]
5Anamitra Bhattacharyya [55]
6Paul K. Blackwell [11]
7Robert S. Boyer [19]
8Per Brand [27]
9Henry Burd [55]
10Ralph M. Butler (Ralph Butler) [20] [22] [25] [27] [30] [31] [43]
11Alan Calderwood [27]
12Mats Carlsson [26] [27]
13Andrzej Ciepielewski [27]
14Matthew Cohoon [59]
15James R. Cole [53]
16Mark D'Souza [51] [54] [55]
17Kenneth J. Danhof [26]
18Terry Disz [23] [25] [27] [57] [59]
19Robert A. Edwards [59]
20Michael Fonstein [51] [54] [55]
21Ian T. Foster [30] [33]
22Terry Gaasterland [48]
23Miliusha Galimova [49]
24Warren Gardner [55]
25George M. Garrity [53]
26Mikhail S. Gelfand [56]
27Svetlana Gerdes [59]
28W. Gilbert [44]
29P. M. Gillevet [44]
30Barney Glickfeld [18] [24]
31Adam Godzik [58]
32Igor Goryanin [48] [49]
33Susumu Goto [52]
34Yuri Grechkin [48] [49]
35Ray Hagstrom [37] [41] [45]
36Paul Hanke [55]
37Seif Haridi [27]
38Bogumil Hausman [27]
39Lawrence J. Henschen [2] [7]
40Kaitlyn Hwang [59]
41Natalia Ivanova [49] [55]
42Anita Jindal [30] [34]
43Viktor Joukov [55]
44Waldo C. Kabat [34]
45Yukio Kaneda [46]
46Vinayak Kapatral [55]
47Dan Kapp [11]
48Alexei E. Kazakov [56]
49Toni Kazic [37]
50Denis Kaznadzey [55]
51Larry Kerschberg [52]
52Yuri Komarov [49]
53Michael Kubal [59]
54Nikos Kyrpides [54] [55]
55Niels Larsen [39] [47] [50] [53] [54] [55]
56Bing Li [53]
57Timothy G. Lilburn [53]
58Konstantinos Liolios [55]
59Bradley J. Lucier [17]
60Ewing L. Lusk [4] [5] [6] [8] [9] [10] [12] [13] [14] [15] [16] [19] [20] [21] [22] [23] [25] [27] [28] [31] [32] [36] [42]
61Thomas J. Macke [39]
62Bonnie L. Maidak [39] [47] [50] [53]
63Natalia Maltsev [48] [49] [51] [54]
64Gohar Rem Margaryan [59]
65G. Margrave [12]
66Terry L. Marsh [39]
67Hideo Matsuda [45] [46]
68Michael J. McCaughey [39] [47] [50] [53]
69John D. McCharen [3]
70William McCune [9] [10] [19] [20] [21] [22] [31]
71Leslie Klis McNeil [59]
72Folker Meyer [59]
73George Michaels [37] [52]
74George S. Michaels [41]
75William Mihalo [59]
76Natalia Mikhailova [49] [55]
77Shyam Mudambi [36] [42]
78Valeri Nenashev [48] [49]
79Gary J. Olsen [29] [39] [45] [46] [47] [50] [53] [59]
80Robert Olson [25] [27] [59]
81Andrei Osterman [55] [56] [58] [59]
82Daniel Paarmann [59]
83Tobias Paczian [59]
84Elena Panyushkina [48] [49]
85Charles T. Parker Jr. [53]
86Bruce D. Parrello [5] [16] [59]
87Gene Petrie [8]
88N. Pfluger [29]
89Sakti Pramanik [53]
90Morgan Price [41]
91Lyudmila Pronevitch [48] [49]
92Gordon D. Pusch [51] [54] [55] [59]
93Claudia Reich [59]
94Dmitry A. Rodionov [59]
95Thomas M. Schmidt [53]
96Evgeni Selkov [48] [49] [54]
97Evgeni Selkov Jr. [48] [49] [54] [55]
98Xinghua Shi [59]
99Cassandra Smith [37]
100Steven W. Smith [44]
101H. J. Spencer [11]
102Rick L. Stevens (Rick Stevens) [25] [27] [31] [57] [59]
103Mark E. Stickel [19]
104Péter Szeredi [27] [36] [42]
105Ronald Taylor [37] [41]
106James M. Tiedje [53]
107Olga Vassieva [55] [56] [59]
108Veronika Vonstein [55] [59]
109Theresa Walunas [55]
110David H. D. Warren [27]
111Kevin Watanabe [52]
112Gio Wiederhold [11]
113S. Winker [29] [31]
114Carl R. Woese [29] [39] [44] [47] [50] [53]
115Larry Wos [2] [3] [7] [19] [31] [32]
116Fangfang Xia [59]
117Yuzhen Ye [58]
118Kaoru Yoshida [37]
119Ilya Yunus [48]
120Olga Zagnitko [59]
121David Zawada [37]
122Stanley B. Zdonik [11]
123Barry Zeeberg [52]
124Jenifer Zinner [59]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)