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.
4262 Publications
2014 |Published| Technical Report | IST-REx-ID: 5428 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Henzinger TA, Otop J, Velner Y. Quantitative Fair Simulation Games. IST Austria; 2014. doi:10.15479/AT:IST-2014-315-v1-1
[Published Version]
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1887 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cremer S. Gemeinsame Krankheitsabwehr in Ameisengesellschaften. Zoologie. 2014:23-30.
[Published Version]
View
| Download Published Version (ext.)
2014 |Published| Journal Article | IST-REx-ID: 2175 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Postiglione MP, Hippenmeyer S. Monitoring neurogenesis in the cerebral cortex: an update. Future Neurology. 2014;9(3):323-340. doi:10.2217/fnl.14.18
[Published Version]
View
| Files available
| DOI
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. Patterns of hippocampal tau pathology differentiate neurodegenerative dementias. Dementia and Geriatric Cognitive Disorders. 2014;38(5-6):375-388. doi:10.1159/000365548
[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. Random matrices, log-gases and Hölder regularity. In: Proceedings of the International Congress of Mathematicians. Vol 3. International Congress of Mathematicians; 2014: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. Structure of the excitation spectrum for many-body quantum systems. In: Proceeding of the International Congress of Mathematicans. Vol 3. International Congress of Mathematicians; 2014: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. A PAC-Bayesian bound for Lifelong Learning. In: Vol 32. ML Research Press; 2014:991-999.
[Submitted Version]
View
| Download Submitted Version (ext.)
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. doi:10.48550/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. 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: 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. Searching for collective behavior in a large network of sensory neurons. PLoS Computational Biology. 2014;10(1). doi:10.1371/journal.pcbi.1003408
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
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. Stimfit: A fast visualization and analysis environment for cellular neurophysiology. Biomedical Engineering / Biomedizinische Technik. 2013;58(SI-1-Track-G). doi:10.1515/bmt-2013-4181
[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. Calcium: The missing link in auxin action. Plants. 2013;2(4):650-675. doi:10.3390/plants2040650
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
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. Infinite-state games with finitary conditions. In: 22nd EACSL Annual Conference on Computer Science Logic. Vol 23. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2013:181-196. doi:10.4230/LIPIcs.CSL.2013.181
[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. Synthesizing multiple boolean functions using interpolation on a single proof. In: 2013 Formal Methods in Computer-Aided Design. IEEE; 2013:77-84. doi:10.1109/FMCAD.2013.6679394
[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. Nondeterminism in the presence of a diverse or unknown future. 2013;7966(PART 2):89-100. doi:10.1007/978-3-642-39212-2_11
[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. Geometry of the faithfulness assumption in causal inference. The Annals of Statistics. 2013;41(2):436-463. doi:10.1214/12-AOS1080
[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. Privacy-preserving data sharing for genome-wide association studies. Journal of Privacy and Confidentiality . 2013;5(1):137-166. doi:10.29012/jpc.v5i1.629
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 |Published| Conference Paper | IST-REx-ID: 2181 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger TA, Kirsch C, Payer H, Sezgin A, Sokolova A. Quantitative relaxation of concurrent data structures. In: Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language. ACM; 2013:317-328. doi:10.1145/2429069.2429109
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2210 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Biedl T, Held M, Huber S. Reconstructing polygons from embedded straight skeletons. In: 29th European Workshop on Computational Geometry. TU Braunschweig; 2013:95-98.
[Submitted Version]
View
| Download Submitted Version (ext.)
2013 |Published| Conference Paper | IST-REx-ID: 2237 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Blanc R, Gupta A, Kovács L, Kragl B. Tree interpolation in Vampire. 2013;8312:173-181. doi:10.1007/978-3-642-45221-5_13
[Submitted Version]
View
| Files available
| DOI