Alan Shaw

37 papers and 967 indexed citations i.

Alan Shaw has authored 37 papers that have received a total of 967 indexed citations. This includes 14 papers in Hardware and Architecture, 9 papers in Computer Networks and Communications and 7 papers in Artificial Intelligence. The topics of these papers are Embedded Systems Design Techniques (11 papers), Real-Time Systems Scheduling (11 papers) and Formal Methods in Verification (6 papers). Alan Shaw is often cited by papers focused on Embedded Systems Design Techniques (11 papers), Real-Time Systems Scheduling (11 papers) and Formal Methods in Verification (6 papers) and collaborates with scholars based in United States, United Kingdom and Russia. Alan Shaw's co-authors include T. P. Baker, David Morrison, Eli Schwartz, Stephen J. Payne and Nelson Weiderman and has published in prestigious journals such as IEEE Transactions on Pattern Analysis and Machine Intelligence, Communications of the ACM and Pure and Applied Chemistry