The Data Cyclotron query processing scheme. Article

R.A. Pereira Goncalves (Romulo Antonio) and M.L. Kersten (Martin)

Dynamic profit optimization for composite Web services with SLA's In Proceedings

M. Zivkovic, J.W. Bosman (Joost), J.L. van den Berg (Hans), H.B. Meeuwissen, R.D. van der Mei (Rob) and R. Núñez Queija (Rudesindo)

The Robust Price of Anarchy of Altruistic Games In Proceedings

P. Chen (Po-An), B. de Keijzer (Bart), D. Kempe and G. Schäfer (Guido)

Advanced topics in bisimulation and coinduction Book

The Gram dimension of a graph Tech Report

M. Laurent (Monique) and A. Varvitsiotis (Antonios)

Brzozowski's algorithm (co)algebraically Tech Report

F. Bonchi (Filippo), M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

Automatic equivalence proofs for non-deterministic coalgebras (revised and extended) Tech Report

M.M. Bonsangue (Marcello), G. Caltais (Georgiana), E. Goriac, D. Lucanu (Dorel), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

High order fluid model for ionization fronts in streamer discharges In Proceedings