Login / Signup
Marcel Ullrich
Publication Activity (10 Years)
Years Active: 2013-2020
Publications (10 Years): 1
Top Topics
Transmission Line
Multiscale
Cast Shadows
Inductive Reasoning
Top Venues
CoRR
IEEE Trans. Medical Imaging
SIAM J. Math. Anal.
</>
Publications
</>
Bohdan Liesnikov
,
Marcel Ullrich
,
Yannick Forster
Generating induction principles and subterm relations for inductive types using MetaCoq.
CoRR
(2020)
Bastian von Harrach
,
Marcel Ullrich
Resolution Guarantees in Electrical Impedance Tomography.
IEEE Trans. Medical Imaging
34 (7) (2015)
Bastian von Harrach
,
Marcel Ullrich
Monotonicity-Based Shape Reconstruction in Electrical Impedance Tomography.
SIAM J. Math. Anal.
45 (6) (2013)