# John Matthews

According to our database

Collaborative distances:

^{1}, John Matthews authored at least 34 papers between 1995 and 2017.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2017

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

IEEE/ACM Trans. Netw., 2017

2016

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

IEEE Trans. Network and Service Management, 2016

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

J. Medical Systems, 2016

2015

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

2014

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

2013

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

2012

Total edge critical graphs with leaves.

Discrete Mathematics, 2012

Highly spectrally efficient Ngara Rural Wireless Broadband Access Demonstrator.

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.

Computer Networks, 2010

2009

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

2008

A Mechanical Analysis of Program Verification Strategies.

J. Autom. Reasoning, 2008

Imperative Functional Programming with Isabelle/HOL.

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

2006

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

2005

Axiomatic Constructor Classes in Isabelle/HOLCF.

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

2004

Semantics of the

*reFL*language.^{ect}
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

2003

Checking Cache-Coherence Protocols with TLA

^{+}.
Formal Methods in System Design, 2003

Inductive Invariants for Nested Recursion.

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

2002

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

1999

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

1998

Microprocessor Specification in Hawk.

Proceedings of the 1998 International Conference on Computer Languages, 1998

1997

Managing data caches using selective cache line replacement.

International Journal of Parallel Programming, 1997

1996

Parallel Algorithms Using Unreliable Broadcasts.

Proceedings of IPPS '96, 1996

1995

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