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
IEEE Trans. Netw. Serv. Manag., 2016
Persuasive Technology in Mobile Applications Promoting Physical Activity: a Systematic Review.
J. Medical Syst., 2016
IEEE Trans. Mob. Comput., 2015
Proceedings of the 23rd IEEE International Symposium on Quality of Service, 2015
Proceedings of the International Telecommunication Networks and Applications Conference, 2015
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
Proceedings of the 32th IEEE Military Communications Conference, 2013
Proceedings of the Conference on emerging Networking Experiments and Technologies, 2013
Proceedings of the International Symposium on Communications and Information Technologies, 2012
Comput. Networks, 2010
Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009
Proceedings of the 17th International Workshop on Quality of Service, 2009
Proceedings of the Fifth Cyber Security and Information Intelligence Research Workshop, 2009
Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008
Proceedings of the Logic for Programming, 2006
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006
Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004
Formal Methods Syst. Des., 2003
Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003
Proceedings of the Verification, 2002
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002
Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999
Proceedings of the Correct Hardware Design and Verification Methods, 1999
Proceedings of the Computer Aided Verification, 11th International Conference, 1999
Proceedings of the 1998 International Conference on Computer Languages, 1998
Int. J. Parallel Program., 1997
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
Proceedings of the 28th Annual International Symposium on Microarchitecture, Ann Arbor, Michigan, USA, November 29, 1995