According to our database1, John Matthews authored at least 34 papers between 1995 and 2017.
Legend:Book In proceedings Article PhD thesis Other
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. Network and Service Management, 2016
Persuasive Technology in Mobile Applications Promoting Physical Activity: a Systematic Review.
J. Medical Systems, 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.
Discrete Mathematics, 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.
Computer 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. Reasoning, 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 reFLect language.
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004
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
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.
International Journal of Parallel Programming, 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