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 AK, Ibsen-Jensen R, Pavlogiannis A. 2020. Optimal and perfectly parallel algorithms for on-demand data-flow analysis. European Symposium on Programming. ESOP: Programming Languages and Systems, LNCS, vol. 12075, 112–140.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8728 |
Asadi A, Chatterjee K, Goharshady AK, Mohammadi K, Pavlogiannis A. 2020. Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 12302, 253–270.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8089 |
Chatterjee K, Fu H, Goharshady AK, Goharshady EK. 2020. Polynomial invariant generation for non-deterministic recursive programs. Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 672–687.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7885 |
Reversat A, Gärtner FR, Merrin J, Stopp JA, Tasciyan S, Aguilera Servin JL, de Vries I, Hauschild R, Hons M, Piel M, Callan-Jones A, Voituriez R, Sixt MK. 2020. Cellular locomotion using environmental topography. Nature. 582, 582–585.
[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.
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 8532 |
Kleindienst D, Montanaro-Punzengruber J-C, Bhandari P, Case MJ, 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. 21(18), 6737.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 8569 |
Hansen AH, Hippenmeyer S. 2020. Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex. Frontiers in Cell and Developmental Biology. 8(9), 574382.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Published | Preprint | IST-REx-ID: 9750 |
Slovakova J, Sikora MK, Caballero Mancebo S, Krens G, Kaufmann W, Huljev K, Heisenberg C-PJ. 2020. Tension-dependent stabilization of E-cadherin limits cell-cell contact expansion. bioRxiv, 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. 6(50), eabc8895.
[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 BH, Huang Y, He Q, Chai M, Niu X, 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. 21(16), 5272.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 13369 |
Hanopolskyi AI, De S, Białek MJ, Diskin-Posner Y, Avram L, Feller M, Klajn R. 2019. Reversible switching of arylazopyrazole within a metal–organic cage. Beilstein Journal of Organic Chemistry. 15, 2398–2407.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 13371 |
Białek MJ, Klajn R. 2019. Diamond grows up. Chem. 5(9), 2283–2285.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 | Published | Journal Article | IST-REx-ID: 13372 |
Grzelczak M, Liz-Marzán LM, Klajn R. 2019. Stimuli-responsive self-assembly of nanoparticles. Chemical Society Reviews. 48(5), 1342–1361.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 13468 |
Zapartas E, de Mink SE, Justham S, Smith N, de Koter A, Renzo M, Arcavi I, Farmer R, Götberg YLL, Toonen S. 2019. The diverse lives of progenitors of hydrogen-rich core-collapse supernovae: The role of binary interaction. Astronomy & Astrophysics. 631, A5.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 13469 |
Götberg YLL, de Mink SE, Groh JH, Leitherer C, Norman C. 2019. The impact of stars stripped in binaries on the integrated spectra of stellar populations. Astronomy & Astrophysics. 629, A134.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 13470 |
Shenar T, Sablowski DP, Hainich R, Todt H, Moffat AFJ, Oskinova LM, Ramachandran V, Sana H, Sander AAC, Schnurr O, St-Louis N, Vanbeveren D, Götberg YLL, Hamann W-R. 2019. The Wolf–Rayet binaries of the nitrogen sequence in the Large Magellanic Cloud. Astronomy & Astrophysics. 627, A151.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Published | Journal Article | IST-REx-ID: 13471 |
Renzo M, Zapartas E, de Mink SE, Götberg YLL, Justham S, Farmer RJ, Izzard RG, Toonen S, Sana H. 2019. Massive runaway and walkaway stars. Astronomy & Astrophysics. 624, A66.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 13472 |
Kerzendorf WE, Do T, de Mink SE, Götberg YLL, Milisavljevic D, Zapartas E, Renzo M, Justham S, Podsiadlowski P, Fesen RA. 2019. No surviving non-compact stellar companion to Cassiopeia A. Astronomy & Astrophysics. 623, A34.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 14001 |
Baykusheva DR, Zindel D, Svoboda V, Bommeli E, Ochsner M, Tehlar A, Wörner HJ. 2019. Real-time probing of chirality during a chemical reaction. Proceedings of the National Academy of Sciences. 116(48), 23923–23929.
[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. 8th International Conference on Learning Representations. ICLR: International Conference on Learning Representations.
[Preprint]
View
| Download Preprint (ext.)
| arXiv