Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
7131 Publications
2020 | Published | Conference Paper | IST-REx-ID: 7810 | 
Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., & Pavlogiannis, A. (2020). Optimal and perfectly parallel algorithms for on-demand data-flow analysis. In European Symposium on Programming (Vol. 12075, pp. 112–140). Dublin, Ireland: Springer Nature. https://doi.org/10.1007/978-3-030-44914-8_5
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8728 |
Asadi, A., Chatterjee, K., Goharshady, A. K., Mohammadi, K., & Pavlogiannis, A. (2020). Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. In Automated Technology for Verification and Analysis (Vol. 12302, pp. 253–270). Hanoi, Vietnam: Springer Nature. https://doi.org/10.1007/978-3-030-59152-6_14
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8089 |
Chatterjee, K., Fu, H., Goharshady, A. K., & Goharshady, E. K. (2020). Polynomial invariant generation for non-deterministic recursive programs. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 672–687). London, United Kingdom: Association for Computing Machinery. https://doi.org/10.1145/3385412.3385969
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7885 |
Reversat, A., Gärtner, F. R., Merrin, J., Stopp, J. A., Tasciyan, S., Aguilera Servin, J. L., … Sixt, M. K. (2020). Cellular locomotion using environmental topography. Nature. Springer Nature. https://doi.org/10.1038/s41586-020-2283-z
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2020 | Published | Thesis | IST-REx-ID: 8350 |
Shamipour, S. (2020). Bulk actin dynamics drive phase segregation in zebrafish oocytes . Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8350
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8532 |
Kleindienst, D., Montanaro-Punzengruber, J.-C., Bhandari, P., Case, M. J., Fukazawa, Y., & Shigemoto, R. (2020). Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses. International Journal of Molecular Sciences. MDPI. https://doi.org/10.3390/ijms21186737
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8569 |
Hansen, A. H., & Hippenmeyer, S. (2020). Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex. Frontiers in Cell and Developmental Biology. Frontiers. https://doi.org/10.3389/fcell.2020.574382
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Preprint | IST-REx-ID: 9750 |
Slovakova, J., Sikora, M. K., Caballero Mancebo, S., Krens, G., Kaufmann, W., Huljev, K., & Heisenberg, C.-P. J. (2020). Tension-dependent stabilization of E-cadherin limits cell-cell contact expansion. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.11.20.391284
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2020 | Published | Journal Article | IST-REx-ID: 8986 |
Zhang, Y., Rodriguez Solovey, L., Li, L., Zhang, X., & Friml, J. (2020). Functional innovations of PIN auxin transporters mark crucial evolutionary transitions during rise of flowering plants. Science Advances. AAAS. https://doi.org/10.1126/sciadv.abc8895
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 8283 |
Chen, H., Lai, L., Li, L., Liu, L., Jakada, B. H., Huang, Y., … Qin, Y. (2020). AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling. International Journal of Molecular Sciences. MDPI. https://doi.org/10.3390/ijms21165727
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 13369 |
Hanopolskyi, A. I., De, S., Białek, M. J., Diskin-Posner, Y., Avram, L., Feller, M., & Klajn, R. (2019). Reversible switching of arylazopyrazole within a metal–organic cage. Beilstein Journal of Organic Chemistry. Beilstein Institut. https://doi.org/10.3762/bjoc.15.232
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 13371 |
Białek, M. J., & Klajn, R. (2019). Diamond grows up. Chem. Elsevier. https://doi.org/10.1016/j.chempr.2019.08.012
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 | Published | Journal Article | IST-REx-ID: 13372 |
Grzelczak, M., Liz-Marzán, L. M., & Klajn, R. (2019). Stimuli-responsive self-assembly of nanoparticles. Chemical Society Reviews. Royal Society of Chemistry. https://doi.org/10.1039/c8cs00787j
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 13468 |
Zapartas, E., de Mink, S. E., Justham, S., Smith, N., de Koter, A., Renzo, M., … Toonen, S. (2019). The diverse lives of progenitors of hydrogen-rich core-collapse supernovae: The role of binary interaction. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/201935854
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 13469 |
Götberg, Y. L. L., de Mink, S. E., Groh, J. H., Leitherer, C., & Norman, C. (2019). The impact of stars stripped in binaries on the integrated spectra of stellar populations. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/201834525
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 13470 |
Shenar, T., Sablowski, D. P., Hainich, R., Todt, H., Moffat, A. F. J., Oskinova, L. M., … Hamann, W.-R. (2019). The Wolf–Rayet binaries of the nitrogen sequence in the Large Magellanic Cloud. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/201935684
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Published | Journal Article | IST-REx-ID: 13471 |
Renzo, M., Zapartas, E., de Mink, S. E., Götberg, Y. L. L., Justham, S., Farmer, R. J., … Sana, H. (2019). Massive runaway and walkaway stars. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/201833297
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 13472 |
Kerzendorf, W. E., Do, T., de Mink, S. E., Götberg, Y. L. L., Milisavljevic, D., Zapartas, E., … Fesen, R. A. (2019). No surviving non-compact stellar companion to Cassiopeia A. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/201732206
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 14001 |
Baykusheva, D. R., Zindel, D., Svoboda, V., Bommeli, E., Ochsner, M., Tehlar, A., & Wörner, H. J. (2019). Real-time probing of chirality during a chemical reaction. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.1907189116
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 14184 |
Locatello, F., Tschannen, M., Bauer, S., Rätsch, G., Schölkopf, B., & Bachem, O. (2019). Disentangling factors of variation using few labels. In 8th International Conference on Learning Representations. Virtual.
[Preprint]
View
| Download Preprint (ext.)
| arXiv