Michael A. McRobbie
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1986–1998
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | HPDC | 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 |
| 1995 | TABLEAUX | Linear Analytic Tableaux. | Robert K. Meyer, Michael A. McRobbie, Nuel Belnap |
| 1988 | CADE | Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics. | Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite |
| 1986 | CADE | The KRIPKE Automated Theorem Proving System. | Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer |