Centrum Wiskunde & Informatica

Reductions to the set of random strings: The resource-bounded case Article

Logical Methods in Computer Science

E. Allender, H.M. Buhrman (Harry), L. Friedman and B. S. Loff Barreto (Bruno Serra)

January 2014
Applying Spatial Computing to Everyday Interactive Designs In Proceedings

S.O. Dulman (Stefan) and C. Kievid

January 2014
Spatial computing in interactive architecture Book Chapter

S.O. Dulman (Stefan)

January 2014
Implicit Particle-in-Cell simulations of wave-particle interactions between electrons and whistler waves in the radiation belt In Proceedings

E. Camporeale (Enrico)

January 2014
Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study Book Chapter

C.P.T. de Gouw (Stijn), F.S. de Boer (Frank), E.B. Johnsen (Einar Broch), A. Kohn (André) and P.Y.H. Wong

January 2014
Algebra-coalgebra duality in Brzozowski's minimization algorithm Article

ACM Transactions on Computational Logic, 15(1)

F. Bonchi (Filippo), M.M. Bonsangue (Marcello), H.H. Hansen (Helle), P. Panangaden, J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

January 2014
Strong completeness for iteration-free coalgebraic dynamic logics In Proceedings

H.H. Hansen (Helle), C.A. Kupke (Clemens) and R.A. Leal

January 2014
HTTP must die! Presentation

S. Pemberton (Steven)

January 2014

Previous

Next