Saga Software

F.S. de Boer (Frank)

Strong completeness for iteration-free coalgebraic dynamic logics In Proceedings

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

Boundary treatment for fourth-order staggered mesh discretizations of the incompressible Navier-Stokes equations Article

B. Sanderse (Benjamin), R.W.C.P. Verstappen (Roel) and B. Koren (Barry)

Adaptive Grid Refinement for Discrete Tomography In Proceedings

T. van Leeuwen (Tristan) and K.J. Batenburg (Joost)

Locally decodable codes & geometry of tensor norms Courant CS Theory Seminar New York University, New York, USA Lecture

J. Briët (Jop)

Neutral Vlasov kinetic theory of magnetized plasmas Tech Report

C. Tronci and E. Camporeale (Enrico)

The 2014 stochastic networks conference : international symposium CWI - Amsterdam : Amsterdam June 23-27, 2014 Booklet

Algebra-coalgebra duality in Brzozowski's minimization algorithm Article

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