BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Germany
1 × United Kingdom
Collaborated with:
P.Maier W.Charatonik U.Hustadt R.A.Schmidt
Talks about:
hyperresolut (1) descript (1) program (1) pointer (1) clausal (1) analysi (1) shape (1) model (1) logic (1) decid (1)

Person: Lilia Georgieva

DBLP DBLP: Georgieva:Lilia

Contributed to:

CSL 20052005
SEFM 20052005
CADE 20022002

Wrote 3 papers:

CSL-2005-CharatonikGM #bound #model checking #pointer #source code
Bounded Model Checking of Pointer Programs (WC, LG, PM), pp. 397–412.
SEFM-2005-GeorgievaM #analysis #logic
Description Logics for Shape Analysis (LG, PM), pp. 321–331.
CADE-2002-GeorgievaHS #decidability
A New Clausal Class Decidable by Hyperresolution (LG, UH, RAS), pp. 260–274.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.