Gary Clemo

Publication Activity (10 Years)

Years Active: 2000-2008
Publications (10 Years): 0

University of Bristol, UK (PHD)

Education History

University of Bristol, UK

PHD

Publications

Soodesh Buljore, Markus Muck, Patricia Martigne, Paul Houzé, Hiroshi Harada, Kentaro Ishizu, Oliver Holland, Andrej Mihailovic, Kostas Tsagkaris, Oriol Sallent, Gary Clemo, Mahesh Sooriyabandara, Vladimir Ivanov, Klaus Nolte, Makis Stametalos
Introduction to IEEE P1900.4 Activities. IEICE Trans. Commun. (1) (2008)
Russell J. Haines, Gary Clemo, Alistair D. Munro
Petri-nets for formal verification of MAC protocols. IET Softw. 1 (2) (2007)
Tim Lewis, Neil Fanning, Gary Clemo
Enhancing IEEE802.11 DCF using Genetic Programming. VTC Spring (2006)
Russell J. Haines, Gary Clemo, Alistair Munro
Toward Formal Verification of 802.11 MAC Protocols: Verifying a Petri-Net Model of 802.11 PCF. VTC Fall (2006)
Russell J. Haines, Tim Lewis, Gary Clemo
Towards Integrated Wireless Systems: Inter-Mode Monitoring Techniques (Abstract). ISCC (2006)
Russell J. Haines, Alistair Munro, Gary Clemo
Toward Formal Verification of 802.11 MAC Protocols: a Case Study of Applying Petri-nets to Modeling the 802.11 PCF. VTC Spring (2006)
Georgios Kalogridis, Chris J. Mitchell, Gary Clemo
Spy Agents: Evaluating Trust in Remote Environments. Security and Management (2005)
Georgios Kalogridis, Chan Yeob Yeun, Gary Clemo
Flexible Delegation Security for Improved Distribution in Ubiquitous Environments. SEC (2003)
Tim Farnham, Gary Clemo, Russell J. Haines, Eiko Seidel, Abdelkrim Benamar, Stephen Billington, Nicola Greco, Nigel J. Drew, Truong Hong Le, B. Arram, Pascal Mangold
IST-TRUST: a perspective on the reconfiguration of future mobile terminals using software download. PIMRC (2000)

Gary Clemo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Gary Clemo