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, et al. “Refuting Equivalence in Probabilistic Programs with Conditioning.” 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 15697, Springer Nature, 2025, pp. 279–300, doi: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, doi: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, et al. “Early Indirect Neurogenesis Transitions to Late Direct Neurogenesis in Mouse Cerebral Cortex Development.” BioRxiv, doi:10.1101/2025.05.22.655488.
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Research Data Reference | IST-REx-ID: 19769 | OA
Budde, Carlos, et al. Sound Statistical Model Checking for Probabilities and Expected Rewards (Experimental Reproduction Package). Zenodo, 2025, doi: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, et al. Artifact: Fixed Point Certificates for Reachability and Expected Rewards in MDPs. Zenodo, 2025, doi: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., et al. “Optimal Sums of Three Cubes in Fq[T].” Mathematische Zeitschrift, vol. 310, no. 4, 65, Springer Nature, 2025, doi: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, vol. 210, Springer Nature, 2025, pp. 881–94, doi: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, vol. 61, no. 1, Institute of Mathematical Statistics, 2025, pp. 129–54, doi: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, vol. 130, International Press, 2025, pp. 209–68, doi: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, vol. 209, Springer Nature, 2025, pp. 279–322, doi: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, et al. “EvoPress: Accurate Dynamic Model Compression via Evolutionary Search.” 42nd International Conference on Machine Learning, vol. 267, ML Research Press, 2025, pp. 55556–90.
[Published Version] View | Files available | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 20821 | OA
Nguyen, Anh Duc, et al. “Layer-Wise Quantization for Quantized Optimistic Dual Averaging.” 42nd International Conference on Machine Learning, vol. 267, ML Research Press, 2025, pp. 46026–72.
[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, doi:10.4171/jfg/177.
[Published Version] View | DOI | Download Published Version (ext.)
 

2025 | Published | Conference Paper | IST-REx-ID: 20844 | OA
Dujmovic, Jesko, et al. “Space-Deniable Proofs.” 23rd International Conference on Theory of Cryptography, vol. 16271, Springer Nature, 2025, pp. 171–202, doi: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, et al. “Zeroizing Attacks against Evasive and Circular Evasive LWE.” 23rd International Conference on Theory of Cryptography, vol. 16269, Springer Nature, 2025, pp. 259–90, doi: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, et al. “Constrained Verifiable Random Functions without Obfuscation and Friends.” 23rd International Conference on Theory of Cryptography, vol. 16271, Springer Nature, 2025, pp. 478–511, doi: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, et al. “Rolling at Right Angles: Magnetic Anisotropy Enables Dual-Anisotropic Active Matter.” Physical Review E, vol. 112, no. 6, 065418, American Physical Society, 2025, doi:10.1103/1ss8-31rb.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 20848 | OA
Berg, Jeremy J., et al. “Mutation–Selection–Drift Balance Models of Complex Diseases.” Genetics, vol. 231, no. 4, iyaf220, Oxford University Press, 2025, doi: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, vol. 37, no. 3, Université de Bordeaux, 2025, pp. 973–88, doi:10.5802/jtnb.1348.
[Published Version] View | Files available | DOI | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed