Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
6127 Publications
2014 | Published | Journal Article | IST-REx-ID: 2233 | 
Exact and approximate determinization of discounted-sum automata
U. Boker, T.A. Henzinger, Logical Methods in Computer Science 10 (2014).
[Published Version]
View
| Files available
| DOI
| WoS
U. Boker, T.A. Henzinger, Logical Methods in Computer Science 10 (2014).
2014 | Published | Journal Article | IST-REx-ID: 2230 |
Stimfit: Quantifying electrophysiological data with Python
J. Guzmán, A. Schlögl, C. Schmidt Hieber, Frontiers in Neuroinformatics 8 (2014).
[Published Version]
View
| Files available
| DOI
| WoS
J. Guzmán, A. Schlögl, C. Schmidt Hieber, Frontiers in Neuroinformatics 8 (2014).
2014 | Published | Journal Article | IST-REx-ID: 2225 |
Isotropic local laws for sample covariance and generalized Wigner matrices
A. Bloemendal, L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 19 (2014).
[Published Version]
View
| Files available
| DOI
| WoS
A. Bloemendal, L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 19 (2014).
2014 | Published | Journal Article | IST-REx-ID: 2228 |
A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons
H. Hu, P.M. Jonas, Nature Neuroscience 17 (2014) 686–693.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
H. Hu, P.M. Jonas, Nature Neuroscience 17 (2014) 686–693.
2014 | Published | Journal Article | IST-REx-ID: 2229 |
Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse
N. Vyleta, P.M. Jonas, Science 343 (2014) 665–670.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
N. Vyleta, P.M. Jonas, Science 343 (2014) 665–670.