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.
5148 Publications
2014 |Published| Journal Article | IST-REx-ID: 1913 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Milenković I, Petrov T, Kovács G. 2014. Patterns of hippocampal tau pathology differentiate neurodegenerative dementias. Dementia and Geriatric Cognitive Disorders. 38(5–6), 375–388.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 |Published| Conference Paper | IST-REx-ID: 1507 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Erdös L. 2014. Random matrices, log-gases and Hölder regularity. Proceedings of the International Congress of Mathematicians. ICM: International Congress of Mathematicians vol. 3, 214–236.
[Submitted Version]
View
| Download Submitted Version (ext.)
2014 |Published| Conference Paper | IST-REx-ID: 8044 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Seiringer R. 2014. Structure of the excitation spectrum for many-body quantum systems. Proceeding of the International Congress of Mathematicans. ICM: International Congress of Mathematicans vol. 3, 1175–1194.
[Published Version]
View
| Download Published Version (ext.)
2014 |Published| Conference Paper | IST-REx-ID: 2160 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pentina A, Lampert C. 2014. A PAC-Bayesian bound for Lifelong Learning. ICML: International Conference on Machine Learning vol. 32, 991–999.
[Submitted Version]
View
| Download Submitted Version (ext.)
2014 |Published| Thesis | IST-REx-ID: 1403
Behrndt M. 2014. Forces driving epithelial spreading in zebrafish epiboly. IST Austria.
View
| Files available
2014 |Published| Book Chapter | IST-REx-ID: 1888
Cremer S. 2014.Soziale Immunität: Wie sich der Staat gegen Pathogene wehrt Bayerische Akademie der Wissenschaften. In: Soziale Insekten in einer sich wandelnden Welt. Rundgespräche der Kommission für Ökologie, vol. 43, 65–72.
View
2014 |Submitted| Preprint | IST-REx-ID: 2012 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Iglesias Ham M, Kerber M, Uhler C. Sphere packing with limited overlap. arXiv, 1401.0468.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2014 |Published| Journal Article | IST-REx-ID: 2281 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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: 2257 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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| Conference Paper | IST-REx-ID: 475 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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
| arXiv
2014 |Published| Journal Article | IST-REx-ID: 1999
Stroeymeyt N, Casillas Perez BE, Cremer S. 2014. Organisational immunity in social insects. Current Opinion in Insect Science. 5(1), 1–15.
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 10396 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Schlögl A, Jonas PM, Schmidt-Hieber C, Guzman SJ. 2013. Stimfit: A fast visualization and analysis environment for cellular neurophysiology. Biomedical Engineering / Biomedizinische Technik. 58(SI-1-Track-G), 000010151520134181.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 |Published| Journal Article | IST-REx-ID: 10895 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Vanneste S, Friml J. 2013. Calcium: The missing link in auxin action. Plants. 2(4), 650–675.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 |Published| Conference Paper | IST-REx-ID: 10898
Haas A, Lippautz M, Henzinger TA, Payer H, Sokolova A, Kirsch CM, Sezgin A. 2013. Distributed queues in shared memory: Multicore performance and scalability through quantitative relaxation. Proceedings of the ACM International Conference on Computing Frontiers - CF ’13. CF: Conference on Computing Frontiers, 17.
View
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 1374 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Fijalkow N. 2013. Infinite-state games with finitary conditions. 22nd EACSL Annual Conference on Computer Science Logic. CSL: Computer Science LogicLeibniz International Proceedings in Informatics, LIPIcs, vol. 23, 181–196.
[Published Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 1385 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hofferek G, Gupta A, Könighofer B, Jiang J, Bloem R. 2013. Synthesizing multiple boolean functions using interpolation on a single proof. 2013 Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 77–84.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Conference Paper | IST-REx-ID: 1387 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Boker U, Kuperberg D, Kupferman O, Skrzypczak M. 2013. Nondeterminism in the presence of a diverse or unknown future. 7966(PART 2), 89–100.
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2010 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Uhler C, Raskutti G, Bühlmann P, Yu B. 2013. Geometry of the faithfulness assumption in causal inference. The Annals of Statistics. 41(2), 436–463.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2013 |Published| Journal Article | IST-REx-ID: 2009 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Uhler C, Slavkovic A, Fienberg S. 2013. Privacy-preserving data sharing for genome-wide association studies. Journal of Privacy and Confidentiality . 5(1), 137–166.
[Published Version]
View
| DOI
| Download Published Version (ext.)