Publication
-
Continuous RDF Query Processing over DHTs In Proceedings
January 2007 -
January 2007
-
January 2007
-
Optimal semicomputable approximations to reachable and invariant sets Article
ACM Transactions on Computer Systems, 41(1), 33-48.January 2007
-
January 2007
-
A hybrid PKI-IBC based ephemerizer system In Proceedings
January 2007 -
Pruning state spaces with extended beam search In Proceedings
January 2007 -
Special Issue on Expressivity Article
Theoretical Computer Science, 167-168.January 2007