Adam D. Bradley
Ontario Tech University(CA)
Publications by Year
Research Areas
Service-Oriented Architecture and Web Services, Logic, programming, and type systems, Formal Methods in Verification, Peer-to-Peer Network Technologies, Caching and Content Delivery
Most-Cited Works
- → Changes in Web client access patterns: Characteristics and caching implications(1999)375 cited
- → Demonstration of universal parametric entangling gates on a multi-qubit lattice(2018)290 cited
- → VisInReport: Complementing Visual Discourse Analytics Through Personalized Insight Reports(2021)13 cited
- → Basis token consistency: supporting strong Web cache consistency(2003)12 cited
- → Typed Abstraction of Complex Network Compositions(2006)11 cited
- → SNBENCH: a development and run-time platform for rapid deployment of sensor network applications(2005)10 cited
- BASIS TOKEN CONSISTENCY Extending and Evaluating a Novel Web Consistency Algorithm(2002)
- → Systematic verification of safety properties of arbitrary network protocol compositions using CHAIN(2004)9 cited
- Safe Composition of Web Communication Protocols for Extensible Edge Services(2002)
- → Safe compositional specification of networking systems(2004)6 cited