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.
4950 Publications
2016 |Published| Journal Article | IST-REx-ID: 9473 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
P.-H. Hsieh et al., “Arabidopsis male sexual lineage exhibits more robust maintenance of CG methylation than somatic tissues,” Proceedings of the National Academy of Sciences, vol. 113, no. 52. National Academy of Sciences, pp. 15132–15137, 2016.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 |Published| Conference Abstract | IST-REx-ID: 12903 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Schlögl and S. Stadlbauer, “High performance computing at IST Austria: Modelling the human hippocampus,” in AHPC16 - Austrian HPC Meeting 2016, Grundlsee, Austria, 2016, p. 37.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1341 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
G. Avni, T. A. Henzinger, and O. Kupferman, “Dynamic resource allocation games,” presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom, 2016, vol. 9928, pp. 153–166.
[Preprint]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 5749 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Wielgoss, T. Bergmiller, A. M. Bischofberger, and A. R. Hall, “Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria,” Molecular Biology and Evolution, vol. 33, no. 3. Oxford University Press, pp. 770–782, 2016.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 |Published| Thesis | IST-REx-ID: 1121 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
H. Acar, “Selective barriers to horizontal gene transfer,” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 |Published| Journal Article | IST-REx-ID: 1662 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
H. Edelsbrunner and F. Pausinger, “Approximation and convergence of the intrinsic volume,” Advances in Mathematics, vol. 287. Academic Press, pp. 674–703, 2016.
[Published Version]
View
| Files available
| DOI
2016 |Published| Thesis | IST-REx-ID: 1128 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
G. Rieckh, “Studying the complexities of transcriptional regulation,” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 |Published| Thesis | IST-REx-ID: 1124 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Morri, “Optical functionalization of human class A orphan G-protein coupled receptors,” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 |Published| Thesis | IST-REx-ID: 1129 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J. Schwarz, “Quantitative analysis of haptotactic cell migration,” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 |Published| Thesis | IST-REx-ID: 1126 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Pentina, “Theoretical foundations of multi-task lifelong learning,” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
| DOI
2016 |Published| Thesis | IST-REx-ID: 1397
M. Chmelik, “Algorithms for partially observable markov decision processes,” Institute of Science and Technology Austria, 2016.
View
2016 |Published| Thesis | IST-REx-ID: 1123 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
I. Mabillard, “Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture,” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 |Published| Journal Article | IST-REx-ID: 1432 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
R. K. Mishra, S. Kim, J. Guzmán, and P. M. Jonas, “Symmetric spike timing-dependent plasticity at CA3–CA3 synapses optimizes storage and recall in autoassociative networks,” Nature Communications, vol. 7. Nature Publishing Group, 2016.
[Published Version]
View
| Files available
| DOI
2016 |Published| Thesis | IST-REx-ID: 1396 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
R. K. Mishra, “Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus,” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 |Published| Thesis | IST-REx-ID: 1125 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Novak, “Evolutionary proccesses in variable emvironments,” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
2016 |Published| Thesis | IST-REx-ID: 1130 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
T. Tarrach, “Automatic synthesis of synchronisation primitives for concurrent programs,” Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1093 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Linear distances between Markov chains,” presented at the CONCUR: Concurrency Theory, Quebec City; Canada, 2016, vol. 59.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1234 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Faster statistical model checking for unbounded temporal properties,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands, 2016, vol. 9636, pp. 112–129.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1230 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
P. Daca, A. Gupta, and T. A. Henzinger, “Abstraction-driven concolic testing,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA, 2016, vol. 9583, pp. 328–347.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)