2005 |
6 | EE | Witold Charatonik,
Lilia Georgieva,
Patrick Maier:
Bounded Model Checking of Pointer Programs.
CSL 2005: 397-412 |
5 | EE | Lilia Georgieva,
Patrick Maier:
Towards Using Description Logics for Symbolic Shape Analysis.
Description Logics 2005 |
4 | EE | Lilia Georgieva,
Patrick Maier:
Description Logics for Shape Analysis.
SEFM 2005: 321-331 |
2003 |
3 | EE | Lilia Georgieva,
Ullrich Hustadt,
Renate A. Schmidt:
Hyperresolution for guarded formulae.
J. Symb. Comput. 36(1-2): 163-192 (2003) |
2002 |
2 | EE | Lilia Georgieva,
Ullrich Hustadt,
Renate A. Schmidt:
A New Clausal Class Decidable by Hyperresolution.
CADE 2002: 260-274 |
2001 |
1 | EE | Lilia Georgieva,
Ullrich Hustadt,
Renate A. Schmidt:
Computational Space Efficiency and Minimal Model Generation for Guarded Formulae.
LPAR 2001: 85-99 |