Reverse mathematics, computability, and partitions of trees J Chubb, JL Hirst, TH McNicholl The Journal of Symbolic Logic 74 (1), 201-215, 2009 | 35 | 2009 |

Degree spectra of the successor relation of computable linear orderings J Chubb, A Frolov, V Harizanov Archive for Mathematical Logic 48 (1), 7-13, 2009 | 30 | 2009 |

The breakdown of synchronization in systems of nonidentical chaotic oscillators: Theory and experiment J Chubb, E Barreto, P So, BJ Gluckman International Journal of Bifurcation and Chaos 11 (10), 2705-2713, 2001 | 17 | 2001 |

Π10 classes and strong degree spectra of relations J Chisholm, J Chubb, VS Harizanov, DR Hirschfeldt, CG Jockusch, ... The Journal of Symbolic Logic 72 (3), 1003-1018, 2007 | 11 | 2007 |

Detecting properties from descriptions of groups I Bilanovic, J Chubb, S Roven Archive for Mathematical Logic 59 (3-4), 293-312, 2020 | 10 | 2020 |

Topos-based logic for quantum systems and bi-Heyting algebras A Döring, J Chubb, A Eskandarian, V Harizanov Logic and Algebraic Structures in Quantum Computing 45, 151-173, 2016 | 10 | 2016 |

Partial automorphism semigroups J Chubb, VS Harizanov, AS Morozov, S Pingrey, E Ufferman Annals of Pure and Applied Logic 156 (2-3), 245-258, 2008 | 5 | 2008 |

Ordered structures and computability J Chubb The George Washington University, 2009 | 4 | 2009 |

Model completeness and relative decidability J Chubb, R Miller, R Solomon Archive for Mathematical Logic 60 (6), 721-735, 2021 | 3 | 2021 |

Groups with orderings of arbitrary algorithmic complexity J Chubb, MK Dabkowski, V Harizanov Sets and Computations, 221-251, 2018 | 2 | 2018 |

Logic and algebraic structures in quantum computing J Chubb, A Eskandarian, V Harizanov Cambridge University Press, 2016 | 2 | 2016 |

Detecting properties from descriptions of groups J Chubb, I Bilanovic, S Roven arXiv preprint arXiv:1903.05143, 2019 | | 2019 |

A (VERY) BRIEF TOUR OF QUANTUM MECHANICS, COMPUTATION, AND CATEGORY THEORY J CHUBB, V HARIZANOV Logic and Algebraic Structures in Quantum Computing 45, 8, 2016 | | 2016 |

Algorithmic complexity of orders of groups J Chubb Conference on Knot Theory and Its Applications to Physics and Quantum …, 2015 | | 2015 |

Twelfth asian logic conference R Downey The Bulletin of Symbolic Logic 19 (2), 257-283, 2013 | | 2013 |

Approximating functions and measuring distance on a graph W Calvert, R Miller, JC Reimann Proceedings of the 12th Asian Logic Conference, 24-52, 2013 | | 2013 |

The Distance Function on a Computable Graph JC Chubb, W Calvert, R Miller | | 2013 |

The Distance Function on a Computable Graph W Calvert, R Miller, JC Reimann arXiv preprint arXiv:1111.2480, 2011 | | 2011 |

Computable partitions of trees J Chubb | | 2009 |

Computable groups and their orderings J Chubb | | 2009 |