Publication

VAMP: a service for validating MPEG-7 descriptions w.r.t. to formal profile definitions Article

R. Troncy (Raphael), W. Bailer, M. Höffernig and M. Hausenblas

Monotonicity testing and shortest-path routing on the cube In Proceedings

J. Briët (Jop), S. Chakraborty (Sourav), D. Garcia Soriano (David) and A. Matsliah (Arie)

The Refinement of Choreographed Multi-Agent Systems In Proceedings

L. Astefanoaei (Lacramioara), F.S. de Boer (Frank) and M. Dastani

From One to Many Boxes: Mobile Devices as Primary and Secondary Screens Book Chapter

P.S. César Garcia (Pablo Santiago), D.C.A. Bulterman (Dick) and H. Knoche

CMCS'10 Short Contributions : 10th International Workshop on Coalgebraic Methods in Computer Science Proceedings

Sprites in varying air density: charge conservation, glowing negative trails and changing velocity. Article

A. Luque (Alejandro) and U. Ebert (Ute)

Pricing Higher-Dimensional American Options Using The Stochastic Grid Method Tech Report

S. Jain (Shashi) and C.W. Oosterlee (Kees)

Induced mathings in subcubic planar graphs In Proceedings

R.J. Kang (Ross), M. Mnich (Matthias) and T. Müller (Tobias)