papers
Publications (3)
hep-ph2017
US Cosmic Visions: New Ideas in Dark Matter 2017: Community Report
Marco Battaglieri, Alberto Belloni, Aaron Chou +248
hep-ph2016
Dark Sectors 2016 Workshop: Community Report
Jim Alexander, Marco Battaglieri, Bertrand Echenard +201
cs.NI2016
Compiling Stateful Network Properties for Runtime Verification
Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff +2