Christoph Welzel

Orcid: 0000-0001-5583-0640

According to our database1, Christoph Welzel authored at least 5 papers between 2019 and 2022.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Computing Parameterized Invariants of Parameterized Petri Nets.
Fundam. Informaticae, 2022

Regular Model Checking Upside-Down: An Invariant-Based Approach.
Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021
Abduction of trap invariants in parameterized systems.
Proceedings of the Proceedings 12th International Symposium on Games, 2021

2020
Structural Invariants for the Verification of Systems with Parameterized Architectures.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019
Working with First Order Proofs and Provers.
Proceedings of the 12th European Lisp Symposium (ELS 2019), 2019


  Loading...