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
Optimal and perfectly parallel algorithms for on-demand data-flow analysis
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.
[Published Version] View | Files available | DOI | WoS
 

2020 | Published | Conference Paper | IST-REx-ID: 8728 | OA
Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth
A. Asadi, K. Chatterjee, A.K. Goharshady, K. Mohammadi, A. Pavlogiannis, in:, Automated Technology for Verification and Analysis, Springer Nature, 2020, pp. 253–270.
[Submitted Version] View | Files available | DOI | WoS
 

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

2020 | Published | Journal Article | IST-REx-ID: 7885 | OA
Cellular locomotion using environmental topography
A. Reversat, F.R. Gärtner, J. Merrin, J.A. Stopp, S. Tasciyan, J.L. Aguilera Servin, I. de Vries, R. Hauschild, M. Hons, M. Piel, A. Callan-Jones, R. Voituriez, M.K. Sixt, Nature 582 (2020) 582–585.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 

2020 | Published | Thesis | IST-REx-ID: 8350 | OA
Bulk actin dynamics drive phase segregation in zebrafish oocytes
S. Shamipour, Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes , Institute of Science and Technology Austria, 2020.
View | Files available | DOI
 

2020 | Published | Journal Article | IST-REx-ID: 8532 | OA
Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses
D. Kleindienst, J.-C. Montanaro-Punzengruber, P. Bhandari, M.J. Case, Y. Fukazawa, R. Shigemoto, International Journal of Molecular Sciences 21 (2020).
[Published Version] View | Files available | DOI | WoS
 

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

2020 | Published | Preprint | IST-REx-ID: 9750 | OA
Tension-dependent stabilization of E-cadherin limits cell-cell contact expansion
J. Slovakova, M.K. Sikora, S. Caballero Mancebo, G. Krens, W. Kaufmann, K. Huljev, C.-P.J. Heisenberg, BioRxiv (2020).
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

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

2020 | Published | Journal Article | IST-REx-ID: 8283 | OA
AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling
H. Chen, L. Lai, L. Li, L. Liu, B.H. Jakada, Y. Huang, Q. He, M. Chai, X. Niu, Y. Qin, International Journal of Molecular Sciences 21 (2020).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 13369 | OA
Reversible switching of arylazopyrazole within a metal–organic cage
A.I. Hanopolskyi, S. De, M.J. Białek, Y. Diskin-Posner, L. Avram, M. Feller, R. Klajn, Beilstein Journal of Organic Chemistry 15 (2019) 2398–2407.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 13371 | OA
Diamond grows up
M.J. Białek, R. Klajn, Chem 5 (2019) 2283–2285.
[Published Version] View | DOI | Download Published Version (ext.)
 

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

2019 | Published | Journal Article | IST-REx-ID: 13468 | OA
The diverse lives of progenitors of hydrogen-rich core-collapse supernovae: The role of binary interaction
E. Zapartas, S.E. de Mink, S. Justham, N. Smith, A. de Koter, M. Renzo, I. Arcavi, R. Farmer, Y.L.L. Götberg, S. Toonen, Astronomy & Astrophysics 631 (2019).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 13469 | OA
The impact of stars stripped in binaries on the integrated spectra of stellar populations
Y.L.L. Götberg, S.E. de Mink, J.H. Groh, C. Leitherer, C. Norman, Astronomy & Astrophysics 629 (2019).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 13470 | OA
The Wolf–Rayet binaries of the nitrogen sequence in the Large Magellanic Cloud
T. Shenar, D.P. Sablowski, R. Hainich, H. Todt, A.F.J. Moffat, L.M. Oskinova, V. Ramachandran, H. Sana, A.A.C. Sander, O. Schnurr, N. St-Louis, D. Vanbeveren, Y.L.L. Götberg, W.-R. Hamann, Astronomy & Astrophysics 627 (2019).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Published | Journal Article | IST-REx-ID: 13471 | OA
Massive runaway and walkaway stars
M. Renzo, E. Zapartas, S.E. de Mink, Y.L.L. Götberg, S. Justham, R.J. Farmer, R.G. Izzard, S. Toonen, H. Sana, Astronomy & Astrophysics 624 (2019).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 13472 | OA
No surviving non-compact stellar companion to Cassiopeia A
W.E. Kerzendorf, T. Do, S.E. de Mink, Y.L.L. Götberg, D. Milisavljevic, E. Zapartas, M. Renzo, S. Justham, P. Podsiadlowski, R.A. Fesen, Astronomy & Astrophysics 623 (2019).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 14001 | OA
Real-time probing of chirality during a chemical reaction
D.R. Baykusheva, D. Zindel, V. Svoboda, E. Bommeli, M. Ochsner, A. Tehlar, H.J. Wörner, Proceedings of the National Academy of Sciences 116 (2019) 23923–23929.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 14184 | OA
Disentangling factors of variation using few labels
F. Locatello, M. Tschannen, S. Bauer, G. Rätsch, B. Schölkopf, O. Bachem, 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

Export / Embed