Centrum Wiskunde & Informatica

The number of bits needed to represent a unit disk graph In Proceedings

C.J.H. McDiarmid (Colin) and T. Müller (Tobias)

January 2010
Spatial point process theory Book Chapter

M.N.M. van Lieshout (Marie-Colette)

January 2010
Rational systems - Realization and identification Book Chapter

J. Nemcová (Jana) and J.H. van Schuppen (Jan)

January 2010
Temporal logic control for piecewise-affine hybrid systems on polytopes In Proceedings

L.C.G.J.M. Habets (Luc) and C. Belta

January 2010
Logic of Information Flow on Communication Channels (Extended Version) Book Chapter

D.J.N. van Eijck (Jan), F.A.G. Sietsma (Floor) and Y. Wang (Yanjing)

January 2010
Composing Models In Proceedings

D.J.N. van Eijck (Jan), F.A.G. Sietsma (Floor) and Y. Wang (Yanjing)

January 2010
Dynamic Semantics Book Chapter

D.J.N. van Eijck (Jan) and A. Visser

January 2010
Multi-agent Belief Revision with Linked Plausibilities Book Chapter

D.J.N. van Eijck (Jan) and F.A.G. Sietsma (Floor)

January 2010

Previous

Next