Larry M. Augustin

5 papers and 292 indexed citations i.

Larry M. Augustin has authored 5 papers that have received a total of 292 indexed citations. This includes 3 papers in Hardware and Architecture, 2 papers in Computational Theory and Mathematics and 1 paper in Artificial Intelligence. The topics of these papers are Embedded Systems Design Techniques (3 papers), Parallel Computing and Optimization Techniques (3 papers) and Formal Methods in Verification (2 papers). Larry M. Augustin is often cited by papers focused on Embedded Systems Design Techniques (3 papers), Parallel Computing and Optimization Techniques (3 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in United States. Larry M. Augustin's co-authors include D Luckham, Doug Bryan, Walter Mann, J.J. Kenney and Frank C. Belz and has published in prestigious journals such as IEEE Transactions on Software Engineering and Journal of Systems and Software