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.
406 Publications
2017 | Research Data Reference | IST-REx-ID: 9707 | 
Riccio P, Cebrián C, Zong H, Hippenmeyer S, Costantini F. 2017. Data from: Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis, Dryad, 10.5061/dryad.pk16b.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2017 | Thesis | IST-REx-ID: 821 |
Pavlogiannis A. 2017. Algorithmic advances in program analysis and their applications. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1407 |
Svoreňová M, Kretinsky J, Chmelik M, Chatterjee K, Cěrná I, Belta C. 2017. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. 23(2), 230–253.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2017 | Journal Article | IST-REx-ID: 1337 |
Ajanki OH, Erdös L, Krüger TH. 2017. Universality for general Wigner-type matrices. Probability Theory and Related Fields. 169(3–4), 667–727.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1152 |
Gajda-Zagorska EP, Schaefer R, Smołka M, Pardo D, Alvarez Aramberri J. 2017. A multi objective memetic inverse solver reinforced by local optimization methods. Journal of Computational Science. 18, 85–94.
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1120 |
Li X, Seiringer R, Lemeshko M. 2017. Angular self-localization of impurities rotating in a bosonic bath. Physical Review A. 95(3), 033608.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1110 |
Kuhn B, Nodzyński T, Errafi S, Bucher R, Gupta S, Aryal B, Dobrev P, Bigler L, Geisler M, Zažímalová E, Friml J, Ringli C. 2017. Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity. Scientific Reports. 7, 41906.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1104 |
Deny S, Ferrari U, Mace E, Yger P, Caplette R, Picaud S, Tkačik G, Marre O. 2017. Multiplexed computations in retinal ganglion cells of a single type. Nature Communications. 8(1), 1964.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 1063 |
Uecker H. 2017. Evolutionary rescue in randomly mating, selfing, and clonal populations. Evolution. 71(4), 845–858.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 1017 |
Breuss M, Leca I, Gstrein T, Hansen AH, Keays D. 2017. Tubulins and brain development: The origins of functional specification. Molecular and Cellular Neuroscience. 84, 58–67.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 736 |
Rubio M, Matsui K, Fukazawa Y, Kamasawa N, Harada H, Itakura M, Molnár E, Abe M, Sakimura K, Shigemoto R. 2017. The number and distribution of AMPA receptor channels containing fast kinetic GluA3 and GluA4 subunits at auditory nerve synapses depend on the target cells. Brain Structure and Function. 222(8), 3375–3393.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Conference Paper | IST-REx-ID: 917 |
Swoboda P, Kuske J, Savchynskyy B. 2017. A dual ascent framework for Lagrangean decomposition of combinatorial problems. CVPR: Computer Vision and Pattern Recognition vol. 2017, 4950–4960.
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 744 |
Priklopil T, Chatterjee K, Nowak M. 2017. Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma. Journal of Theoretical Biology. 433, 64–72.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 747 |
Brǎiloiu E, Mcguire M, Shuler S, Deliu E, Barr J, Abood M, Brailoiu G. 2017. Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus. Neuroscience. 365, 23–32.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 627 |
Jiang C, Zhai M-Z, Yan D, Li D, Li C, Zhang Y, Xiao L, Xiong D, Deng Q, Sun W. 2017. Dietary menthol-induced TRPM8 activation enhances WAT “browning” and ameliorates diet-induced obesity. Oncotarget. 8(43), 75114–75126.
[Published Version]
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 432 |
Zhang H, Li J, Kara K, Alistarh D-A, Liu J, Zhang C. 2017. ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning. Proceedings of Machine Learning Research. ICML: International Conference on Machine Learning, PMLR Press, vol. 70, 4035–4043.
[Submitted Version]
View
| Files available
2017 | Book Chapter | IST-REx-ID: 424 |
Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. 2017.Bounding helly numbers via betti numbers. In: A Journey through Discrete Mathematics: A Tribute to Jiri Matousek. , 407–447.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 1083
Booker S, Althof D, Gross A, Loreth D, Müller J, Unger A, Fakler B, Varro A, Watanabe M, Gassmann M, Bettler B, Shigemoto R, Vida I, Kulik Á. 2016. KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons. Cerebral Cortex. 27(3), 2318–2334.
View
| DOI
2016 | Conference Paper | IST-REx-ID: 1095 |
Haas A, Henzinger TA, Holzer A, Kirsch C, Lippautz M, Payer H, Sezgin A, Sokolova A, Veith H. 2016. Local linearizability for concurrent container-type data structures. Leibniz International Proceedings in Informatics. CONCUR: Concurrency Theory, LIPIcs, vol. 59, 6.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1137 |
Salzer E, Çaǧdaş D, Hons M, Mace E, Garncarz W, Petronczki O, Platzer R, Pfajfer L, Bilic I, Ban S, Willmann K, Mukherjee M, Supper V, Hsu H, Banerjee P, Sinha P, Mcclanahan F, Zlabinger G, Pickl W, Gribben J, Stockinger H, Bennett K, Huppa J, Dupré L, Sanal Ö, Jäger U, Sixt MK, Tezcan I, Orange J, Boztug K. 2016. RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics. Nature Immunology. 17(12), 1352–1360.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC