Ralph M. Butler

Ralph Butler

	2007
24		Ralph Butler, Chrisila C. Pettey: A Bilingual Theorem Prover for Evaluating HPC Systems. PDPTA 2007: 1000-1003
	2006
23		Ralph Butler, Chrisila C. Pettey, Zach Lowry: CPVM: customizable portable virtual machines. ACM Southeast Regional Conference 2006: 616-619
22		Ewing L. Lusk, N. 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
21		Roland H. Untch, Ralph Butler, Chrisila C. Pettey: A small and secure submission system for UNIX systems. ACM Southeast Regional Conference (1) 2005: 341-344
	2004
20		Joseph A. Driscoll, Ralph M. Butler, Joelle M. Key: A virtual machine environment for teaching the development of system software. ACM Southeast Regional Conference 2004: 440-441
	2003
19		Ralph Butler, Narayan Desai, Andrew Lusk, Ewing L. Lusk: The ProcessManagement Component of a Scalable Systems Software Environment. CLUSTER 2003: 190-198
	2001
18		Brian 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
17		Ralph Butler, William Gropp, Ewing L. Lusk: Components and Interfaces of a Process Management System for Parallel Programs CoRR cs.DC/0102017: (2001)
16		Ralph 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
15		Ralph Butler, William Gropp, Ewing L. Lusk: A Scalable Process-Management Environment for Parallel Programs. PVM/MPI 2000: 168-175
	1994
14		Ralph Butler, Ross A. Overbeek: Formula Databases for High-Performance Resolution/Paramodulation Systems. J. Autom. Reasoning 12(2): 139-156 (1994)
13		Ralph Butler, Ewing L. Lusk: Monitors, Messages, and Clusters: The p4 Parallel Programming System. Parallel Computing 20(4): 547-564 (1994)
	1993
12		Ralph Butler, Alan L. Leveton, Ewing L. Lusk: P4-Linda: A Portable Implementation of Linda. HPDC 1993: 50-58
	1990
11		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
10		Ralph Butler, Ian T. Foster, Anita Jindal, Ross A. Overbeek: A High-Performance Parallel Theorem Prover. CADE 1990: 649-650
	1988
9		Ralph Butler, Rasiah Loganantharaj, Robert Olsen: Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine. CADE 1988: 323-332
8		Ralph Butler, Nicholas T. Karonis: Exploitation of Parallelism in Prototypical Deduction Problems. CADE 1988: 333-343
7		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
6		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
5		Ralph M. Butler, Roger Eggen, Susan R. Wallace: Introducing parallel processing at the undergraduate level. SIGCSE 1988: 63-67
	1987
4		Ralph M. Butler, Selden Y. Trimble, Ralph W. Wilkerson: A logic programming model of the game of sprouts. SIGCSE 1987: 319-323
	1986
3		Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek: Paths to High-Performance Automated Theorem Proving. CADE 1986: 588-597
2		Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek: Parallel Logic Programming for Numeric Applications. ICLP 1986: 375-388
	1985
1		Ralph Butler, Arlan R. DeKock: Implementaion of a parallel subsumption algorithm (abstract only). ACM Conference on Computer Science 1985: 422

Coauthor Index

1	David Ashton	[18]
2	Rick Bradshaw	[22]
3	Per Brand	[7]
4	Alan Calderwood	[7]
5	Mats Carlsson	[7]
6	Andrzej Ciepielewski	[7]
7	Arlan R. DeKock	[1]
8	N. Desai	[22]
9	Narayan Desai	[19]
10	Terry Disz	[6] [7]
11	Joseph A. Driscoll	[20]
12	Roger Eggen	[5]
13	Ian T. Foster	[10] [18]
14	Edgar Gabriel	[18]
15	William Gropp (William D. Gropp, Bill Gropp)	[15] [16] [17] [18]
16	Seif Haridi	[7]
17	Bogumil Hausman	[7]
18	Anita Jindal	[10]
19	Nicholas T. Karonis	[8] [18]
20	Joelle M. Key	[20]
21	Alan L. Leveton	[12]
22	Rasiah Loganantharaj (Raja Loganantharaj)	[9]
23	Zach Lowry	[23]
24	Andrew Lusk	[19] [22]
25	Ewing L. Lusk	[2] [3] [6] [7] [11] [12] [13] [15] [16] [17] [18] [19] [22]
26	William McCune	[2] [3] [11]
27	Robert Olsen	[9]
28	Robert Olson	[6] [7]
29	Ross A. Overbeek	[2] [3] [6] [7] [10] [11] [14]
30	Chrisila C. Pettey	[21] [23] [24]
31	Rick L. Stevens (Rick Stevens)	[6] [7] [11]
32	Péter Szeredi	[7]
33	Brian R. Toonen	[18]
34	Selden Y. Trimble	[4]
35	Roland H. Untch	[21]
36	Susan R. Wallace	[5]
37	David H. D. Warren	[7]
38	Ralph W. Wilkerson	[4]
39	S. Winker	[11]
40	Larry Wos	[11]

Colors in the list of coauthors