John Matthews

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