A Mechanized Translation from Higher-Order Logic to Set Theory. - Alexander Krauss 001; Andreas Schropp (ITP, 2010)

Nonfree Datatypes in Isabelle/HOL - Animating a Many-Sorted Metatheory. - Andreas Schropp; Andrei Popescu 001 (CPP, 2013)

Efficient Analysis and Visualization of High-Resolution Computed Tomography Data for the Exploration of Enclosed Cuneiform Tablets. - Stephan Olbrich; Andreas Beckert; Cécile Michel; Christian Schroer; Samaneh Ehteram; Andreas Schropp; Philipp Paetzold (LDAV, 2024)