Daniel Dercks is an author at Universität Hamburg specializing in engineering, formal verification, and automated reasoning.
Top concepts
EngineeringPhysicsVerificationApplied PhysicsNuclear PhysicsNatural SciencesParticle PhysicsHigh Energy TheoryAutomated ReasoningFormal Verification
Publications per year
2017–2019
6
6
CheckMATE 2: From the model to the limit
Daniel Dercks, Nishita Desai, Jong Soo Kim et al. · Computer Physics Communications · 2017 · 258 citations · Full text
Daniel Dercks, Herbert K. Dreiner, M. Hirsch et al. · Physical review. D/Physical review. D. · 2019 · 73 citations · Full text
Daniel Dercks, Jordy de Vries, Herbi K. Dreiner et al. · Physical review. D/Physical review. D. · 2019 · 58 citations · Full text
Rows per page
1–5 of 6