Working with First Order Proofs and Provers. - Michael A. Raskin; Christoph Welzel (ELS, 2019)

Structural Invariants for the Verification of Systems with Parameterized Architectures. - Marius Bozga; Javier Esparza; Radu Iosif; Joseph Sifakis; Christoph Welzel (TACAS (1), 2020)

ostrich. - Christoph Welzel; Javier Esparza; Mikhail A. Raskin (Zenodo, 2020)

ostrich. - Christoph Welzel; Javier Esparza; Mikhail A. Raskin (Zenodo, 2020)

ostrich. - Christoph Welzel; Marius Bozga; Radu Iosif; Joseph Sifakis; Javier Esparza (Zenodo, 2020)

ostrich. - Christoph Welzel; Marius Bozga; Radu Iosif; Joseph Sifakis; Javier Esparza (Zenodo, 2020)

ostrich. - Christoph Welzel; Marius Bozga; Radu Iosif; Joseph Sifakis; Javier Esparza (Zenodo, 2020)

heron. - Christoph Welzel; Javier Esparza; Mikhail A. Raskin (Zenodo, 2020)

heron. - Christoph Welzel; Javier Esparza; Mikhail A. Raskin (Zenodo, 2020)

heron. - Christoph Welzel; Javier Esparza; Mikhail A. Raskin (Zenodo, 2020)

heron. - Christoph Welzel; Javier Esparza; Mikhail A. Raskin (Zenodo, 2020)

heron. - Christoph Welzel; Javier Esparza; Mikhail A. Raskin (Zenodo, 2020)

Abduction of trap invariants in parameterized systems. - Javier Esparza; Mikhail A. Raskin; Christoph Welzel (GandALF, 2021)

Computing Parameterized Invariants of Parameterized Petri Nets. - Javier Esparza; Mikhail A. Raskin; Christoph Welzel (Fundam. Informaticae, 2022)

Examples for submission to CONCUR'22. - Javier Esparza; Mikhail A. Raskin; Christoph Welzel (Zenodo, 2022)

Examples for submission to CONCUR'22. - Javier Esparza; Mikhail A. Raskin; Christoph Welzel (Zenodo, 2022)

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

Inductive Statements for Regular Transition Systems. - Christoph Welzel-Mohr (2024)

dodo. - Christoph Welzel-Mohr; Valentin Krasotin; Philipp Czerner; Javier Esparza (Zenodo, 2024)

Regular Model Checking Upside-Down: An Invariant-Based Approach. - Javier Esparza; Michael Raskin; Christoph Welzel-Mohr (Log. Methods Comput. Sci., 2025)