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.
5794 Publications
2015 | Published | Conference Paper | IST-REx-ID: 1656 | 
Chatterjee K, Henzinger TA, Otop J. Nested weighted automata. In: Proceedings - Symposium on Logic in Computer Science. Vol 2015-July. IEEE; 2015. doi:10.1109/LICS.2015.72
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Published | Technical Report | IST-REx-ID: 5436 |
Chatterjee K, Henzinger TA, Otop J. Nested Weighted Automata. IST Austria; 2015. doi:10.15479/AT:IST-2015-170-v2-2
[Published Version]
View
| Files available
| DOI
2015 | Published | Journal Article | IST-REx-ID: 1546 |
Nakamura Y, Harada H, Kamasawa N, et al. Nanoscale distribution of presynaptic Ca2+ channels and its impact on vesicular release during development. Neuron. 2015;85(1):145-158. doi:10.1016/j.neuron.2014.11.019
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2015 | Published | Journal Article | IST-REx-ID: 1619 |
Chevereau G, Lukacisinova M, Batur T, et al. Quantifying the determinants of evolutionary dynamics leading to drug resistance. PLoS Biology. 2015;13(11). doi:10.1371/journal.pbio.1002299
[Published Version]
View
| Files available
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 10886
Zobel V, Reininghaus J, Hotz I. Visualization of two-dimensional symmetric positive definite tensor fields using the heat kernel signature. In: Topological Methods in Data Analysis and Visualization III . Springer; 2014:249-262. doi:10.1007/978-3-319-04099-8_16
View
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 10892
Biedl T, Huber S, Palfrader P. Planar matchings for weighted straight skeletons. In: 25th International Symposium, ISAAC 2014. Vol 8889. Springer Nature; 2014:117-127. doi:10.1007/978-3-319-13075-0_10
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2241
Beppu K, Sasaki T, Tanaka K, et al. Optogenetic countering of glial acidosis suppresses glial glutamate release and ischemic brain damage. Neuron. 2014;81(2):314-320. doi:10.1016/j.neuron.2013.11.011
View
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2249 |
Chen Y, Aung K, Rolčík J, Walicki K, Friml J, Brandizzí F. Inter-regulation of the unfolded protein response and auxin signaling. Plant Journal. 2014;77(1):97-107. doi:10.1111/tpj.12373
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 2251 |
Csicsvari JL, Dupret D. Sharp wave/ripple network oscillations and learning-associated hippocampal maps. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2014;369(1635). doi:10.1098/rstb.2012.0528
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 2261 |
Zhu F, Gamboa M, Farruggio A, et al. DICE, an efficient system for iterative genomic editing in human pluripotent stem cells. Nucleic Acids Research. 2014;42(5). doi:10.1093/nar/gkt1290
[Preprint]
View
| Files available
| DOI
2014 | Published | Book Chapter | IST-REx-ID: 2265
Hippenmeyer S. Molecular pathways controlling the sequential steps of cortical projection neuron migration. In: Nguyen L, ed. Cellular and Molecular Control of Neuronal Migration. Vol 800. Springer; 2014:1-24. doi:10.1007/978-94-007-7687-6_1
View
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 2275 |
Olsson C, Ulen J, Boykov Y, Kolmogorov V. Partial enumeration and curvature regularization. In: IEEE; 2014:2936-2943. doi:10.1109/ICCV.2013.365
[Submitted Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2281 |
Guo Y, Seiringer R. On the mass concentration for Bose-Einstein condensates with attractive interactions. Letters in Mathematical Physics. 2014;104(2):141-156. doi:10.1007/s11005-013-0667-9
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Journal Article | IST-REx-ID: 2285 |
Hosp J, Strüber M, Yanagawa Y, et al. Morpho-physiological criteria divide dentate gyrus interneurons into classes. Hippocampus. 2014;23(2):189-203. doi:10.1002/hipo.22214
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2852
Fischlin M, Lehmann A, Pietrzak KZ. Robust multi-property combiners for hash functions. Journal of Cryptology. 2014;27(3):397-428. doi:10.1007/s00145-013-9148-7
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 537 |
Prizak R, Ezard T, Hoyle R. Fitness consequences of maternal and grandmaternal effects. Ecology and Evolution. 2014;4(15):3139-3145. doi:10.1002/ece3.1150
[Published Version]
View
| Files available
| DOI
2014 | Published | Technical Report | IST-REx-ID: 5417 |
Henzinger TA, Otop J. From Model Checking to Model Measuring. IST Austria; 2014. doi:10.15479/AT:IST-2014-172-v1-1
[Published Version]
View
| Files available
| DOI
2014 | Published | Technical Report | IST-REx-ID: 5419 |
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs. IST Austria; 2014. doi:10.15479/AT:IST-2014-187-v1-1
[Published Version]
View
| Files available
| DOI
2014 | Published | Technical Report | IST-REx-ID: 5420 |
Chatterjee K, Ibsen-Jensen R. The Value 1 Problem for Concurrent Mean-Payoff Games. IST Austria; 2014. doi:10.15479/AT:IST-2014-191-v1-1
[Published Version]
View
| Files available
| DOI
2014 | Published | Technical Report | IST-REx-ID: 5421 |
Chatterjee K, Ibsen-Jensen R, Nowak M. The Complexity of Evolution on Graphs. IST Austria; 2014. doi:10.15479/AT:IST-2014-190-v2-2
[Published Version]
View
| Files available
| DOI