Reverse mathematics, computability, and partitions of trees J Chubb, JL Hirst, TH McNicholl The Journal of Symbolic Logic 74 (1), 201-215, 2009 | 31 | 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 | 20 | 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 |

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, Lecture Notes in Logic …, 2016 | 7 | 2016 |

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

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, 1-15, 2021 | 2 | 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 | 1 | 2016 |

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, Victoria University of Wellington, Wellington, New Zealand, December 15–20, 2011 R Downey 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 |

Computability and spaces of orderings of groups J Chubb | | 2007 |