Lilia Georgieva

According to our database, Lilia Georgieva authored at least 17 papers between 2001 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

Ambient Assisted Living and Ambient Intelligence for Health.

Pino Caballero-Gil, Lilia Georgieva, Ljiljana Brankovic, Mike Burmester

Mob. Inf. Syst., 2018

Structural modeling and verification of web applications.

Mohammed Yahya Alzahrani, Lilia Georgieva

Proceedings of the 8th International Conference on Web Intelligence, Mining and Semantics, 2018

Issues in Gender Diversity and Equality in the UK.

Amel Bennaceur, Ampaeli Cano, Lilia Georgieva, Mariam Kiran, Maria Salama, Poonam Yadav

Proceedings of the 2018 IEEE/ACM 1st International Workshop on Gender Equality in Software Engineering, 2018

Anomaly Detection Using Agglomerative Hierarchical Clustering Algorithm.

Fokrul Alom Mazarbhuiya, Mohammed Yahya Alzahrani, Lilia Georgieva

Proceedings of the Information Science and Applications 2018, 2018

2012

Modelling of Secure Data Transmission over a Multichannel Wireless Network in Alloy.

Aliaa M. Alabdali, Lilia Georgieva, Greg Michaelson

Proceedings of the 11th IEEE International Conference on Trust, 2012

Modelling Trusted Web Applications.

Mohammed Yahya Alzahrani, Lilia Georgieva

Proceedings of the Agent and Multi-Agent Systems. Technologies and Applications, 2012

2011

Modelling of security properties in Alloy.

Lilia Georgieva

Proceedings of the Ninth Annual Conference on Privacy, Security and Trust, 2011

2010

Domain Engineering for Automatic Analysis of Financial Applications of Cryptographic Protocols.

Lilia Georgieva

Proceedings of the Financial Cryptography and Data Security, 14th International Conference, 2010

2009

Knowledge Management in Digital Economy.

Lilia Georgieva, Imran Zia

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2009

Inductive Reasoning for Shape Invariants.

Lilia Georgieva, Patrick Maier

Proceedings of the 7th International Workshop on First-Order Theorem Proving, 2009

2005

Description Logics for Shape Analysis.

Lilia Georgieva, Patrick Maier

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Towards Using Description Logics for Symbolic Shape Analysis.

Lilia Georgieva, Patrick Maier

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Bounded Model Checking of Pointer Programs.

Witold Charatonik, Lilia Georgieva, Patrick Maier

Proceedings of the Computer Science Logic, 19th International Workshop, 2005

2003

Hyperresolution for guarded formulae.

Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt

J. Symb. Comput., 2003

2002

On the relationship between decidable fragments, non-classical logics, and description logics.

Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt

Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

A New Clausal Class Decidable by Hyperresolution.

Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt

Proceedings of the Automated Deduction, 2002

2001

Computational Space Efficiency and Minimal Model Generation for Guarded Formulae.

Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt

Proceedings of the Logic for Programming, 2001