Christoph Welzel-Mohr

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Moment Invariants

Inductive Inference

Image Processing

Top Venues

Publications

Philipp Czerner, Javier Esparza, Valentin Krasotin, Christoph Welzel-Mohr
Computing Inductive Invariants of Regular Abstraction Frameworks. CONCUR (2024)
Philipp Czerner, Javier Esparza, Valentin Krasotin, Christoph Welzel-Mohr
Computing Inductive Invariants of Regular Abstraction Frameworks. CoRR (2024)