Login / Signup
Daniel Hamm
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 2
Top Topics
Formal Verification
Clinical Applications
Finite State
Bounded Model Checking
Top Venues
SAC
J. Imaging
</>
Publications
</>
Dimitri Bohlender
,
Daniel Hamm
,
Stefan Kowalewski
Cycle-bounded model checking of PLC software via dynamic large-block encoding.
SAC
(2018)
Elan Herrera
,
Daniel Hamm
,
Ashley Stowe
,
Jeffrey Preston
,
Brenden Wiggins
,
Arnold Burger
,
Eric Lukosi
Neutron Imaging with Timepix Coupled Lithium Indium Diselenide.
J. Imaging
4 (1) (2018)