 | 2011 |
|---|
| 9 |       | Lilia Georgieva:
Modelling of security properties in Alloy.
PST 2011: 52-54 |
| 2010 |
|---|
| 8 | | Lilia Georgieva:
Domain Engineering for Automatic Analysis of Financial Applications of Cryptographic Protocols.
Financial Cryptography 2010: 428 |
| 2009 |
|---|
| 7 | | Lilia Georgieva,
Imran Zia:
Knowledge Management in Digital Economy.
KES-AMSTA 2009: 705-713 |
| 2005 |
|---|
| 6 | | Witold Charatonik,
Lilia Georgieva,
Patrick Maier:
Bounded Model Checking of Pointer Programs.
CSL 2005: 397-412 |
| 5 | | Lilia Georgieva,
Patrick Maier:
Towards Using Description Logics for Symbolic Shape Analysis.
Description Logics 2005 |
| 4 | | Lilia Georgieva,
Patrick Maier:
Description Logics for Shape Analysis.
SEFM 2005: 321-331 |
| 2003 |
|---|
| 3 | | Lilia Georgieva,
Ullrich Hustadt,
Renate A. Schmidt:
Hyperresolution for guarded formulae.
J. Symb. Comput. 36(1-2): 163-192 (2003) |
| 2002 |
|---|
| 2 | | Lilia Georgieva,
Ullrich Hustadt,
Renate A. Schmidt:
A New Clausal Class Decidable by Hyperresolution.
CADE 2002: 260-274 |
| 2001 |
|---|
| 1 | | Lilia Georgieva,
Ullrich Hustadt,
Renate A. Schmidt:
Computational Space Efficiency and Minimal Model Generation for Guarded Formulae.
LPAR 2001: 85-99 |
Data released under the ODC-BY 1.0 license — See also our legal information page