Michael Codish

Michael Codish

Ben Gurion University of the Negev - Beer Sheva / Israel
Engineering & Technology / Computer Science
AD Scientific Index ID: 415359
אוניברסיטת בן גוריון בנגב
person_outline Michael Codish's MOST POPULAR ARTICLES
1-) Propagation via lazy clause generationO Ohrimenko, PJ Stuckey, M CodishConstraints 14, 357-391, 2009376*2009
2-) Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): PrefaceM Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ...Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006253*2006
3-) A semantic basis for the termination analysis of logic programsM Codish, C TabochThe Journal of Logic Programming 41 (1), 103-123, 1999200*1999
4-) Improving abstract interpretations by combining domainsM Codish, A Mulkers, M Bruynooghe, MG De La Banda, M HermenegildoACM Transactions on Programming Languages and Systems (TOPLAS) 17 (1), 28-44, 19951601995
5-) Analyzing logic programs using “prop”-ositional logic programs and a magic wandM Codish, B DemoenThe Journal of Logic Programming 25 (3), 249-274, 19951441995