Centrum Wiskunde & Informatica

Synthesis of Connectors from Scenario-based Interaction Specifications In Proceedings

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

January 2008
Modular Development of Hybrid Systems for Verification in Coq In Proceedings

M. Niqui (Milad) and O. Tveretina

January 2008
Post-proceedings of the second International Workshop on the Foundations of Interactive Computation Proceedings

January 2008
Some New Maximal Inequalities Article

Statistics and Probability Letters, 16(16), 2776-2780.

P. Harremoës (Peter)

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
Modular control of discrete-event systems with coalgebra Article

IEEE Transactions on Automatic Control, 447-460.

J. Komenda and J.H. van Schuppen (Jan)

January 2008
Rational streams coalgebraically Article

Logical Methods in Computer Science, 4(3)

J.J.M.M. Rutten (Jan)

January 2008
Optimal Embeddings of Distance Regular Graphs into Euclidean Spaces Article

Journal of Combinatorial Theory - Series B, 95-104.

F. Vallentin (Frank)

January 2008

Previous

Next