Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Michael A. McRobbie

dblp:00/2571 · DBLP profile ↗
← Back
5ranked-venue papers
3as first author
0since 2021 · last 1998
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 4 · 2 first-authorTheory of computation · 2 · 1 first-authorSystems, architecture and hardware · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer networks
1 paper
Internet architecture and protocols · 100%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
High-performance computing · 100%

Topics — the 1 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Internet architecture and protocols
high bandwidth network
0.011998
Global High Performance Networking: Connecting the vNBS and the Asia-Pacific Advanced Network for Research and Education Applications · HPDC 1998

Methods — techniques the papers use, named apart from their topics

high speed networking · 0.0
YearPublicationVenuePosition
1998 Global High Performance Networking: Connecting the vNBS and the Asia-Pacific Advanced Network for Research and Education Applications
abstract
Recent developments in high speed networks on both sides of the Pacific including the vBNS, and the Abilene project in the US, and the Asia-Pacific Advanced Network (APAN) in the AP region, have been driven by the emergence of high speed networking as a central requirement for the support of basic science, engineering and other disciplines. The growth of international scientific collaborations in, for example, astronomy, high energy physics, medicine, and computational science leads to a requirement for a global data communications infrastructure on par with what is available domestically. This paper describes the establishment of a high bandwidth international Internet connection from the vBNS and other US networks to the Asia Pacific Advanced Network (APAN) and some of the applications driving this development.
Michael A. McRobbie, Donald F. McMullen, K. H. Adams, Dennis Gannon, Douglas D. Pearson, R. Allen Robel, Steven S. Wallace, James G. Williams 0003
HPDC1
1991 Automated Reasoning and Nonclassical Logics: Introduction
Michael A. McRobbie
J. Autom. Reason.1
1991 Approaching Hard Non-Classical Problems
Paul B. Thistlewaite, Michael A. McRobbie
J. Autom. Reason.2
1988 Towards Efficient "Knowledge-Based" Automated Theorem Proving for Non-Standard Logics
Michael A. McRobbie, Robert K. Meyer, Paul B. Thistlewaite
CADE1
1986 The KRIPKE Automated Theorem Proving System
Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer
CADE2