Centrum Wiskunde & Informatica

Calculating Invariants as Coreflexive Bisimulations In Proceedings

L.S. Barbosa, J.N. Oliveira (José) and A.M. Silva (Alexandra)

January 2008
Reconfiguration Distributed Reo Connectors In Proceedings

C. Krause (born Köhler) (Christian), F. Arbab (Farhad) and E.P. de Vink (Erik)

January 2008
Applying data mining to the study of Joseki In Proceedings

M. Helvensteijn (Michiel)

January 2008
Static Check of WSCDL Documents In Proceedings

L. Zhou, H. Zhang (Haoyuan), T. Wang (Tao), C. Yang, Z. Wang, M. Sun (Meng) and G. Pu (Geguang)

January 2008
On the Bahadur-efficient testing of unifor-On the Bahadur-efficient testing of uniformity by means of the entropy. Article

IEEE Transactions on Information Theory, 54(1), 321-331.

P. Harremoës (Peter) and I. Vajda

January 2008
State-dependent importance sampling for a slowdown tandem queue In Proceedings

D.I. Miretskiy, W.R.W. Scheinhardt (Werner) and M.R.H. Mandjes (Michel)

January 2008
Synthesis of Connectors from Scenario-based Interaction Specifications In Proceedings

F. Arbab (Farhad) and M. Sun (Meng)

January 2008
Online Transportation and Logistics using Computationally Intelligent Anticipation Book Chapter

P.A.N. Bosman (Peter) and J.A. La Poutré (Han)

January 2008

Previous

Next