John Matthews

According to our database, John Matthews authored at least 35 papers between 1995 and 2023.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2023

Transformer-optimized generation, detection, and tracking network for images with drainage pipeline defects.

Duo Ma, Hongyuan Fang, Niannian Wang, Hongfang Lu, John Matthews, Chao Zhang

Comput. Aided Civ. Infrastructure Eng., October, 2023

2017

Enabling Fast and Slow Lanes for Content Providers Using Software Defined Networking.

Hassan Habibi Gharakheili, Vijay Sivaraman, Tim Moors, Arun Vishwanath, John Matthews, Craig Russell

IEEE/ACM Trans. Netw., 2017

2016

SDN APIs and Models for Two-Sided Resource Management in Broadband Access Networks.

Hassan Habibi Gharakheili, Vijay Sivaraman, Arun Vishwanath, Luke Exton, John Matthews, Craig Russell

IEEE Trans. Netw. Serv. Manag., 2016

Persuasive Technology in Mobile Applications Promoting Physical Activity: a Systematic Review.

John Matthews, Khin Than Win, Harri Oinas-Kukkonen, Mark B. Freeman

J. Medical Syst., 2016

2015

Greening Residential Wi-Fi Networks under Centralized Control.

Vijay Sivaraman, John Matthews, Craig Russell, Syed Taha Ali, Arun Vishwanath

IEEE Trans. Mob. Comput., 2015

Broadband fast-lanes with two-sided control: Design, evaluation, and economics.

Hassan Habibi Gharakheili, Vijay Sivaraman, Arun Vishwanath, Luke Exton, John Matthews, Craig Russell

Proceedings of the 23rd IEEE International Symposium on Quality of Service, 2015

Third-party customization of residential Internet sharing using SDN.

Hassan Habibi Gharakheili, Luke Exton, Vijay Sivaraman, John Matthews, Craig Russell

Proceedings of the International Telecommunication Networks and Applications Conference, 2015

2014

Work-Conserving In-Sequence Striping in Multi-Band Wireless Backhaul Systems.

Ren Ping Liu, Antonio Cantoni, John Matthews

IEEE Trans. Mob. Comput., 2014

Low latency integrated point-to-multipoint and e-band point-to-point backhaul for mobile small cells.

Jian A. Zhang, Wei Ni, John Matthews, Chang-Kyung Sung, Xiaojing Huang, Hajime Suzuki, Iain B. Collings

Proceedings of the IEEE International Conference on Communications, 2014

2013

High-Fidelity Adaptive Compression for Cognitive Spectral Monitoring.

John Matthews, Leonid Bukshpun, Ranjit D. Pradhan

Proceedings of the 32th IEEE Military Communications Conference, 2013

Virtualizing the access network via open APIs.

Vijay Sivaraman, Tim Moors, Hassan Habibi Gharakheili, Dennis Ong, John Matthews, Craig Russell

Proceedings of the Conference on emerging Networking Experiments and Technologies, 2013

2012

Total edge critical graphs with leaves.

Johannes H. Hattingh, Nader Jafari Rad, Sayyed Heidar Jafari, Marc Loizeaux, John Matthews, Lucas C. van der Merwe

Discret. Math., 2012

Highly spectrally efficient Ngara Rural Wireless Broadband Access Demonstrator.

Hajime Suzuki, Rodney Kendall, Kevin Anderson, Alex Grancea, David Humphrey, Joseph Pathikulangara, Keith Bengston, John Matthews, Craig Russell

Proceedings of the International Symposium on Communications and Information Technologies, 2012

2010

A network rate management protocol with TCP congestion control and fairness for all.

Zvi Rosberg, John Matthews, Moshe Zukerman

Comput. Networks, 2010

2009

Pragmatic equivalence and safety checking in Cryptol.

Levent Erkök, John Matthews

Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009

Rate and delay controlled core networks: An experimental demonstration.

Zvi Rosberg, Fariza Sabrina, Sheldon Dealy, John Matthews, Craig Russell

Proceedings of the 17th International Workshop on Quality of Service, 2009

High assurance programming in Cryptol.

Levent Erkök, John Matthews

Proceedings of the Fifth Cyber Security and Information Intelligence Research Workshop, 2009

2008

A Mechanical Analysis of Program Verification Strategies.

Sandip Ray, Warren A. Hunt Jr., John Matthews, J Strother Moore

J. Autom. Reason., 2008

Imperative Functional Programming with Isabelle/HOL.

Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, John Matthews

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

2006

Verification Condition Generation Via Theorem Proving.

John Matthews, J Strother Moore, Sandip Ray, Daron Vroon

Proceedings of the Logic for Programming, 2006

A verifying core for a cryptographic language compiler.

Lee Pike, Mark Shields, John Matthews

Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006

2005

Axiomatic Constructor Classes in Isabelle/HOLCF.

Brian Huffman, John Matthews, Peter White

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

2004

Semantics of the <i>reFL^ect</i> language.

Sava Krstic, John Matthews

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

2003

Checking Cache-Coherence Protocols with TLA⁺.

Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu

Formal Methods Syst. Des., 2003

Inductive Invariants for Nested Recursion.

Sava Krstic, John Matthews

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

2002

Verifying BDD Algorithms through Monadic Interpretation.

Sava Krstic, John Matthews

Proceedings of the Verification, 2002

Specifying and verifying systems with TLA+.

Leslie Lamport, John Matthews, Mark R. Tuttle, Yuan Yu

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

1999

Recursive Function Definition over Coinductive Types.

John Matthews

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

Formal Verification of Explicitly Parallel Microprocessors.

Byron Cook, John Launchbury, John Matthews, Richard B. Kieburtz

Proceedings of the Correct Hardware Design and Verification Methods, 1999

Elementary Microarchitecture Algebra.

John Matthews, John Launchbury

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

Microprocessor Specification in Hawk.

John Matthews, Byron Cook, John Launchbury

Proceedings of the 1998 International Conference on Computer Languages, 1998

1997

Managing data caches using selective cache line replacement.

Gary S. Tyson, Matthew K. Farrens, John Matthews, Andrew R. Pleszkun

Int. J. Parallel Program., 1997

1996

Parallel Algorithms Using Unreliable Broadcasts.

John Matthews, Charles U. Martel

Proceedings of IPPS '96, 1996

1995

Free Performance and Fault Tolerance: Using System Idle Capacity Efficiently (Panel).

Srinivasan Tridandapani, Anton T. Dahbura, Arun K. Somani, Charles U. Martel, John Matthews

Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1995

A modified approach to data cache management.

Gary S. Tyson, Matthew K. Farrens, John Matthews, Andrew R. Pleszkun

Proceedings of the 28th Annual International Symposium on Microarchitecture, Ann Arbor, Michigan, USA, November 29, 1995