Bounded Model Checking of Incomplete Networks of Timed Automata. - Christian Miller; Karina Gitina; Christoph Scholl 001; Bernd Becker 001 (MTV, 2010)

Bounded Model Checking of Incomplete Real-time Systems Using Quantified SMT Formulas. - Christian Miller; Karina Gitina; Bernd Becker 001 (MTV, 2011)

Equivalence checking of partial designs using dependency quantified Boolean formulae. - Karina Gitina; Sven Reimer; Matthias Sauer 002; Ralf Wimmer 001; Christoph Scholl 001; Bernd Becker 001 (ICCD, 2013)

Equivalence Checking for Partial Implementations Revisited. - Karina Gitina; Sven Reimer; Matthias Sauer 002; Ralf Wimmer 001; Christoph Scholl 001; Bernd Becker 001 (MBMV, 2013)

Solving DQBF through quantifier elimination. - Karina Gitina; Ralf Wimmer 001; Sven Reimer; Matthias Sauer 002; Christoph Scholl 001; Bernd Becker 001 (DATE, 2015)

Preprocessing for DQBF. - Ralf Wimmer 001; Karina Gitina; Jennifer Nist; Christoph Scholl 001; Bernd Becker 001 (SAT, 2015)