Reverse mathematics, computability, and partitions of trees J Chubb, JL Hirst, TH McNicholl The Journal of Symbolic Logic, 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 | 19 | 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 |

Classes and Strong Degree Spectra of Relations J Chisholm, J Chubb, VS Harizanov, DR Hirschfeldt, CG Jockusch Jr, ... Journal of Symbolic Logic, 1003-1018, 2007 | 10 | 2007 |

Classes and Strong Degree Spectra of Relations J Chisholm, J Chubb, VS Harizanov, DR Hirschfeldt, CG Jockusch Jr, ... Journal of Symbolic Logic, 1003-1018, 2007 | 10 | 2007 |

Relating operator spaces via adjunctions B Jacobs, J Mandemaker Logic and Algebraic Structures in Quantum Computing 45, 123-150, 2016 | 8 | 2016 |

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, 129-228, 2016 | 7 | 2016 |

Detecting properties from descriptions of groups I Bilanovic, J Chubb, S Roven Archive for Mathematical Logic, 1-20, 2019 | 5 | 2019 |

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 |

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

Model completeness and relative decidability J Chubb, R Miller, R Solomon Archive for Mathematical Logic, 1-15, 2021 | 1 | 2021 |

Logic and Algebraic Structures in Quantum Computing J Chubb, A Eskandarian, V Harizanov Cambridge University Press, 2016 | | 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 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 |