ISTA Research Explorer

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

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6734 Publications

2025 | Published | Conference Paper | IST-REx-ID: 21262 |

Auerbach, Benedikt, Miguel Cueto Noval, Boran Erol, and Krzysztof Z Pietrzak. “Continuous Group-Key Agreement: Concurrent Updates without Pruning.” In 45th Annual International Cryptology Conference, 16007:141–72. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-01913-4_5.

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

2025 | Published | Journal Article | IST-REx-ID: 19278 |

Sobarzo Ponce, Juan Carlos A, Felix Pertl, Daniel Balazs, Tommaso Costanzo, Markus Sauer, Annette Foelske, Markus Ostermann, et al. “Spontaneous Ordering of Identical Materials into a Triboelectric Series.” Nature. Springer Nature, 2025. https://doi.org/10.1038/s41586-024-08530-6.

Pertl, Felix, Isaac C Lenton, Tobias Cramer, and Scott R Waitukaitis. “No Time for Surface Charge: How Bulk Conductivity Hides Charge Patterns from Kelvin Probe Force Microscopy in Contact-Electrified Surfaces.” Physical Review Letters. American Physical Society, 2025. https://doi.org/10.1103/lcsm-xxty.

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

King, Daniel S., Dongjin Kim, Peichen Zhong, and Bingqing Cheng. “Machine Learning of Charges and Long-Range Interactions from Energies and Forces.” Nature Communications. Springer Nature, 2025. https://doi.org/10.1038/s41467-025-63852-x.

2025 | Research Data Reference | IST-REx-ID: 22770 |

Cheng, Bingqing, Daniel King, Dongjin Kim, and Peichen Zhong. “BingqingCheng/Cace-Lr-Fit: V0.” Repository, 2025. https://doi.org/10.5281/zenodo.16415060.

View | Files available | DOI | Download None (ext.)

2025 | Published | Thesis | PhD | IST-REx-ID: 19684 |

Yalniz, Gökhan. “Transition to Turbulence: Data-, Solution-, and Pattern-Driven Approaches.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19684.

[Published Version] View | Files available | DOI

2025 | Published | Journal Article | IST-REx-ID: 19795 |

Vorlaufer, Jakob, Nikolai Semenov, Caroline Kreuzinger, Manjunath Javoor, Bettina Zens, Nathalie Agudelo Duenas, Mojtaba Tavakoli, et al. “Image-Based 3D Active Sample Stabilization on the Nanometer Scale for Optical Microscopy.” Biophysical Reports. Elsevier, 2025. https://doi.org/10.1016/j.bpr.2025.100211.

[Published Version] View | Files available | DOI

2025 | Published | Journal Article | IST-REx-ID: 15016 |

Jaeger ECB, Vijatovic D, Deryckere A, Zorin N, Nguyen AL, Ivanian G, Woych J, Arnold RC, Ortega Gurrola A, Shvartsman A, Barbieri F, Toma F-A, Gorbsky GJ, Horb ME, Cline HT, Shay TF, Kelley DB, Yamaguchi A, Shein-Idelson M, Tosches MA, Sweeney LB. 2025. Adeno-associated viral tools to trace neural development and connectivity across amphibians. Developmental Cell. 60(5), 794–812.e6.

2025 | Published | Journal Article | IST-REx-ID: 22774 |

Kolmogorov, Vladimir, Simone Naldi, and Jeferson Zapata. “Certifying Solutions of Degenerate Semidefinite Programs.” ACM Communications in Computer Algebra. ACM, 2025. https://doi.org/10.1145/3832046.3832063.

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

2025 | Published | Journal Article | IST-REx-ID: 18710 |

Hrast, Mateja, Marko Ljubotina, and Matjaz Zitnik. “Ab Initio Auger Spectrum of the Ultrafast Dissociating 2p3/2−1σ* Resonance in HCl.” Physical Chemistry Chemical Physics. Royal Society of Chemistry, 2025. https://doi.org/10.1039/d4cp03727h.

2025 | Published | Conference Paper | IST-REx-ID: 22826 |

Rodionov, Gleb, Roman Garipov, Alina Shutova, George Yakushev, Erik Schultheis, Vage Egiazarian, Anton Sinitsin, Denis Kuznedelev, and Dan-Adrian Alistarh. “Hogwild! Inference: Parallel LLM Generation via Concurrent Attention.” In 39th Conference on Neural Information Processing Systems, 38:52014–55. Neural Information Processing Systems Foundation, 2025. https://doi.org/10.52202/085713-1551.

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

2025 | Published | Conference Paper | IST-REx-ID: 22825 |

Súkeník, Peter, Christoph Lampert, and Marco Mondelli. “Neural Collapse Is Globally Optimal in Deep Regularized ResNets and Transformers.” In 39th Conference on Neural Information Processing Systems, 38:48646–77. Neural Information Processing Systems Foundation, 2025. https://doi.org/10.52202/085713-1450.

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

2025 | Published | Conference Paper | IST-REx-ID: 22824 |

Zakerinia, Hossein, and Christoph Lampert. “Fast Rate Bounds for Multi-Task and Meta-Learning with Different Sample Sizes.” In 39th Conference on Neural Information Processing Systems, 38:9062–93. Neural Information Processing Systems Foundation, 2025. https://doi.org/10.52202/085713-0278.

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

2025 | Published | Conference Paper | IST-REx-ID: 22830 |

Garipov, Roman, Fedor Velikonivtsev, Ivan Ermakov, Ruslan Svirschevski, Vage Egiazarian, and Max Ryabinin. “AutoJudge: Judge Decoding without Manual Annotation.” In 39th Annual Conference on Neural Information Processing Systems, 38:104904–41. Neural Information Processing Systems Foundation, 2025. https://doi.org/10.52202/085713-3163.

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

2025 | Published | Journal Article | IST-REx-ID: 19595 |

Davidson, Yair, Aviad Philipp, Sabyasachi Chakraborty, Alex M. Bronstein, and Renana Gershoni-Poranne. “How Local Is ‘Local’? Deep Learning Reveals Locality of the Induced Magnetic Field of Polycyclic Aromatic Hydrocarbons.” Journal of Chemical Physics. AIP Publishing, 2025. https://doi.org/10.1063/5.0257558.

Mondal, Soumyadip, Huyen T.K. Nguyen, Robert Hauschild, and Stefan Alexander Freunberger. “Marcus Kinetics Control Singlet and Triplet Oxygen Evolving from Superoxide.” Nature. Springer Nature, 2025. https://doi.org/10.1038/s41586-025-09587-7.

2025 | Published | Conference Paper | IST-REx-ID: 19743 |

Chatterjee, Krishnendu, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, and Daniel Zilken. “Fixed Point Certificates for Reachability and Expected Rewards in MDPs.” In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 15697:130–51. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-90653-4_7.

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

2025 | Published | Conference Paper | IST-REx-ID: 19740 |

Chatterjee, Krishnendu, Mahdi Jafariraviz, Raimundo J Saona Urmeneta, and Jakub Svoboda. “Value Iteration with Guessing for Markov Chains and Markov Decision Processes.” In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 15697:217–36. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-90653-4_11.

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

2025 | Published | Conference Paper | IST-REx-ID: 19744 |

Chatterjee, Krishnendu, Ehsan Goharshady, Petr Novotný, and Dorde Zikelic. “Refuting Equivalence in Probabilistic Programs with Conditioning.” In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 15697:279–300. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-90653-4_14.

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

2025 | Published | Conference Paper | IST-REx-ID: 19667 |

Chatterjee, Krishnendu, Ehsan Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, and Dorde Zikelic. “Quantified Linear and Polynomial Arithmetic Satisfiability via Template-Based Skolemization.” In Proceedings of the 39th AAAI Conference on Artificial Intelligence, 39:11158–66. Association for the Advancement of Artificial Intelligence, 2025. https://doi.org/10.1609/aaai.v39i11.33213.

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

Research Groups

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

6734 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

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

6734 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options