Marcel Ullrich

According to our database, Marcel Ullrich authored at least 3 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of six.

2020

Generating induction principles and subterm relations for inductive types using MetaCoq.

Bohdan Liesnikov, Marcel Ullrich, Yannick Forster

CoRR, 2020

2015

Resolution Guarantees in Electrical Impedance Tomography.

Bastian von Harrach, Marcel Ullrich

IEEE Trans. Medical Imaging, 2015

2013

Monotonicity-Based Shape Reconstruction in Electrical Impedance Tomography.

Bastian von Harrach, Marcel Ullrich

SIAM J. Math. Anal., 2013