John Matthews

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 4

Top Topics

Mobile Applications

Physical Activity

Detecting Objects

Top Venues

IEEE Trans. Mob. Comput.

IEEE Trans. Netw. Serv. Manag.

IEEE/ACM Trans. Netw.

Publications

Duo Ma, Hongyuan Fang, Niannian Wang, Hongfang Lu, John Matthews, Chao Zhang
Transformer-optimized generation, detection, and tracking network for images with drainage pipeline defects. Comput. Aided Civ. Infrastructure Eng. 38 (15) (2023)
Hassan Habibi Gharakheili, Vijay Sivaraman, Tim Moors, Arun Vishwanath, John Matthews, Craig Russell
Enabling Fast and Slow Lanes for Content Providers Using Software Defined Networking. IEEE/ACM Trans. Netw. 25 (3) (2017)
John Matthews, Khin Than Win, Harri Oinas-Kukkonen, Mark B. Freeman
Persuasive Technology in Mobile Applications Promoting Physical Activity: a Systematic Review. J. Medical Syst. 40 (3) (2016)
Hassan Habibi Gharakheili, Vijay Sivaraman, Arun Vishwanath, Luke Exton, John Matthews, Craig Russell
SDN APIs and Models for Two-Sided Resource Management in Broadband Access Networks. IEEE Trans. Netw. Serv. Manag. 13 (4) (2016)
Vijay Sivaraman, John Matthews, Craig Russell, Syed Taha Ali, Arun Vishwanath
Greening Residential Wi-Fi Networks under Centralized Control. IEEE Trans. Mob. Comput. 14 (3) (2015)
Hassan Habibi Gharakheili, Vijay Sivaraman, Arun Vishwanath, Luke Exton, John Matthews, Craig Russell
Broadband fast-lanes with two-sided control: Design, evaluation, and economics. IWQoS (2015)
Hassan Habibi Gharakheili, Luke Exton, Vijay Sivaraman, John Matthews, Craig Russell
Third-party customization of residential Internet sharing using SDN. ITNAC (2015)
Ren Ping Liu, Antonio Cantoni, John Matthews
Work-Conserving In-Sequence Striping in Multi-Band Wireless Backhaul Systems. IEEE Trans. Mob. Comput. 13 (8) (2014)
Jian A. Zhang, Wei Ni, John Matthews, Chang-Kyung Sung, Xiaojing Huang, Hajime Suzuki, Iain B. Collings
Low latency integrated point-to-multipoint and e-band point-to-point backhaul for mobile small cells. ICC Workshops (2014)
Vijay Sivaraman, Tim Moors, Hassan Habibi Gharakheili, Dennis Ong, John Matthews, Craig Russell
Virtualizing the access network via open APIs. CoNEXT (2013)
John Matthews, Leonid Bukshpun, Ranjit D. Pradhan
High-Fidelity Adaptive Compression for Cognitive Spectral Monitoring. MILCOM (2013)
Johannes H. Hattingh, Nader Jafari Rad, Sayyed Heidar Jafari, Marc Loizeaux, John Matthews, Lucas C. van der Merwe
Total edge critical graphs with leaves. Discret. Math. 312 (24) (2012)
Hajime Suzuki, Rodney Kendall, Kevin Anderson, Alex Grancea, David Humphrey, Joseph Pathikulangara, Keith Bengston, John Matthews, Craig Russell
Highly spectrally efficient Ngara Rural Wireless Broadband Access Demonstrator. ISCIT (2012)
Zvi Rosberg, John Matthews, Moshe Zukerman
A network rate management protocol with TCP congestion control and fairness for all. Comput. Networks 54 (9) (2010)
Levent Erkök, John Matthews
Pragmatic equivalence and safety checking in Cryptol. PLPV (2009)
Zvi Rosberg, Fariza Sabrina, Sheldon Dealy, John Matthews, Craig Russell
Rate and delay controlled core networks: An experimental demonstration. IWQoS (2009)
Levent Erkök, John Matthews
High assurance programming in Cryptol. CSIIRW (2009)
Sandip Ray, Warren A. Hunt Jr., John Matthews, J Strother Moore
A Mechanical Analysis of Program Verification Strategies. J. Autom. Reason. 40 (4) (2008)
Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, John Matthews
Imperative Functional Programming with Isabelle/HOL. TPHOLs (2008)
John Matthews, J Strother Moore, Sandip Ray, Daron Vroon
Verification Condition Generation Via Theorem Proving. LPAR (2006)
Lee Pike, Mark Shields, John Matthews
A verifying core for a cryptographic language compiler. ACL2 (2006)
Brian Huffman, John Matthews, Peter White
Axiomatic Constructor Classes in Isabelle/HOLCF. TPHOLs (2005)
Sava Krstic, John Matthews
language. PPDP (2004)
Sava Krstic, John Matthews
Inductive Invariants for Nested Recursion. TPHOLs (2003)
Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu
. Formal Methods Syst. Des. 22 (2) (2003)
Sava Krstic, John Matthews
Verifying BDD Algorithms through Monadic Interpretation. VMCAI (2002)
Leslie Lamport, John Matthews, Mark R. Tuttle, Yuan Yu
Specifying and verifying systems with TLA+. ACM SIGOPS European Workshop (2002)
John Matthews
Recursive Function Definition over Coinductive Types. TPHOLs (1999)
Byron Cook, John Launchbury, John Matthews, Richard B. Kieburtz
Formal Verification of Explicitly Parallel Microprocessors. CHARME (1999)
John Matthews, John Launchbury
Elementary Microarchitecture Algebra. CAV (1999)
John Matthews, Byron Cook, John Launchbury
Microprocessor Specification in Hawk. ICCL (1998)
Gary S. Tyson, Matthew K. Farrens, John Matthews, Andrew R. Pleszkun
Managing data caches using selective cache line replacement. Int. J. Parallel Program. 25 (3) (1997)
John Matthews, Charles U. Martel
Parallel Algorithms Using Unreliable Broadcasts. IPPS (1996)
Gary S. Tyson, Matthew K. Farrens, John Matthews, Andrew R. Pleszkun
A modified approach to data cache management. MICRO (1995)
Srinivasan Tridandapani, Anton T. Dahbura, Arun K. Somani, Charles U. Martel, John Matthews
Free Performance and Fault Tolerance: Using System Idle Capacity Efficiently (Panel). SIGMETRICS (1995)