Publication

Smart Energy Systems Article

Proceedings of the 2013 IEEE Conference on Computational Intelligence for Financial Engineering & Economics (CIFEr) Book

Language constructs for non-well-founded computations In Proceedings

J. Jeannin, D. Kozen and A.M. Silva (Alexandra)

Well-founded coalgebras, revisited Tech Report

J. Jeannin, D. Kozen and A.M. Silva (Alexandra)

A coalgebraic view of epsilon-transitions In Proceedings

A.M. Silva (Alexandra) and B. Westerbaan (Bas)

Steady-state analysis for multi-server queues under size-based task assignment in the Quality-Driven regime Article

B. Zhang (Bo) and A.P. Zwart (Bert)

Brzozowski's and up-to algorithms for must testing In Proceedings

F. Bonchi (Filippo), G. Caltais (Georgiana), D. Pous (Damien) and A.M. Silva (Alexandra)

Scaling limits via excursion theory: Interplay between Crump-Mode-Jagers branching processes and Processor-Sharing queues Article

A. Lambert, F.B.R.A. Simatos (Florian) and A.P. Zwart (Bert)