Observationally Cooperative Multithreading. - Christopher A. Stone; Melissa E. O'Neill; Sonja A. Bohr; Adam M. Cozzette; M. Joe DeBlasio; Julia Matsieva; Stuart A. Pernsteiner; Ari D. Schumer (CoRR, 2015)

A Resolution of the Static Formulation Question for the Problem of Computing the History Bound. - Julia Matsieva; Steven Kelk; Céline Scornavacca; Chris Whidden; Dan Gusfield (IEEE ACM Trans. Comput. Biol. Bioinform., 2017)