| System and method for dynamically constructing packet classification rules DJ Cox, AI Tomlinson, J Dempsey, MC Laswell, S Strentzsch, S Egbert, ... US Patent 7,239,639, 2007 | 102* | 2007 |
| On the fly testing of regular patterns in distributed computations E Fromentin, M Raynal, VK Garg, A Tomlinson 1994 Internatonal Conference on Parallel Processing Vol. 2 2, 73-76, 1994 | 66 | 1994 |
| Detecting relational global predicates in distributed systems AI Tomlinson, VK Garg Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed …, 1993 | 66 | 1993 |
| An algorithm for minimally latent global virtual time AI Tomlinson, VK Garg Proceedings of the seventh workshop on Parallel and distributed simulation …, 1993 | 50 | 1993 |
| Monitoring functions on global states of distributed programs AI Tomlinson, VK Garg Journal of Parallel and Distributed Computing 41 (2), 173-189, 1997 | 37 | 1997 |
| Systems and methods for efficient memory access AI Tomlinson, BA Cook, RS Canion US Patent 9,075,735, 2015 | 30 | 2015 |
| Systems and methods for managing memory AI Tomlinson, BA Cook, RS Canion US Patent App. 13/596,190, 2013 | 27 | 2013 |
| Expressing and detecting control flow properties of distributed computations VK Garg, A Tomlinson, E Fromentin, M Raynal Proceedings. Seventh IEEE Symposium on Parallel and Distributed Processing …, 1995 | 15 | 1995 |
| Using induction to prove properties of distributed programs VK Garg, AI Tomlinson Proceedings of 1993 5th IEEE Symposium on Parallel and Distributed …, 1993 | 15 | 1993 |
| Observation of software for distributed systems with rcl AI Tomlinson, VK Garg International Conference on Foundations of Software Technology and …, 1995 | 10 | 1995 |
| Maintaining global assertions on distributed systems AI Tomlinson, VK Garg Computer Systems and Education, 257-272, 1994 | 10 | 1994 |
| Network packet inspection flow management RS Canion, AI Tomlinson US Patent 8,756,337, 2014 | 8 | 2014 |
| Shared rate limiters using floating buckets RS Canion, AI Tomlinson US Patent 8,000,244, 2011 | 7 | 2011 |
| Systems and methods multi-key access to data AI Tomlinson, BA Cook US Patent 8,996,533, 2015 | 6 | 2015 |
| Causality versus time: how to specify and verify distributed algorithms VK Garg, AI Tomlinson Proceedings of 1994 6th IEEE Symposium on Parallel and Distributed …, 1994 | 5 | 1994 |
| Causality for Time: How to Specify and Verify Distributed Algorithms VK Garg, AI Tomlinson IEEE Symposium on Parallel and Distributed Processing, Dallas, Texas, 1994 | 3 | 1994 |
| Application identification and dynamic signature generation for managing network communications RS Clifton, AI Tomlinson, D Datta, JB Moss, DJ Cox US Patent 9,386,103, 2016 | 2 | 2016 |
| Methods and systems for using keywords preprocessing, Boyer-Moore analysis, and hybrids thereof, for processing regular expressions in intrusion-prevention systems JD Preston, AI Tomlinson US Patent 9,270,641, 2016 | 2 | 2016 |
| Observation and verification of software for distributed systems AI Tomlinson University of Texas at Austin, 1995 | 2 | 1995 |
| Zero copy packet buffering using shadow sends RS Canion, AI Tomlinson US Patent 9,270,686, 2016 | 1 | 2016 |
