dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Ewing L. Lusk Home Page Coauthor index pubzone.org

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

DBLP keys2011
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGanesh Gopalakrishnan, Robert M. Kirby, Stephen F. Siegel, Rajeev Thakur, William Gropp, Ewing L. Lusk, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky: Formal analysis of MPI-based parallel programs. Commun. ACM 54(12): 82-91 (2011)
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavan Balaji, Darius Buntinas, David Goodell, William Gropp, Torsten Hoefler, Sameer Kumar, Ewing L. Lusk, Rajeev Thakur, Jesper Larsson Träff: Mpi on millions of Cores. Parallel Processing Letters 21(1): 45-60 (2011)
2010
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Dinan, Pavan Balaji, Ewing L. Lusk, P. Sadayappan, Rajeev Thakur: Hybrid parallel programming with MPI and unified parallel C. Conf. Computing Frontiers 2010: 177-186
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayesh Krishna, Pavan Balaji, Ewing L. Lusk, Rajeev Thakur, Fabian Tiller: Implementing MPI on Windows: Comparison with Common Approaches on Unix. EuroMPI 2010: 160-169
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavan Balaji, Darius Buntinas, David Goodell, William Gropp, Jayesh Krishna, Ewing L. Lusk, Rajeev Thakur: PMI: A Scalable Parallel Process-Management Interface for Extreme-Scale Systems. EuroMPI 2010: 31-41
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavan 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: Global-scale distributed I/O with ParaMEDIC. Concurrency and Computation: Practice and Experience 22(16): 2266-2281 (2010)
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavan Balaji, Anthony Chan, William Gropp, Rajeev Thakur, Ewing L. Lusk: The Importance of Non-Data-Communication Overheads in MPI. IJHPCA 24(1): 5-15 (2010)
2009
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRinku Gupta, Peter H. Beckman, Byung-Hoon Park, Ewing L. Lusk, Paul Hargrove, Al Geist, Dhabaleswar K. Panda, Andrew Lumsdaine, Jack Dongarra: CIFTS: A Coordinated Infrastructure for Fault-Tolerant Systems. ICPP 2009: 237-245
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavan Balaji, Darius Buntinas, David Goodell, William Gropp, Sameer Kumar, Ewing L. Lusk, Rajeev Thakur, Jesper Larsson Träff: MPI on a Million Processors. PVM/MPI 2009: 20-30
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert B. Ross, Robert Latham, William Gropp, Ewing L. Lusk, Rajeev Thakur: Processing MPI Datatypes Outside MPI. PVM/MPI 2009: 42-53
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk: Using MPI to Implement Scalable Libraries. PVM/MPI 2009: 6
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavan Balaji, Anthony Chan, Rajeev Thakur, William Gropp, Ewing L. Lusk: Toward message passing for a million processes: characterizing MPI on a massive scale blue gene/P. Computer Science - R&D 24(1-2): 11-19 (2009)
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk: Slouching Towards Exascale. IJHPCA 23(4): 337-339 (2009)
2008
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarayan Desai, Ewing L. Lusk, Daniel Buettner, Andrew Cherry, Theron Voran: Simulating Failures on Large-Scale Systems. ICPP Workshops 2008: 103-108
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarayan Desai, Rick Bradshaw, Ewing L. Lusk: Disparity: Scalable Anomaly Detection for Clusters. ICPP Workshops 2008: 116-120
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, Anthony Chan: Early Experiments with the OpenMP/MPI Hybrid Programming Model. IWOMP 2008: 36-47
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam Gropp, Ewing L. Lusk: EuroPVM/MPI Full-Day Tutorial. Using MPI-2: A Problem-Based Approach. PVM/MPI 2008: 12
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavan Balaji, Anthony Chan, William Gropp, Rajeev Thakur, Ewing L. Lusk: Non-data-communication Overheads in MPI: Analysis on Blue Gene/P. PVM/MPI 2008: 13-22
97no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJack Dongarra, Robert Graybill, William 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: DARPA's HPCS Program- History, Models, Tools, Languages. Advances in Computers 72: 1-100 (2008)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnthony Chan, William Gropp, Ewing L. Lusk: An efficient format for nearly constant-time access to arbitrary time intervals in large trace files. Scientific Programming 16(2-3): 155-165 (2008)
2007
95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam D. Gropp, Ewing L. Lusk, Anthony Skjellum: MPI - eine Einführung: portable parallele Programmierung mit dem Message-Passing Interface. Oldenbourg 2007: I-XX, 1-367
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarayan Desai, Theron Voran, Ewing L. Lusk, Andrew Cherry: The computer as software component: A mechanism for developing and testing resource management software. CLUSTER 2007: 58-63
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam D. Gropp, Ewing L. Lusk: Using MPI-2: A Problem-Based Approach. PVM/MPI 2007: 12
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk: New and Old Tools and Programming Models for High-Performance Computing. PVM/MPI 2007: 7
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher Falzone, Anthony Chan, Ewing L. Lusk, William Gropp: A Portable Method for Finding User Errors in the Usage of MPI Collective Operations. IJHPCA 21(2): 155-165 (2007)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarayan Desai, Ewing L. Lusk, Rick Bradshaw: A Composition Environment for MPI Programs. IJHPCA 21(2): 166-173 (2007)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, Katherine A. Yelick: Languages for High-Productivity Computing: the DARPA HPCS Language Project. Parallel Processing Letters 17(1): 89-102 (2007)
2006
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher Gottbrath, Brian Barrett, William D. Gropp, Ewing L. Lusk, Jeffrey M. Squyres: An Interface to Support the Identification of Dynamic MPI 2 Processes for Scalable Parallel Debugging. PVM/MPI 2006: 115-122
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam D. Gropp, Ewing L. Lusk: Using MPI-2: A Problem-Based Approach. PVM/MPI 2006: 7
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam Gropp, Ewing L. Lusk, Rajeev Thakur, Robert B. Ross: S01 - Advanced MPI: I/O and one-sided communication. SC 2006: 202
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlice E. Koniges, William Gropp, Ewing L. Lusk, David C. Eder: M01 - Application supercomputing and multiscale simulation techniques. SC 2006: 215
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, Narayan Desai, Rick Bradshaw, Andrew Lusk, Ralph Butler: An Interoperability Approach to System Software, Tools, and Libraries for Clusters. IJHPCA 20(3): 401-407 (2006)
2005
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarayan Desai, Andrew Lusk, Rick Bradshaw, Ewing L. Lusk: MPISH: A Parallel Shell for MPI Programs. IPDPS 2005
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher Falzone, Anthony Chan, Ewing L. Lusk, William Gropp: Collective Error Detection for MPI Collective Operations. PVM/MPI 2005: 138-147
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarayan Desai, Ewing L. Lusk, Rick Bradshaw: MPISH2: Unix Integration for MPI Programs. PVM/MPI 2005: 333-342
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk: Components of Systems Software for Parallel Systems. PVM/MPI 2005: 5
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam D. Gropp, Ewing L. Lusk: Using MPI-2: A Problem-Based Approach. PVM/MPI 2005: 8
2004
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarayan Desai, Rick Bradshaw, Ewing L. Lusk, Ralf Butler: Component-based cluster systems software architecture a case study. CLUSTER 2004: 319-326
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarayan Desai, Rick Bradshaw, Andrew Lusk, Ewing L. Lusk: MPI Cluster System Software. PVM/MPI 2004: 277-286
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk: An Open Cluster System Software Stack. PVM/MPI 2004: 9
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam Gropp, Ewing L. Lusk: Fault Tolerance in Message Passing Interface Programs. IJHPCA 18(3): 363-372 (2004)
2003
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph Butler, Narayan Desai, Andrew Lusk, Ewing L. Lusk: The ProcessManagement Component of a Scalable Systems Software Environment. CLUSTER 2003: 190-198
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam D. Gropp, Ewing L. Lusk, Robert B. Ross, Rajeev Thakur: Using MPI-2: Advanced Features of the Message Passing Interface. CLUSTER 2003
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk: Integrating Scalable Process Management into Component-Based Systems Software. PVM/MPI 2003: 16-22
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam Gropp, Ewing L. Lusk: High-Level Programming in MPI. PVM/MPI 2003: 27
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Thakur, William Gropp, Ewing L. Lusk: Optimizing Noncontiguous Accesses in MPI-IO CoRR cs.DC/0310029: (2003)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlga Shumsky Matlin, William McCune, Ewing L. Lusk: Methods to Model-Check Parallel Systems Software CoRR cs.LO/0312012: (2003)
2002
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam Gropp, Ewing L. Lusk: Goals Guiding Design: PVM and MP. CLUSTER 2002: 257-265
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk: MPI in 2002: Has it Been Ten Years Already? CLUSTER 2002: 435-435
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam Gropp, Ewing L. Lusk: MPI on the Grid. PVM/MPI 2002: 12
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk: Process Management for Scalable Parallel Programs. PVM/MPI 2002: 9
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlga Shumsky Matlin, Ewing L. Lusk, William McCune: SPINning Parallel Systems Software. SPIN 2002: 213-220
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicholas T. Karonis, Bronis R. de Supinski, Ian T. Foster, William Gropp, Ewing L. Lusk: A Multilevel Approach to Topology-Aware Collective Operations in Computational Grids CoRR cs.DC/0206038: (2002)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlga Shumsky Matlin, Ewing L. Lusk, William McCune: SPINning Parallel Systems Software CoRR cs.LO/0203009: (2002)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Thakur, William Gropp, Ewing L. Lusk: Optimizing noncontiguous accesses in MPI-IO. Parallel Computing 28(1): 83-105 (2002)
2001
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk: Programming with MPI on Clusters. CLUSTER 2001: 360-
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian R. Toonen, David Ashton, Ewing L. Lusk, Ian T. Foster, William Gropp, Edgar Gabriel, Ralph Butler, Nicholas T. Karonis: Interfacing Parallel Jobs to Process Managers. HPDC 2001: 431-432
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmil Ong, Ewing L. Lusk, William Gropp: Scalable Unix Commands for Parallel Processors: A High-Performance Implementation. PVM/MPI 2001: 410-418
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph Butler, William Gropp, Ewing L. Lusk: Components and Interfaces of a Process Management System for Parallel Programs CoRR cs.DC/0102017: (2001)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmil Ong, Ewing L. Lusk, William Gropp: Scalable Unix Commands for Parallel Processors: A High-Performance Implementation CoRR cs.DC/0108019: (2001)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph Butler, William Gropp, Ewing L. Lusk: Components and interfaces of a process management system for parallel programs. Parallel Computing 27(11): 1417-1429 (2001)
2000
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicholas T. Karonis, Bronis R. de Supinski, Ian T. Foster, William Gropp, Ewing L. Lusk, John Bresnahan: Exploiting Hierarchy in Parallel Computer Networks to Optimize Collective Operation Performance. IPDPS 2000: 377-
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph Butler, William Gropp, Ewing L. Lusk: A Scalable Process-Management Environment for Parallel Programs. PVM/MPI 2000: 168-175
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk: Isolating and Interfacing the Components of a Parallel Computing Environment. PVM/MPI 2000: 5-6
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChing-Farn Eric Wu, Anthony Bolmarcich, Marc Snir, David Wootton, Farid Parpia, Anthony Chan, Ewing L. Lusk, William Gropp: From Trace Generation to Visualization: A Performance Framework for Distributed Parallel Systems. SC 2000
1999
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Thakur, William Gropp, Ewing L. Lusk: On Implementing MPI-IO Portably and with High Performance. IOPADS 1999: 23-32
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam Gropp, Ewing L. Lusk: Reproducible Measurements of MPI Performance Characteristics. PVM/MPI 1999: 11-18
1998
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan H. Karp, Ewing L. Lusk, David H. Bailey: 1997 Gordon Bell Prize Winners. IEEE Computer 31: 86-92 (1998)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan T. Foster, Jonathan Geisler, William Gropp, Nicholas T. Karonis, Ewing L. Lusk, George K. Thiruvathukal, Steven Tuecke: Wide-Area Implementation of the Message Passing Interface. Parallel Computing 24(12-13): 1735-1749 (1998)
1997
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam Gropp, Ewing L. Lusk: Why Are PVM and MPI So Different? PVM/MPI 1997: 3-10
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam Gropp, Ewing L. Lusk: A High-Performance MPI Implementation on a Shared-Memory Vector Supercomputer. Parallel Computing 22(11): 1513-1526 (1997)
1996
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajeev Thakur, William Gropp, Ewing L. Lusk: An Experimental Evaluation of the Parallel I/O Systems of the IBM SP and Intel Paragon Using a Production Application. ACPC 1996: 24-35
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAl Geist, William Gropp, Steven Huss-Lederman, Andrew Lumsdaine, Ewing L. Lusk, William Saphir, Anthony Skjellum, Marc Snir: MPI-2: Extending the Message-Passing Interface. Euro-Par, Vol. I 1996: 128-135
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert 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: Toward high-performance computational chemistry: II. A scalable self-consistent field program. Journal of Computational Chemistry 17(1): 124-132 (1996)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam Gropp, Ewing L. Lusk, Nathan E. Doss, Anthony Skjellum: A High-Performance, Portable Implementation of the MPI Message Passing Interface Standard. Parallel Computing 22(6): 789-828 (1996)
1995
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam Gropp, Ewing L. Lusk: Experiences with the IBM SP1. IBM Systems Journal 34(2): 249-262 (1995)
1994
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam D. Gropp, Ewing L. Lusk, Anthony Skjellum: Using MPI - portable parallel programming with the message-parsing interface. MIT Press 1994: I-XX, 1-307
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn K. Slaney, Ewing L. Lusk, William McCune: SCOTT: Semantically Constrained Otter System Description. CADE 1994: 764-768
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph Butler, Ewing L. Lusk: Monitors, Messages, and Clusters: The p4 Parallel Programming System. Parallel Computing 20(4): 547-564 (1994)
1993
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph Butler, Alan L. Leveton, Ewing L. Lusk: P4-Linda: A Portable Implementation of Linda. HPDC 1993: 50-58
35no 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
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk: Commentary - Speedups and Insights. INFORMS Journal on Computing 5(1): 24-25 (1993)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, William McCune: Uniform Strategies: The CADE-11 Theorem Proving Contest. J. Autom. Reasoning 11(3): 317-331 (1993)
1992
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, William McCune, John K. Slaney: ROO: A Parallel Theorem Prover. CADE 1992: 731-734
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, Larry Wos: Benchmark Problems in Which Equality Plays the Major Role. CADE 1992: 781-785
30no 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk: Controlling Redundancy in Large Search Spaces: Argonne-Style Theorem Proving Through the Years. LPAR 1992: 96-106
1991
28no 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
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn K. Slaney, Ewing L. Lusk: Parallelizing the Closure Computation in Automated Deduction. CADE 1990: 28-39
26Electronic 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
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, William McCune: Tutorial on High-Performance Automated Theorem Proving. CADE 1990: 681
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, William McCune: Experiments with ROO: A Parallel Automated Deduction System. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 139-162
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, William McCune, John K. Slaney: Parallel Closure-Based Automated Reasoning. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 347
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEwing L. Lusk, Ralph Butler, Terrence Disz, Robert Olson, Ross A. Overbeek, Rick Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi: The Aurora or-parallel Prolog system. New Generation Comput. 7(2-3): 243-271 (1990)
1988
21no 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
20no 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
19no 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
1987
18no 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
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTerry Disz, Ewing L. Lusk: A Graphical Tool for Observing the Behavior of Parallel Logic Programs. SLP 1987: 46-53
1986
16Electronic 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
15Electronic 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
14Electronic Edition 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
13Electronic Edition 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)
1985
12Electronic Edition 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)
11Electronic Edition 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)
10Electronic Edition 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
9Electronic 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
8Electronic 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
1982
7Electronic 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
6Electronic 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLarry Wos, S. K. Winker, Ewing L. Lusk: An automated reasoning system. AFIPS National Computer Conference 1981: 697-702
4Electronic 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
3Electronic 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
2Electronic 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
1Electronic 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

Coauthor Index

1Sadaf R. Alam [97]
2James L. Anchell [42]
3Jeremy S. Archuleta [110]
4David Ashton [59]
5David H. Bailey [48]
6Pavan Balaji [98] [104] [107] [109] [110] [111] [112] [113] [114]
7Brian W. Barrett (Brian Barrett) [88]
8Peter H. Beckman [108]
9David E. Bernholdt [42]
10Anthony Bolmarcich [51]
11Robert S. Boyer [13]
12Rick Bradshaw [77] [78] [81] [83] [84] [90] [101]
13Per Brand [20]
14John Bresnahan [54]
15Greg Bronevetsky [115]
16Daniel Buettner [102]
17Darius Buntinas [107] [111] [114]
18Ralf Butler [78]
19Ralph M. Butler (Ralph Butler) [14] [16] [19] [20] [22] [26] [36] [37] [53] [55] [57] [59] [74] [84]
20Alan Calderwood [20] [22]
21Roy L. Campbell [97]
22Mats Carlsson [20]
23Laura Carrington [97]
24Anthony Chan [51] [82] [91] [96] [98] [100] [104] [109]
25Tzu-Yi Chen [97]
26Andrew Cherry [94] [102]
27Andrzej Ciepielewski [20]
28Susan Coghlan [110]
29Narayan Desai [74] [77] [78] [81] [83] [84] [90] [94] [101] [102]
30James Dinan [113]
31Terry Disz (Terrence Disz) [17] [18] [19] [20] [22]
32Jack Dongarra (Jack J. Dongarra) [97] [108]
33Nathan E. Doss [41]
34David C. Eder [85]
35David Elwood [42]
36Christopher Falzone [82] [91]
37George L. Fann [42]
38Wu-chun Feng [110]
39Ian T. Foster [42] [47] [54] [59] [63] [110]
40Edgar Gabriel [59]
41Jonathan Geisler [47]
42Al Geist (G. A. Geist II) [43] [108]
43David Goodell [107] [111] [114]
44Ganesh Gopalakrishnan [115]
45Christopher Gottbrath [88]
46Robert Graybill [97]
47William Gropp (William D. Gropp, Bill Gropp) [39] [40] [41] [43] [44] [45] [46] [47] [49] [50] [51] [53] [54] [55] [56] [57] [58] [59] [61] [63] [66] [68] [70] [71] [73] [75] [79] [82] [85] [86] [87] [88] [91] [93] [95] [96] [98] [99] [104] [106] [107] [109] [111] [114] [115]
48Martyn F. Guest [42]
49Rinku Gupta [108]
50Paul Hargrove [108]
51Seif Haridi [20] [22]
52Robert J. Harrison [42]
53William Harrod [97]
54Bogumil Hausman [20]
55Anthony C. Hess [42]
56Torsten Hoefler [114]
57Steven Huss-Lederman [43]
58Shantenu Jha [110]
59Nicholas T. Karonis [47] [54] [59] [63]
60Alan H. Karp [48]
61Daniel S. Katz [110]
62Ricky A. Kendall [42]
63Omid Khalili [97]
64Robert M. Kirby (Mike Kirby) [115]
65Alice E. Koniges [85]
66Jayesh Krishna [111] [112]
67Sameer Kumar [107] [114]
68Robert Latham [106]
69Alan L. Leveton [36]
70Heshan Lin [110]
71Rik J. Littlefield [42]
72Robert F. Lucas [97]
73Andrew Lumsdaine [43] [108]
74Andrew Lusk [74] [77] [83] [84]
75Piotr Luszczek [97]
76G. Margrave [8]
77Olga Shumsky Matlin [62] [64] [69]
78Satoshi Matsuoka [110]
79William McCune [6] [7] [13] [14] [15] [16] [23] [24] [25] [26] [32] [33] [38] [62] [64] [69]
80Janice McMahon [97]
81Jeremy S. Meredith [97]
82Shyam Mudambi [30] [35]
83Jarek Nieplocha [42]
84Robert Olson [19] [20] [22]
85Emil Ong [56] [58]
86Ross A. Overbeek [1] [2] [3] [4] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [18] [19] [20] [21] [22] [26] [28] [30] [35]
87Dhabaleswar K. Panda [108]
88Byung-Hoon Park [108]
89Farid Parpia [51]
90Bruce D. Parrello [2] [12]
91Gene Petrie [4]
92Daniel A. Reed [110]
93Robert B. Ross [73] [86] [106]
94P. Sadayappan (Ponnuswamy Sadayappan) [113]
95William Saphir [43]
96Martin Schulz [115]
97João Carlos Setubal (João C. Setubal) [110]
98Ron L. Shepard [42]
99K. Shinpaugh [110]
100Stephen F. Siegel [115]
101Anthony Skjellum [39] [41] [43] [95]
102John K. Slaney [23] [27] [32] [38]
103Allan Snavely [97]
104Marc Snir [43] [51]
105Jeffrey M. Squyres [88]
106Mark Stave [42]
107Rick L. Stevens (Rick Stevens) [19] [20] [22] [26] [42]
108Mark E. Stickel [13]
109Bronis R. de Supinski [54] [63] [115]
110Péter Szeredi [20] [22] [30] [35]
111Rajeev Thakur [44] [50] [61] [70] [73] [86] [98] [104] [106] [107] [109] [110] [111] [112] [113] [114] [115]
112George K. Thiruvathukal [47]
113Greg S. Thomas [42]
114Mustafa M. Tikir [97]
115Fabian Tiller [112]
116Jeffrey L. Tilson [42]
117Brian R. Toonen [59]
118Jesper Larsson Träff [107] [114]
119Steven Tuecke [47]
120Jeffrey S. Vetter [97]
121Theron Voran [94] [102]
122Albert F. Wagner [42]
123Andrew S. Warren [110]
124David H. D. Warren [20] [22]
125S. Winker [26]
126S. K. Winker [5]
127Adrian T. Wong [42]
128David Wootton [51]
129Larry Wos [5] [13] [26] [28] [31]
130Ching-Farn Eric Wu [51]
131Katherine A. Yelick [89] [97]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page