Michael Codish

56 papers and 616 indexed citations i.

Michael Codish has authored 56 papers that have received a total of 616 indexed citations. This includes 43 papers in Computational Theory and Mathematics, 42 papers in Artificial Intelligence and 18 papers in Software. The topics of these papers are Logic, programming, and type systems (37 papers), Formal Methods in Verification (35 papers) and Logic, Reasoning, and Knowledge (19 papers). Michael Codish is often cited by papers focused on Logic, programming, and type systems (37 papers), Formal Methods in Verification (35 papers) and Logic, Reasoning, and Knowledge (19 papers) and collaborates with scholars based in Israel, Australia and Belgium. Michael Codish's co-authors include Maurice Bruynooghe, Peter J. Stuckey, Luís Cruz-Filipe, Peter Schneider–Kamp and Kim Marriott and has published in prestigious journals such as Journal of Computer and System Sciences, Theoretical Computer Science and Journal of Artificial Intelligence Research.