John Matthews

  • Portland State University, USA

According to our database1, John Matthews authored at least 34 papers between 1995 and 2017.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.



In proceedings 
PhD thesis 


Online presence:



Enabling Fast and Slow Lanes for Content Providers Using Software Defined Networking.
IEEE/ACM Trans. Netw., 2017

SDN APIs and Models for Two-Sided Resource Management in Broadband Access Networks.
IEEE Trans. Netw. Serv. Manag., 2016

Persuasive Technology in Mobile Applications Promoting Physical Activity: a Systematic Review.
J. Medical Syst., 2016

Greening Residential Wi-Fi Networks under Centralized Control.
IEEE Trans. Mob. Comput., 2015

Broadband fast-lanes with two-sided control: Design, evaluation, and economics.
Proceedings of the 23rd IEEE International Symposium on Quality of Service, 2015

Third-party customization of residential Internet sharing using SDN.
Proceedings of the International Telecommunication Networks and Applications Conference, 2015

Work-Conserving In-Sequence Striping in Multi-Band Wireless Backhaul Systems.
IEEE Trans. Mob. Comput., 2014

Low latency integrated point-to-multipoint and e-band point-to-point backhaul for mobile small cells.
Proceedings of the IEEE International Conference on Communications, 2014

High-Fidelity Adaptive Compression for Cognitive Spectral Monitoring.
Proceedings of the 32th IEEE Military Communications Conference, 2013

Virtualizing the access network via open APIs.
Proceedings of the Conference on emerging Networking Experiments and Technologies, 2013

Total edge critical graphs with leaves.
Discret. Math., 2012

Highly spectrally efficient Ngara Rural Wireless Broadband Access Demonstrator.
Proceedings of the International Symposium on Communications and Information Technologies, 2012

A network rate management protocol with TCP congestion control and fairness for all.
Comput. Networks, 2010

Pragmatic equivalence and safety checking in Cryptol.
Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009

Rate and delay controlled core networks: An experimental demonstration.
Proceedings of the 17th International Workshop on Quality of Service, 2009

High assurance programming in Cryptol.
Proceedings of the Fifth Cyber Security and Information Intelligence Research Workshop, 2009

A Mechanical Analysis of Program Verification Strategies.
J. Autom. Reason., 2008

Imperative Functional Programming with Isabelle/HOL.
Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

Verification Condition Generation Via Theorem Proving.
Proceedings of the Logic for Programming, 2006

A verifying core for a cryptographic language compiler.
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006

Axiomatic Constructor Classes in Isabelle/HOLCF.
Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

Semantics of the <i>reFL<sup>ect</sup></i> language.
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

Checking Cache-Coherence Protocols with TLA<sup>+</sup>.
Formal Methods Syst. Des., 2003

Inductive Invariants for Nested Recursion.
Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

Verifying BDD Algorithms through Monadic Interpretation.
Proceedings of the Verification, 2002

Specifying and verifying systems with TLA+.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

Recursive Function Definition over Coinductive Types.
Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

Formal Verification of Explicitly Parallel Microprocessors.
Proceedings of the Correct Hardware Design and Verification Methods, 1999

Elementary Microarchitecture Algebra.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

Microprocessor Specification in Hawk.
Proceedings of the 1998 International Conference on Computer Languages, 1998

Managing data caches using selective cache line replacement.
Int. J. Parallel Program., 1997

Parallel Algorithms Using Unreliable Broadcasts.
Proceedings of IPPS '96, 1996

Free Performance and Fault Tolerance: Using System Idle Capacity Efficiently (Panel).
Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1995

A modified approach to data cache management.
Proceedings of the 28th Annual International Symposium on Microarchitecture, Ann Arbor, Michigan, USA, November 29, 1995