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.
5339 Publications
2018 | Published | Journal Article | IST-REx-ID: 320 |
Complementary tuning of Na+ and K+ channel gating underlies fast and energy-efficient action potentials in GABAergic interneuron axons
H. Hu, F. Roth, D.H. Vandael, P.M. Jonas, Neuron 98 (2018) 156–165.
[Published Version]
View
| Files available
| DOI
| WoS
H. Hu, F. Roth, D.H. Vandael, P.M. Jonas, Neuron 98 (2018) 156–165.
2018 | Published | Journal Article | IST-REx-ID: 321 |
Guest editors' introduction to the special section on learning with Shared information for computer vision and multimedia analysis
T. Darrell, C. Lampert, N. Sebe, Y. Wu, Y. Yan, IEEE Transactions on Pattern Analysis and Machine Intelligence 40 (2018) 1029–1031.
[Published Version]
View
| Files available
| DOI
| WoS
T. Darrell, C. Lampert, N. Sebe, Y. Wu, Y. Yan, IEEE Transactions on Pattern Analysis and Machine Intelligence 40 (2018) 1029–1031.
2018 | Published | Journal Article | IST-REx-ID: 322 |
Quantizations of multiplicative hypertoric varieties at a root of unity
I.V. Ganev, Journal of Algebra 506 (2018) 92–128.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
I.V. Ganev, Journal of Algebra 506 (2018) 92–128.
2018 | Published | Thesis | IST-REx-ID: 324 |
Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release
C. Chen, Synaptotagmins Ensure Speed and Efficiency of Inhibitory Neurotransmitter Release, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
C. Chen, Synaptotagmins Ensure Speed and Efficiency of Inhibitory Neurotransmitter Release, Institute of Science and Technology Austria, 2018.
2018 | Published | Conference Paper | IST-REx-ID: 325 |
Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs
S. Agrawal, K. Chatterjee, P. Novotný, in:, ACM, 2018.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Agrawal, K. Chatterjee, P. Novotný, in:, ACM, 2018.
2018 | Published | Journal Article | IST-REx-ID: 326 |
Super resolution structural analysis of dendritic spines using three-dimensional structured illumination microscopy in cleared mouse brain slices
K. Sawada, R. Kawakami, R. Shigemoto, T. Nemoto, European Journal of Neuroscience 47 (2018) 1033–1042.
[Published Version]
View
| Files available
| DOI
| WoS
K. Sawada, R. Kawakami, R. Shigemoto, T. Nemoto, European Journal of Neuroscience 47 (2018) 1033–1042.
2018 | Published | Journal Article | IST-REx-ID: 327 |
Slow dynamics in translation-invariant quantum lattice models
A. Michailidis, M. Žnidarič, M. Medvedyeva, D. Abanin, T. Prosen, Z. Papić, Physical Review B 97 (2018).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
A. Michailidis, M. Žnidarič, M. Medvedyeva, D. Abanin, T. Prosen, Z. Papić, Physical Review B 97 (2018).
2018 | Published | Journal Article | IST-REx-ID: 328 |
Exceeding the asymptotic limit of polymer drag reduction
G.H. Choueiri, J.M. Lopez Alonso, B. Hof, Physical Review Letters 120 (2018).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
G.H. Choueiri, J.M. Lopez Alonso, B. Hof, Physical Review Letters 120 (2018).
2018 | Published | Journal Article | IST-REx-ID: 33 |
Can secondary contact following range expansion be distinguished from barriers to gene flow?
J. Bertl, H. Ringbauer, M. Blum, PeerJ 2018 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Bertl, H. Ringbauer, M. Blum, PeerJ 2018 (2018).
2018 | Published | Book | IST-REx-ID: 3300
Handbook of Model Checking
E.M. Clarke, T.A. Henzinger, H. Veith, R. Bloem, Handbook of Model Checking, 1st ed., Springer Nature, Cham, 2018.
View
| DOI
E.M. Clarke, T.A. Henzinger, H. Veith, R. Bloem, Handbook of Model Checking, 1st ed., Springer Nature, Cham, 2018.
2018 | Published | Conference Paper | IST-REx-ID: 35 |
Algorithms and conditional lower bounds for planning problems
K. Chatterjee, W. Dvorák, M. Henzinger, A. Svozil, in:, 28th International Conference on Automated Planning and Scheduling , AAAI Press, 2018.
View
| Files available
| Download None (ext.)
| WoS
| arXiv
K. Chatterjee, W. Dvorák, M. Henzinger, A. Svozil, in:, 28th International Conference on Automated Planning and Scheduling , AAAI Press, 2018.
2018 | Published | Journal Article | IST-REx-ID: 36 |
Temperature-induced changes in the wheat phosphoproteome reveal temperature-regulated interconversion of phosphoforms
L. Vu, T. Zhu, I. Verstraeten, B. Van De Cotte, K. Gevaert, I. De Smet, Journal of Experimental Botany 69 (2018) 4609–4624.
[Published Version]
View
| Files available
| DOI
| WoS
L. Vu, T. Zhu, I. Verstraeten, B. Van De Cotte, K. Gevaert, I. De Smet, Journal of Experimental Botany 69 (2018) 4609–4624.
2018 | Published | Book Chapter | IST-REx-ID: 37 |
Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube
M.P. Zagórski, A. Kicheva, in:, Morphogen Gradients , Springer Nature, 2018, pp. 47–63.
[Submitted Version]
View
| Files available
| DOI
M.P. Zagórski, A. Kicheva, in:, Morphogen Gradients , Springer Nature, 2018, pp. 47–63.
2018 | Published | Journal Article | IST-REx-ID: 38 |
Selection and gene flow shape genomic islands that control floral guides
H. Tavares, A. Whitley, D. Field, D. Bradley, M. Couchman, L. Copsey, J. Elleouet, M. Burrus, C. Andalo, M. Li, Q. Li, Y. Xue, A.B. Rebocho, N.H. Barton, E. Coen, PNAS 115 (2018) 11006–11011.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
H. Tavares, A. Whitley, D. Field, D. Bradley, M. Couchman, L. Copsey, J. Elleouet, M. Burrus, C. Andalo, M. Li, Q. Li, Y. Xue, A.B. Rebocho, N.H. Barton, E. Coen, PNAS 115 (2018) 11006–11011.
2018 | Published | Journal Article | IST-REx-ID: 384 |
Evolutionary interplay between symbiotic relationships and patterns of signal peptide gain and loss
P. Hönigschmid, N. Bykova, R. Schneider, D. Ivankov, D. Frishman, Genome Biology and Evolution 10 (2018) 928–938.
[Published Version]
View
| Files available
| DOI
| WoS
P. Hönigschmid, N. Bykova, R. Schneider, D. Ivankov, D. Frishman, Genome Biology and Evolution 10 (2018) 928–938.
2018 | Published | Journal Article | IST-REx-ID: 39 |
Replicability of introgression under linked, polygenic selection
H. Sachdeva, N.H. Barton, Genetics 210 (2018) 1411–1427.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
H. Sachdeva, N.H. Barton, Genetics 210 (2018) 1411–1427.
2018 | Published | Conference Paper | IST-REx-ID: 397
Harnessing epoch-based reclamation for efficient range queries
M. Arbel Raviv, T.A. Brown, in:, ACM, 2018, pp. 14–27.
View
| DOI
| WoS
M. Arbel Raviv, T.A. Brown, in:, ACM, 2018, pp. 14–27.
2018 | Published | Journal Article | IST-REx-ID: 398
Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device
P. Dodier, J. Frischer, W. Wang, T. Auzinger, A. Mallouhi, W. Serles, A. Gruber, E. Knosp, G. Bavinzski, World Neurosurgery 13 (2018) e568–e578.
View
| DOI
| WoS
P. Dodier, J. Frischer, W. Wang, T. Auzinger, A. Mallouhi, W. Serles, A. Gruber, E. Knosp, G. Bavinzski, World Neurosurgery 13 (2018) e568–e578.
2018 | Published | Journal Article | IST-REx-ID: 4 |
Learning three-dimensional flow for interactive aerodynamic design
N. Umetani, B. Bickel, ACM Trans. Graph. 37 (2018).
[Submitted Version]
View
| Files available
| DOI
| WoS
N. Umetani, B. Bickel, ACM Trans. Graph. 37 (2018).
2018 | Published | Journal Article | IST-REx-ID: 40 |
The consequences of an introgression event
N.H. Barton, Molecular Ecology 27 (2018) 4973–4975.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
N.H. Barton, Molecular Ecology 27 (2018) 4973–4975.