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.
5954 Publications
2018 | Published | Thesis | IST-REx-ID: 6266 | 
Mckenzie, Catherine. Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission . Institute of Science and Technology Austria, 2018, doi:10.15479/at:ista:th_1055.
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 51 |
Case, Matthew J. From the Left to the Right: A Tale of Asymmetries, Environments, and Hippocampal Development. Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:th_1032.
[Published Version]
View
| Files available
| DOI
2018 | Published | Journal Article | IST-REx-ID: 402 |
Brown, Markus, et al. “Lymph Node Blood Vessels Provide Exit Routes for Metastatic Tumor Cell Dissemination in Mice.” Science, vol. 359, no. 6382, American Association for the Advancement of Science, 2018, pp. 1408–11, doi:10.1126/science.aal3662.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2018 | Published | Thesis | IST-REx-ID: 395 |
Tarlungeanu, Dora-Clara. The Branched Chain Amino Acids in Autism Spectrum Disorders . Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:th_992.
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 26 |
Steinrück, Magdalena. The Influence of Sequence Context on the Evolution of Bacterial Gene Expression. Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:th1059.
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 6263 |
Lukacisinova, Marta. Genetic Determinants of Antibiotic Resistance Evolution. Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:th1072.
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 323 |
Leithner, Alexander F. Branched Actin Networks in Dendritic Cell Biology. Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:th_998.
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 50 |
Capek, Daniel. Optogenetic Frizzled 7 Reveals a Permissive Function of Wnt/PCP Signaling in Directed Mesenchymal Cell Migration. Institute of Science and Technology Austria, 2018, doi:10.15479/AT:ISTA:TH_1031.
[Published Version]
View
| Files available
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 66 |
Chatterjee, Krishnendu, et al. Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies. Vol. 118, 11, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi:10.4230/LIPIcs.CONCUR.2018.11.
[Published Version]
View
| Files available
| DOI
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 311 |
Chatterjee, Krishnendu, et al. Quantitative Analysis of Smart Contracts. Vol. 10801, Springer, 2018, pp. 739–67, doi:10.1007/978-3-319-89884-1_26.
[Published Version]
View
| Files available
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 6340 |
Goharshady, Amir Kafshdar, et al. “Secure Credit Reporting on the Blockchain.” Proceedings of the IEEE International Conference on Blockchain, IEEE, 2018, pp. 1343–48, doi:10.1109/Cybermatics_2018.2018.00231.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 6009 |
Chatterjee, Krishnendu, et al. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.” ACM Transactions on Programming Languages and Systems, vol. 40, no. 3, 9, Association for Computing Machinery, 2018, doi:10.1145/3210257.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 5977 |
Chatterjee, Krishnendu, et al. “Computational Approaches for Stochastic Shortest Path on Succinct MDPs.” Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, vol. 2018, IJCAI, 2018, pp. 4700–07, doi:10.24963/ijcai.2018/653.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 47
Abualia, Rashed, et al. “Transporters and Mechanisms of Hormone Transport in Arabidopsis.” Advances in Botanical Research, vol. 87, Elsevier, 2018, pp. 115–38, doi:10.1016/bs.abr.2018.09.007.
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 442 |
Li, Lanxin, et al. “Real-Time Analysis of Auxin Response, Cell Wall PH and Elongation in Arabidopsis Thaliana Hypocotyls.” Bio-Protocol, vol. 8, no. 1, Bio-protocol, 2018, doi:10.21769/BioProtoc.2685.
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 1367 |
Manteaux, Pierre, et al. “Adaptive Physically Based Models in Computer Graphics.” Computer Graphics Forum, vol. 36, no. 6, Wiley-Blackwell, 2017, pp. 312–37, doi:10.1111/cgf.12941.
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 14205 |
Locatello, Francesco, et al. “A Unified Optimization View on Generalized Matching Pursuit and Frank-Wolfe.” Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, vol. 54, ML Research Press, 2017, pp. 860–68.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2017 | Published | Conference Paper | IST-REx-ID: 14206 |
Locatello, Francesco, et al. “Greedy Algorithms for Cone Constrained Optimization with Convergence Guarantees.” Advances in Neural Information Processing Systems, 2017.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 1084
Fang, Chong, et al. “Insulation and Wiring Specificity of BceR like Response Regulators and Their Target Promoters in Bacillus Subtilis.” Molecular Microbiology, vol. 104, no. 1, Wiley-Blackwell, 2017, pp. 16–31, doi:10.1111/mmi.13597.
View
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 1112
Paixao, Tiago, and Jorge Pérez Heredia. “An Application of Stochastic Differential Equations to Evolutionary Algorithms.” Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, ACM, 2017, pp. 3–11, doi:10.1145/3040718.3040729.
View
| DOI