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, Zuzana, Batirtze Prats Mateu, Philipp Radler, Keesiang Lim, Dörte Brandis, Philipp Velicky, Johann G Danzl, et al. “Chiral and Nematic Phases of Flexible Active Filaments.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:13116.

[Published Version] View | Files available | DOI

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

Dunajova, Zuzana, Batirtze Prats Mateu, Philipp Radler, Keesiang Lim, Dörte Brandis, Philipp Velicky, Johann G Danzl, et al. “Chiral and Nematic Phases of Flexible Active Filaments.” Nature Physics. Springer Nature, 2023. https://doi.org/10.1038/s41567-023-02218-w.

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

Fedorov, Alexander, Diba Hashemi, Giorgi Nadiradze, and Dan-Adrian Alistarh. “Provably-Efficient and Internally-Deterministic Parallel Union-Find.” In Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, 261–71. Association for Computing Machinery, 2023. https://doi.org/10.1145/3558481.3591082.

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

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

Barbier, Jean, Francesco Camilli, Marco Mondelli, and Manuel Sáenz. “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, 2023. https://doi.org/10.1073/pnas.2302028120.

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

Vardi, Ofek, Naama Maroudas-Sklare, Yuval Kolodny, Artem Volosniev, Amijai Saragovi, Nir Galili, Stav Ferrera, et al. “Nuclear Spin Effects in Biological Processes.” Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences, 2023. https://doi.org/10.1073/pnas.2300828120.

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

Kroll, Janina, Robert Hauschild, Arthur Kuznetcov, Kasia Stefanowski, Monika D. Hermann, Jack Merrin, Lubuna B Shafeek, Annette Müller-Taubenberger, and Jörg Renkawitz. “Adaptive Pathfinding by Nucleokinesis during Amoeboid Migration.” EMBO Journal. Embo Press, 2023. https://doi.org/10.15252/embj.2023114557.

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

Gemen, Julius, Jonathan R. Church, Tero-Petri Ruoko, Nikita Durandin, Michał J. Białek, Maren Weissenfels, Moran Feller, et al. “Disequilibrating Azoarenes by Visible-Light Sensitization under Confinement.” Science. American Association for the Advancement of Science, 2023. https://doi.org/10.1126/science.adh9059.

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

Bighin, Giacomo, Quoc P Ho, Mikhail Lemeshko, and T. V. Tscherbul. “Diagrammatic Monte Carlo for Electronic Correlation in Molecules: High-Order Many-Body Perturbation Theory with Low Scaling.” Physical Review B. American Physical Society, 2023. 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, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” In 35th International Conference on Computer Aided Verification , 13964:156–69. Springer Nature, 2023. 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, Sven E., Liza Darrous, Marion Patxot, Kristi Läll, Krista Fischer, Reedik Mägi, Zoltan Kutalik, and Matthew Richard Robinson. “Genetic Insights into the Age-Specific Biological Mechanisms Governing Human Ovarian Aging.” American Journal of Human Genetics. Elsevier, 2023. https://doi.org/10.1016/j.ajhg.2023.07.006.

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

Kretinsky, Jan, Tobias Meggendorfer, Maximilian Prokop, and Sabine Rieder. “Guessing Winning Policies in LTL Synthesis by Semantic Learning.” In 35th International Conference on Computer Aided Verification , 13964:390–414. Springer Nature, 2023. 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, Nicholas C., Luisa Ribeiro-Silva, Michael Kirmiz, Deborah Van Der List, Pradeep Bhandari, Olivia A. Mack, James Carroll, et al. “Neuronal ER-Plasma Membrane Junctions Couple Excitation to Ca2+-Activated PKA Signaling.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-40930-6.

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

Nardin, Michele, Karola Käfer, Federico Stella, and Jozsef L Csicsvari. “Theta Oscillations as a Substrate for Medial Prefrontal-Hippocampal Assembly Interactions.” Cell Reports. Elsevier, 2023. https://doi.org/10.1016/j.celrep.2023.113015.

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

Anastos, Michael, David Fabian, Alp Müyesser, and Tibor Szabó. “Splitting Matchings and the Ryser-Brualdi-Stein Conjecture for Multisets.” Electronic Journal of Combinatorics. Electronic Journal of Combinatorics, 2023. https://doi.org/10.37236/11714.

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

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

Fiedler, Lukas, and Jiří Friml. “Rapid Auxin Signaling: Unknowns Old and New.” Current Opinion in Plant Biology. Elsevier, 2023. https://doi.org/10.1016/j.pbi.2023.102443.

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

Tojo, Kenji, Ariel Shamir, Bernd Bickel, and Nobuyuki Umetani. “Stealth Shaper: Reflectivity Optimization as Surface Stylization.” In SIGGRAPH 2023 Conference Proceedings. Association for Computing Machinery, 2023. https://doi.org/10.1145/3588432.3591542.

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

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

Koval, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” Zenodo, 2023. 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, Yican, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady. “Automated Tail Bound Analysis for Probabilistic Recurrence Relations.” In Computer Aided Verification, 13966:16–39. Springer Nature, 2023. 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., Krishnendu Chatterjee, Tobias Meggendorfer, and Dorde Zikelic. “MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.” In International Conference on Computer Aided Verification, 13966:86–112. Springer Nature, 2023. 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, Ragheed, Alberto Cappellaro, Mikhail Lemeshko, and Artem Volosniev. “Achiral Dipoles on a Ferromagnet Can Affect Its Magnetization Direction.” The Journal of Chemical Physics. AIP Publishing, 2023. 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