Centrum Wiskunde & Informatica

Dynamic Semantics Book Chapter

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

January 2010
Composing Models In Proceedings

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

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
Temporal logic control for piecewise-affine hybrid systems on polytopes In Proceedings

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

January 2010
Rational systems - Realization and identification Book Chapter

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

January 2010
Partial-realization of linear switched systems: A formal power series approach Tech Report

M. Petreczky (Mihaly) and J.H. van Schuppen (Jan)

January 2010
Distributed caching algorirthms for content distribution netowkrs In Proceedings

S.C. Borst (Sem), A. Gupta (Anupam) and A. Walid

January 2010
A tropical proof of the Brill-Noether Theorem Tech Report

F. Cools, J. Draisma (Jan), S. Payne and E. Robeva

January 2010

Previous

Next