Michael A. McRobbie

Publication Activity (10 Years)

Years Active: 1979-2006
Publications (10 Years): 0

Publications

Charlie Catlett, William E. Allcock, Phil Andrews, Ruth A. Aydt, Ray Bair, Natasha Balac, Bryan Banister, Trish Barker, Mark Bartelt, Peter H. Beckman, Francine Berman, Gary R. Bertoline, Alan Blatecky, Jay Boisseau, Jim Bottum, Sharon Brunett, Julian J. Bunn, Michelle Butler, David Carver, John Cobb, Tim Cockerill, Peter Couvares, Maytal Dahan, Diana Diehl, Thom H. Dunning, Ian T. Foster, Kelly P. Gaither, Dennis Gannon, Sebastien Goasguen, Michael Grobe, David L. Hart, Matt Heinzel, Chris Hempel, Wendy Huntoon, Joseph A. Insley, Christopher T. Jordan, Ivan R. Judson, Anke Kamrath, Nicholas T. Karonis, Carl Kesselman, Patricia A. Kovatch, Lex Lane, Scott A. Lathrop, Michael J. Levine, David Lifka, Lee Liming, Miron Livny, Rich Loft, Doru Marcusiu, Jim Marsteller, Stuart Martin, D. Scott McCaulay, John McGee, Laura McGinnis, Michael A. McRobbie, Paul Messina, Reagan Moore, Richard Lee Moore, John-Paul Navarro, Jeff Nichols, Michael E. Papka, Rob Pennington, Greg Pike, Jim Pool, Raghurama Reddy, Daniel A. Reed, Tony Rimovsky, Eric Roberts, Ralph Roskies, Sergiu Sanielevici, J. Ray Scott, Anurag Shankar, Mark Sheddon, Mike Showerman, Derek Simmel, Abe Singer, Dane Skow, Shava Smallen, Warren Smith, Carol X. Song, Rick L. Stevens, Craig A. Stewart, Robert B. Stock, Nathan Stone, John Towns, Tomislav Urban, Mike Vildibill, Edward Walker, Von Welch, Nancy Wilkins-Diehr, Roy Williams, Linda Winkler, Lan Zhao, Ann Zimmerman
TeraGrid: Analysis of Organization, System Architecture, and Middleware Enabling New Types of Applications. High Performance Computing Workshop (2006)
Michael A. McRobbie, Donald F. McMullen, K. H. Adams, Dennis Gannon, Douglas D. Pearson, R. Allen Robel, Steven S. Wallace, James G. Williams
Global High Performance Networking: Connecting the vNBS and the Asia-Pacific Advanced Network for Research and Education Applications. HPDC (1998)
Robert K. Meyer, Michael A. McRobbie, Nuel Belnap
Linear Analytic Tableaux. TABLEAUX (1995)
Michael A. McRobbie
Automated Reasoning and Nonclassical Logics: Introduction. J. Autom. Reason. 7 (4) (1991)
Michael A. McRobbie, Jörg H. Siekmann
Artificial intelligence: Perspectives and Predictions. Appl. Artif. Intell. 5 (2) (1991)
Paul B. Thistlewaite, Michael A. McRobbie
Approaching Hard Non-Classical Problems. J. Autom. Reason. 7 (4) (1991)
Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite
Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics. CADE (1988)
Michael A. McRobbie, Jörg H. Siekmann
Artificial Intelligence: Perspectives and Predictions. AI Commun. 1 (4) (1988)
Roderic A. Girle, Michael A. McRobbie
Exploring the Epistemic Labyrinth: New Directions in the Formal Theory of Knowledge Representation. Australian Joint Conference on Artificial Intelligence (1988)
Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer
The KRIPKE Automated Theorem Proving System. CADE (1986)
Michael A. McRobbie, Robert K. Meyer
A Note on the Admissibility of Cut in Relevant Tableau Systems. Math. Log. Q. 25 (32) (1979)