Lilia Georgieva

View Scopus Profile

Lilia Georgieva

Dr

  • EH14 4AS

    United Kingdom

20012024

Research activity per year

Filter
Conference contribution

Search results

  • 2024

    SDMANET: Enhancing MANETs with Hybrid Protocols through SDN Integration

    Saleh, R., Ibrahim, I. S., Georgieva, L. & Kenwright, B., 20 Mar 2024, 2024 International Conference on Artificial Intelligence, Computer, Data Sciences and Applications (ACDSA). IEEE, 10467333

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Citations (Scopus)
  • 2022

    Android Malware Detection Using Long Short Term Memory Recurrent Neural Networks

    Georgieva, L. & Lamarque, B., 2 Feb 2022, Proceedings of the International Conference on Applied CyberSecurity (ACS) 2021. Ragab Hassen, H. & Batatia, H. (eds.). Springer, p. 42-52 11 p. (Lecture Notes in Networks and Systems; vol. 378).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2018

    A New Framework for Personal Name Disambiguation

    Georgieva, L. & Buatongkue, S., 2 Nov 2018, Intelligent Computing: SAI 2018. Springer, p. 995-1009 15 p. (Advances in Intelligent Systems and Computing; vol. 858).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    49 Downloads (Pure)

  • Anomaly Detection Using Agglomerative Hierarchical Clustering Algorithm

    Mazarbhuiya, F. A., AlZahrani, M. Y. & Georgieva, L., 2018, Information Science and Applications 2018: ICISA 2018. Kim, K. J. & Baek, N. (eds.). Springer, p. 475-484 10 p. (Lecture Notes in Electrical Engineering; vol. 514).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    20 Citations (Scopus)
    681 Downloads (Pure)

  • Issues in Gender Diversity and Equality in the UK

    Bennaceur, A., Cano, A., Georgieva, L., Kiran, M., Salama, M. & Yadav, P., 28 May 2018, Proceedings of the 1st International Workshop on Gender Equality in Software Engineering. Association for Computing Machinery, p. 5-9 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    7 Citations (Scopus)
    374 Downloads (Pure)

  • Structural modeling and verification of web applications

    Alzahrani, M. & Georgieva, L., 25 Jun 2018, Proceedings of the 8th International Conference on Web Intelligence, Mining and Semantics. Association for Computing Machinery, 18

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2012

    Modelling of secure data transmission over a multichannel wireless network in alloy

    Alabdali, A. M., Georgieva, L. & Michaelson, G. J., 2012, 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) . IEEE, p. 785-792 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Modelling trusted web applications

    Alzahrani, M. Y. & Georgieva, L., 2012, Agent and multi-agent systems. Technologies and applications. Springer, Vol. 7327. p. 524-533 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2011

    Modelling of security properties in Alloy

    Georgieva, L., 2011, Ninth Annual Conference on Privacy, Security and Trust, PST 2011. IEEE, p. 52-54 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File
    180 Downloads (Pure)
  • 2010

    Domain engineering for automatic analysis of financial applications of cryptographic protocols

    Georgieva, L., 2010, Financial Cryptography and Data Security - 14th International Conference, FC 2010, Revised Selected Papers. Vol. 6052 LNCS. p. 428- (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6052 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2009

    Inductive reasoning for shape invariants

    Georgieva, L. & Maier, P., Jul 2009, Proceedings of the 7th International Workshop on First-Order Theorem Proving (FTP'09). Peltier, N. & Sofronie-Stokkermans, V. (eds.). Oslo: University of Oslo, p. 75-89 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Knowledge management in digital economy

    Georgieva, L. & Zia, I., 2009, Agent and Multi-Agent Systems: Technologies and Applications - Third KES International Symposium, KES-AMSTA 2009, Proceedings. Vol. 5559 LNAI. p. 705-713 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5559 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)

  • Simulation of knowledge management processes in multi-agent systems

    Georgieva, L. & Zia, I., 2009, Proceedings of the 10th European Conference on Knowledge Management, Università Degli Studi Di Padova, Vicenza, Italy 3-4 September 2009. p. 313 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2005

    Bounded model checking of pointer programs

    Charatonik, W., Georgieva, L. & Maier, P., Aug 2005, Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings. Ong, L. (ed.). Vol. 3634. p. 397-412 16 p. (Lecture Notes in Computer Science; vol. 3634).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Citations (Scopus)

  • Description logics for shape analysis

    Georgieva, L. & Maier, P., Sept 2005, 3rd IEEE International Conference on Software Engineering and Formal Methods: SEFM 2005; Koblenz, Germany, September 7-9, 2005; Proceedings. IEEE, p. 321-330 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    9 Citations (Scopus)
  • 2003

    Optimizing minimal Herbrand model generation procedures

    Georgieva, L., Baumgartner, P. & Fermueller, C., 2003, Proceedings of the Workshop on Model Computation - Principles, Algorithms, Applications: MODEL 2003. Vol. 19. p. 79-90 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution