E.P. de Vink

Low external pH induces HOG1‐dependent changes in the organization of the <i>Saccharomyces cerevisiae</i> cell wall

Johan C. Kapteyn, Bas ter Riet, E.P. de Vink et al. · Molecular Microbiology · 2001 · 192 citations · Full text

Glycobiology, Molecular Biology, Cytoskeleton +17

Bisimulation for probabilistic transition systems: a coalgebraic approach

E.P. de Vink, J.J.M.M. Rutten · Theoretical Computer Science · 1999 · 151 citations · Full text

Engineering, Automated Reasoning, Probabilistic System +4

A hierarchy of probabilistic system types

Falk Bartels, Ana Sokolova, E.P. de Vink · Theoretical Computer Science · 2004 · 95 citations · Full text

Engineering, Probabilistic System Types, Probabilistic System +5

VERIFYING PROBABILISTIC PROGRAMS USING A HOARE LIKE LOGIC

J.I. den Hartog, E.P. de Vink · International Journal of Foundations of Computer Science · 2002 · 68 citations

Program Checking, Engineering, Verification +17

Down-regulation of hepatic and intestinal Abcg5 and Abcg8 expression associated with altered sterol fluxes in rats with streptozotocin-induced diabetes

Vincent W. Bloks, Willie M. Bakker‐van Waarde, Henkjan J. Verkade et al. · Diabetologia · 2004 · 67 citations · Full text

Metabolic Syndrome, Intestinal Abcg5, Altered Sterol Fluxes +9