Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
7461 Publications
2014 | Published | Journal Article | IST-REx-ID: 1989
Spatial organization of cytokinesis signaling reconstituted in a cell-free system
P. Nguyen, A. Groen, M. Loose, K. Ishihara, M. Wühr, C. Field, T. Mitchison, Science 346 (2014) 244–247.
View
| DOI
P. Nguyen, A. Groen, M. Loose, K. Ishihara, M. Wühr, C. Field, T. Mitchison, Science 346 (2014) 244–247.
2014 | Published | Preprint | IST-REx-ID: 2017 | 
Exact formulas for the normalizing constants of Wishart distributions for graphical models
C. Uhler, A. Lenkoski, D. Richards, ArXiv (2014).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
C. Uhler, A. Lenkoski, D. Richards, ArXiv (2014).
2014 | Published | Journal Article | IST-REx-ID: 254
The polynomial sieve and equal sums of like polynomials
T.D. Browning, International Mathematics Research Notices 2015 (2014) 1987–2019.
View
| Files available
| DOI
T.D. Browning, International Mathematics Research Notices 2015 (2014) 1987–2019.
2014 | Published | Conference Paper | IST-REx-ID: 10885 |
Doomsday equilibria for omega-regular games
K. Chatterjee, L. Doyen, E. Filiot, J.-F. Raskin, in:, VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 78–97.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, L. Doyen, E. Filiot, J.-F. Raskin, in:, VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 78–97.
2014 | Research Data Reference | IST-REx-ID: 9740 |
Data from: Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host
M. Konrad, A.V. Grasse, S. Tragust, S. Cremer, (2014).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Konrad, A.V. Grasse, S. Tragust, S. Cremer, (2014).
2014 | Published | Journal Article | IST-REx-ID: 2028 |
Characterizing spiking in noisy type II neurons
K. Bodova, D. Paydarfar, D. Forger, Journal of Theoretical Biology 365 (2014) 40–54.
[Published Version]
View
| Files available
| DOI
| WoS
K. Bodova, D. Paydarfar, D. Forger, Journal of Theoretical Biology 365 (2014) 40–54.
2014 | Published | Journal Article | IST-REx-ID: 2165 |
Domain Adaptation of Weighted Majority Votes via Perturbed Variation-Based Self-Labeling
E. Morvant, Pattern Recognition Letters 51 (2014) 37–43.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
E. Morvant, Pattern Recognition Letters 51 (2014) 37–43.
2014 | Published | Book Chapter | IST-REx-ID: 19994
Reorganization of Hippocampal Place-Selective Patterns During Goal-Directed Learning and Their Reactivation During Sleep
D. Dupret, J.L. Csicsvari, in:, Analysis and Modeling of Coordinated Multi-Neuronal Activity, Springer Nature, 2014.
View
| DOI
D. Dupret, J.L. Csicsvari, in:, Analysis and Modeling of Coordinated Multi-Neuronal Activity, Springer Nature, 2014.
2014 | Published | Technical Report | IST-REx-ID: 5415 |
Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2014.
2014 | Published | Conference Paper | IST-REx-ID: 1927 |
Adaptive security of constrained PRFs
G. Fuchsbauer, M. Konstantinov, K.Z. Pietrzak, V. Rao, in:, 20th International Conference on the Theory and Application of Cryptology and Information Security, Springer Nature, 2014, pp. 82–101.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
G. Fuchsbauer, M. Konstantinov, K.Z. Pietrzak, V. Rao, in:, 20th International Conference on the Theory and Application of Cryptology and Information Security, Springer Nature, 2014, pp. 82–101.
2014 | Published | Journal Article | IST-REx-ID: 1854 |
Partial shape matching using transformation parameter similarity
P. Guerrero, T. Auzinger, M. Wimmer, S. Jeschke, Computer Graphics Forum 34 (2014) 239–252.
[Submitted Version]
View
| Files available
| DOI
| WoS
P. Guerrero, T. Auzinger, M. Wimmer, S. Jeschke, Computer Graphics Forum 34 (2014) 239–252.
2014 | Published | Journal Article | IST-REx-ID: 3263 |
Adaptation to changes in higher-order stimulus statistics in the salamander retina
G. Tkačik, A. Ghosh, E. Schneidman, R. Segev, PLoS One 9 (2014).
[Published Version]
View
| Files available
| DOI
| WoS
G. Tkačik, A. Ghosh, E. Schneidman, R. Segev, PLoS One 9 (2014).
2014 | Published | Journal Article | IST-REx-ID: 2261 |
DICE, an efficient system for iterative genomic editing in human pluripotent stem cells
F. Zhu, M. Gamboa, A. Farruggio, S. Hippenmeyer, B. Tasic, B. Schüle, Y. Chen Tsai, M. Calos, Nucleic Acids Research 42 (2014).
[Preprint]
View
| Files available
| DOI
| WoS
F. Zhu, M. Gamboa, A. Farruggio, S. Hippenmeyer, B. Tasic, B. Schüle, Y. Chen Tsai, M. Calos, Nucleic Acids Research 42 (2014).
2014 | Published | Journal Article | IST-REx-ID: 2285 |
Morpho-physiological criteria divide dentate gyrus interneurons into classes
J. Hosp, M. Strüber, Y. Yanagawa, K. Obata, I. Vida, P.M. Jonas, M. Bartos, Hippocampus 23 (2014) 189–203.
[Published Version]
View
| Files available
| DOI
| WoS
J. Hosp, M. Strüber, Y. Yanagawa, K. Obata, I. Vida, P.M. Jonas, M. Bartos, Hippocampus 23 (2014) 189–203.
2014 | Published | Journal Article | IST-REx-ID: 2716 |
Strategy synthesis for multi-dimensional quantitative objectives
K. Chatterjee, M. Randour, J. Raskin, Acta Informatica 51 (2014) 129–163.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, M. Randour, J. Raskin, Acta Informatica 51 (2014) 129–163.
2014 | Published | Book Chapter | IST-REx-ID: 2265
Molecular pathways controlling the sequential steps of cortical projection neuron migration
S. Hippenmeyer, in:, L. Nguyen (Ed.), Cellular and Molecular Control of Neuronal Migration, Springer, 2014, pp. 1–24.
View
| DOI
| WoS
S. Hippenmeyer, in:, L. Nguyen (Ed.), Cellular and Molecular Control of Neuronal Migration, Springer, 2014, pp. 1–24.
2014 | Published | Journal Article | IST-REx-ID: 2852
Robust multi-property combiners for hash functions
M. Fischlin, A. Lehmann, K.Z. Pietrzak, Journal of Cryptology 27 (2014) 397–428.
View
| Files available
| DOI
| WoS
M. Fischlin, A. Lehmann, K.Z. Pietrzak, Journal of Cryptology 27 (2014) 397–428.
2014 | Published | Journal Article | IST-REx-ID: 2281 |
On the mass concentration for Bose-Einstein condensates with attractive interactions
Y. Guo, R. Seiringer, Letters in Mathematical Physics 104 (2014) 141–156.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Y. Guo, R. Seiringer, Letters in Mathematical Physics 104 (2014) 141–156.
2014 | Published | Journal Article | IST-REx-ID: 2699 |
Universality of general β-ensembles
L. Erdös, P. Bourgade, H. Yau, Duke Mathematical Journal 163 (2014) 1127–1190.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
L. Erdös, P. Bourgade, H. Yau, Duke Mathematical Journal 163 (2014) 1127–1190.
2014 | Published | Journal Article | IST-REx-ID: 2257 |
Searching for collective behavior in a large network of sensory neurons
G. Tkačik, O. Marre, D. Amodei, E. Schneidman, W. Bialek, M. Berry, PLoS Computational Biology 10 (2014).
[Published Version]
View
| Files available
| DOI
| WoS
G. Tkačik, O. Marre, D. Amodei, E. Schneidman, W. Bialek, M. Berry, PLoS Computational Biology 10 (2014).