A multigrid approach for one-dimensional semiconductor device simulation Book Chapter

P.W. Hemker (Piet)

Multigrid, defect correction and upwind schemes for the steady Navier-Stokes equations Book Chapter

P.W. Hemker (Piet) and B. Koren (Barry)

Fairness in parallel programs, the transformational approach Article

E.R. Olderog (Ernst-Rüdiger) and K.R. Apt (Krzysztof)

Appraising fairness in languages for distributed programming Article

K.R. Apt (Krzysztof), N. Francez and S. Katz

A short tutorial on Lie algebras Tech Report

M. Hazewinkel (Michiel)

Deformation theory of algebras and structures and applications Book

Proving correctness of concurrent programs - a quick introduction Tech Report

K.R. Apt (Krzysztof)

Towards a theory of declarative knowledge Book Chapter

K.R. Apt (Krzysztof), H.A. Blair and A. Walker