The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ross A. Overbeek: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ewing L. Lusk, Ross A. Overbeek, Bruce D. Parrello
    A Practical Design Methodology for the Implementation of IMS Databases, Using the Entity-Relationship Model. [Citation Graph (15, 4)][DBLP]
    SIGMOD Conference, 1980, pp:9-21 [Conf]
  2. Ewing L. Lusk, Ross A. Overbeek
    A DML for Entity-Relationship Models. [Citation Graph (7, 0)][DBLP]
    ER, 1979, pp:445-462 [Conf]
  3. Ewing L. Lusk, Gene Petrie, Ross A. Overbeek
    Item Tracking Entity-Relationship Models. [Citation Graph (3, 5)][DBLP]
    ER, 1981, pp:213-233 [Conf]
  4. G. Margrave, Ewing L. Lusk, Ross A. Overbeek
    Tools for the Creation of IMS Database Designs from Entity-Relationship Diagrams. [Citation Graph (3, 6)][DBLP]
    ER, 1983, pp:501-515 [Conf]
  5. Bruce D. Parrello, Ross A. Overbeek, Ewing L. Lusk
    The Design of Entity-Relationship Models for General Ledger Systems. [Citation Graph (1, 0)][DBLP]
    Data Knowl. Eng., 1985, v:1, n:2, pp:155-180 [Journal]
  6. Larry Wos, Ross A. Overbeek, Ewing L. Lusk
    Subsumption, a Sometimes Undervalued Procedure. [Citation Graph (0, 0)][DBLP]
    Computational Logic - Essays in Honor of Alan Robinson, 1991, pp:3-40 [Conf]
  7. Ross A. Overbeek, Ian T. Foster
    Aligning Multiple RNA Sequences. [Citation Graph (0, 0)][DBLP]
    Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991, pp:231-248 [Conf]
  8. Ralph Butler, Ian T. Foster, Anita Jindal, Ross A. Overbeek
    A High-Performance Parallel Theorem Prover. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:649-650 [Conf]
  9. Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek
    Paths to High-Performance Automated Theorem Proving. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:588-597 [Conf]
  10. Ewing L. Lusk, William McCune, Ross A. Overbeek
    Logic Machine Architecture: Kernel Funtions. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:70-84 [Conf]
  11. Ewing L. Lusk, William McCune, Ross A. Overbeek
    Logic Machine Architecture: Inference Mechanisms. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:85-108 [Conf]
  12. Ewing L. Lusk, William McCune, Ross A. Overbeek
    ITP at Argonne National Laboratory. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:697-698 [Conf]
  13. Ewing L. Lusk, Ross A. Overbeek
    A Portable Environment for Research in Automated Reasoning. [Citation Graph (0, 0)][DBLP]
    CADE, 1984, pp:43-52 [Conf]
  14. Ross A. Overbeek, Ewing L. Lusk
    Data Structures and Control Architectures for Implementation of Theorem-Proving Programs. [Citation Graph (0, 0)][DBLP]
    CADE, 1980, pp:232-249 [Conf]
  15. Larry Wos, Ross A. Overbeek, Lawrence J. Henschen
    Hyperparamodulation: A Refinement of Paramodulation. [Citation Graph (0, 0)][DBLP]
    CADE, 1980, pp:208-219 [Conf]
  16. Larry Wos, S. Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler
    Automated Reasoning Contributed to Mathematics and Logic. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:485-499 [Conf]
  17. Paul K. Blackwell, Dan Kapp, Ross A. Overbeek, H. J. Spencer, Gio Wiederhold, Stanley B. Zdonik
    Data Management: A Practical View (Panel). [Citation Graph (0, 0)][DBLP]
    ER, 1983, pp:809- [Conf]
  18. 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. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:819-830 [Conf]
  19. Ross A. Overbeek
    The Role of Logic Programming in the 21st Century - Panel Position Paper. [Citation Graph (0, 0)][DBLP]
    FGCS, 1992, pp:223-224 [Conf]
  20. Kaoru Yoshida, Cassandra Smith, Toni Kazic, George Michaels, Ronald Taylor, David Zawada, Ray Hagstrom, Ross A. Overbeek
    Toward a Human Genome Encyclopedia. [Citation Graph (0, 0)][DBLP]
    FGCS, 1992, pp:307-320 [Conf]
  21. Ralph Butler, Terry Disz, Ewing L. Lusk, Robert Olson, Ross A. Overbeek, Rick L. Stevens
    Scheduling OR-Parallelism: An Argonne Perspective. [Citation Graph (0, 0)][DBLP]
    ICLP/SLP, 1988, pp:1590-1605 [Conf]
  22. Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek
    Parallel Logic Programming for Numeric Applications. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:375-388 [Conf]
  23. Mats Carlsson, Ken Danhof, Ross A. Overbeek
    A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment. [Citation Graph (0, 0)][DBLP]
    ICLP/SLP, 1988, pp:1565-1577 [Conf]
  24. Terry Disz, Ewing L. Lusk, Ross A. Overbeek
    Experiments with OR-Parallel Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1987, pp:576-600 [Conf]
  25. Ewing L. Lusk, Ross A. Overbeek, Shyam Mudambi, Péter Szeredi
    Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. [Citation Graph (0, 0)][DBLP]
    IJCSLP Workshop on Concurrent and Parallel Implementations, 1992, pp:- [Conf]
  26. Ross A. Overbeek
    Logic Programming and Genetic Sequence Analysis: a Tutorial. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:32-34 [Conf]
  27. Hideo Matsuda, Gary J. Olsen, Ross A. Overbeek, Yukio Kaneda
    Fast phylogenetic analysis on a massively parallel machine. [Citation Graph (0, 0)][DBLP]
    International Conference on Supercomputing, 1994, pp:297-302 [Conf]
  28. Yuzhen Ye, Andrei Osterman, Ross A. Overbeek, Adam Godzik
    Automatic detection of subsystem/pathway variants in genome analysis. [Citation Graph (0, 0)][DBLP]
    ISMB (Supplement of Bioinformatics), 2005, pp:478-486 [Conf]
  29. Bradley J. Lucier, Ross A. Overbeek
    A parallel adaptive numerical scheme for hyperbolic systems for conservation laws. [Citation Graph (0, 0)][DBLP]
    PPSC, 1985, pp:203-219 [Conf]
  30. Ewing L. Lusk, Shyam Mudambi, Ross A. Overbeek, Péter Szeredi
    Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:353-369 [Conf]
  31. Barry Zeeberg, Kevin Watanabe, Susumu Goto, Ross A. Overbeek, Larry Kerschberg, George Michaels
    Metabolic Pathway Interface to Molecular Biology Databases. [Citation Graph (0, 0)][DBLP]
    SSDBM, 1998, pp:238-241 [Conf]
  32. Gary J. Olsen, Hideo Matsuda, Ray Hagstrom, Ross A. Overbeek
    fastDNAmL: a tool for construction of phylogenetic trees of DNA sequences using maximum likelihood. [Citation Graph (0, 0)][DBLP]
    Computer Applications in the Biosciences, 1994, v:10, n:1, pp:41-48 [Journal]
  33. 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. [Citation Graph (0, 0)][DBLP]
    Computer Applications in the Biosciences, 1994, v:10, n:6, pp:671-675 [Journal]
  34. S. Winker, Ross A. Overbeek, Carl R. Woese, Gary J. Olsen, N. Pfluger
    Structure detection through automated covariance search. [Citation Graph (0, 0)][DBLP]
    Computer Applications in the Biosciences, 1990, v:6, n:4, pp:365-371 [Journal]
  35. Lawrence J. Henschen, Ross A. Overbeek, Larry Wos
    A Theorem-Proving Language for Experimentation. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1974, v:17, n:6, pp:308-314 [Journal]
  36. Ross A. Overbeek, Terry Disz, Rick L. Stevens
    The SEED: a peer-to-peer environment for genome annotation. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2004, v:47, n:11, pp:46-51 [Journal]
  37. George S. Michaels, Ronald Taylor, Ray Hagstrom, Morgan Price, Ross A. Overbeek
    Searching for Genomic Organizational Motifs: Explorations of the Escherichia Coli Chromosome. [Citation Graph (0, 0)][DBLP]
    Computers & Chemistry, 1993, v:17, n:2, pp:209-217 [Journal]
  38. Alexei E. Kazakov, Olga Vassieva, Mikhail S. Gelfand, Andrei Osterman, Ross A. Overbeek
    Bioinformatics classification and functional analysis of PhoH homologs. [Citation Graph (0, 0)][DBLP]
    In Silico Biology, 2003, v:3, n:, pp:2- [Journal]
  39. Ross A. Overbeek, Michael Fonstein, Mark D'Souza, Gordon D. Pusch, Natalia Maltsev
    Use of contiguity on the chromosome to predict functional coupling. [Citation Graph (0, 0)][DBLP]
    In Silico Biology, 1998, v:1, n:, pp:9- [Journal]
  40. Ross A. Overbeek
    A New Class of Automated Theorem-Proving Algorithms. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1974, v:21, n:2, pp:191-200 [Journal]
  41. Ralph Butler, Ross A. Overbeek
    Formula Databases for High-Performance Resolution/Paramodulation Systems. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1994, v:12, n:2, pp:139-156 [Journal]
  42. 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. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1986, v:2, n:3, pp:287-327 [Journal]
  43. Barney Glickfeld, Ross A. Overbeek
    A Foray Into Combinatory Logic. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1986, v:2, n:4, pp:419-431 [Journal]
  44. Anita Jindal, Ross A. Overbeek, Waldo C. Kabat
    Exploitation of Parallel Processing for Implementing High-Performance Deduction Systems. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:8, n:1, pp:23-38 [Journal]
  45. Ewing L. Lusk, Ross A. Overbeek
    Non-Horn Problems. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1985, v:1, n:1, pp:103-114 [Journal]
  46. Ewing L. Lusk, Ross A. Overbeek
    Reasoning about Equality. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1985, v:1, n:2, pp:209-228 [Journal]
  47. Ross A. Overbeek
    The CADE-11 Competitions: A Personal View. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1993, v:11, n:3, pp:315-316 [Journal]
  48. 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. [Citation Graph (0, 0)][DBLP]
    Nucleic Acids Research, 1993, v:21, n:13, pp:3021-3023 [Journal]
  49. 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). [Citation Graph (0, 0)][DBLP]
    Nucleic Acids Research, 1999, v:27, n:1, pp:171-173 [Journal]
  50. Bonnie L. Maidak, Gary J. Olsen, Niels Larsen, Ross A. Overbeek, Michael J. McCaughey, Carl R. Woese
    The Ribosomal Database Project (RDP). [Citation Graph (0, 0)][DBLP]
    Nucleic Acids Research, 1996, v:24, n:1, pp:82-85 [Journal]
  51. Bonnie L. Maidak, Gary J. Olsen, Niels Larsen, Ross A. Overbeek, Michael J. McCaughey, Carl R. Woese
    The RDP (Ribosomal Database Project). [Citation Graph (0, 0)][DBLP]
    Nucleic Acids Research, 1997, v:25, n:1, pp:109-111 [Journal]
  52. 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. [Citation Graph (0, 0)][DBLP]
    Nucleic Acids Research, 2000, v:28, n:1, pp:123-125 [Journal]
  53. 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. [Citation Graph (0, 0)][DBLP]
    Nucleic Acids Research, 2003, v:31, n:1, pp:164-171 [Journal]
  54. Evgeni Selkov, Svetlana Basmanova, Terry Gaasterland, Igor Goryanin, Yuri Gretchkin, 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. [Citation Graph (0, 0)][DBLP]
    Nucleic Acids Research, 1996, v:24, n:1, pp:26-28 [Journal]
  55. Evgeni Selkov, Miliusha Galimova, Igor Goryanin, Yuri Gretchkin, 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. [Citation Graph (0, 0)][DBLP]
    Nucleic Acids Research, 1997, v:25, n:1, pp:37-38 [Journal]
  56. 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. [Citation Graph (0, 0)][DBLP]
    Nucleic Acids Research, 2007, v:35, n:Database-Issue, pp:347-353 [Journal]
  57. Barney Glickfeld, Ross A. Overbeek
    Geometric specification of scheduling constraints: A simplified approach to multiprocessing. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 1988, v:6, n:3, pp:325-337 [Journal]
  58. John D. McCharen, Ross A. Overbeek, Larry Wos
    Problems and Experiments for and with Automated Theorem-Proving Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1976, v:25, n:8, pp:773-782 [Journal]

  59. Accessing the SEED genome databases via Web services API: tools for programmers. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002