Publication
-
Efficient rare-event simulation for perpetuities Article
Stochastic Processes and their Applications, 3361-3392.January 2012 -
Defining context-free power series coalgebraically. In Proceedings
January 2012 -
A proof of Moessner's theorem by coinduction. Article
Higher-order and Symbolic Computation, 24(3), 191-206.January 2012 -
On the final coalgebra of automatic sequences. Book Chapter
January 2012 -
Rational Middle: Intelligent Networks, make them as smart as possible! Or not? Article
NRG Magazine, 20-21.January 2012 -
Control to facet by piecewise-affine output feedback Article
IEEE Transactions on Automatic Control, 2831-2843.January 2012 -
Polling systems with batch service Article
OR Spectrum, 743-761.January 2012 -
January 2012