John Matthews
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
9
Active years
1995–2015
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ITNAC | Third-party customization of residential Internet sharing using SDN. | Hassan Habibi Gharakheili, Luke Exton, Vijay Sivaraman, John Matthews, Craig Russell |
| 2015 | IWQoS | Broadband fast-lanes with two-sided control: Design, evaluation, and economics. | Hassan Habibi Gharakheili, Vijay Sivaraman, Arun Vishwanath, Luke Exton, John Matthews, Craig Russell |
| 2013 | CoNEXT | Virtualizing the access network via open APIs. | Vijay Sivaraman, Tim Moors, Hassan Habibi Gharakheili, Dennis Ong, John Matthews, Craig Russell |
| 2009 | IWQoS | Rate and delay controlled core networks: An experimental demonstration. | Zvi Rosberg, Fariza Sabrina, Sheldon Dealy, John Matthews, Craig Russell |
| 2006 | LPAR | Verification Condition Generation Via Theorem Proving. | John Matthews, J Strother Moore, Sandip Ray, Daron Vroon |
| 2004 | PPDP | Semantics of the | Sava Krstic, John Matthews |
| 2002 | VMCAI | Verifying BDD Algorithms through Monadic Interpretation. | Sava Krstic, John Matthews |
| 1999 | CAV | Elementary Microarchitecture Algebra. | John Matthews, John Launchbury |
| 1995 | MICRO | A modified approach to data cache management. | Gary S. Tyson, Matthew K. Farrens, John Matthews, Andrew R. Pleszkun |
| 1995 | SIGMETRICS | Free Performance and Fault Tolerance: Using System Idle Capacity Efficiently (Panel). | Srinivasan Tridandapani, Anton T. Dahbura, Arun K. Somani, Charles U. Martel, John Matthews |