| 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 |
