dblp.uni-trier.dewww.uni-trier.de

Lilia Georgieva

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
6EEWitold Charatonik, Lilia Georgieva, Patrick Maier: Bounded Model Checking of Pointer Programs. CSL 2005: 397-412
5EELilia Georgieva, Patrick Maier: Towards Using Description Logics for Symbolic Shape Analysis. Description Logics 2005
4EELilia Georgieva, Patrick Maier: Description Logics for Shape Analysis. SEFM 2005: 321-331
2003
3EELilia Georgieva, Ullrich Hustadt, Renate A. Schmidt: Hyperresolution for guarded formulae. J. Symb. Comput. 36(1-2): 163-192 (2003)
2002
2EELilia Georgieva, Ullrich Hustadt, Renate A. Schmidt: A New Clausal Class Decidable by Hyperresolution. CADE 2002: 260-274
2001
1EELilia Georgieva, Ullrich Hustadt, Renate A. Schmidt: Computational Space Efficiency and Minimal Model Generation for Guarded Formulae. LPAR 2001: 85-99

Coauthor Index

1Witold Charatonik [6]
2Ullrich Hustadt [1] [2] [3]
3Patrick Maier [4] [5] [6]
4Renate A. Schmidt [1] [2] [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)