Centrum Wiskunde & Informatica

Reo + mCRL2: A Framework for Model-Checking Dataflow in Service Compositions Article

Formal Aspects of Computing, 187-216.

N. Kokash (Natallia), C. Krause (born Köhler) (Christian) and E.P. de Vink (Erik)

January 2012
StochPy: A Stochastic modelling tool for Python Software

T.R. Maarleveld (Timo), B.E. Olivier and F.J. Bruggeman (Frank)

January 2012
Towards truly integrated modelling in Systems Biology Developing the Software and Standards Presentation

B.E. Olivier, M. Swat, K.J. Wolstencroft, J.L. Snoep, J. Boele (Joost) and T.R. Maarleveld (Timo)

January 2012
Composition methods, Maxwell's equations, and source terms Article

SIAM Journal on Numerical Analysis, 50(2), 439-457.

J.G. Verwer (Jan)

January 2012
Socially-Aware Multimedia In Proceedings

P.S. César Garcia (Pablo Santiago), D.A. Shamma (Ayman), D. Williams (Doug) and C. Snoek

January 2012
Unsupervised Classification of SAR Images using Hierarchical Agglomeration and EM In Proceedings

K. Kayabol (Koray), V. Krylov and J. Zerubia

January 2012
See what's enBlogue: real-time emergent topic identification in social media In Proceedings

F. Alvanaki (Foteini), S. Michel, K. Ramamritham and G. Weikum

January 2012
The role of forcing and internal dynamics in explaining the ‘‘Medieval Climate Anomaly’’ Article

Climate Dynamics, 2847-2866.

H. Goosse, E. Crespin, S. Dubinkina (Svetlana) and M.-F. Loutre

January 2012

Previous

Next