Travelled to:1 × Australia
1 × Canada
1 × France
1 × United Kingdom
5 × USA
Collaborated with:E.L.Lusk W.McCune R.Butler ∅ T.Disz L.Wos M.Carlsson K.J.Danhof L.J.Henschen B.D.Parrello R.L.Stevens S.Mudambi P.Szeredi I.T.Foster A.Jindal R.Olson S.Winker
Talks about:parallel (7) logic (6) program (4) architectur (3) implement (3) theorem (3) autom (3) perform (2) environ (2) reason (2)
Person: Ross A. Overbeek
DBLP: Overbeek:Ross_A=
Facilitated 2 volumes:
Ed
EdContributed to:
1993199219901988198719861986198419821980
1980Wrote 16 papers:
- ILPS-1993-LuskMOS #biology #parallel #prolog
- Applications of the Aurora Parallel Prolog System to Computational Molecular Biology (ELL, SM, RAO, PS), pp. 353–369.
- JICSLP-1992-Overbeek #analysis #logic programming #search-based #sequence #tutorial
- Logic Programming and Genetic Sequence Analysis: a Tutorial (RAO), pp. 32–34.
- CADE-1990-ButlerFJO #parallel #proving #theorem proving
- A High-Performance Parallel Theorem Prover (RB, ITF, AJ, RAO), pp. 649–650.
- CADE-1990-WosWMOLSB #automation #logic #reasoning
- Automated Reasoning Contributed to Mathematics and Logic (LW, SW, WM, RAO, ELL, RLS, RB), pp. 485–499.
- JICSCP-1988-ButlerDLOOS88 #perspective #scheduling
- Scheduling OR-Parallelism: An Argonne Perspective (RB, TD, ELL, RO, RAO, RLS), pp. 1590–1605.
- JICSCP-1988-CarlssonDO88 #approach #implementation
- A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment (MC, KJD, RAO), pp. 1565–1577.
- ICLP-1987-DiszLO87 #logic programming #source code
- Experiments with OR-Parallel Logic Programs (TD, ELL, RAO), pp. 576–600.
- CADE-1986-ButlerLMO #automation #proving #theorem proving
- Paths to High-Performance Automated Theorem Proving (RB, ELL, WM, RAO), pp. 588–597.
- CADE-1986-LuskMO
- ITP at Argonne National Laboratory (ELL, WM, RAO), pp. 697–698.
- ICLP-1986-ButlerLMO86 #logic programming #parallel
- Parallel Logic Programming for Numeric Applications (RB, ELL, WM, RAO), pp. 375–388.
- CADE-1984-LuskO #automation #reasoning #research
- A Portable Environment for Research in Automated Reasoning (ELL, RAO), pp. 43–52.
- CADE-1982-LuskMO #architecture #kernel #logic
- Logic Machine Architecture: Kernel Funtions (ELL, WM, RAO), pp. 70–84.
- CADE-1982-LuskMO82a #architecture #logic
- Logic Machine Architecture: Inference Mechanisms (ELL, WM, RAO), pp. 85–108.
- CADE-1980-OverbeekL #architecture #data type #implementation #source code
- Data Structures and Control Architectures for Implementation of Theorem-Proving Programs (RAO, ELL), pp. 232–249.
- CADE-1980-WosOH #named #refinement
- Hyperparamodulation: A Refinement of Paramodulation (LW, RAO, LJH), pp. 208–219.
- SIGMOD-1980-LuskOP #database #design #implementation #using
- A Practical Design Methodology for the Implementation of IMS Databases, Using the Entity-Relationship Model (ELL, RAO, BDP), pp. 9–21.