Centrum Wiskunde & Informatica

Tomographic image reconstruction from continuous projections In Proceedings

J. Cant (Jeroen), W.J. Palenstijn (Willem Jan), G. Behiels and J. Sijbers (Jan)

January 2014
The TTC 2014 FIXML Case: Rascal Solution In Proceedings

P.A. Inostroza Valdera (Pablo) and T. van der Storm (Tijs)

January 2014
Model Differencing for Textual DSLs In Proceedings

R.A. van Rozen (Riemer) and T. van der Storm (Tijs)

January 2014
Comparing MongoDB to SQL Server, Replicated Master Thesis

K. Azizi

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

Previous

Next