Automatic Proof-Checking of Ordinary Mathematical Texts. - Steffen Frerix; Peter Koepke (CICM Workshops, 2018)

ComPRIMe: A Compiler for Parallel and Scalable ReRAM-based In-Memory Computing. - Steffen Frerix; Saeideh Shirinzadeh; Saman Fröhlich; Rolf Drechsler (NANOARCH, 2019)