A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming. - Joshua S. Hodas; Pablo López; Jeffrey Polakow; Lubomira Stoilova; Ernesto Pimentel 001 (CSL, 2002)

Isolating Resource Consumption in Linear Logic Proof Search. - Pablo López; Ernesto Pimentel 001; Joshua S. Hodas; Jeffrey Polakow; Lubomira Stoilova (LFM, 2002)

GiveALink: mining a semantic network of bookmarks for web search and recommendation. - Lubomira Stoilova; Todd Holloway; Benjamin Markines; Ana Gabriela Maguitman; Filippo Menczer (LinkKDD, 2005)

Bookmark Hierarchies and Collaborative Recommendation. - Benjamin Markines; Lubomira Stoilova; Filippo Menczer (AAAI, 2006)