A method for generation of GSTE assertion graphs. - Edward Smith (HLDVT, 2005)

A Logic for GSTE. - Edward Smith (FMCAD, 2007)

The business requirements and technical fabric for the Smart City. - Edward Smith; Mauro Ugolini; Alessandro Neri 001 (EMTC, 2014)

ICSE 2015 SIGSOFT CAPS Report. - Edward Smith (ACM SIGSOFT Softw. Eng. Notes, 2015)

Global Communications Newsletter. - Anum Talpur; Edward Smith; Xudong Wang; Chong Han; Xinwan Li; Keattisak Chong (IEEE Commun. Mag., 2018)

A Closer Look to the Future of Smart Cities. - Mauro Ugolini; Edward Smith (CTTE-FITCE, 2019)

Global Communications Newsletter. - Brenda Vilas Boas; Edward Smith; Miroslav Skoric; Liangping Ma; Sami A. Aldalahmeh (IEEE Commun. Mag., 2019)

Global Communications Newsletter. - Edward Smith; Toni Perkovic; Petar Solic; Sandro Nizetic; Ana Culic; Luigi Patrono; Joel J. P. C. Rodrigues; Oscar Martínez Bonastre; Mohab A. Mangoud (IEEE Commun. Mag., 2020)