Publication
-
An exercise in coinduction: Moessner's theorem Tech Report
March 2011
-
Recovering grammar relationships for the Java language specification Article
Software Quality Journal, 19(2), 333-378.March 2011
-
Context-free languages, coalgebraically Tech Report
March 2011
-
Semantic search log analysis: a method and a study on professional image search Article
Journal of the American Society for Information Science and Technology, 62(4), 691-713.March 2011
-
March 2011
-
The Dissipation of Solar Wind Turbulent Fluctuations at Electron Scales Article
Astrophysical Journal, 730(2)March 2011
-
On Empirical Entropy Tech Report
March 2011 -
ReFER: Effective Relevance Feedback for Entity Ranking In Proceedings
April 2011