Michael Codish
Active 1986–2025
- Affiliations
- Ben-Gurion University of the NegevThe University of MelbourneThis corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
- ORCID
- 0000-0003-0394-5854
- 116
- Papers
- 2,500
- Citations
- 31
- h-index
- 67
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
- 1 year (1 citations) is not shown (dated before this author's first paper)
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
- The University of Melbourne16.7%
- Ben-Gurion University of the Negev10.8%
- Data6110.7%
- KU Leuven10.3%
- Universidad Politécnica de Madrid8.1%
- Monash University7.8%
- Other35.5%
Fields
- Computer Science92.5%
- Engineering2.8%
- Decision Sciences2.4%
- Biochemistry, Genetics and Molecular Biology0.7%
- Mathematics0.5%
- Agricultural and Biological Sciences0.2%
- Other0.9%
Topics
- Logic, programming, and type systems24.8%
- Formal Methods in Verification24.7%
- Logic, Reasoning, and Knowledge12.8%
- Constraint Satisfaction and Optimization8.8%
- Software Testing and Debugging Techniques6.6%
- Model-Driven Software Engineering Techniques3.8%
- Other18.5%
Frequent coauthors
- Peter Schneider-Kamp16
- Peter J. Stuckey15
- Maurice Bruynooghe13
- Vitaly Lagoon13
- Samir Genaim10
- Amit Metodi9
- Luís Cruz-Filipe9
- Michael Frank 00029
- Avraham Itzhakov8
- Jürgen Giesl7
- Kim Marriott6
- Yoav Fekete6
- Bart Demoen5
- Carsten Fuhs5
- Dennis Dams5
- Moreno Falaschi5
- Alice Miller 00014
- Ehud Shapiro4
- Harald Søndergaard4
- John P. Gallagher4
- Mikolás Janota4
- René Thiemann4
- Roberto Giacobazzi4
- Anne Mulkers3
All papers
Loading papers…