The PATRIC Bioinformatics Resource Center: expanding data and analysis capabilities.

Ralph M. Butler Ralph Butler http://www.mtsu.edu/~rbutler/

James J. Davis 0002 Alice R. Wattam Ramy K. Aziz Thomas S. Brettin Ralph Butler Rory Butler Philippe Chlenski Neal Conrad Allan Dickerman Emily M. Dietrich Joseph L. Gabbard Svetlana Gerdes Andrew Guard Ronald W. Kenyon Dustin Machi Chunhong Mao Daniel E. Murphy-Olson Marcus Nguyen Eric K. Nordberg Gary J. Olsen Robert Olson Jamie C. Overbeek Ross A. Overbeek Bruce D. Parrello Gordon D. Pusch Maulik Shukla Chris Thomas 0007 Margo VanOeffelen Veronika Vonstein Andrew S. Warren Fangfang Xia Dawen Xie Hyun Seung Yoo Rick Stevens The PATRIC Bioinformatics Resource Center: expanding data and analysis capabilities. D606-D612 2020 48 Nucleic Acids Res. Database-Issue https://doi.org/10.1093/nar/gkz943 https://www.wikidata.org/entity/Q91018234 db/journals/nar/nar48.html#0002WABBBCCDDGG20

Ewing L. Lusk Ralph Butler Steven C. Pieper Evolution of a minimal parallel programming model. 4-13 2018 32 Int. J. High Perform. Comput. Appl. 1 https://doi.org/10.1177/1094342017703448 db/journals/ijhpca/ijhpca32.html#LuskBP18

Cen Li Suk Jai Seo Ralph Butler Hunting for truly relevant articles in bioinformatics literature: a preliminary study. 481-483 2010 BCB https://doi.org/10.1145/1854776.1854864 conf/bcb/2010 db/conf/bcb/bcb2010.html#LiSB10 Ralph Butler David Ells Chrisila C. Pettey PySMO: Python Shared Memory Objects. 203-209 2010 PDPTA conf/pdpta/2010 db/conf/pdpta/pdpta2010.html#ButlerEP10

Ralph Butler Chrisila C. Pettey An open source tool for teaching concepts for building distributed isometric 3D games. 170-175 2008 24 J. Comput. Sci. Coll. 2 https://dl.acm.org/doi/10.5555/1409823.1409859 db/journals/jcscoll/jcscoll24.html#ButlerP08

Ralph Butler Chrisila C. Pettey A Bilingual Theorem Prover for Evaluating HPC Systems. 1000-1003 2007 conf/pdpta/2007-2 PDPTA db/conf/pdpta/pdpta2007-2.html#ButlerP07

Ewing L. Lusk Narayan Desai Rick Bradshaw Andrew Lusk Ralph Butler An Interoperability Approach to System Software, Tools, and Libraries for Clusters. 401-407 2006 20 Int. J. High Perform. Comput. Appl. 3 https://doi.org/10.1177/1094342006067473 db/journals/ijhpca/ijhpca20.html#LuskDBLB06

Ralph Butler Chrisila C. Pettey Zach Lowry CPVM: customizable portable virtual machines. 616-619 2006 conf/ACMse/2006 ACM Southeast Regional Conference https://doi.org/10.1145/1185448.1185583 https://www.wikidata.org/entity/Q131129888 db/conf/ACMse/ACMse2006.html#ButlerPL06 Roland H. Untch Ralph Butler Chrisila C. Pettey A small and secure submission system for UNIX systems. 341-344 2005 conf/ACMse/2005-1 ACM Southeast Regional Conference (1) https://doi.org/10.1145/1167350.1167445 db/conf/ACMse/ACMse2005-1.html#UntchBP05 Joseph A. Driscoll Ralph M. Butler Joelle M. Key A virtual machine environment for teaching the development of system software. 440-441 2004 conf/ACMse/2004 ACM Southeast Regional Conference https://doi.org/10.1145/986537.986647 db/conf/ACMse/ACMse2004.html#DriscollBK04 Ralph Butler Narayan Desai Andrew Lusk Ewing L. Lusk The ProcessManagement Component of a Scalable Systems Software Environment. 190-198 2003 conf/cluster/2003 CLUSTER https://doi.org/10.1109/CLUSTR.2003.1253315 https://doi.ieeecomputersociety.org/10.1109/CLUSTR.2003.1253315 db/conf/cluster/cluster2003.html#ButlerDLL03

Chrisila C. Pettey Ralph Butler Brad Rudnick Thomas Naughton Simple maintenance of Beowulf clusters in an academic environment. 208-214 2002 18 J. Comput. Sci. Coll. 2 https://dl.acm.org/doi/10.5555/771322.771354 db/journals/jcscoll/jcscoll18.html#PetteyBRN02

Ralph Butler William Gropp Ewing L. Lusk Components and interfaces of a process management system for parallel programs. 1417-1429 2001 27 Parallel Comput. 11 db/journals/pc/pc27.html#ButlerGL01 https://doi.org/10.1016/S0167-8191(01)00097-7

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. 431-432 2001 conf/hpdc/2001 HPDC https://doi.org/10.1109/HPDC.2001.945212 https://doi.ieeecomputersociety.org/10.1109/HPDC.2001.945212 db/conf/hpdc/hpdc2001.html#ToonenALFGGBK01

Ralph Butler William Gropp Ewing L. Lusk Components and Interfaces of a Process Management System for Parallel Programs https://arxiv.org/abs/cs/0102017 2001 CoRR cs.DC/0102017 db/journals/corr/corr0102.html#cs-DC-0102017

Ralph Butler William Gropp Ewing L. Lusk A Scalable Process-Management Environment for Parallel Programs. 168-175 2000 conf/pvm/2000 PVM/MPI https://doi.org/10.1007/3-540-45255-9_25 db/conf/pvm/pvm2000.html#ButlerGL00

Ralph Butler Ross A. Overbeek Formula Databases for High-Performance Resolution/Paramodulation Systems. 139-156 1994 12 J. Autom. Reason. 2 db/journals/jar/jar12.html#ButlerO94 https://doi.org/10.1007/BF00881885

Ralph Butler Ewing L. Lusk Monitors, Messages, and Clusters: The p4 Parallel Programming System. 547-564 1994 20 Parallel Comput. 4 db/journals/pc/pc20.html#ButlerL94 https://doi.org/10.1016/0167-8191(94)90028-0

Ralph Butler Alan L. Leveton Ewing L. Lusk P4-Linda: A Portable Implementation of Linda. 50-58 1993 conf/hpdc/1993 HPDC db/conf/hpdc/hpdc1993.html#ButlerLL93 https://doi.org/10.1109/HPDC.1993.263858

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 The Aurora or-parallel Prolog system. 243-271 1990 7 New Gener. Comput. 2-3 https://doi.org/10.1007/BF03037208 db/journals/ngc/ngc7.html#LuskBDOOSWCSH90

Larry Wos Steve Winker William McCune Ross A. Overbeek Ewing L. Lusk Rick L. Stevens Ralph Butler Automated Reasoning Contributed to Mathematics and Logic. 485-499 1990 conf/cade/1990 CADE db/conf/cade/cade90.html#WosWMOLSB90 https://doi.org/10.1007/3-540-52885-7_109 Ralph Butler Ian T. Foster Anita Jindal Ross A. Overbeek A High-Performance Parallel Theorem Prover. 649-650 1990 conf/cade/1990 CADE db/conf/cade/cade90.html#ButlerFJO90 https://doi.org/10.1007/3-540-52885-7_124 https://www.wikidata.org/entity/Q58102608 Ralph Butler Rasiah Loganantharaj Robert Olson Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine. 323-332 1988 conf/cade/1988 CADE db/conf/cade/cade88.html#ButlerLO88 https://doi.org/10.1007/BFb0012840 Ralph Butler Nicholas T. Karonis Exploitation of Parallelism in Prototypical Deduction Problems. 333-343 1988 conf/cade/1988 CADE db/conf/cade/cade88.html#ButlerK88 https://doi.org/10.1007/BFb0012841 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. 819-830 1988 conf/fgcs/1988 FGCS db/conf/fgcs/fgcs88.html#LuskBDOOSWCSHBCCH88 Ralph Butler Terry Disz Ewing L. Lusk Robert Olson Ross A. Overbeek Rick L. Stevens Scheduling OR-Parallelism: An Argonne Perspective. 1590-1605 1988 conf/iclp/1988 ICLP/SLP db/conf/iclp/iclp88.html#ButlerDLOOS88 Ralph M. Butler Roger Eggen Susan R. Wallace Introducing parallel processing at the undergraduate level. 63-67 1988 conf/sigcse/1988 SIGCSE https://doi.org/10.1145/52964.52981 https://doi.org/10.1145/52965.52981 db/conf/sigcse/sigcse1988.html#ButlerEW88 Ralph M. Butler Selden Y. Trimble Ralph W. Wilkerson A logic programming model of the game of sprouts. 319-323 1987 conf/sigcse/1987 SIGCSE https://doi.org/10.1145/31820.31779 https://doi.org/10.1145/31726.31779 db/conf/sigcse/sigcse1987.html#ButlerTW87 Ralph Butler Ewing L. Lusk William McCune Ross A. Overbeek Paths to High-Performance Automated Theorem Proving. 588-597 1986 conf/cade/1986 CADE db/conf/cade/cade86.html#ButlerLMO86 https://doi.org/10.1007/3-540-16780-3_123 Ralph Butler Ewing L. Lusk William McCune Ross A. Overbeek Parallel Logic Programming for Numeric Applications. 375-388 1986 conf/iclp/1986 ICLP db/conf/iclp/iclp86.html#ButlerLMO86 https://doi.org/10.1007/3-540-16492-8_88 Ralph Butler Arlan R. DeKock Implementaion of a parallel subsumption algorithm (abstract only). 422 1985 conf/acm/1985 ACM Conference on Computer Science https://doi.org/10.1145/320599.322473 db/conf/acm/csc1985.html#ButlerD85 David Ashton Ramy K. Aziz Rick Bradshaw Per Brand Thomas S. Brettin Rory Butler Alan Calderwood Mats Carlsson Philippe Chlenski Andrzej Ciepielewski Neal Conrad James J. Davis 0002 Arlan R. DeKock Narayan Desai Allan Dickerman Emily M. Dietrich Terry DiszTerrence Disz Joseph A. Driscoll Roger Eggen David Ells Ian T. Foster Joseph L. Gabbard Edgar Gabriel Svetlana Gerdes William Gropp Andrew Guard Seif Haridi Bogumil Hausman Anita Jindal Nicholas T. Karonis Ron KenyonRonald W. Kenyon Joelle M. Key Alan L. Leveton Cen Li Rasiah Loganantharaj Zach Lowry Andrew Lusk Ewing L. Lusk Dustin Machi Chunhong Mao William McCune Daniel E. Murphy-Olson Thomas Naughton Marcus Nguyen Eric K. Nordberg Gary J. Olsen Robert Olson Jamie C. Overbeek Ross A. Overbeek Bruce D. Parrello Chrisila C. Pettey Steven C. Pieper Gordon D. Pusch Brad Rudnick Suk Jai Seo Maulik Shukla Rick L. StevensRick Stevens Péter Szeredi Chris Thomas 0007 Brian R. Toonen Selden Y. Trimble Roland H. Untch Margo VanOeffelen Veronika Vonstein Susan R. Wallace Andrew S. Warren David H. D. Warren Alice R. Wattam Ralph W. Wilkerson Steven K. WinkerSteve Winker Larry Wos Fangfang Xia Dawen Xie Hyun Seung Yoo