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: 6263 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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
 
2017 | Published | Journal Article | IST-REx-ID: 1168 | OA
Perrone, Elisa, et al. “D Inf s Optimality in Copula Models.” Statistical Methods and Applications, vol. 26, no. 3, Springer, 2017, pp. 403–18, doi:10.1007/s10260-016-0375-6.
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 1176 | OA
Alwen, Joel F., and Jeremiah Blocki. Towards Practical Attacks on Argon2i and Balloon Hashing. 7961977, IEEE, 2017, doi:10.1109/EuroSP.2017.47.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Published | Book Chapter | IST-REx-ID: 444
Sazanov, Leonid A. “Structure of Respiratory Complex I: ‘Minimal’ Bacterial and ‘de Luxe’ Mammalian Versions.” Mechanisms of Primary Energy Transduction in Biology , edited by Mårten Wikström, Royal Society of Chemistry, 2017, pp. 25–59, doi:10.1039/9781788010405-00025.
View | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 459 | OA
Cremer, Sylvia. “Invasive Ameisen in Europa: Wie Sie Sich Ausbreiten Und Die Heimische Fauna Verändern.” Rundgespräche Forum Ökologie, vol. 46, Verlag Dr. Friedrich Pfeil, 2017, pp. 105–16.
[Published Version] View | Files available
 
2017 | Research Data | IST-REx-ID: 5561 | OA
Kainmueller, Dagmar, et al. Graph Matching Problems for Annotating C. Elegans. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:57.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed