Concepedia

Michael Codish

MC

Statistics

Publications

47

Citations

1.7K

H-Index

23

Active since

1987

Affiliations

Ben-Gurion University of the Negev(Current)

KU Leuven

The University of Melbourne

University of Southern Denmark

Weizmann Institute of Science

Michael Codish is an author at Ben-Gurion University of the Negev specializing in computing, computer science, and logic.

ORCID

Publications per year

1987–2018

47

Publications

47

Propagation via lazy clause generation

Olga Ohrimenko, Peter J. Stuckey, Michael Codish · Constraints · 2009 · 214 citations

, , +4

A semantic basis for the termination analysis of logic programs

Michael Codish, Cohavit Taboch · The Journal of Logic Programming · 1999 · 132 citations

, , +15

A Novel SAT-Based Approach to Model Based Diagnosis

Amit Metodi, Roni Stern, Meir Kalech et al. · Journal of Artificial Intelligence Research · 2014 · 76 citations · Full text

, , +14

Improving abstract interpretations by combining domains

Michael Codish, Anne Mulkers, Maurice Bruynooghe et al. · ACM Transactions on Programming Languages and Systems · 1995 · 75 citations · Full text

, , +9

Termination analysis of logic programs through combination of type-based norms

Maurice Bruynooghe, Michael Codish, John P. Gallagher et al. · ACM Transactions on Programming Languages and Systems · 2007 · 71 citations · Full text

, , +11

1–5 of 47