Centrum Wiskunde & Informatica

Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap In Proceedings

F. Dechesne (Francien), M.R. Mousavi and S.-M. Orzan (Simona-Mihaela)

January 2007
Modeling and verifying a Real-Life Industrial Session-Layer Protocol in $\mu$CRL2. Tech Report

Y.S. Usenko (Yaroslav), R. Schreurs (Rene), S. ten Hoedt (Stefan) and M.C.J.D. van Eekelen (Marko)

January 2007
An efficient multigrid solver for a reformulated version of the poroelasticity system Article

Computer Methods in Applied Mechanics and Engineering, 1447-1457.

C.W. Oosterlee (Kees), F.J. Gaspar (Francisco), F.J. Lisbona and P.N. Vabishchevich

January 2007
Adaptive Patient Scheduling with Dynamic Resource Usage Article

ERCIM News, 53-54.

I.B. Vermeulen (Ivan), S.M. Bohte (Sander) and J.A. La Poutré (Han)

January 2007
Adaptive Agents in Complex Negotiation Games Article

Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica, 14-27.

V. Robu (Valentin), D.J.A. Somefun (Koye) and J.A. La Poutré (Han)

January 2007
Assessing the efficiency of resource allocations in bandwidth-sharing networks Tech Report

I.M. Verloop (Maaike) and R. Núñez Queija (Rudesindo)

January 2007
Expressivity of finitary coalgebraic logics Article

Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica

C.A. Kupke (Clemens)

January 2007
Aiding Human Reliance Decision Making Using Computational Models of Trust In Proceedings

P.-P. van Maanen, T.B. Klos (Tomas) and K. van Dongen

January 2007

Publication

Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap In Proceedings

Modeling and verifying a Real-Life Industrial Session-Layer Protocol in $\mu$CRL2. Tech Report

An efficient multigrid solver for a reformulated version of the poroelasticity system Article

Adaptive Patient Scheduling with Dynamic Resource Usage Article

Adaptive Agents in Complex Negotiation Games Article

Assessing the efficiency of resource allocations in bandwidth-sharing networks Tech Report

Expressivity of finitary coalgebraic logics Article

Aiding Human Reliance Decision Making Using Computational Models of Trust In Proceedings

Address

CWI researchers

Questions or comments?

Publication

Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap In Proceedings

Modeling and verifying a Real-Life Industrial Session-Layer Protocol in $\mu$CRL2. Tech Report

An efficient multigrid solver for a reformulated version of the poroelasticity system Article

Adaptive Patient Scheduling with Dynamic Resource Usage Article

Adaptive Agents in Complex Negotiation Games Article

Assessing the efficiency of resource allocations in bandwidth-sharing networks Tech Report

Expressivity of finitary coalgebraic logics Article

Aiding Human Reliance Decision Making Using Computational Models of Trust In Proceedings

Workflow

Workflow

Add Content