Centrum Wiskunde & Informatica

Ta2 Software

A.J. Jansen (Jack)

January 2007
Behavioural differential equations and coinduction for binary trees Tech Report

A.M. Silva (Alexandra) and J.J.M.M. Rutten (Jan)

January 2007
Prefix reversals on binary and ternary strings Article

SIAM Journal on Discrete Mathematics, 21(3), 592-611.

C.A.J. Hurkens (Cor), L.J.J. van Iersel (Leo), J.C.M. Keijsper, S.M. Kelk (Steven), L. Stougie (Leen) and J.T. Tromp (John)

January 2007
Understanding experts' information seeking needs: a user study in the cultural heritage domain Tech Report

A.K. Amin (Alia), J.R. van Ossenbruggen (Jacco), L. Hardman (Lynda) and A. van Nispen

January 2007
Achieving Discrete Relative Timing with Untimed Process Algebra In Proceedings

A.J. Wijs (Anton)

January 2007
On geometric graph Ramsey numbers Article

Graphs and Combinatorics, 25(3), 351-363.

G. Karolyi (Gyula) and V. Rosta

January 2007
Computational Depth of Infinite Strings Revisited In Proceedings

L.F. Antunes (Luis), A. Costa, A. Matos and P.M.B. Vitányi (Paul)

January 2007
A Query Language for a Data Refinery Cell In Proceedings

M.L. Kersten (Martin), E. Liarou (Erietta) and R.A. Pereira Goncalves (Romulo Antonio)

January 2007

Previous

Next