Towards the Formal Verification of a Distributed Real-Time Automotive System. - Erik Endres; Christian Müller 009; Andrey Shadrin; Sergey Tverdyshev (NASA Formal Methods, 2010)

MD-Based Assessment of Covalent Inhibitors in Noncovalent Association Complexes: Learning from Cathepsin K as a Test Case. - Erik Endres; Natalia Yuan Chen; Christoph A. Sotriffer (J. Chem. Inf. Model., 2023)