H. Veith

4 papers and 159 indexed citations i.

H. Veith has authored 4 papers that have received a total of 159 indexed citations. This includes 3 papers in Artificial Intelligence, 3 papers in Computational Theory and Mathematics and 2 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (3 papers), Software Testing and Debugging Techniques (2 papers) and Peer-to-Peer Network Technologies (2 papers). H. Veith is often cited by papers focused on Formal Methods in Verification (3 papers), Software Testing and Debugging Techniques (2 papers) and Peer-to-Peer Network Technologies (2 papers) and collaborates with scholars based in United States and Germany. H. Veith's co-authors include Sagar Chaki, Alex Groce, E. M. Clarke, Somesh Jha and Sanjay Jha and has published in prestigious journals such as IEEE Transactions on Software Engineering