Valentin Krasotin

According to our database, Valentin Krasotin authored at least 2 papers in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Resolution-Based Interactive Proof System for UNSAT.

Philipp Czerner, Javier Esparza, Valentin Krasotin

Proceedings of the Foundations of Software Science and Computation Structures, 2024

Computing Inductive Invariants of Regular Abstraction Frameworks.

Philipp Czerner, Javier Esparza, Valentin Krasotin, Christoph Welzel-Mohr

Proceedings of the 35th International Conference on Concurrency Theory, 2024