Lilia Georgieva

Publication Activity (10 Years)

Years Active: 2000-2018
Publications (10 Years): 4

Top Topics

Agglomerative Hierarchical Clustering

Ambient Intelligence

Web Applications

Web Application Development

Top Venues

Mob. Inf. Syst.

Publications

Pino Caballero-Gil, Lilia Georgieva, Ljiljana Brankovic, Mike Burmester
Ambient Assisted Living and Ambient Intelligence for Health. Mob. Inf. Syst. 2018 (2018)
Amel Bennaceur, Ampaeli Cano, Lilia Georgieva, Mariam Kiran, Maria Salama, Poonam Yadav
Issues in Gender Diversity and Equality in the UK. GE@ICSE (2018)
Mohammed Yahya Alzahrani, Lilia Georgieva
Structural modeling and verification of web applications. WIMS (2018)
Fokrul Alom Mazarbhuiya, Mohammed Yahya Alzahrani, Lilia Georgieva
Anomaly Detection Using Agglomerative Hierarchical Clustering Algorithm. ICISA (2018)
Mohammed Yahya Alzahrani, Lilia Georgieva
Modelling Trusted Web Applications. KES-AMSTA (2012)
Aliaa M. Alabdali, Lilia Georgieva, Greg Michaelson
Modelling of Secure Data Transmission over a Multichannel Wireless Network in Alloy. TrustCom (2012)
Lilia Georgieva
Modelling of security properties in Alloy. PST (2011)
Lilia Georgieva
Domain Engineering for Automatic Analysis of Financial Applications of Cryptographic Protocols. Financial Cryptography (2010)
Lilia Georgieva, Patrick Maier
Inductive Reasoning for Shape Invariants. FTP (2009)
Lilia Georgieva, Imran Zia
Knowledge Management in Digital Economy. KES-AMSTA (2009)
Lilia Georgieva, Patrick Maier
Description Logics for Shape Analysis. SEFM (2005)
Witold Charatonik, Lilia Georgieva, Patrick Maier
Bounded Model Checking of Pointer Programs. CSL (2005)
Lilia Georgieva, Patrick Maier
Towards Using Description Logics for Symbolic Shape Analysis. Description Logics (2005)
Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt
Hyperresolution for guarded formulae. J. Symb. Comput. 36 (1-2) (2003)
Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt
A New Clausal Class Decidable by Hyperresolution. CADE (2002)
Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt
On the relationship between decidable fragments, non-classical logics, and description logics. Description Logics (2002)
Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt
Computational Space Efficiency and Minimal Model Generation for Guarded Formulae. LPAR (2001)
Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt
Hyperresolution for Guarded Formulae. ARW (2000)