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.

7667 Publications


2025 | Published | Conference Paper | IST-REx-ID: 19744 | OA
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 | Thesis | PhD | IST-REx-ID: 19759 | OA
Prach, Bernd. “Robust Image Classification with 1-Lipschitz Networks.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/10.15479/at-ista-19759.
[Published Version] View | Files available | DOI
 

2025 | Submitted | Preprint | IST-REx-ID: 19762 | OA
Cárdenas, Adrián, Irem Çelik, Alexandre Espinós, Carmen Streicher, Lara López-González, Lucia del-Valle-Anton, Virginia Fernández, et al. “Early Indirect Neurogenesis Transitions to Late Direct Neurogenesis in Mouse Cerebral Cortex Development.” BioRxiv, n.d. https://doi.org/10.1101/2025.05.22.655488.
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Research Data Reference | IST-REx-ID: 19769 | OA
Budde, Carlos, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, and Patrick Wienhöft. “Sound Statistical Model Checking for Probabilities and Expected Rewards (Experimental Reproduction Package).” Zenodo, 2025. https://doi.org/10.5281/ZENODO.14602066.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2025 | Research Data Reference | IST-REx-ID: 19771 | OA
Chatterjee, Krishnendu, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, and Daniel Zilken. “Artifact: Fixed Point Certificates for Reachability and Expected Rewards in MDPs.” Zenodo, 2025. https://doi.org/10.5281/ZENODO.14626585.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2025 | Published | Journal Article | IST-REx-ID: 19776 | OA
Browning, Timothy D, Jakob Glas, and Victor Wang. “Optimal Sums of Three Cubes in Fq[T].” Mathematische Zeitschrift. Springer Nature, 2025. https://doi.org/10.1007/s00209-025-03765-z.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 15016 | OA
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.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 15121 | OA
Zheng, Da Wei, and Monika Henzinger. “Multiplicative Auction Algorithm for Approximate Maximum Weight Bipartite Matching.” Mathematical Programming. Springer Nature, 2025. https://doi.org/10.1007/s10107-024-02066-3.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 15128 | OA
Riabov, Volodymyr. “Mesoscopic Eigenvalue Statistics for Wigner-Type Matrices.” Annales de l’institut Henri Poincare (B) Probability and Statistics. Institute of Mathematical Statistics, 2025. https://doi.org/10.1214/23-AIHP1438.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 10011 | OA
Hensel, Sebastian, and Tim Laux. “A New Varifold Solution Concept for Mean Curvature Flow: Convergence of  the Allen-Cahn Equation and Weak-Strong Uniqueness.” Journal of Differential Geometry. International Press, 2025. https://doi.org/10.4310/jdg/1747065796.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 10045 | OA
Dvorak, Martin, and Vladimir Kolmogorov. “Generalized Minimum 0-Extension Problem and Discrete Convexity.” Mathematical Programming. Springer Nature, 2025. https://doi.org/10.1007/s10107-024-02064-5.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 20820 | OA
Sieberling, Oliver, Denis Kuznedelev, Eldar Kurtic, and Dan-Adrian Alistarh. “EvoPress: Accurate Dynamic Model Compression via Evolutionary Search.” In 42nd International Conference on Machine Learning, 267:55556–90. ML Research Press, 2025.
[Published Version] View | Files available | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 20821 | OA
Nguyen, Anh Duc, Ilia Markov, Frank Zhengqing Wu, Ali Ramezani-Kebrya, Kimon Antonakopoulos, Dan-Adrian Alistarh, and Volkan Cevher. “Layer-Wise Quantization for Quantized Optimistic Dual Averaging.” In 42nd International Conference on Machine Learning, 267:46026–72. ML Research Press, 2025.
[Published Version] View | Files available | arXiv
 

2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20839 | OA
Helfter, Mathieu. “Sets with Arbitrary Hausdorff and Packing Scales in Infinite Dimensional Banach Spaces.” Journal of Fractal Geometry. EMS Press, 2025. https://doi.org/10.4171/jfg/177.
[Published Version] View | DOI | Download Published Version (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 20844 | OA
Dujmovic, Jesko, Christoph Ullrich Günther, and Krzysztof Z Pietrzak. “Space-Deniable Proofs.” In 23rd International Conference on Theory of Cryptography, 16271:171–202. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-12290-2_6.
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 20845 | OA
Agrawal, Shweta, Anuja Modi, Anshu Yadav, and Shota Yamada. “Zeroizing Attacks against Evasive and Circular Evasive LWE.” In 23rd International Conference on Theory of Cryptography, 16269:259–90. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-12293-3_9.
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 20846 | OA
Brandt, Nicholas, Miguel Cueto Noval, Christoph Ullrich Günther, Akin Ünal, and Stella Wohnig. “Constrained Verifiable Random Functions without Obfuscation and Friends.” In 23rd International Conference on Theory of Cryptography, 16271:478–511. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-12290-2_16.
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Journal Article | IST-REx-ID: 20847 | OA | PlanS
Fitzgerald, Eavan, Cécile Clavaud, Debasish Das, Isaac C Lenton, and Scott R Waitukaitis. “Rolling at Right Angles: Magnetic Anisotropy Enables Dual-Anisotropic Active Matter.” Physical Review E. American Physical Society, 2025. https://doi.org/10.1103/1ss8-31rb.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 20848 | OA
Berg, Jeremy J., Xinyi Li, Kellen Riall, Laura Hayward, and Guy Sella. “Mutation–Selection–Drift Balance Models of Complex Diseases.” Genetics. Oxford University Press, 2025. https://doi.org/10.1093/genetics/iyaf220.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 20850 | OA
Diao, Yijie. “Class Numbers and Integer Points on Some Pellian Surfaces.” Journal de Theorie Des Nombres de Bordeaux. Université de Bordeaux, 2025. https://doi.org/10.5802/jtnb.1348.
[Published Version] View | Files available | DOI | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed