Publication
-
Information distance in multiples Tech Report
May 2009
-
May 2009
-
Normalized Web Distance and Word Similarity Book Chapter
May 2009 -
A moving boundary problem motivated by electric breakdown, I: Spectrum of linear perturbations Article
Physica - D, Nonlinear Phenomena, 23(9-10), 888-901.May 2009
-
Solving Simple Stochastic Games with Few Random Vertices Article
Logical Methods in Computer Science, 5(2)May 2009
-
Optimal strategies in sequential bidding In Proceedings
May 2009
-
Modular Verification of Recursive Programs Book Chapter
May 2009
-
Coalgebraic Modelling: Applications in Automata Theory and Modal Logic Dissertation
Computer SecurityMay 2009