Centrum Wiskunde & Informatica

Secret-key certificates Tech Report

S.A. Brands (Stefan)

January 1995
Restrictive blinding of secret-key certificates Tech Report

S.A. Brands (Stefan)

January 1995
Ntyft/ntyxt rules reduce to ntree rules Tech Report

W.J. Fokkink (Wan) and R.J. van Glabbeek (Rob)

January 1995
Elements of generalized ultrametric domain theory Tech Report

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

January 1995
Off-line electronic cash based on secret-key certificates Tech Report

S.A. Brands (Stefan)

January 1995
Weak orthogonality implies confluence : the higher-order case Tech Report

V. van Oostrom (Vincent) and F. van Raamsdonk (Femke)

January 1995
Control of discrete event systems : research at the interface of control theory and computer science Tech Report

A.A.F. Overkamp (Ard) and J.H. van Schuppen (Jan)

January 1995
Connections between semidefinite relaxations of the max-cut and stable set problems Tech Report

M. Laurent (Monique), S. Poljak and F. Rendl (Franz)

January 1995

Previous

Next