Dan Smith

9 papers and 55 indexed citations i.

Dan Smith has authored 9 papers that have received a total of 55 indexed citations. This includes 3 papers in Hardware and Architecture, 2 papers in Artificial Intelligence and 2 papers in Computer Networks and Communications. The topics of these papers are Embedded Systems Design Techniques (2 papers), Formal Methods in Verification (1 paper) and AI-based Problem Solving and Planning (1 paper). Dan Smith is often cited by papers focused on Embedded Systems Design Techniques (2 papers), Formal Methods in Verification (1 paper) and AI-based Problem Solving and Planning (1 paper) and collaborates with scholars based in United States and Sweden. Dan Smith's co-authors include Michael A. Driscoll, Marek Perkowski, Jessica E. Brown, Maciej Ciesielski and Peter Läderach and has published in prestigious journals such as Environmental Health Perspectives, Radiation Protection Dosimetry and IBM Systems Journal