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.
5152 Publications
2016 | Research Data | IST-REx-ID: 5554 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tugrul, Murat. Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:43.
[Published Version]
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5558 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bojsen-Hansen, Morten. Tracking, Correcting and Absorbing Water Surface Waves. Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:48.
[Published Version]
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5556 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lukacisin, Martin, et al. MATLAB Analysis Code for “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” Institute of Science and Technology Austria, 2016, doi:10.15479/AT:ISTA:45.
[Published Version]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1183 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tarlungeanu D-C, Deliu E, Dotter C, Kara M, Janiesch P, Scalise M, Galluccio M, Tesulov M, Morelli E, Sönmez F, Bilgüvar K, Ohgaki R, Kanai Y, Johansen A, Esharif S, Ben Omran T, Topcu M, Schlessinger A, Indiveri C, Duncan K, Caglayan A, Günel M, Gleeson J, Novarino G. 2016. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. 167(6), 1481–1494.
[Submitted Version]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1321 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Leithner, Alexander F., et al. “Diversified Actin Protrusions Promote Environmental Exploration but Are Dispensable for Locomotion of Leukocytes.” Nature Cell Biology, vol. 18, Nature Publishing Group, 2016, pp. 1253–59, doi:10.1038/ncb3426.
[Submitted Version]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1100 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sako, Keisuke, et al. “Optogenetic Control of Nodal Signaling Reveals a Temporal Pattern of Nodal Signaling Regulating Cell Fate Specification during Gastrulation.” Cell Reports, vol. 16, no. 3, Cell Press, 2016, pp. 866–77, doi:10.1016/j.celrep.2016.06.036.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1437 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. Vol. 20–22, ACM, 2016, pp. 733–47, doi:10.1145/2837614.2837624.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 1386 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, et al. Termination Analysis of Probabilistic Programs through Positivstellensatz’s. Vol. 9779, Springer, 2016, pp. 3–22, doi:10.1007/978-3-319-41528-4_1.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 10794 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Parise, Francesca, et al. “Bayesian Inference for Stochastic Individual-Based Models of Ecological Systems: A Pest Control Simulation Study.” Frontiers in Environmental Science, vol. 3, 42, Frontiers, 2015, doi:10.3389/fenvs.2015.00042.
[Published Version]
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 10796
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “The Value 1 Problem under Finite-Memory Strategies for Concurrent Mean-Payoff Games.” Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, vol. 2015, no. 1, SIAM, 2015, pp. 1018–29, doi:10.1137/1.9781611973730.69.
[Preprint]
View
| DOI
| arXiv
2015 |Published| Journal Article | IST-REx-ID: 1383 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Yu, Luo, et al. “V-ATPase Activity in the TGN/EE Is Required for Exocytosis and Recycling in Arabidopsis.” Nature Plants, vol. 1, no. 7, 15094, Nature Publishing Group, 2015, doi:10.1038/nplants.2015.94.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 |Published| Conference Paper | IST-REx-ID: 1425 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pentina, Anastasia, and Christoph Lampert. Lifelong Learning with Non-i.i.d. Tasks. Vol. 2015, Neural Information Processing Systems, 2015, pp. 1540–48.
View
| Download None (ext.)
2015 |Published| Conference Paper | IST-REx-ID: 1424 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kwitt, Roland, et al. Statistical Topological Data Analysis-A Kernel Perspective. Vol. 28, Neural Information Processing Systems, 2015, pp. 3070–78.
[Submitted Version]
View
| Download Submitted Version (ext.)
2015 |Published| Conference Paper | IST-REx-ID: 1430 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Paixao, Tiago, et al. “First Steps towards a Runtime Comparison of Natural and Artificial Evolution.” Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, ACM, 2015, pp. 1455–62, doi:10.1145/2739480.2754758.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Conference Paper | IST-REx-ID: 1474 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ferrara, Anna, et al. Policy Privacy in Cryptographic Access Control. IEEE, 2015, pp. 46–60, doi:10.1109/CSF.2015.11.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2015 |Published| Conference Paper | IST-REx-ID: 1483 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Reininghaus, Jan, et al. A Stable Multi-Scale Kernel for Topological Machine Learning. IEEE, 2015, pp. 4741–48, doi:10.1109/CVPR.2015.7299106.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Conference Paper | IST-REx-ID: 1498 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dragoi, Cezara, et al. The Need for Language Support for Fault-Tolerant Distributed Systems. Vol. 32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 90–102, doi:10.4230/LIPIcs.SNAPL.2015.90.
[Published Version]
View
| Files available
| DOI
2015 |Published| Journal Article | IST-REx-ID: 1497 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Andergassen, Daniel, et al. “Allelome.PRO, a Pipeline to Define Allele-Specific Genomic Features from High-Throughput Sequencing Data.” Nucleic Acids Research, vol. 43, no. 21, e146, Oxford University Press, 2015, doi:10.1093/nar/gkv727.
[Published Version]
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1499 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kretinsky, Jan, et al. Polynomial Time Decidability of Weighted Synchronization under Partial Observability. Vol. 42, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 142–54, doi:10.4230/LIPIcs.CONCUR.2015.142.
[Published Version]
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1495 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Edelsbrunner, Herbert, et al. “Relaxed Disk Packing.” Proceedings of the 27th Canadian Conference on Computational Geometry, vol. 2015–August, Queen’s University, 2015, pp. 128–35.
[Submitted Version]
View
| Download Submitted Version (ext.)