Michael Codish

2.6k total citations
65 papers, 752 citations indexed

About

Michael Codish is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Software. According to data from OpenAlex, Michael Codish has authored 65 papers receiving a total of 752 indexed citations (citations by other indexed papers that have themselves been cited), including 49 papers in Computational Theory and Mathematics, 47 papers in Artificial Intelligence and 18 papers in Software. Recurrent topics in Michael Codish's work include Logic, programming, and type systems (41 papers), Formal Methods in Verification (40 papers) and Logic, Reasoning, and Knowledge (22 papers). Michael Codish is often cited by papers focused on Logic, programming, and type systems (41 papers), Formal Methods in Verification (40 papers) and Logic, Reasoning, and Knowledge (22 papers). Michael Codish collaborates with scholars based in Israel, Australia and Belgium. Michael Codish's co-authors include Peter J. Stuckey, Olga Ohrimenko, Maurice Bruynooghe, Bart Demoen, Dennis Dams, Eyal Yardeni, John P. Gallagher, Kim Marriott, Moreno Falaschi and Ehud Shapiro and has published in prestigious journals such as Theoretical Computer Science, Journal of Computer and System Sciences and ACM Transactions on Programming Languages and Systems.

In The Last Decade

Michael Codish

64 papers receiving 686 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Michael Codish Israel	15	600	474	193	183	71	65	752
Robert Nieuwenhuis Spain	12	508 0.8×	447 0.9×	158 0.8×	130 0.7×	51 0.7×	45	700
Ernst-Rüdiger Olderog Germany	16	654 1.1×	708 1.5×	213 1.1×	178 1.0×	96 1.4×	56	959
Mark H. Liffiton United States	10	264 0.4×	234 0.5×	148 0.8×	136 0.7×	58 0.8×	12	468
Aaron Stump United States	14	596 1.0×	512 1.1×	105 0.5×	257 1.4×	124 1.7×	53	802
Josée Desharnais Canada	14	465 0.8×	492 1.0×	141 0.7×	145 0.8×	125 1.8×	38	757
Roni Rosner Israel	7	530 0.9×	716 1.5×	170 0.9×	296 1.6×	74 1.0×	8	919
Hans van Maaren Netherlands	11	274 0.5×	294 0.6×	174 0.9×	79 0.4×	33 0.5×	33	520
Anna Ingólfsdóttir Iceland	15	625 1.0×	625 1.3×	107 0.6×	145 0.8×	56 0.8×	120	842
Ofer Strichman Israel	16	415 0.7×	486 1.0×	144 0.7×	468 2.6×	198 2.8×	59	850
He Jifeng United Kingdom	15	524 0.9×	429 0.9×	138 0.7×	207 1.1×	201 2.8×	42	766

Countries citing papers authored by Michael Codish

Since Specialization

Citations

This map shows the geographic impact of Michael Codish's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Michael Codish with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Michael Codish more than expected).

Fields of papers citing papers by Michael Codish

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Michael Codish. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Michael Codish. The network helps show where Michael Codish may publish in the future.

Co-authorship network of co-authors of Michael Codish

This figure shows the co-authorship network connecting the top 25 collaborators of Michael Codish. A scholar is included among the top collaborators of Michael Codish based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Michael Codish. Michael Codish is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Codish, Michael & Eijiro Sumii. (2014). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. Lecture notes in computer science. 2 indexed citations

Codish, Michael, Alice Miller, Patrick Prosser, & Peter J. Stuckey. (2013). Breaking symmetries in graph representation. ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam). 510–516. 7 indexed citations

Codish, Michael & Vitaly Lagoon. (2000). Type dependencies for logic programs using ACI-unification. Theoretical Computer Science. 238(1-2). 131–159. 3 indexed citations

Codish, Michael, et al.. (2000). Improving program analyses, by structure untupling. The Journal of Logic Programming. 43(3). 251–263. 4 indexed citations

Codish, Michael, Vitaly Lagoon, & Francisco Bueno. (2000). An algebraic approach to sharing analysis of logic programs. The Journal of Logic Programming. 42(2). 111–149. 4 indexed citations

Codish, Michael. (1999). Worst-case groundness analysis using positive Boolean functions. The Journal of Logic Programming. 41(1). 125–128. 5 indexed citations

Codish, Michael, Maurice Bruynooghe, María García de la Banda, & Manuel V. Hermenegildo. (1997). Exploiting goal independence in the analysis of logic programs. The Journal of Logic Programming. 32(3). 247–261. 6 indexed citations

Codish, Michael, Vitaly Lagoon, & Francisco Bueno. (1996). Sharing Analysis for Logic Programs using Set Logic Programs.. 29–40.

Bruynooghe, Maurice, et al.. (1994). A composite domain for freeness, sharing, and compoundness analysis of logic programs. Lirias (KU Leuven). 355(9211). 1277–1277. 4 indexed citations

10.

Codish, Michael, Dennis Dams, & Eyal Yardeni. (1994). Bottom-up abstract interpretation of logic programs. Theoretical Computer Science. 124(1). 93–125. 33 indexed citations

11.

Bruynooghe, Maurice, et al.. (1994). Abstract unification for a composite domain deriving sharing and freeness properties of program variables. International Conference on Lightning Protection. 37(6). 213–229. 6 indexed citations

12.

Codish, Michael & Bart Demoen. (1993). Analysing logic programs using “prop”-ositional logic programs and a magic wand. International Conference on Logic Programming. 114–129. 22 indexed citations

13.

Janssens, Gerda, et al.. (1993). Freeness analysis in the presence of numerical constraints. Lirias (KU Leuven). 100–115. 9 indexed citations

14.

Codish, Michael, Dennis Dams, Gilberto Filé, & Maurice Bruynooghe. (1993). Freeness analysis for logic programs—and correctness?. Lirias (KU Leuven). 116–131. 10 indexed citations

15.

Codish, Michael, Dennis Dams, & Eyal Yardeni. (1992). Bottum-up abstract interpretation of logic programs. TU/e Research Portal (Eindhoven University of Technology). 9224. 7 indexed citations

16.

Codish, Michael, Moreno Falaschi, & Kim Marriott. (1991). Suspension Analysis for Concurrent Logic Programs.. International Conference on Lightning Protection. 331–345. 25 indexed citations

17.

Codish, Michael, Dennis Dams, & Eyal Yardeni. (1991). Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis.. International Conference on Lightning Protection. 79–93. 28 indexed citations

18.

Gallagher, John P., Michael Codish, & E.Y. Shapiro. (1989). Using safe approximations of fixed points for analysis of logic programs. MIT Press eBooks. 233–261. 8 indexed citations

19.

Sterling, Leon & Michael Codish. (1988). PRESSing for parallelism: a Prolog program made concurrent. MIT Press eBooks. 304–350. 2 indexed citations

20.

Lichtenstein, Yossi, Michael Codish, & Ehud Shapiro. (1988). Representation and enumeration of flat Concurrent Prolog computations. MIT Press eBooks. 197–210. 5 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact