David Hansel

26 papers A* 1B 1C 1Journal 21Unranked 2
YearRankTypeTitle / Venue / Authors
2024 — conf
Two Decades of Industrializing Formal Verification: The Reactis Story.
SPIN
Rance Cleaveland, David Hansel, Steve Sims, Scott A. Smolka
2015 J jnl
Asynchronous Rate Chaos in Spiking Neuronal Circuits.
PLoS Comput. Biol.
Omri Harish, David Hansel
2014 J jnl
Interference and Shaping in Sensorimotor Adaptations with Rewards.
PLoS Comput. Biol.
Ran Darshan, Arthur Leblois, David Hansel
2011 J jnl
Power-Law Input-Output Transfer Functions Explain the Contrast-Response and Tuning Properties of Neurons in Visual Cortex.
PLoS Comput. Biol.
Erez Persi, David Hansel, Lionel Nowak, Pascal Barone, Carl van Vreeswijk
2011 J jnl
Short-Term Facilitation may Stabilize Parametric Working Memory Trace.
Frontiers Comput. Neurosci.
Vladimir Itskov, David Hansel, Misha Tsodyks
2011 J jnl
Synchronous Chaos and Broad Band Gamma Rhythm in a Minimal Multi-Layer Model of Primary Visual Cortex.
PLoS Comput. Biol.
Demian Battaglia, David Hansel
2007 J jnl
Inhibition potentiates the synchronizing action of electrical synapses.
Frontiers Comput. Neurosci.
Benjamin Pfeuty, David Golomb, Germán Mato, David Hansel
2007 J jnl
Mechanisms of Firing Patterns in Fast-Spiking Cortical Interneurons.
PLoS Comput. Biol.
David Golomb, Karnit Donner, Liron Shacham, Dan Shlosberg, Yael Amitai, David Hansel
2006 J jnl
How Noise Affects the Synchronization Properties of Recurrent Networks of Inhibitory Neurons.
Neural Comput.
Nicolas Brunel, David Hansel
2005 J jnl
The Combined Effects of Inhibitory and Electrical Synapses in Synchrony.
Neural Comput.
Benjamin Pfeuty, Germán Mato, David Golomb, David Hansel
2004 J jnl
Distributed prototyping from validated specifications.
J. Syst. Softw.
David Hansel, Rance Cleaveland, Scott A. Smolka
2003 J jnl
Asynchronous States and the Emergence of Synchrony in Large Networks of Interacting Excitatory and Inhibitory Neurons.
Neural Comput.
David Hansel, Germán Mato
2003 J jnl
Rate Models for Conductance-Based Cortical Neuronal Networks.
Neural Comput.
Oren Shriki, David Hansel, Haim Sompolinsky
2001 C conf
Distributed Prototyping from Validated Specifications.
IEEE International Workshop on Rapid System Prototyping
David Hansel, Rance Cleaveland, Scott A. Smolka
2001 J jnl
On Synchrony of Weakly Coupled Neurons at Low Firing Rate.
Neural Comput.
L. Neltner, David Hansel
2001 J jnl
Patterns of Synchrony in Neural Networks with Spike Adaptation.
Neural Comput.
Carl van Vreeswijk, David Hansel
2000 A* conf
Efficient Algorithms for Model Checking Pushdown Systems.
CAV
Javier Esparza, David Hansel, Peter Rossmanith, Stefan Schwoon
2000 J jnl
Synchrony in Heterogeneous Networks of Spiking Neurons.
Neural Comput.
L. Neltner, David Hansel, Germán Mato, Claude Meunier
2000 J jnl
The Number of Synaptic Inputs and the Synchrony of Large, Sparse Neuronal Networks.
Neural Comput.
David Golomb, David Hansel
1999 — conf
Klinische Evaluierung eines computergestützten T-Staging von Ösophagustumoren an ausgewählten Standbildern des Endoskopischen Ultraschalls.
Bildverarbeitung für die Medizin
Helmut Sußmann, David Hansel, Thomas Rösch, Hans-Dieter Allescher, Alexander Horsch
1998 B conf
A model driven 3D image interpretation system applied to person detection in video images.
ICPR
Olaf Munkelt, Christof Ridder, David Hansel, Walter Hafner
1998 J jnl
On Numerical Simulations of Integrate-and-Fire Neural Networks.
Neural Comput.
David Hansel, Germán Mato, Claude Meunier, L. Neltner
1997 J jnl
Traveling Waves and the Processing of Weakly Tuned Inputs in a Cortical Network Module.
J. Comput. Neurosci.
Rani Ben-Yishai, David Hansel, Haim Sompolinsky
1996 J jnl
Chaos and synchrony in a model of a hypercolumn in visual cortex.
J. Comput. Neurosci.
David Hansel, Haim Sompolinsky
1996 J jnl
Synchronized Chaos in Local Cortical Circuits.
Int. J. Neural Syst.
David Hansel
1995 J jnl
Synchrony in excitatory neural networks.
Neural Comput.
David Hansel, Germán Mato, Claude Meunier