Computational Space Efficiency and Minimal Model Generation for Guarded Formulae. - Lilia Georgieva; Ullrich Hustadt; Renate A. Schmidt (LPAR, 2001)

A New Clausal Class Decidable by Hyperresolution. - Lilia Georgieva; Ullrich Hustadt; Renate A. Schmidt (CADE, 2002)

On the relationship between decidable fragments, non-classical logics, and description logics. - Lilia Georgieva; Ullrich Hustadt; Renate A. Schmidt (Description Logics, 2002)

Hyperresolution for guarded formulae. - Lilia Georgieva; Ullrich Hustadt; Renate A. Schmidt (J. Symb. Comput., 2003)

Bounded Model Checking of Pointer Programs. - Witold Charatonik; Lilia Georgieva; Patrick Maier 001 (CSL, 2005)

Towards Using Description Logics for Symbolic Shape Analysis. - Lilia Georgieva; Patrick Maier 001 (Description Logics, 2005)

Description Logics for Shape Analysis. - Lilia Georgieva; Patrick Maier 001 (SEFM, 2005)

Inductive Reasoning for Shape Invariants. - Lilia Georgieva; Patrick Maier 001 (FTP, 2009)

Knowledge Management in Digital Economy. - Lilia Georgieva; Imran Zia (KES-AMSTA, 2009)

Domain Engineering for Automatic Analysis of Financial Applications of Cryptographic Protocols. - Lilia Georgieva (Financial Cryptography, 2010)

Modelling of security properties in Alloy. - Lilia Georgieva (PST, 2011)

Modelling Trusted Web Applications. - Mohammed Yahya Alzahrani; Lilia Georgieva (KES-AMSTA, 2012)

Modelling of Secure Data Transmission over a Multichannel Wireless Network in Alloy. - Aliaa M. Alabdali; Lilia Georgieva; Greg Michaelson (TrustCom, 2012)

Anomaly Detection Using Agglomerative Hierarchical Clustering Algorithm. - Fokrul Alom Mazarbhuiya; Mohammed Yahya Alzahrani; Lilia Georgieva (ICISA, 2018)

Issues in Gender Diversity and Equality in the UK. - Amel Bennaceur; Ampaeli Cano; Lilia Georgieva; Mariam Kiran; Maria Salama; Poonam Yadav (GE@ICSE, 2018)

Structural modeling and verification of web applications. - Mohammed Yahya Alzahrani; Lilia Georgieva (WIMS, 2018)

Ambient Assisted Living and Ambient Intelligence for Health. - Pino Caballero-Gil; Lilia Georgieva; Ljiljana Brankovic; Mike Burmester (Mob. Inf. Syst., 2018)