Implementation of a practical Markov chain Monte Carlo sampling algorithm in PyBioNetFit. - Jacob Neumann; Yen Ting Lin; Abhishek Mallela; Ely F. Miller; Joshua Colvin; Abell T. Duprat; Ye Chen; William S. Hlavacek; Richard G. Posner (Bioinform., 2022)

Synthetic 1-Categories in Directed Type Theory. - Jacob Neumann; Thorsten Altenkirch (TYPES, 2024)