Ian Hodkinson

A toolkit enabling efficient, scalable and reproducible gene tagging in trypanosomatids

Samuel Dean, Jack Daniel Sunter, Richard John Wheeler et al. · Open Biology · 2015 · 294 citations · Full text

Life Sciences, Genetics, Molecular Biology +10

Decidable fragments of first-order temporal logics

Ian Hodkinson, Frank Wolter, Michael Zakharyaschev · Annals of Pure and Applied Logic · 2000 · 198 citations

Humanities, Computer Science, Mathematics +11

The Small Index Property for ω‐Stable ω‐Categorical Structures and for the Random Graph

Wilfrid Hodges, Ian Hodkinson, Daniel Lascar et al. · Journal of the London Mathematical Society · 1993 · 141 citations

Natural Sciences, Mathematics, Combinatorics +8

An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers

Dav M. Gabbay, Ian Hodkinson · Journal of Logic and Computation · 1990 · 101 citations

Humanities, Computer Science, Mathematics +10

Complete representations in algebraic logic

Robin Hirsch, Ian Hodkinson · Journal of Symbolic Logic · 1997 · 95 citations

Natural Sciences, Computer Science, Mathematics +9