Karl S. Brace

3 papers and 436 indexed citations i.

Karl S. Brace has authored 3 papers that have received a total of 436 indexed citations. This includes 3 papers in Computational Theory and Mathematics, 2 papers in Software and 1 paper in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (3 papers), Software Testing and Debugging Techniques (2 papers) and Embedded Systems Design Techniques (1 paper). Karl S. Brace is often cited by papers focused on Formal Methods in Verification (3 papers), Software Testing and Debugging Techniques (2 papers) and Embedded Systems Design Techniques (1 paper) and collaborates with scholars based in United States, Italy and Switzerland. Karl S. Brace's co-authors include Randal E. Bryant, Richard Rudell, Thomas J. Sheffler, Gianpiero Cabodi and Stefano Quer and has published in prestigious journals such as Electronic Notes in Theoretical Computer Science