Ewing L. Lusk

135 papers A 24B 6C 11Journal 44Unranked 45
YearRankTypeTitle / Venue / Authors
2018 J jnl
Evolution of a minimal parallel programming model.
Int. J. High Perform. Comput. Appl.
Ewing L. Lusk, Ralph Butler, Steven C. Pieper
2014 — book
Using MPI - Portable Parallel Programming with the Message-Passing Interface, 3rd Edition.
William D. Gropp, Ewing L. Lusk, Anthony Skjellum
2013 J jnl
Computational nuclear quantum many-body problem: The UNEDF project.
Comput. Phys. Commun.
Scott Bogner, Aurel Bulgac, Joseph A. Carlson, Jonathan Engel, George L. Fann, Richard J. Furnstahl, Stefano Gandolfi, Gaute Hagen, Mihai Horoi, Calvin W. Johnson, Markus Kortelainen, Ewing L. Lusk, Pieter Maris, Hai Ah Nam, Petr Navratil, Witold Nazarewicz, Esmond G. Ng, Gustavo P. A. Nobre, W. Erich Ormand, Thomas Papenbrock, Junchen Pei, Steven C. Pieper, Sofia Quaglioni, Kenneth J. Roche, Jason Sarich, Nicolas Schunck, Masha Sosonkina, Jun Terasaki, Ian J. Thompson, James P. Vary, Stefan M. Wild
2013 C conf
Dataflow coordination of data-parallel tasks via MPI 3.0.
EuroMPI
Justin M. Wozniak, Tom Peterka, Timothy G. Armstrong, James Dinan, Ewing L. Lusk, Michael Wilde, Ian T. Foster
2013 B conf
Swift/T: Large-Scale Application Composition via Distributed-Memory Dataflow Processing.
CCGRID
Justin M. Wozniak, Timothy G. Armstrong, Michael Wilde, Daniel S. Katz, Ewing L. Lusk, Ian T. Foster
2013 B conf
Swift/T: scalable data flow programming for many-task applications.
PPoPP
Justin M. Wozniak, Timothy G. Armstrong, Michael Wilde, Daniel S. Katz, Ewing L. Lusk, Ian T. Foster
2013 J jnl
Turbine: A Distributed-memory Dataflow Engine for High Performance Many-task Applications.
Fundam. Informaticae
Justin M. Wozniak, Timothy G. Armstrong, Ketan Maheshwari, Ewing L. Lusk, Daniel S. Katz, Michael Wilde, Ian T. Foster
2012 C conf
Advanced MPI Including New MPI-3 Features.
EuroMPI
William Gropp, Ewing L. Lusk, Rajeev Thakur
2012 — conf
Turbine: a distributed-memory dataflow engine for extreme-scale many-task applications.
SWEET@SIGMOD
Justin M. Wozniak, Timothy G. Armstrong, Ketan Maheshwari, Ewing L. Lusk, Daniel S. Katz, Michael Wilde, Ian T. Foster
2011 J jnl
Formal analysis of MPI-based parallel programs.
Commun. ACM
Ganesh Gopalakrishnan, Robert M. Kirby, Stephen F. Siegel, Rajeev Thakur, William Gropp, Ewing L. Lusk, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky
2011 J jnl
Mpi on millions of Cores.
Parallel Process. Lett.
Pavan Balaji, Darius Buntinas, David Goodell, William Gropp, Torsten Hoefler, Sameer Kumar, Ewing L. Lusk, Rajeev Thakur, Jesper Larsson Träff
2010 J jnl
Global-scale distributed I/O with ParaMEDIC.
Concurr. Comput. Pract. Exp.
Pavan Balaji, Wu-chun Feng, Heshan Lin, Jeremy S. Archuleta, Satoshi Matsuoka, Andrew S. Warren, João Carlos Setubal, Ewing L. Lusk, Rajeev Thakur, Ian T. Foster, Daniel S. Katz, Shantenu Jha, K. Shinpaugh, Susan Coghlan, Daniel A. Reed
2010 — conf
Hybrid parallel programming with MPI and unified parallel C.
Conf. Computing Frontiers
James Dinan, Pavan Balaji, Ewing L. Lusk, P. Sadayappan, Rajeev Thakur
2010 C conf
Implementing MPI on Windows: Comparison with Common Approaches on Unix.
EuroMPI
Jayesh Krishna, Pavan Balaji, Ewing L. Lusk, Rajeev Thakur, Fabian Tiller
2010 C conf
PMI: A Scalable Parallel Process-Management Interface for Extreme-Scale Systems.
EuroMPI
Pavan Balaji, Darius Buntinas, David Goodell, William Gropp, Jayesh Krishna, Ewing L. Lusk, Rajeev Thakur
2010 J jnl
The Importance of Non-Data-Communication Overheads in MPI.
Int. J. High Perform. Comput. Appl.
Pavan Balaji, Anthony Chan, William Gropp, Rajeev Thakur, Ewing L. Lusk
2009 B conf
CIFTS: A Coordinated Infrastructure for Fault-Tolerant Systems.
ICPP
Rinku Gupta, Peter H. Beckman, Byung-Hoon Park, Ewing L. Lusk, Paul Hargrove, Al Geist, Dhabaleswar K. Panda, Andrew Lumsdaine, Jack J. Dongarra
2009 — conf
MPI on a Million Processors.
PVM/MPI
Pavan Balaji, Darius Buntinas, David Goodell, William Gropp, Sameer Kumar, Ewing L. Lusk, Rajeev Thakur, Jesper Larsson Träff
2009 — conf
Processing MPI Datatypes Outside MPI.
PVM/MPI
Robert B. Ross, Robert Latham, William Gropp, Ewing L. Lusk, Rajeev Thakur
2009 J jnl
Slouching Towards Exascale.
Int. J. High Perform. Comput. Appl.
Ewing L. Lusk
2009 J jnl
Toward message passing for a million processes: characterizing MPI on a massive scale blue gene/P.
Comput. Sci. Res. Dev.
Pavan Balaji, Anthony Chan, Rajeev Thakur, William Gropp, Ewing L. Lusk
2009 — conf
Using MPI to Implement Scalable Libraries.
PVM/MPI
Ewing L. Lusk
2008 J jnl
An efficient format for nearly constant-time access to arbitrary time intervals in large trace files.
Sci. Program.
Anthony Chan, William Gropp, Ewing L. Lusk
2008 J jnl
DARPA's HPCS Program- History, Models, Tools, Languages.
Adv. Comput.
Jack J. Dongarra, Robert B. Graybill, William J. Harrod, Robert F. Lucas, Ewing L. Lusk, Piotr Luszczek, Janice McMahon, Allan Snavely, Jeffrey S. Vetter, Katherine A. Yelick, Sadaf R. Alam, Roy L. Campbell, Laura Carrington, Tzu-Yi Chen, Omid Khalili, Jeremy S. Meredith, Mustafa M. Tikir
2008 — conf
Disparity: Scalable Anomaly Detection for Clusters.
ICPP Workshops
Narayan Desai, Rick Bradshaw, Ewing L. Lusk
2008 — conf
Early Experiments with the OpenMP/MPI Hybrid Programming Model.
IWOMP
Ewing L. Lusk, Anthony Chan
2008 — conf
EuroPVM/MPI Full-Day Tutorial. Using MPI-2: A Problem-Based Approach.
PVM/MPI
William Gropp, Ewing L. Lusk
2008 — conf
Non-data-communication Overheads in MPI: Analysis on Blue Gene/P.
PVM/MPI
Pavan Balaji, Anthony Chan, William Gropp, Rajeev Thakur, Ewing L. Lusk
2008 — conf
Simulating Failures on Large-Scale Systems.
ICPP Workshops
Narayan Desai, Ewing L. Lusk, Daniel Buettner, Andrew Cherry, Theron Voran
2007 J jnl
A Composition Environment for MPI Programs.
Int. J. High Perform. Comput. Appl.
Narayan Desai, Ewing L. Lusk, Rick Bradshaw
2007 J jnl
A Portable Method for Finding User Errors in the Usage of MPI Collective Operations.
Int. J. High Perform. Comput. Appl.
Christopher Falzone, Anthony Chan, Ewing L. Lusk, William Gropp
2007 J jnl
Languages for High-Productivity Computing: the DARPA HPCS Language Project.
Parallel Process. Lett.
Ewing L. Lusk, Katherine A. Yelick
2007 — book
MPI - eine Einführung: portable parallele Programmierung mit dem Message-Passing Interface.
William D. Gropp, Ewing L. Lusk, Anthony Skjellum
2007 — conf
New and Old Tools and Programming Models for High-Performance Computing.
PVM/MPI
Ewing L. Lusk
2007 C conf
The computer as software component: A mechanism for developing and testing resource management software.
CLUSTER
Narayan Desai, Theron Voran, Ewing L. Lusk, Andrew Cherry
2007 — conf
Using MPI-2: A Problem-Based Approach.
PVM/MPI
William D. Gropp, Ewing L. Lusk
2006 — conf
An Interface to Support the Identification of Dynamic MPI 2 Processes for Scalable Parallel Debugging.
PVM/MPI
Christopher Gottbrath, Brian Barrett, William D. Gropp, Ewing L. Lusk, Jeffrey M. Squyres
2006 J jnl
An Interoperability Approach to System Software, Tools, and Libraries for Clusters.
Int. J. High Perform. Comput. Appl.
Ewing L. Lusk, Narayan Desai, Rick Bradshaw, Andrew Lusk, Ralph Butler
2006 A conf
M01 - Application supercomputing and multiscale simulation techniques.
SC
Alice E. Koniges, William Gropp, Ewing L. Lusk, David C. Eder
2006 A conf
S01 - Advanced MPI: I/O and one-sided communication.
SC
William Gropp, Ewing L. Lusk, Rajeev Thakur, Robert B. Ross
2006 — conf
Using MPI-2: A Problem-Based Approach.
PVM/MPI
William D. Gropp, Ewing L. Lusk
2005 — conf
Collective Error Detection for MPI Collective Operations.
PVM/MPI
Christopher Falzone, Anthony Chan, Ewing L. Lusk, William Gropp
2005 — conf
Components of Systems Software for Parallel Systems.
PVM/MPI
Ewing L. Lusk
2005 — conf
MPISH2: Unix Integration for MPI Programs.
PVM/MPI
Narayan Desai, Ewing L. Lusk, Rick Bradshaw
2005 A conf
MPISH: A Parallel Shell for MPI Programs.
IPDPS
Narayan Desai, Andrew Lusk, Rick Bradshaw, Ewing L. Lusk
2005 — conf
Using MPI-2: A Problem-Based Approach.
PVM/MPI
William D. Gropp, Ewing L. Lusk
2004 — conf
An Open Cluster System Software Stack.
PVM/MPI
Ewing L. Lusk
2004 C conf
Component-based cluster systems software architecture a case study.
CLUSTER
Narayan Desai, Rick Bradshaw, Ewing L. Lusk, Ralf Butler
2004 J jnl
Fault Tolerance in Message Passing Interface Programs.
Int. J. High Perform. Comput. Appl.
William Gropp, Ewing L. Lusk
2004 — conf
MPI Cluster System Software.
PVM/MPI
Narayan Desai, Rick Bradshaw, Andrew Lusk, Ewing L. Lusk
2003 — conf
High-Level Programming in MPI.
PVM/MPI
William Gropp, Ewing L. Lusk
2003 — conf
Integrating Scalable Process Management into Component-Based Systems Software.
PVM/MPI
Ewing L. Lusk
2003 J jnl
Methods to Model-Check Parallel Systems Software
CoRR
Olga Shumsky Matlin, William McCune, Ewing L. Lusk
2003 J jnl
Optimizing Noncontiguous Accesses in MPI-IO
CoRR
Rajeev Thakur, William Gropp, Ewing L. Lusk
2003 C conf
The ProcessManagement Component of a Scalable Systems Software Environment.
CLUSTER
Ralph Butler, Narayan Desai, Andrew Lusk, Ewing L. Lusk
2003 C conf
Using MPI-2: Advanced Features of the Message Passing Interface.
CLUSTER
William D. Gropp, Ewing L. Lusk, Robert B. Ross, Rajeev Thakur
2002 J jnl
A Multilevel Approach to Topology-Aware Collective Operations in Computational Grids
CoRR
Nicholas T. Karonis, Bronis R. de Supinski, Ian T. Foster, William Gropp, Ewing L. Lusk
2002 C conf
Goals Guiding Design: PVM and MP.
CLUSTER
William Gropp, Ewing L. Lusk
2002 C conf
MPI in 2002: Has it Been Ten Years Already?
CLUSTER
Ewing L. Lusk
2002 — conf
MPI on the Grid.
PVM/MPI
William Gropp, Ewing L. Lusk
2002 J jnl
Optimizing noncontiguous accesses in MPI-IO.
Parallel Comput.
Rajeev Thakur, William Gropp, Ewing L. Lusk
2002 — conf
Process Management for Scalable Parallel Programs.
PVM/MPI
Ewing L. Lusk
2002 J jnl
SPINning Parallel Systems Software
CoRR
Olga Shumsky Matlin, Ewing L. Lusk, William McCune
2002 — conf
SPINning Parallel Systems Software.
SPIN
Olga Shumsky Matlin, Ewing L. Lusk, William McCune
2001 J jnl
Components and Interfaces of a Process Management System for Parallel Programs
CoRR
Ralph Butler, William Gropp, Ewing L. Lusk
2001 J jnl
Components and interfaces of a process management system for parallel programs.
Parallel Comput.
Ralph Butler, William Gropp, Ewing L. Lusk
2001 A conf
Interfacing Parallel Jobs to Process Managers.
HPDC
Brian R. Toonen, David Ashton, Ewing L. Lusk, Ian T. Foster, William Gropp, Edgar Gabriel, Ralph Butler, Nicholas T. Karonis
2001 C conf
Programming with MPI on Clusters.
CLUSTER
Ewing L. Lusk
2001 J jnl
Scalable Unix Commands for Parallel Processors: A High-Performance Implementation
CoRR
Emil Ong, Ewing L. Lusk, William Gropp
2001 — conf
Scalable Unix Commands for Parallel Processors: A High-Performance Implementation.
PVM/MPI
Emil Ong, Ewing L. Lusk, William Gropp
2000 — conf
A Scalable Process-Management Environment for Parallel Programs.
PVM/MPI
Ralph Butler, William Gropp, Ewing L. Lusk
2000 A conf
Exploiting Hierarchy in Parallel Computer Networks to Optimize Collective Operation Performance.
IPDPS
Nicholas T. Karonis, Bronis R. de Supinski, Ian T. Foster, William Gropp, Ewing L. Lusk, John Bresnahan
2000 J jnl
Flash code: studying astrophysical thermonuclear flashes.
Comput. Sci. Eng.
Robert Rosner, Alan C. Calder, Jonathan Dursi, Bruce Fryxell, Donald Q. Lamb, Jens C. Niemeyer, Kevin Olson, Paul M. Ricker, Frank X. Timmes, James W. Truran, Henry M. Tufo, Yuan-Nan Young, Michael Zingale, Ewing L. Lusk, Rick Stevens
2000 A conf
From Trace Generation to Visualization: A Performance Framework for Distributed Parallel Systems.
SC
Ching-Farn Eric Wu, Anthony Bolmarcich, Marc Snir, David Wootton, Farid Parpia, Anthony Chan, Ewing L. Lusk, William Gropp
2000 — conf
Isolating and Interfacing the Components of a Parallel Computing Environment.
PVM/MPI
Ewing L. Lusk
1999 — conf
On Implementing MPI-IO Portably and with High Performance.
IOPADS
Rajeev Thakur, William Gropp, Ewing L. Lusk
1999 — conf
Reproducible Measurements of MPI Performance Characteristics.
PVM/MPI
William Gropp, Ewing L. Lusk
1999 J jnl
Toward Scalable Performance Visualization with Jumpshot.
Int. J. High Perform. Comput. Appl.
Omer Zaki, Ewing L. Lusk, William Gropp, Deborah Swider
1999 — book
Using MPI: portable parallel programming with the message-passing interface, 2nd Edition.
William D. Gropp, Ewing L. Lusk, Anthony Skjellum
1998 J jnl
1997 Gordon Bell Prize Winners.
Computer
Alan H. Karp, Ewing L. Lusk, David H. Bailey
1998 A conf
A Case for Using MPI's Derived Datatypes to Improve I/O Performance.
SC
Rajeev Thakur, William Gropp, Ewing L. Lusk
1998 J jnl
I/O in Parallel Applications: the Weakest Link.
Int. J. High Perform. Comput. Appl.
Rajeev Thakur, Ewing L. Lusk, William Gropp
1998 J jnl
Wide-Area Implementation of the Message Passing Interface.
Parallel Comput.
Ian T. Foster, Jonathan Geisler, William Gropp, Nicholas T. Karonis, Ewing L. Lusk, George K. Thiruvathukal, Steven Tuecke
1997 J jnl
A High-Performance MPI Implementation on a Shared-Memory Vector Supercomputer.
Parallel Comput.
William Gropp, Ewing L. Lusk
1997 J jnl
Sowing Mpich: a Case Study in the Dissemination of a Portable Environment for Parallel Scientific Computing.
Int. J. High Perform. Comput. Appl.
William Gropp, Ewing L. Lusk
1997 — conf
Why Are PVM and MPI So Different?
PVM/MPI
William Gropp, Ewing L. Lusk
1996 J jnl
A High-Performance, Portable Implementation of the MPI Message Passing Interface Standard.
Parallel Comput.
William Gropp, Ewing L. Lusk, Nathan E. Doss, Anthony Skjellum
1996 — conf
An Experimental Evaluation of the Parallel I/O Systems of the IBM SP and Intel Paragon Using a Production Application.
ACPC
Rajeev Thakur, William Gropp, Ewing L. Lusk
1996 — conf
MPI-2: Extending the Message-Passing Interface.
Euro-Par, Vol. I
Al Geist, William Gropp, Steven Huss-Lederman, Andrew Lumsdaine, Ewing L. Lusk, William Saphir, Anthony Skjellum, Marc Snir
1996 J jnl
Toward high-performance computational chemistry: II. A scalable self-consistent field program.
J. Comput. Chem.
Robert J. Harrison, Martyn F. Guest, Ricky A. Kendall, David E. Bernholdt, Adrian T. Wong, Mark Stave, James L. Anchell, Anthony C. Hess, Rik J. Littlefield, George L. Fann, Jarek Nieplocha, Greg S. Thomas, David Elwood, Jeffrey L. Tilson, Ron L. Shepard, Albert F. Wagner, Ian T. Foster, Ewing L. Lusk, Rick Stevens
1995 — conf
Dynamic process management in an MPI setting.
SPDP
William Gropp, Ewing L. Lusk
1995 J jnl
Early Applications in the Message-Passing Interface (Mpi).
Int. J. High Perform. Comput. Appl.
Anthony Skjellum, Ewing L. Lusk, William Gropp
1995 J jnl
Experiences with the IBM SP1.
IBM Syst. J.
William Gropp, Ewing L. Lusk
1994 J jnl
Monitors, Messages, and Clusters: The p4 Parallel Programming System.
Parallel Comput.
Ralph Butler, Ewing L. Lusk
1994 A conf
SCOTT: Semantically Constrained Otter System Description.
CADE
John K. Slaney, Ewing L. Lusk, William McCune
1994 — book
Using MPI - portable parallel programming with the message-parsing interface.
William D. Gropp, Ewing L. Lusk, Anthony Skjellum
1993 — conf
Applications of the Aurora Parallel Prolog System to Computational Molecular Biology.
ILPS
Ewing L. Lusk, Shyam Mudambi, Ross A. Overbeek, Péter Szeredi
1993 J jnl
Commentary - Speedups and Insights.
INFORMS J. Comput.
Ewing L. Lusk
1993 A conf
P4-Linda: A Portable Implementation of Linda.
HPDC
Ralph Butler, Alan L. Leveton, Ewing L. Lusk
1993 J jnl
Uniform Strategies: The CADE-11 Theorem Proving Contest.
J. Autom. Reason.
Ewing L. Lusk, William McCune
1992 — conf
Applications of the Aurora Parallel Prolog System to Computational Molecular Biology.
IJCSLP Workshop on Concurrent and Parallel Implementations
Ewing L. Lusk, Ross A. Overbeek, Shyam Mudambi, Péter Szeredi
1992 A conf
Benchmark Problems in Which Equality Plays the Major Role.
CADE
Ewing L. Lusk, Larry Wos
1992 B conf
Controlling Redundancy in Large Search Spaces: Argonne-Style Theorem Proving Through the Years.
LPAR
Ewing L. Lusk
1992 A conf
ROO: A Parallel Theorem Prover.
CADE
Ewing L. Lusk, William McCune, John K. Slaney
1991 — conf
Subsumption, a Sometimes Undervalued Procedure.
Computational Logic - Essays in Honor of Alan Robinson
Larry Wos, Ross A. Overbeek, Ewing L. Lusk
1990 A conf
Automated Reasoning Contributed to Mathematics and Logic.
CADE
Larry Wos, Steve Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler
1990 — conf
Experiments with ROO: A Parallel Automated Deduction System.
Dagstuhl Seminar on Parallelization in Inference Systems
Ewing L. Lusk, William McCune
1990 — conf
Parallel Closure-Based Automated Reasoning.
Dagstuhl Seminar on Parallelization in Inference Systems
Ewing L. Lusk, William McCune, John K. Slaney
1990 A conf
Parallelizing the Closure Computation in Automated Deduction.
CADE
John K. Slaney, Ewing L. Lusk
1990 J jnl
The Aurora or-parallel Prolog system.
New Gener. Comput.
Ewing L. Lusk, Ralph Butler, Terrence Disz, Robert Olson, Ross A. Overbeek, Rick Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi
1990 A conf
Tutorial on High-Performance Automated Theorem Proving.
CADE
Ewing L. Lusk, William McCune
1989 — ed.
Logic Programming, Proceedings of the North American Conference 1989, Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes
NACLP
Ewing L. Lusk, Ross A. Overbeek
1988 A ed.
9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings
CADE
Ewing L. Lusk, Ross A. Overbeek
1988 — conf
Scheduling OR-Parallelism: An Argonne Perspective.
ICLP/SLP
Ralph Butler, Terry Disz, Ewing L. Lusk, Robert Olson, Ross A. Overbeek, Rick L. Stevens
1988 — conf
The Aurora Or-Parallel Prolog System.
FGCS
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
1987 — conf
A Graphical Tool for Observing the Behavior of Parallel Logic Programs.
SLP
Terry Disz, Ewing L. Lusk
1987 B conf
Experiments with OR-Parallel Logic Programs.
ICLP
Terry Disz, Ewing L. Lusk, Ross A. Overbeek
1986 A conf
ITP at Argonne National Laboratory.
CADE
Ewing L. Lusk, William McCune, Ross A. Overbeek
1986 B conf
Parallel Logic Programming for Numeric Applications.
ICLP
Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek
1986 A conf
Paths to High-Performance Automated Theorem Proving.
CADE
Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek
1986 J jnl
Set Theory in First-Order Logic: Clauses for Gödel's Axioms.
J. Autom. Reason.
Robert S. Boyer, Ewing L. Lusk, William McCune, Ross A. Overbeek, Mark E. Stickel, Larry Wos
1985 J jnl
A technique for achieving portability among multiprocessors: Implementation on the Lemur.
Parallel Comput.
J. A. Clausing, Ray Hagstrom, Ewing L. Lusk, Ross A. Overbeek
1985 J jnl
Non-Horn Problems.
J. Autom. Reason.
Ewing L. Lusk, Ross A. Overbeek
1985 J jnl
Reasoning about Equality.
J. Autom. Reason.
Ewing L. Lusk, Ross A. Overbeek
1985 J jnl
The Design of Entity-Relationship Models for General Ledger Systems.
Data Knowl. Eng.
Bruce D. Parrello, Ross A. Overbeek, Ewing L. Lusk
1984 A conf
A Portable Environment for Research in Automated Reasoning.
CADE
Ewing L. Lusk, Ross A. Overbeek
1983 A conf
Tools for the Creation of IMS Database Designs from Entity-Relationship Diagrams.
ER
G. Margrave, Ewing L. Lusk, Ross A. Overbeek
1982 A conf
Logic Machine Architecture: Inference Mechanisms.
CADE
Ewing L. Lusk, William McCune, Ross A. Overbeek
1982 A conf
Logic Machine Architecture: Kernel Funtions.
CADE
Ewing L. Lusk, William McCune, Ross A. Overbeek
1981 — conf
An automated reasoning system.
AFIPS National Computer Conference
Larry Wos, Steven K. Winker, Ewing L. Lusk
1981 A conf
Item Tracking Entity-Relationship Models.
ER
Ewing L. Lusk, Gene Petrie, Ross A. Overbeek
1980 — conf
A Practical Design Methodology for the Implementation of IMS Databases, Using the Entity-Relationship Model.
SIGMOD Conference
Ewing L. Lusk, Ross A. Overbeek, Bruce D. Parrello
1980 A conf
Data Structures and Control Architectures for Implementation of Theorem-Proving Programs.
CADE
Ross A. Overbeek, Ewing L. Lusk
1979 A conf
A DML for Entity-Relationship Models.
ER
Ewing L. Lusk, Ross A. Overbeek
1977 — conf
An advanced undergraduate course in applied computer science.
SIGCSE-2
Ewing L. Lusk