ISTA Research Explorer

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.

10945 Publications

2023 | Research Data | IST-REx-ID: 13116 |

Dunajova, Z., Prats Mateu, B., Radler, P., Lim, K., Brandis, D., Velicky, P., … Loose, M. (2023). Chiral and nematic phases of flexible active filaments. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:13116

[Published Version] View | Files available | DOI

2023 | Published | Journal Article | IST-REx-ID: 13314 |

Dunajova, Z., Prats Mateu, B., Radler, P., Lim, K., Brandis, D., Velicky, P., … Loose, M. (2023). Chiral and nematic phases of flexible active filaments. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-023-02218-w

2023 | Published | Conference Paper | IST-REx-ID: 13262 |

Fedorov, A., Hashemi, D., Nadiradze, G., & Alistarh, D.-A. (2023). Provably-efficient and internally-deterministic parallel Union-Find. In Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures (pp. 261–271). Orlando, FL, United States: Association for Computing Machinery. https://doi.org/10.1145/3558481.3591082

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Published | Journal Article | IST-REx-ID: 13315 |

Barbier, J., Camilli, F., Mondelli, M., & Sáenz, M. (2023). Fundamental limits in structured principal component analysis and how to reach them. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.2302028120

2023 | Published | Journal Article | IST-REx-ID: 14037 |

Vardi, O., Maroudas-Sklare, N., Kolodny, Y., Volosniev, A., Saragovi, A., Galili, N., … Paltiel, Y. (2023). Nuclear spin effects in biological processes. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.2300828120

2023 | Published | Journal Article | IST-REx-ID: 13342 |

Kroll, J., Hauschild, R., Kuznetcov, A., Stefanowski, K., Hermann, M. D., Merrin, J., … Renkawitz, J. (2023). Adaptive pathfinding by nucleokinesis during amoeboid migration. EMBO Journal. Embo Press. https://doi.org/10.15252/embj.2023114557

2023 | Published | Journal Article | IST-REx-ID: 13340 |

Gemen, J., Church, J. R., Ruoko, T.-P., Durandin, N., Białek, M. J., Weissenfels, M., … Klajn, R. (2023). Disequilibrating azoarenes by visible-light sensitization under confinement. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.adh9059

2023 | Published | Journal Article | IST-REx-ID: 13966 |

Bighin, G., Ho, Q. P., Lemeshko, M., & Tscherbul, T. V. (2023). Diagrammatic Monte Carlo for electronic correlation in molecules: High-order many-body perturbation theory with low scaling. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.108.045115

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2023 | Published | Conference Paper | IST-REx-ID: 14260 |

Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., & Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. In 35th International Conference on Computer Aided Verification (Vol. 13964, pp. 156–169). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37706-8_8

[Published Version] View | Files available | DOI | WoS

2023 | Published | Journal Article | IST-REx-ID: 14258 |

Ojavee, S. E., Darrous, L., Patxot, M., Läll, K., Fischer, K., Mägi, R., … Robinson, M. R. (2023). Genetic insights into the age-specific biological mechanisms governing human ovarian aging. American Journal of Human Genetics. Elsevier. https://doi.org/10.1016/j.ajhg.2023.07.006

2023 | Published | Conference Paper | IST-REx-ID: 14259 |

Kretinsky, J., Meggendorfer, T., Prokop, M., & Rieder, S. (2023). Guessing winning policies in LTL synthesis by semantic learning. In 35th International Conference on Computer Aided Verification (Vol. 13964, pp. 390–414). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37706-8_20

[Published Version] View | Files available | DOI | WoS

2023 | Published | Journal Article | IST-REx-ID: 14253 |

Vierra, N. C., Ribeiro-Silva, L., Kirmiz, M., Van Der List, D., Bhandari, P., Mack, O. A., … Trimmer, J. S. (2023). Neuronal ER-plasma membrane junctions couple excitation to Ca2+-activated PKA signaling. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-40930-6

2023 | Published | Journal Article | IST-REx-ID: 14314 |

Nardin, M., Käfer, K., Stella, F., & Csicsvari, J. L. (2023). Theta oscillations as a substrate for medial prefrontal-hippocampal assembly interactions. Cell Reports. Elsevier. https://doi.org/10.1016/j.celrep.2023.113015

2023 | Published | Journal Article | IST-REx-ID: 14319 |

Anastos, M., Fabian, D., Müyesser, A., & Szabó, T. (2023). Splitting matchings and the Ryser-Brualdi-Stein conjecture for multisets. Electronic Journal of Combinatorics. Electronic Journal of Combinatorics. https://doi.org/10.37236/11714

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Published | Journal Article | IST-REx-ID: 14313 |

Fiedler, L., & Friml, J. (2023). Rapid auxin signaling: Unknowns old and new. Current Opinion in Plant Biology. Elsevier. https://doi.org/10.1016/j.pbi.2023.102443

2023 | Published | Conference Paper | IST-REx-ID: 14241 |

Tojo, K., Shamir, A., Bickel, B., & Umetani, N. (2023). Stealth shaper: Reflectivity optimization as surface stylization. In SIGGRAPH 2023 Conference Proceedings. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3588432.3591542

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2023 | Research Data Reference | IST-REx-ID: 14995 |

Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., & Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. Zenodo. https://doi.org/10.5281/ZENODO.7877757

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2023 | Published | Conference Paper | IST-REx-ID: 14318 |

Sun, Y., Fu, H., Chatterjee, K., & Goharshady, A. K. (2023). Automated tail bound analysis for probabilistic recurrence relations. In Computer Aided Verification (Vol. 13966, pp. 16–39). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37709-9_2

[Published Version] View | Files available | DOI | WoS

2023 | Published | Conference Paper | IST-REx-ID: 14317 |

Akshay, S., Chatterjee, K., Meggendorfer, T., & Zikelic, D. (2023). MDPs as distribution transformers: Affine invariant synthesis for safety objectives. In International Conference on Computer Aided Verification (Vol. 13966, pp. 86–112). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37709-9_5

[Published Version] View | Files available | DOI | WoS

2023 | Published | Journal Article | IST-REx-ID: 14321 |

Al Hyder, R., Cappellaro, A., Lemeshko, M., & Volosniev, A. (2023). Achiral dipoles on a ferromagnet can affect its magnetization direction. The Journal of Chemical Physics. AIP Publishing. https://doi.org/10.1063/5.0165806

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

10945 Publications

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

10945 Publications

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options