| 2016 | SAT | The QBF Solver AIGSolve. | Christoph Scholl, Florian Pigorsch |
| 2014 | DATE | Simple interpolants for linear arithmetic. | Christoph Scholl, Florian Pigorsch, Stefan Disch, Ernst Althaus |
| 2013 | DATE | Lemma localization: a practical method for downsizing SMT-interpolants. | Florian Pigorsch, Christoph Scholl |
| 2011 | CAV | Fully Symbolic Model Checking for Timed Automata. | Georges Morb, Florian Pigorsch, Christoph Scholl |
| 2011 | DATE | Integration of orthogonal QBF solving techniques. | Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker |
| 2010 | DAC | An AIG-Based QBF-solver using SAT for preprocessing. | Florian Pigorsch, Christoph Scholl |
| 2009 | DATE | Exploiting structure in an AIG based QBF solver. | Florian Pigorsch, Christoph Scholl |
| 2009 | TACAS | Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints. | Christoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid |
| 2007 | ATVA | Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space. | Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz |
| 2006 | ATVA | Automatic Verification of Hybrid Systems with Large Discrete State Space. | Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz |
| 2006 | FMCAD | Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling. | Florian Pigorsch, Christoph Scholl, Stefan Disch |