Centrum Wiskunde & Informatica

Publications by Year

sign in

Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands

The bakery protocol : a comparitive case-study in formal verification Tech Report

W.O.D. Griffioen and H.P. Korver

January 1995
Proof-checking an audio control protocol with LP Tech Report

W.O.D. Griffioen

January 1995
Entropy conditions for heterogeneity induced shocks in two-phase flow problems Tech Report

J. Molenaar (Gijs)

January 1995
Partial logics with two kinds of negation as a foundation for knowledge-based reasoning Tech Report

H. Herre, J.O.M. Jaspars and G. Wagner

January 1995
Multi-authority secret-ballot elections with linear work Tech Report

R.J.F. Cramer (Ronald), M. Franklin, L.A.M. Schoenmakers (Berry) and M. Yung (Moti)

January 1995
On a class of one-dimensional random walks Tech Report

O.J. Boxma (Onno) and V.I. Lotov

January 1995
LGO : an implementation of a Lipschitzian global optimization procedure Tech Report

J.D. Pintér

January 1995
Primes in the doubly stochastic circulants Tech Report

G. Picci, J.M. van den Hof and J.H. van Schuppen (Jan)

January 1995

Previous

Next

Address
- Centrum Wiskunde & Informatica
- Science Park 123 | 1098 XG Amsterdam | the Netherlands

CWI researchers
- Register Your Work
Questions or comments?
- repository@cwi.nl

Workflow

Workflow

Add Content

User Publication Person Organisation Collection

Close