Centrum Wiskunde & Informatica

Verification of an algorithm for log-time sorting by square comparison Book Chapter

J.C. Mulder and W.P. Weijland

January 1990
Correctness proofs for systolic algorithms: palindromes and sorting Book Chapter

L. Kossen and W.P. Weijland

January 1990
Acyclic programs (extended abstract) In Proceedings

K.R. Apt (Krzysztof) and M.A. Bezem

January 1990
Kolmogorov complexity and its applications Book Chapter

M. Li (Ming) and P.M.B. Vitányi (Paul)

January 1990
Reactive, generative, and stratified models of probabilistic processes In Proceedings

R.J. van Glabbeek (Rob), S.A. Smolka, B. Steffen and C.M.N. Tofts

January 1990
Three logics for branching bisimulation In Proceedings

R. de Nicola and F.W. Vaandrager (Frits)

January 1990
A Method for the Acquisition of Formalized Knowledge in Pathology Article

Methods of Information in Medicine, 29(3), 182-192.

A.M. van Ginneken, W. Jansen, A.W.M. Smeulders (Arnold), J. van der Lei and J.P.A. Baak

January 1990
Automated Estimation of Epithelial Volume in Breast Cancer Sections: A Comparison with the Image Processing Steps Applied to Gynecologic Tumors Article

Pathology Research and Practice, 186(6), 737-744.

N. Schipper, A.W.M. Smeulders (Arnold) and J.P.A. Baak

January 1990

Previous

Next