| |
| 2009 | ||
|---|---|---|
| 8 | EE | Olga Tveretina, Wieger Wesselink: EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas. Electr. Notes Theor. Comput. Sci. 225: 405-420 (2009) |
| 2008 | ||
| 7 | EE | Milad Niqui, Olga Tveretina: Modular Development of Hybrid Systems for Verification in Coq. HSCC 2008: 638-641 |
| 2007 | ||
| 6 | EE | Bahareh Badban, Jaco van de Pol, Olga Tveretina, Hans Zantema: Generalizing DPLL and satisfiability for equalities. Inf. Comput. 205(8): 1188-1211 (2007) |
| 2005 | ||
| 5 | EE | Jaco van de Pol, Olga Tveretina: A BDD-Representation for the Logic of Equality and Uninterpreted Functions. MFCS 2005: 769-780 |
| 2004 | ||
| 4 | EE | Olga Tveretina: A Decision Procedure for Equality Logic with Uninterpreted Functions. AISC 2004: 66-79 |
| 3 | EE | Olga Tveretina, Hans Zantema: A Proof System and a Decision Procedure for Equality Logic. LATIN 2004: 530-539 |
| 2003 | ||
| 2 | EE | Jan Friso Groote, Olga Tveretina: Binary decision diagrams for first-order predicate logic. J. Log. Algebr. Program. 57(1-2): 1-22 (2003) |
| 1998 | ||
| 1 | EE | Lilia Kashirova, Olga Tveretina: Entropy-Based Design of Low Power FSMs. EUROMICRO 1998: 10188-10191 |
| 1 | Bahareh Badban | [6] |
| 2 | Jan Friso Groote | [2] |
| 3 | Lilia Kashirova | [1] |
| 4 | Milad Niqui | [7] |
| 5 | Jaco van de Pol | [5] [6] |
| 6 | Wieger Wesselink | [8] |
| 7 | Hans Zantema | [3] [6] |