David Stotts

8 papers and 43 indexed citations i.

David Stotts has authored 8 papers that have received a total of 43 indexed citations. This includes 3 papers in Computer Networks and Communications, 3 papers in Computational Theory and Mathematics and 2 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (2 papers), Logic, programming, and type systems (2 papers) and QoS-Aware Web Services Composition and Semantic Matching (2 papers). David Stotts is often cited by papers focused on Formal Methods in Verification (2 papers), Logic, programming, and type systems (2 papers) and QoS-Aware Web Services Composition and Semantic Matching (2 papers) and collaborates with scholars based in United States. David Stotts's co-authors include James Purtilo, T Cullip, Richard Furuta, Aziz A. Boxwala and Michael Capps and has published in prestigious journals such as Communications of the ACM and Computers in Industry