Lilia Georgieva
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
2001–2018
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ICSE | Issues in Gender Diversity and Equality in the UK. | Amel Bennaceur, Ampaeli Cano, Lilia Georgieva, Mariam Kiran, Maria Salama, Poonam Yadav |
| 2012 | TrustCom | Modelling of Secure Data Transmission over a Multichannel Wireless Network in Alloy. | Aliaa M. Alabdali, Lilia Georgieva, Greg Michaelson |
| 2011 | PST | Modelling of security properties in Alloy. | Lilia Georgieva |
| 2010 | FC | Domain Engineering for Automatic Analysis of Financial Applications of Cryptographic Protocols. | Lilia Georgieva |
| 2005 | CSL | Bounded Model Checking of Pointer Programs. | Witold Charatonik, Lilia Georgieva, Patrick Maier |
| 2005 | SEFM | Description Logics for Shape Analysis. | Lilia Georgieva, Patrick Maier |
| 2002 | CADE | A New Clausal Class Decidable by Hyperresolution. | Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt |
| 2001 | LPAR | Computational Space Efficiency and Minimal Model Generation for Guarded Formulae. | Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt |