Nathan Wetzler

2 papers and 38 indexed citations i.

Nathan Wetzler has authored 2 papers that have received a total of 38 indexed citations. This includes 2 papers in Computational Theory and Mathematics, 1 paper in Artificial Intelligence and 1 paper in Organic Chemistry. The topics of these papers are Formal Methods in Verification (2 papers), Logic, Reasoning, and Knowledge (1 paper) and Software Engineering Research (1 paper). Nathan Wetzler is often cited by papers focused on Formal Methods in Verification (2 papers), Logic, Reasoning, and Knowledge (1 paper) and Software Engineering Research (1 paper) and collaborates with scholars based in United States. Nathan Wetzler's co-authors include Marijn J. H. Heule and Warren A. Hunt and has published in prestigious journals such as Software Testing Verification and Reliability