CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Recovering grammar relationships for the Java language specification Article
Software Quality Journal, 19(2), 333-378.March 2011
-
March 2011
-
Efficient tests for equivalence of hidden Markov processes and quantum random walks Article
IEEE Transactions on Information Theory, 57(3), 1746-1753.March 2011
-
Implicit relevance feedback from a multi-step search process: a use of query-logs In Proceedings
C. Boscarino (Corrado), A.P. de Vries (Arjen), V. Hollink (Vera) and J.R. van Ossenbruggen (Jacco)
March 2011
-
An exercise in coinduction: Moessner's theorem Tech Report
March 2011
-
A coalgebraic perspective on linear weighted automata Tech Report
F. Bonchi (Filippo), M.M. Bonsangue (Marcello), M. Boreale, J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)
March 2011
-
Context-free languages, coalgebraically Tech Report
J. Winter (Joost), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)
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.V. Hollink (Vera), T. Tsikrika (Theodora) and A.P. de Vries (Arjen)
March 2011