Stefan Wils

Biochemistry, Genetics and Molecular Biology · Life Sciences

6h-index683citations12works0.02yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Gene Regulatory Network Analysis(5), Neuroscience and Neuropharmacology Research(2), Logic, programming, and type systems(2), Neural dynamics and brain function(2), Receptor Mechanisms and Signaling(2)

Publications12 total

Certifying C program correctness with respect to CH2O with VeriFast
arXiv (Cornell University)·2023· 1 citedOpen Access
Certifying C program correctness with respect to CompCert with VeriFast
Lirias (KU Leuven)·2021Open Access
STEPS: efficient simulation of stochastic reaction–diffusion models in realistic morphologies
BMC Systems Biology·2012· 161 citedOpen Access
The diffusional properties of dendrites depend on the density of dendritic spines
European Journal of Neuroscience·2011· 74 citedOpen Access
Reaction-Diffusion Modeling
The MIT Press eBooks·2009· 11 cited
Reaction-Diffusion Modeling
The MIT Press eBooks·2009· 3 cited
STEPS: reaction-diffsion simulation in complex 3D geometries
BMC Neuroscience·2009· 1 citedOpen Access
STEPS: Modeling and simulating complex reaction-diffusion systems with Python
Frontiers in Neuroinformatics·2009· 79 citedOpen Access
Reaction-diffusion in complex 3D geometries: mesh construction and stochastic simulation with STEPS
BMC Neuroscience·2008· 1 citedOpen Access
Stochastic modeling of inositol-1,4,5-trisphosphate receptors in Purkinje cell spine
2008
Interoperability of Neuroscience Modeling Software: Current Status and Future Directions
Neuroinformatics·2007· 72 cited
Anomalous Diffusion in Purkinje Cell Dendrites Caused by Spines
Neuron·2006· 280 citedOpen Access

Frequent Co-authors

Erik De Schutter(7), Upinder S. Bhalla(3), Fidel Santamarı́a(2), George J Augustine(2), Iain Hepburn(2), Bart Jacobs(2), Weiliang Chen(1), Robert C. Cannon(1), Marc-Oliver Gewaltig(1), Padraig Gleeson(1), Hugo Cornelis(1), Michael L. Hines(1), F. Howell(1), Eilif Müller(1), Joel R. Stiles(1), Katri Hituri(1), Pablo Achard(1), Marja‐Leena Linne(1)