Lilia Georgieva (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Witold Charatonik, Lilia Georgieva, Patrick Maier: Bounded Model Checking of Pointer Programs. CSL 2005: 397-412

5 Lilia Georgieva, Patrick Maier: Towards Using Description Logics for Symbolic Shape Analysis. Description Logics 2005

4 Lilia Georgieva, Patrick Maier: Description Logics for Shape Analysis. SEFM 2005: 321-331

Selection of 3 from 7 records - Lilia Georgieva has 5 coauthors

6		Witold Charatonik, Lilia Georgieva, Patrick Maier: Bounded Model Checking of Pointer Programs. CSL 2005: 397-412
5		Lilia Georgieva, Patrick Maier: Towards Using Description Logics for Symbolic Shape Analysis. Description Logics 2005
4		Lilia Georgieva, Patrick Maier: Description Logics for Shape Analysis. SEFM 2005: 321-331