2006 |
3 | | Benjamin Markines,
Lubomira Stoilova,
Filippo Menczer:
Bookmark Hierarchies and Collaborative Recommendation.
AAAI 2006 |
2002 |
2 | EE | Joshua S. Hodas,
Pablo López,
Jeffrey Polakow,
Lubomira Stoilova,
Ernesto Pimentel:
A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming.
CSL 2002: 167-182 |
1 | EE | Pablo López,
Ernesto Pimentel,
Joshua S. Hodas,
Jeffrey Polakow,
Lubomira Stoilova:
Isolating Resource Consumption in Linear Logic Proof Search.
Electr. Notes Theor. Comput. Sci. 70(2): (2002) |