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 | OA
Chatterjee K, Goharshady AK, Ibsen-Jensen R, Pavlogiannis A. Optimal and perfectly parallel algorithms for on-demand data-flow analysis. In: European Symposium on Programming. Vol 12075. Springer Nature; 2020:112-140. doi:10.1007/978-3-030-44914-8_5
[Published Version] View | Files available | DOI | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8728 | OA
Asadi A, Chatterjee K, Goharshady AK, Mohammadi K, Pavlogiannis A. Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. In: Automated Technology for Verification and Analysis. Vol 12302. Springer Nature; 2020:253-270. doi:10.1007/978-3-030-59152-6_14
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8089 | OA
Chatterjee K, Fu H, Goharshady AK, Goharshady EK. Polynomial invariant generation for non-deterministic recursive programs. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2020:672-687. doi:10.1145/3385412.3385969
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Published | Journal Article | IST-REx-ID: 7885 | OA
Reversat A, Gärtner FR, Merrin J, et al. Cellular locomotion using environmental topography. Nature. 2020;582:582–585. doi: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 | OA
Shamipour S. Bulk actin dynamics drive phase segregation in zebrafish oocytes . 2020. doi:10.15479/AT:ISTA:8350
View | Files available | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 8532 | OA
Kleindienst D, Montanaro-Punzengruber J-C, Bhandari P, Case MJ, Fukazawa Y, Shigemoto R. 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. 2020;21(18). doi:10.3390/ijms21186737
[Published Version] View | Files available | DOI | WoS
 

2020 | Published | Journal Article | IST-REx-ID: 8569 | OA
Hansen AH, Hippenmeyer S. Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex. Frontiers in Cell and Developmental Biology. 2020;8(9). doi:10.3389/fcell.2020.574382
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Preprint | IST-REx-ID: 9750 | OA
Slovakova J, Sikora MK, Caballero Mancebo S, et al. Tension-dependent stabilization of E-cadherin limits cell-cell contact expansion. bioRxiv. 2020. doi:10.1101/2020.11.20.391284
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2020 | Published | Journal Article | IST-REx-ID: 8986 | OA
Zhang Y, Rodriguez Solovey L, Li L, Zhang X, Friml J. Functional innovations of PIN auxin transporters mark crucial evolutionary transitions during rise of flowering plants. Science Advances. 2020;6(50). doi:10.1126/sciadv.abc8895
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Published | Journal Article | IST-REx-ID: 8283 | OA
Chen H, Lai L, Li L, et al. AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling. International Journal of Molecular Sciences. 2020;21(16). doi:10.3390/ijms21165727
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 13369 | OA
Hanopolskyi AI, De S, Białek MJ, et al. Reversible switching of arylazopyrazole within a metal–organic cage. Beilstein Journal of Organic Chemistry. 2019;15:2398-2407. doi:10.3762/bjoc.15.232
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 13371 | OA
Białek MJ, Klajn R. Diamond grows up. Chem. 2019;5(9):2283-2285. doi:10.1016/j.chempr.2019.08.012
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Published | Journal Article | IST-REx-ID: 13372 | OA
Grzelczak M, Liz-Marzán LM, Klajn R. Stimuli-responsive self-assembly of nanoparticles. Chemical Society Reviews. 2019;48(5):1342-1361. doi:10.1039/c8cs00787j
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 13468 | OA
Zapartas E, de Mink SE, Justham S, et al. The diverse lives of progenitors of hydrogen-rich core-collapse supernovae: The role of binary interaction. Astronomy & Astrophysics. 2019;631. doi:10.1051/0004-6361/201935854
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 13469 | OA
Götberg YLL, de Mink SE, Groh JH, Leitherer C, Norman C. The impact of stars stripped in binaries on the integrated spectra of stellar populations. Astronomy & Astrophysics. 2019;629. doi:10.1051/0004-6361/201834525
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 13470 | OA
Shenar T, Sablowski DP, Hainich R, et al. The Wolf–Rayet binaries of the nitrogen sequence in the Large Magellanic Cloud. Astronomy & Astrophysics. 2019;627. doi:10.1051/0004-6361/201935684
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Published | Journal Article | IST-REx-ID: 13471 | OA
Renzo M, Zapartas E, de Mink SE, et al. Massive runaway and walkaway stars. Astronomy & Astrophysics. 2019;624. doi:10.1051/0004-6361/201833297
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 13472 | OA
Kerzendorf WE, Do T, de Mink SE, et al. No surviving non-compact stellar companion to Cassiopeia A. Astronomy & Astrophysics. 2019;623. doi:10.1051/0004-6361/201732206
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 14001 | OA
Baykusheva DR, Zindel D, Svoboda V, et al. Real-time probing of chirality during a chemical reaction. Proceedings of the National Academy of Sciences. 2019;116(48):23923-23929. doi:10.1073/pnas.1907189116
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 14184 | OA
Locatello F, Tschannen M, Bauer S, Rätsch G, Schölkopf B, Bachem O. Disentangling factors of variation using few labels. In: 8th International Conference on Learning Representations. ; 2019.
[Preprint] View | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed