Ross A. Overbeek

	2007
59		Leslie 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
58		Yuzhen 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
57		Ross 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
56		Alexei 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)
55		Ross 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
54		Ross 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
53		Bonnie 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
52		Barry Zeeberg, Kevin Watanabe, Susumu Goto, Ross A. Overbeek, Larry Kerschberg, George Michaels: Metabolic Pathway Interface to Molecular Biology Databases. SSDBM 1998: 238-241
51		Ross 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
50		Bonnie 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)
49		Evgeni 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
48		Evgeni 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)
47		Bonnie 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
46		Hideo Matsuda, Gary J. Olsen, Ross A. Overbeek, Yukio Kaneda: Fast phylogenetic analysis on a massively parallel machine. International Conference on Supercomputing 1994: 297-302
45		Gary 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)
44		Steven 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)
43		Ralph Butler, Ross A. Overbeek: Formula Databases for High-Performance Resolution/Paramodulation Systems. J. Autom. Reasoning 12(2): 139-156 (1994)
	1993
42		Ewing 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
41		George 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)
40		Ross A. Overbeek: The CADE-11 Competitions: A Personal View. J. Autom. Reasoning 11(3): 315-316 (1993)
39		Niels 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
38		Ross A. Overbeek: The Role of Logic Programming in the 21st Century - Panel Position Paper. FGCS 1992: 223-224
37		Kaoru 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
36		Ewing 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
35		Ross A. Overbeek: Logic Programming and Genetic Sequence Analysis: a Tutorial. JICSLP 1992: 32-34
34		Anita 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
33		Ross A. Overbeek, Ian T. Foster: Aligning Multiple RNA Sequences. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 231-248
32		Larry Wos, Ross A. Overbeek, Ewing L. Lusk: Subsumption, a Sometimes Undervalued Procedure. Computational Logic - Essays in Honor of Alan Robinson 1991: 3-40
	1990
31		Larry 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
30		Ralph Butler, Ian T. Foster, Anita Jindal, Ross A. Overbeek: A High-Performance Parallel Theorem Prover. CADE 1990: 649-650
29		S. 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
28		Ewing L. Lusk, Ross A. Overbeek: 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings Springer 1988
27		Ewing 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
26		Mats 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
25		Ralph 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
24		Barney Glickfeld, Ross A. Overbeek: Geometric specification of scheduling constraints: A simplified approach to multiprocessing. Parallel Computing 6(3): 325-337 (1988)
	1987
23		Terry Disz, Ewing L. Lusk, Ross A. Overbeek: Experiments with OR-Parallel Logic Programs. ICLP 1987: 576-600
	1986
22		Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek: Paths to High-Performance Automated Theorem Proving. CADE 1986: 588-597
21		Ewing L. Lusk, William McCune, Ross A. Overbeek: ITP at Argonne National Laboratory. CADE 1986: 697-698
20		Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek: Parallel Logic Programming for Numeric Applications. ICLP 1986: 375-388
19		Robert 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)
18		Barney Glickfeld, Ross A. Overbeek: A Foray Into Combinatory Logic. J. Autom. Reasoning 2(4): 419-431 (1986)
	1985
17		Bradley J. Lucier, Ross A. Overbeek: A parallel adaptive numerical scheme for hyperbolic systems for conservation laws. PPSC 1985: 203-219
16		Bruce 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)
15		Ewing L. Lusk, Ross A. Overbeek: Non-Horn Problems. J. Autom. Reasoning 1(1): 103-114 (1985)
14		Ewing L. Lusk, Ross A. Overbeek: Reasoning about Equality. J. Autom. Reasoning 1(2): 209-228 (1985)
	1984
13		Ewing L. Lusk, Ross A. Overbeek: A Portable Environment for Research in Automated Reasoning. CADE 1984: 43-52
	1983
12		G. Margrave, Ewing L. Lusk, Ross A. Overbeek: Tools for the Creation of IMS Database Designs from Entity-Relationship Diagrams. ER 1983: 501-515
11		Paul 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
10		Ewing L. Lusk, William McCune, Ross A. Overbeek: Logic Machine Architecture: Kernel Funtions. CADE 1982: 70-84
9		Ewing L. Lusk, William McCune, Ross A. Overbeek: Logic Machine Architecture: Inference Mechanisms. CADE 1982: 85-108
	1981
8		Ewing L. Lusk, Gene Petrie, Ross A. Overbeek: Item Tracking Entity-Relationship Models. ER 1981: 213-233
	1980
7		Larry Wos, Ross A. Overbeek, Lawrence J. Henschen: Hyperparamodulation: A Refinement of Paramodulation. CADE 1980: 208-219
6		Ross A. Overbeek, Ewing L. Lusk: Data Structures and Control Architectures for Implementation of Theorem-Proving Programs. CADE 1980: 232-249
5		Ewing 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
4		Ewing L. Lusk, Ross A. Overbeek: A DML for Entity-Relationship Models. ER 1979: 445-462
	1976
3		John 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
2		Lawrence J. Henschen, Ross A. Overbeek, Larry Wos: A Theorem-Proving Language for Experimentation. Commun. ACM 17(6): 308-314 (1974)
1		Ross A. Overbeek: A New Class of Automated Theorem-Proving Algorithms. J. ACM 21(2): 191-200 (1974)

Coauthor Index

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

Colors in the list of coauthors