David Hansel

According to our database, David Hansel authored at least 25 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Two Decades of Industrializing Formal Verification: The Reactis Story.

Rance Cleaveland, David Hansel, Steve Sims, Scott A. Smolka

Proceedings of the Model Checking Software - 30th International Symposium, 2024

2015

Asynchronous Rate Chaos in Spiking Neuronal Circuits.

Omri Harish, David Hansel

PLoS Comput. Biol., 2015

2014

Interference and Shaping in Sensorimotor Adaptations with Rewards.

Ran Darshan, Arthur Leblois, David Hansel

PLoS Comput. Biol., 2014

2011

Power-Law Input-Output Transfer Functions Explain the Contrast-Response and Tuning Properties of Neurons in Visual Cortex.

Erez Persi, David Hansel, Lionel Nowak, Pascal Barone, Carl van Vreeswijk

PLoS Comput. Biol., 2011

Synchronous Chaos and Broad Band Gamma Rhythm in a Minimal Multi-Layer Model of Primary Visual Cortex.

Demian Battaglia, David Hansel

PLoS Comput. Biol., 2011

Short-Term Facilitation may Stabilize Parametric Working Memory Trace.

Vladimir Itskov, David Hansel, Misha Tsodyks

Frontiers Comput. Neurosci., 2011

2007

Mechanisms of Firing Patterns in Fast-Spiking Cortical Interneurons.

David Golomb, Karnit Donner, Liron Shacham, Dan Shlosberg, Yael Amitai, David Hansel

PLoS Comput. Biol., 2007

Inhibition potentiates the synchronizing action of electrical synapses.

Benjamin Pfeuty, David Golomb, Germán Mato, David Hansel

Frontiers Comput. Neurosci., 2007

2006

How Noise Affects the Synchronization Properties of Recurrent Networks of Inhibitory Neurons.

Nicolas Brunel, David Hansel

Neural Comput., 2006

2005

The Combined Effects of Inhibitory and Electrical Synapses in Synchrony.

Benjamin Pfeuty, Germán Mato, David Golomb, David Hansel

Neural Comput., 2005

2004

Distributed prototyping from validated specifications.

David Hansel, Rance Cleaveland, Scott A. Smolka

J. Syst. Softw., 2004

2003

Rate Models for Conductance-Based Cortical Neuronal Networks.

Oren Shriki, David Hansel, Haim Sompolinsky

Neural Comput., 2003

Asynchronous States and the Emergence of Synchrony in Large Networks of Interacting Excitatory and Inhibitory Neurons.

David Hansel, Germán Mato

Neural Comput., 2003

2001

Patterns of Synchrony in Neural Networks with Spike Adaptation.

Carl van Vreeswijk, David Hansel

Neural Comput., 2001

On Synchrony of Weakly Coupled Neurons at Low Firing Rate.

L. Neltner, David Hansel

Neural Comput., 2001

2000

Synchrony in Heterogeneous Networks of Spiking Neurons.

L. Neltner, David Hansel, Germán Mato, Claude Meunier

Neural Comput., 2000

The Number of Synaptic Inputs and the Synchrony of Large, Sparse Neuronal Networks.

David Golomb, David Hansel

Neural Comput., 2000

Efficient Algorithms for Model Checking Pushdown Systems.

Javier Esparza, David Hansel, Peter Rossmanith, Stefan Schwoon

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Klinische Evaluierung eines computergestützten T-Staging von Ösophagustumoren an ausgewählten Standbildern des Endoskopischen Ultraschalls.

Helmut Sußmann, David Hansel, Thomas Rösch, Hans-Dieter Allescher, Alexander Horsch

Proceedings of the Bildverarbeitung für die Medizin 1999: Algorithmen, 1999

1998

On Numerical Simulations of Integrate-and-Fire Neural Networks.

David Hansel, Germán Mato, Claude Meunier, L. Neltner

Neural Comput., 1998

A model driven 3D image interpretation system applied to person detection in video images.

Olaf Munkelt, Christof Ridder, David Hansel, Walter Hafner

Proceedings of the Fourteenth International Conference on Pattern Recognition, 1998

1997

Traveling Waves and the Processing of Weakly Tuned Inputs in a Cortical Network Module.

Rani Ben-Yishai, David Hansel, Haim Sompolinsky

J. Comput. Neurosci., 1997

1996

Chaos and synchrony in a model of a hypercolumn in visual cortex.

David Hansel, Haim Sompolinsky

J. Comput. Neurosci., 1996

Synchronized Chaos in Local Cortical Circuits.

David Hansel

Int. J. Neural Syst., 1996

1995

Synchrony in excitatory neural networks.

David Hansel, Germán Mato, Claude Meunier

Neural Comput., 1995