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.
10785 Publications
2014 | Draft | Working Paper | IST-REx-ID: 7038 | 
Huszár K, Rolinek M. Playful Math - An Introduction to Mathematical Games. IST Austria
[Published Version]
View
| Files available
2014 | Published | Journal Article | IST-REx-ID: 2716 |
Chatterjee K, Randour M, Raskin J. Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica. 2014;51(3-4):129-163. doi:10.1007/s00236-013-0182-6
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Journal Article | IST-REx-ID: 2187 |
Bloem R, Chatterjee K, Greimel K, et al. Synthesizing robust systems. Acta Informatica. 2014;51(3-4):193-220. doi:10.1007/s00236-013-0191-5
[Submitted Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 1876 |
Dolbilin N, Edelsbrunner H, Glazyrin A, Musin O. Functionals on triangulations of delaunay sets. Moscow Mathematical Journal. 2014;14(3):491-504. doi:10.17323/1609-4514-2014-14-3-491-504
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2014 | Published | Journal Article | IST-REx-ID: 1905 |
Tobler M, Plath M, Riesch R, et al. Selection from parasites favours immunogenetic diversity but not divergence among locally adapted host populations. Journal of Evolutionary Biology. 2014;27(5):960-974. doi:10.1111/jeb.12370
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 19475
Fothergill T, Donahoo A-LS, Douglass AM, et al. Netrin-DCC signaling regulates corpus callosum formation through attraction of pioneering axons and by modulating Slit2-mediated repulsion. Cerebral Cortex. 2014;24(5):1138-1151. doi:10.1093/cercor/bhs395
View
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 2230 |
Guzmán J, Schlögl A, Schmidt Hieber C. Stimfit: Quantifying electrophysiological data with Python. Frontiers in Neuroinformatics. 2014;8(FEB). doi:10.3389/fninf.2014.00016
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2225 |
Bloemendal A, Erdös L, Knowles A, Yau H, Yin J. Isotropic local laws for sample covariance and generalized Wigner matrices. Electronic Journal of Probability. 2014;19. doi:10.1214/EJP.v19-3054
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2228 |
Hu H, Jonas PM. A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons. Nature Neuroscience. 2014;17(5):686-693. doi:10.1038/nn.3678
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 2222
Naramoto S, Nodzyński T, Dainobu T, et al. VAN4 encodes a putative TRS120 that is required for normal cell growth and vein development in arabidopsis. Plant and Cell Physiology. 2014;55(4):750-763. doi:10.1093/pcp/pcu012
View
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2229 |
Vyleta N, Jonas PM. Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse. Science. 2014;343(6171):665-670. doi:10.1126/science.1244811
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 2231 |
Rieckh G, Tkačik G. Noise and information transmission in promoters with multiple internal states. Biophysical Journal. 2014;106(5):1194-1204. doi:10.1016/j.bpj.2014.01.014
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 2227
Cires Rodriguez E, Baltisberger M, Cuesta C, Vargas P, Prieto J. Allopolyploid origin of the Balkan endemic Ranunculus wettsteinii (Ranunculaceae) inferred from nuclear and plastid DNA sequences. Organisms Diversity and Evolution. 2014;14(1):1-10. doi:10.1007/s13127-013-0150-6
View
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2220 |
de Vos M, Bollenbach MT. Suppressive drug interactions between antifungals. Chemistry and Biology. 2014;21(4):439-440. doi:10.1016/j.chembiol.2014.04.004
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 2233 |
Boker U, Henzinger TA. Exact and approximate determinization of discounted-sum automata. Logical Methods in Computer Science. 2014;10(1). doi:10.2168/LMCS-10(1:10)2014
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2234 |
Brázdil T, Brožek V, Chatterjee K, Forejt V, Kučera A. Markov decision processes with multiple long-run average objectives. Logical Methods in Computer Science. 2014;10(1). doi:10.2168/LMCS-10(1:13)2014
[Published Version]
View
| Files available
| DOI
2014 | Published | Book Chapter | IST-REx-ID: 2245
Simon S, Skůpa P, Dobrev P, Petrášek J, Zažímalová E, Friml J. Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters. In: Hicks G, Robert S, eds. Plant Chemical Genomics. Vol 1056. Methods in Molecular Biology. Springer; 2014:255-264. doi:10.1007/978-1-62703-592-7_23
View
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2240
Gadeyne A, Sánchez Rodríguez C, Vanneste S, Di Rubbo S, Zauber H, Vanneste K, Van Leene J, De Winne N, Eeckhout D, Persiau G, Van De Slijke E, Cannoot B, Vercruysse L, Mayers J, Adamowski M, Kania U, Ehrlich M, Schweighofer A, Ketelaar T, Maere S, Bednarek S, Friml J, Gevaert K, Witters E, Russinova E, Persson S, De Jaeger G, Van Damme D. 2014. The TPLATE adaptor complex drives clathrin-mediated endocytosis in plants. Cell. 156(4), 691–704.
View
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2232 |
Song B, Hof B. Deterministic and stochastic aspects of the transition to turbulence. Journal of Statistical Mechanics Theory and Experiment. 2014;2014(2). doi:10.1088/1742-5468/2014/02/P02001
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2014 | Published | Journal Article | IST-REx-ID: 2248
Capek D, Metscher B, Müller G. Thumbs down: A molecular-morphogenetic approach to avian digit homology. Journal of Experimental Zoology Part B: Molecular and Developmental Evolution. 2014;322(1):1-12. doi:10.1002/jez.b.22545
View
| DOI