Michael A. McRobbie

According to our database, Michael A. McRobbie authored at least 11 papers between 1979 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

TeraGrid: Analysis of Organization, System Architecture, and Middleware Enabling New Types of Applications.

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

Proceedings of the High Performance Computing and Grids in Action, 2006

1998

Global High Performance Networking: Connecting the vNBS and the Asia-Pacific Advanced Network for Research and Education Applications.

Michael A. McRobbie, Donald F. McMullen, K. H. Adams, Dennis Gannon, Douglas D. Pearson, R. Allen Robel, Steven S. Wallace, James G. Williams

Proceedings of the Seventh IEEE International Symposium on High Performance Distributed Computing, 1998

1995

Linear Analytic Tableaux.

Robert K. Meyer, Michael A. McRobbie, Nuel Belnap

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

1991

Approaching Hard Non-Classical Problems.

Paul B. Thistlewaite, Michael A. McRobbie

J. Autom. Reason., 1991

Automated Reasoning and Nonclassical Logics: Introduction.

Michael A. McRobbie

J. Autom. Reason., 1991

Artificial intelligence: Perspectives and Predictions.

Michael A. McRobbie, Jörg H. Siekmann

Appl. Artif. Intell., 1991

1988

Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics.

Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite

Proceedings of the 9th International Conference on Automated Deduction, 1988

Exploring the Epistemic Labyrinth: New Directions in the Formal Theory of Knowledge Representation.

Roderic A. Girle, Michael A. McRobbie

Proceedings of the AI '88: 2nd Australian Joint Artificial Intelligence Conference, 1988

Automated theorem-proving in non-classical logics.

Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer

Research Notes in Theoretical Computer Science, Pitman, ISBN: 978-0-273-08781-6, 1988

1986

The KRIPKE Automated Theorem Proving System.

Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1979

A Note on the Admissibility of Cut in Relevant Tableau Systems.

Michael A. McRobbie, Robert K. Meyer

Math. Log. Q., 1979