Centrum Wiskunde & Informatica

Some Results on Derandomization Article

Theory of Computing Systems, 38(2), 211-227.

H.M. Buhrman (Harry), L. Fortnow (Lance) and A. Pavan

January 2005
A BDD-representation for the logic of equality and uninterpreted functions In Proceedings

J.C. van de Pol (Jaco) and O. Tveretina

January 2005
Dealing with non-local choice in IEEE 1073.2's standard for remote control In Proceedings

A.J. Mooij (Arjan) and N. Goga (Nicolae)

January 2005
That Obscure Object of Desire: Multimedia Metadata on the Web (Part II) Article

IEEE MultiMedia, 12(1), 54-63.

F.-M. Nack (Frank), J.R. van Ossenbruggen (Jacco) and L. Hardman (Lynda)

January 2005
Parameterised boolean equation systems Article

Theoretical Computer Science, 343(3), 332-369.

J.F. Groote (Jan Friso) and T.A.C. Willemse

January 2005
Updating the Pre/Post Plane in MonetDB/XQuery In Proceedings

P.A. Boncz (Peter), S. Manegold (Stefan) and J. Rittinger

January 2005
Lock-free parallel garbage collection In Proceedings

H. Gao, J.F. Groote (Jan Friso) and W.H. Hesselink (Wim)

January 2005
Timing Games and Shared Memory In Proceedings

Z. Lotker (Zvi), B. Patt-Shamir and M.R. Tuttle

January 2005

Previous

Next