Edward Smith

According to our database, Edward Smith authored at least 8 papers between 2005 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

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

2019

Global Communications Newsletter.

Brenda Vilas Boas, Edward Smith, Miroslav Skoric, Liangping Ma, Sami A. Aldalahmeh

IEEE Commun. Mag., 2019

A Closer Look to the Future of Smart Cities.

Mauro Ugolini, Edward Smith

Proceedings of the 2019 CTTE-FITCE: Smart Cities & Information and Communication Technology (CTTE-FITCE), 2019

2018

Global Communications Newsletter.

Anum Talpur, Edward Smith, Xudong Wang, Chong Han, Xinwan Li, Keattisak Chong

IEEE Commun. Mag., 2018

2015

ICSE 2015 SIGSOFT CAPS Report.

Edward Smith

ACM SIGSOFT Softw. Eng. Notes, 2015

2014

The business requirements and technical fabric for the Smart City.

Edward Smith, Mauro Ugolini, Alessandro Neri

Proceedings of the Euro Med Telco Conference, 2014

2007

A Logic for GSTE.

Edward Smith

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2005

A method for generation of GSTE assertion graphs.

Edward Smith

Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005