Lilia Georgieva

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