Gordon Stewart

Gordon Stewart, Lennart Beringer, Andrew W. Appel: Verified heap theorem prover by paramodulation. ICFP 2012: 3-14

Gordon Stewart, Wim Vanderbauwhede: Improving user experience of submitting jobs to HPC resources. HPCS 2012: 635-641

Gordon Stewart, Andrew W. Appel: Local actions for a curry-style operational semantics. PLPV 2011: 31-42

Asen Asenov, Dave Reid, Campbell Millar, Scott Roy, Gareth Roy, Richard O. Sinnott, Gordon Stewart, Graeme Stewart: Enabling Cutting-Edge Semiconductor Simulation through Grid Technology. LSSC 2009: 369-378

Richard O. Sinnott, David W. Chadwick, Thomas Doherty, David Martin, Anthony Stell, Gordon Stewart, Linying Su, John P. Watt: Advanced Security for Virtual Organizations: The Pros and Cons of Centralized vs Decentralized Security Models. CCGRID 2008: 106-113

Richard O. Sinnott, Christopher Bayliss, C. Davenhall, B. Harbulot, M. Jones, Campbell Millar, Gareth Roy, Scott Roy, Gordon Stewart, John P. Watt, Asen Asenov: Secure, Performance-Oriented Data Management for nanoCMOS Electronics. eScience 2008: 87-94

Richard O. Sinnott, Thomas Doherty, David Martin, Campbell Millar, Gordon Stewart, John P. Watt: Supporting Security-Oriented, Collaborative nanoCMOS Electronics Research. ICCS (1) 2008: 96-105

Richard O. Sinnott, Christopher Bayliss, Thomas Doherty, David Martin, Campbell Millar, Gordon Stewart, John P. Watt, Asen Asenov, Gareth Roy, Scott Roy, C. Davenhall, B. Harbulot, M. Jones: Integrating Security Solutions to Support nanoCMOS Electronics Research. ISPA 2008: 71-79

Liangxiu Han, Asen Asenov, Dave Berry, Campbell Millar, Gareth Roy, Scott Roy, Richard O. Sinnott, Gordon Stewart: Towards a Grid-Enabled Simulation Framework for Nano-CMOS Electronics. eScience 2007: 305-311

Gordon Stewart, Gregory Crane, Alison Babeu: A new generation of textual corpora: mining corpora from very large collections. JCDL 2007: 356-365