Centrum Wiskunde & Informatica

Model explains features of sprites, Editor's Highlight in Geophysical Research Letters, March 30, 2010. Magazine Article

U. Ebert (Ute)

March 2010
The data cyclotron query processing scheme In Proceedings

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

March 2010
Data-Aware Design and Verification of Service Compositions with Reo and mCRL2 In Proceedings

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

March 2010
A Unified Toolset for Business Process Model Formalization In Proceedings

B. Changizi (Behnaz), N. Kokash (Natallia) and F. Arbab (Farhad)

March 2010
Database Architecture (R)evolution:New Hardware vs. New Software In Proceedings

S. Harizopoulos, T. Argyros, P.A. Boncz (Peter), D. Dietterich, S. Madden (Samuel) and F. Waas (Florian)

March 2010
Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions Tech Report

H.H. Hansen (Helle) and J.J.M.M. Rutten (Jan)

March 2010
Automated interactive sales processes Article

IEEE Intelligent systems, PP(99), 1-1.

T.B. Klos (Tomas), D.J.A. Somefun (Koye) and J.A. La Poutré (Han)

March 2010
Playing with Information Dissertation

Networks and Optimization

J.A. Zvesper (Jonathan)

March 2010

Previous

Next