Cycle-bounded model checking of PLC software via dynamic large-block encoding. - Dimitri Bohlender; Daniel Hamm; Stefan Kowalewski (SAC, 2018)

Neutron Imaging with Timepix Coupled Lithium Indium Diselenide. - Elan Herrera; Daniel Hamm; Ashley Stowe; Jeffrey Preston; Brenden Wiggins; Arnold Burger; Eric Lukosi (J. Imaging, 2018)