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.
5956 Publications
2018 | Published | Thesis | IST-REx-ID: 395 | 
D.-C. Tarlungeanu, “The branched chain amino acids in autism spectrum disorders ,” Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 26 |
M. Steinrück, “The influence of sequence context on the evolution of bacterial gene expression,” Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 6263 |
M. Lukacisinova, “Genetic determinants of antibiotic resistance evolution,” Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 323 |
A. F. Leithner, “Branched actin networks in dendritic cell biology,” Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
2018 | Published | Thesis | IST-REx-ID: 50 |
D. Capek, “Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration,” Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 66 |
K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, and Y. Velner, “Ergodic mean-payoff games for the analysis of attacks in crypto-currencies,” presented at the CONCUR: Conference on Concurrency Theory, Beijing, China, 2018, vol. 118.
[Published Version]
View
| Files available
| DOI
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 311 |
K. Chatterjee, A. K. Goharshady, and Y. Velner, “Quantitative analysis of smart contracts,” presented at the ESOP: European Symposium on Programming, Thessaloniki, Greece, 2018, vol. 10801, pp. 739–767.
[Published Version]
View
| Files available
| DOI
2018 | Published | Conference Paper | IST-REx-ID: 6340 |
A. K. Goharshady, A. Behrouz, and K. Chatterjee, “Secure Credit Reporting on the Blockchain,” in Proceedings of the IEEE International Conference on Blockchain, Halifax, Canada, 2018, pp. 1343–1348.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 6009 |
K. Chatterjee, R. Ibsen-Jensen, A. K. Goharshady, and A. Pavlogiannis, “Algorithms for algebraic path properties in concurrent systems of constant treewidth components,” ACM Transactions on Programming Languages and Systems, vol. 40, no. 3. Association for Computing Machinery, 2018.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Conference Paper | IST-REx-ID: 5977 |
K. Chatterjee, H. Fu, A. K. Goharshady, and N. Okati, “Computational approaches for stochastic shortest path on succinct MDPs,” in Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, Stockholm, Sweden, 2018, vol. 2018, pp. 4700–4707.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 47
R. Abualia, E. Benková, and B. Lacombe, “Transporters and mechanisms of hormone transport in arabidopsis,” Advances in Botanical Research, vol. 87. Elsevier, pp. 115–138, 2018.
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 442 |
L. Li, G. Krens, M. Fendrych, and J. Friml, “Real-time analysis of auxin response, cell wall pH and elongation in Arabidopsis thaliana Hypocotyls,” Bio-protocol, vol. 8, no. 1. Bio-protocol, 2018.
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 1367 |
P. Manteaux, C. Wojtan, R. Narain, S. Redon, F. Faure, and M. Cani, “Adaptive physically based models in computer graphics,” Computer Graphics Forum, vol. 36, no. 6. Wiley-Blackwell, pp. 312–337, 2017.
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 14205 |
F. Locatello, R. Khanna, M. Tschannen, and M. Jaggi, “A unified optimization view on generalized matching pursuit and Frank-Wolfe,” in Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, Fort Lauderdale, FL, United States, 2017, vol. 54, pp. 860–868.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2017 | Published | Conference Paper | IST-REx-ID: 14206 |
F. Locatello, M. Tschannen, G. Rätsch, and M. Jaggi, “Greedy algorithms for cone constrained optimization with convergence guarantees,” in Advances in Neural Information Processing Systems, Long Beach, CA, United States, 2017.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2017 | Published | Conference Paper | IST-REx-ID: 1112
T. Paixao and J. Pérez Heredia, “An application of stochastic differential equations to evolutionary algorithms,” in Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, Copenhagen, Denmark, 2017, pp. 3–11.
View
| DOI
2017 | Published | Journal Article | IST-REx-ID: 1168 |
E. Perrone, A. Rappold, and W. Müller, “D inf s optimality in copula models,” Statistical Methods and Applications, vol. 26, no. 3. Springer, pp. 403–418, 2017.
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 1176 |
J. F. Alwen and J. Blocki, “Towards practical attacks on Argon2i and balloon hashing,” presented at the EuroS&P: European Symposium on Security and Privacy, Paris, France, 2017.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS