iProver-Eq: An Instantiation-Based Theorem Prover with Equality. - Konstantin Korovin; Christoph Sticksel (IJCAR, 2010)

Labelled Unit Superposition Calculi for Instantiation-Based Reasoning. - Konstantin Korovin; Christoph Sticksel (LPAR (Yogyakarta), 2010)

EPR-Based Bounded Model Checking at Word Level. - Moshe Emmer; Zurab Khasidashvili; Konstantin Korovin; Christoph Sticksel; Andrei Voronkov (IJCAR, 2012)

The Kind 2 Model Checker. - Adrien Champion; Alain Mebsout; Christoph Sticksel; Cesare Tinelli (CAV (2), 2016)

Completeness and Consistency of Tabular Requirements: An SMT-Based Verification Approach. - Claudio Menghi; Eugene Balai; Darren Valovcin; Christoph Sticksel; Akshay Rajhans (IEEE Trans. Software Eng., 2025)