Monotonicity-Based Shape Reconstruction in Electrical Impedance Tomography. - Bastian von Harrach; Marcel Ullrich (SIAM J. Math. Anal., 2013)

Resolution Guarantees in Electrical Impedance Tomography. - Bastian von Harrach; Marcel Ullrich (IEEE Trans. Medical Imaging, 2015)

Generating induction principles and subterm relations for inductive types using MetaCoq. - Bohdan Liesnikov; Marcel Ullrich; Yannick Forster 002 (CoRR, 2020)

MimIrADe: Automatic Differentiation in MimIR. - Marcel Ullrich; Sebastian Hack; Roland Leißa (CC, 2025)

Synthesis of Sorting Kernels. - Marcel Ullrich; Sebastian Hack (CGO, 2025)

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age. - Roland Leißa; Marcel Ullrich; Joachim Meyer 003; Sebastian Hack (Proc. ACM Program. Lang., 2025)