papers
Publications (14)
astro-ph.GA2017
Bayesian Mass Estimates of the Milky Way: including measurement uncertainties with hierarchical Bayes
Gwendolyn Eadie, Aaron Springford, William Harris
astro-ph2001
New CCD Survey of Globular Clusters in M31
Myung Gyoon Lee, Sang Chul Kim, Doug Geisler +3
astro-ph.CO2009
A Blue Tilt in the Globular Cluster System of the Milky Way-like Galaxy NGC 5170
Duncan Forbes, Lee Spitler, William Harris +4
astro-ph.GA2018
The large-scale structure of the halo of the Andromeda galaxy II. Hierarchical structure in the Pan-Andromeda Archaeological Survey
Alan W. McConnachie, Rodrigo Ibata, Nicolas Martin +29
cs.PL2017
Proofs as Relational Invariants of Synthesized Execution Grammars
Caleb Voss, David Heath, William Harris
cs.PL2019
Relational Verification via Invariant-Guided Synchronization
Qi Zhou, David Heath, William Harris
astro-ph.GA2016
Bayesian Mass Estimates of the Milky Way II: The dark and light sides of parameter assumptions
Gwendolyn M. Eadie, William Harris
astro-ph.GA2016
Simulating radiative feedback and star cluster formation in GMCs: I. Dependence on gravitational boundedness
Corey Howard, Ralph Pudritz, William Harris
astro-ph.GA2015
Dark Matter Halos in Galaxies and Globular Cluster Populations. II: Metallicity and Morphology
William Harris, Gretchen Harris, Michael Hudson
astro-ph.GA2017
Simulating radiative feedback and star cluster formation in GMCs: II. Mass dependence of cloud destruction and cluster properties
Corey Howard, Ralph Pudritz, William Harris
cs.LO2018
Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions
Qi Zhou, David Heath, William Harris
cs.PL2017
Completely Automated Equivalence Proofs
Qi Zhou, David Heath, William Harris
astro-ph2007
UCD Candidates in the Hydra Cluster
Elizabeth Wehner, William Harris
astro-ph2006
From Supermassive Black Holes to Dwarf Elliptical Nuclei: a Mass Continuum
Elizabeth Wehner, William Harris