1. Accurate Theorem Proving for Program Verification

Cook, Byron, Kröning, Daniel and Sharygina, Natasha (2005)

Reports

2. An algebraic algorithm for the identification of glass networks with periodic orbits along cyclic attractors

Zinovik, Igor, Chebiryak, Yury and Kröning, Daniel (2007)

Conference Contributions

3. An efficient SAT encoding of circuit codes

Chebiryak, Yury and Kröning, Daniel (2008)

Conference Contributions

4. Computing binary combinatorial gray codes via exhaustive search with SAT solvers

Zinovik, Igor, Kröning, Daniel and Chebiryak, Yury (2008)

Journal Items

5. Computing Over-Approximations with Bounded Model Checking

Kröning, Daniel (2005)

Reports

6. Finding lean induced cycles in binary hypercubes

Chebiryak, Yury, Wahl, Thomas, Haller, Leopold and Kröning, Daniel (2009)

Reports

7. Interpolant strength

D'Silva, Vijay, Kröning, Daniel, Purandare, Mitra and Weissenbacher, Georg (2009)

Reports

8. Linear Arithmetic with Bit-Vectors using Omega and SAT

Kröning, Daniel (2005)

Reports

9. Periodic orbits and equilibria in glass models for gene regulatory networks

Zinovik, Igor, Chebiryak, Yury and Kröning, Daniel (2009)

Reports

10. Qualitätssicherung im Systembau

Kröning, Daniel (2005)

Videos

11. Symbolic model checking for asynchronous Boolean programs

Cook, Byron, Kröning, Daniel and Sharygina, Natasha (2005)

Reports

12. Towards a classification of Hamiltonian cycles in the 6-cube

Chebiryak, Yury and Kröning, Daniel (2008)

Reports

13. Verifying C++ with STL Containers via Predicate Abstraction

Blanc, Nicolas, Kröning, Daniel and Groce, Alex (2006)

Reports