Using in vitro and in silico modeling to understand colonic short chain fatty acid production Presentation

M.J.A. van Hoek (Milan), A.A. de Graaf, K. Venema and R.M.H. Merks (Roeland)

A model for web service coordination in long-running transactions In Proceedings

S. Meng and F. Arbab (Farhad)

Symbolic synthesis of Mealy machines from arithmetic bitstream functions Article

H.H. Hansen (Helle) and J.J.M.M. Rutten (Jan)

Non-deterministic Kleene coalgebras Tech Report

A.M. Silva (Alexandra), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)

72nd European Study Group Proceedings

Does the Polynomial Hierarchy Collapse if Onto Functions are Invertible? Article

H.M. Buhrman (Harry), L. Fortnow (Lance), M. Koucký (Michal), J. Rogers and N.K. Vereshchagin (Nikolay Konstantinovich)

The error function in the study of singularly perturbed convection-diffusion problems with discontinuous boundary data In Proceedings

J.L. López, E. Pérez Sinusía and N.M. Temme (Nico)

A survey on performance analysis of warehouse carousel systems Article

N. Litvak and M. Vlasiou (Maria)