Publications
2005. RDF aggregate queries and views. Data Engineering, 2005. ICDE 2005. Proceedings. 21st International Conference on. :717-728.
1996. Efficient model checking via the equational μ-calculus. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :304-312.