Michael A. McRobbie

13 papers A 4B 1Misc 1Journal 5Unranked 1
YearRankTypeTitle / Venue / Authors
2006 Misc conf
TeraGrid: Analysis of Organization, System Architecture, and Middleware Enabling New Types of Applications.
High Performance Computing Workshop
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 W. 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
1998 A conf
Global High Performance Networking: Connecting the vNBS and the Asia-Pacific Advanced Network for Research and Education Applications.
HPDC
Michael A. McRobbie, Donald F. McMullen, K. H. Adams, Dennis Gannon, Douglas D. Pearson, R. Allen Robel, Steven S. Wallace, James G. Williams
1996 A ed.
Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings
CADE
Michael A. McRobbie, John K. Slaney
1995 B conf
Linear Analytic Tableaux.
TABLEAUX
Robert K. Meyer, Michael A. McRobbie, Nuel Belnap
1991 J jnl
Approaching Hard Non-Classical Problems.
J. Autom. Reason.
Paul B. Thistlewaite, Michael A. McRobbie
1991 J jnl
Artificial intelligence: Perspectives and Predictions.
Appl. Artif. Intell.
Michael A. McRobbie, Jörg H. Siekmann
1991 J jnl
Automated Reasoning and Nonclassical Logics: Introduction.
J. Autom. Reason.
Michael A. McRobbie
1988 J jnl
Artificial Intelligence: Perspectives and Predictions.
AI Commun.
Michael A. McRobbie, Jörg H. Siekmann
1988 — book
Automated theorem-proving in non-classical logics.
Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer
1988 — conf
Exploring the Epistemic Labyrinth: New Directions in the Formal Theory of Knowledge Representation.
Australian Joint Conference on Artificial Intelligence
Roderic A. Girle, Michael A. McRobbie
1988 A conf
Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics.
CADE
Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite
1986 A conf
The KRIPKE Automated Theorem Proving System.
CADE
Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer
1979 J jnl
A Note on the Admissibility of Cut in Relevant Tableau Systems.
Math. Log. Q.
Michael A. McRobbie, Robert K. Meyer