We stand with Ukraine  

Christoph Welzel

Orcid: 0000-0001-5583-0640

According to our database1, Christoph Welzel authored at least 16 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Inductive Statements for Regular Transition Systems.
[BibTeX]
[DOI]
Christoph Welzel-Mohr
PhD thesis, 2024

Computing Inductive Invariants of Regular Abstraction Frameworks.
[BibTeX]
[DOI]
Philipp Czerner
,
Javier Esparza
,
Valentin Krasotin
,
Christoph Welzel-Mohr
Proceedings of the 35th International Conference on Concurrency Theory, 2024

2022
Examples for submission to CONCUR'22.
[BibTeX]
[DOI]
Javier Esparza
,
Mikhail A. Raskin
,
Christoph Welzel
Dataset, April, 2022

Examples for submission to CONCUR'22.
[BibTeX]
[DOI]
Javier Esparza
,
Mikhail A. Raskin
,
Christoph Welzel
Dataset, April, 2022

Computing Parameterized Invariants of Parameterized Petri Nets.
[BibTeX]
[DOI]
Javier Esparza
,
Mikhail A. Raskin
,
Christoph Welzel
Fundam. Informaticae, 2022

Regular Model Checking Upside-Down: An Invariant-Based Approach.
[BibTeX]
[DOI]
Javier Esparza
,
Mikhail A. Raskin
,
Christoph Welzel
Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021
Abduction of trap invariants in parameterized systems.
[BibTeX]
[DOI]
Javier Esparza
,
Mikhail A. Raskin
,
Christoph Welzel
Proceedings of the Proceedings 12th International Symposium on Games, 2021

2020
heron.
[BibTeX]
[DOI]
Christoph Welzel
,
Javier Esparza
,
Mikhail A. Raskin
Dataset, October, 2020

heron.
[BibTeX]
[DOI]
Christoph Welzel
,
Javier Esparza
,
Mikhail A. Raskin
Dataset, October, 2020

heron.
[BibTeX]
[DOI]
Christoph Welzel
,
Javier Esparza
,
Mikhail A. Raskin
Dataset, October, 2020

heron.
[BibTeX]
[DOI]
Christoph Welzel
,
Javier Esparza
,
Mikhail A. Raskin
Dataset, October, 2020

heron.
[BibTeX]
[DOI]
Christoph Welzel
,
Javier Esparza
,
Mikhail A. Raskin
Dataset, July, 2020

ostrich.
[BibTeX]
[DOI]
Christoph Welzel
,
Javier Esparza
,
Mikhail A. Raskin
Dataset, February, 2020

ostrich.
[BibTeX]
[DOI]
Christoph Welzel
,
Javier Esparza
,
Mikhail A. Raskin
Dataset, February, 2020

Structural Invariants for the Verification of Systems with Parameterized Architectures.
[BibTeX]
[DOI]
Marius Bozga
,
Javier Esparza
,
Radu Iosif
,
Joseph Sifakis
,
Christoph Welzel
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019
Working with First Order Proofs and Provers.
[BibTeX]
[DOI]
Michael A. Raskin
,
Christoph Welzel
Proceedings of the 12th European Lisp Symposium (ELS 2019), 2019


  Loading...