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.
4840 Publications
2014 |
Published |
Journal Article |
IST-REx-ID: 2246 |
Grinshpun A, Phalitnonkiat P, Rubin S, Tarfulea A. 2014. Alternating traps in Muller and parity games. Theoretical Computer Science. 521, 73–91.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |
Published |
Journal Article |
IST-REx-ID: 2249 |
Chen Y, Aung K, Rolčík J, Walicki K, Friml J, Brandizzí F. 2014. Inter-regulation of the unfolded protein response and auxin signaling. Plant Journal. 77(1), 97–107.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |
Published |
Journal Article |
IST-REx-ID: 2251 |
Csicsvari JL, Dupret D. 2014. Sharp wave/ripple network oscillations and learning-associated hippocampal maps. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 369(1635), 20120528.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 |
Published |
Journal Article |
IST-REx-ID: 2253 |
Bailly A, Wang B, Zwiewka M, Pollmann S, Schenck D, Lüthen H, Schulz A, Friml J, Geisler M. 2014. Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth. Plant Journal. 77(1), 108–118.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 |
Published |
Journal Article |
IST-REx-ID: 2254 |
Pernia-Andrade A, Jonas PM. 2014. Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations. Neuron. 81(1), 140–152.
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Journal Article |
IST-REx-ID: 2255 |
Edelsbrunner H, Pausinger F. 2014. Stable length estimates of tube-like shapes. Journal of Mathematical Imaging and Vision. 50(1), 164–177.
[Submitted Version]
View
| Files available
| DOI
2014 |
Published |
Journal Article |
IST-REx-ID: 2257 |
Tkačik G, Marre O, Amodei D, Schneidman E, Bialek W, Berry M. 2014. Searching for collective behavior in a large network of sensory neurons. PLoS Computational Biology. 10(1), e1003408.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 |
Published |
Journal Article |
IST-REx-ID: 2261 |
Zhu F, Gamboa M, Farruggio A, Hippenmeyer S, Tasic B, Schüle B, Chen Tsai Y, Calos M. 2014. DICE, an efficient system for iterative genomic editing in human pluripotent stem cells. Nucleic Acids Research. 42(5), e34.
[Preprint]
View
| Files available
| DOI
2014 |
Published |
Conference Paper |
IST-REx-ID: 2275 |
Olsson C, Ulen J, Boykov Y, Kolmogorov V. 2014. Partial enumeration and curvature regularization. ICCV: International Conference on Computer Vision, 2936–2943.
[Submitted Version]
View
| Files available
| DOI
2014 |
Published |
Journal Article |
IST-REx-ID: 2281 |
Guo Y, Seiringer R. 2014. On the mass concentration for Bose-Einstein condensates with attractive interactions. Letters in Mathematical Physics. 104(2), 141–156.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |
Published |
Journal Article |
IST-REx-ID: 2285 |
Hosp J, Strüber M, Yanagawa Y, Obata K, Vida I, Jonas PM, Bartos M. 2014. Morpho-physiological criteria divide dentate gyrus interneurons into classes. Hippocampus. 23(2), 189–203.
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Book |
IST-REx-ID: 6853
Edelsbrunner H. 2014. A Short Course in Computational Geometry and Topology 1st ed., Cham: Springer Nature, IX, 110p.
View
| Files available
| DOI
2014 |
Draft |
Working Paper |
IST-REx-ID: 7038 |
Huszár K, Rolinek M. Playful Math - An introduction to mathematical games, IST Austria, 5p.
[Published Version]
View
| Files available
2014 |
Published |
Conference Paper |
IST-REx-ID: 475 |
Aminof B, Rubin S. 2014. First cycle games. Electronic Proceedings in Theoretical Computer Science, EPTCS. SR: Strategic Reasoning, EPTCS, vol. 146, 83–90.
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Journal Article |
IST-REx-ID: 535 |
Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. 2014. Polynomial-time algorithms for energy games with special weight structures. Algorithmica. 70(3), 457–492.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 |
Published |
Journal Article |
IST-REx-ID: 537 |
Prizak R, Ezard T, Hoyle R. 2014. Fitness consequences of maternal and grandmaternal effects. Ecology and Evolution. 4(15), 3139–3145.
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5411 |
Daca P, Henzinger TA, Krenn W, Nickovic D. 2014. Compositional specifications for IOCO testing, IST Austria, 20p.
[Published Version]
View
| Files available
| DOI