papers
Publications (4)
cs.LO2015
Extracting verified decision procedures: DPLL and Resolution
Ulrich Berger, Andrew Lawrence, Fredrik Nordvall Forsberg +1
astro-ph2004
Dust and gas obscuration in ELAIS Deep X-ray Survey reddened quasars
Chris J. Willott, Chris Simpson, Omar Almaini +13
astro-ph.IM2012
The VISTA Science Archive
Nicholas J. G. Cross, Ross S. Collins, Robert G. Mann +8
astro-ph.CO2009
Probing Quiescent Massive Black Holes: Insights from Tidal Disruption Events
Suvi Gezari, Linda Strubbe, Joshua S. Bloom +10