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.

12121 Publications


2025 | Research Data Reference | IST-REx-ID: 21668 | OA
A. Hartmanns, S. Junges, T. Quatmann, and M. Weininger, “Benchmark data for the revised practitioner’s guide to MDP model checking algorithms.” Zenodo, 2025.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2025 | Submitted | Preprint | IST-REx-ID: 21693 | OA
D. A. B. Miller et al., “Universal programmable and self-configuring optical filter,” arXiv. .
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Submitted | Preprint | IST-REx-ID: 21694 | OA
S. Pajovic et al., “Nanophotonic thermal management in X-ray tubes,” arXiv. .
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Submitted | Preprint | IST-REx-ID: 21695 | OA
J. M. Grzesik et al., “Quantum sensing of electron beams using solid-state spins,” arXiv. .
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Submitted | Preprint | IST-REx-ID: 21696 | OA
C. G. Valdez et al., “Programmable optical filters based on feed-forward photonic meshes,” arXiv. .
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Submitted | Preprint | IST-REx-ID: 21697 | OA
A. Karnieli et al., “Variational processing of multimode squeezed light,” arXiv. .
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21706 | OA | PlanS
M. A. Kwan and L. Sauermann, “Resolution of the quadratic Littlewood–Offord problem,” Compositio Mathematica, vol. 161, no. 12. Cambridge University Press, pp. 3089–3139, 2025.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21724 | OA | PlanS
M. E. Lee, Z. Haiman, S. Pandey, and S. Genel, “The effect of intrinsic alignments on weak-lensing statistics in hydrodynamical simulations,” The Astrophysical Journal, vol. 996, no. 1. IOP Publishing, 2025.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21727 | OA | PlanS
Rinaldi P, Pérez-González PG, Rieke GH, Lyu J, D’Eugenio F, Wu Z, Carniani S, Looser TJ, Shivaei I, Boogaard LA, Diaz-Santos T, Colina L, Östlin G, Alberts S, Álvarez-Márquez J, Annuziatella M, Aravena M, Bhatawdekar R, Bunker AJ, Caputi KI, Charlot S, Crespo Gómez A, Curti M, Eckart A, Gillman S, Hainline K, Kumari N, Hjorth J, Iani E, Inami H, Ji Z, Johnson BD, Jones GC, Labiano Á, Maiolino R, Melinder J, Moutard T, Peissker F, Rieke M, Robertson B, Scholtz J, Tacchella S, Van Der Werf PP, Walter F, Williams CC, Willott C, Witstok J, Übler H, Zhu Y. 2025. Deciphering the nature of Virgil: An obscured active galactic nucleus lurking within an apparently normal Lyα emitter during cosmic reionization. The Astrophysical Journal. 994(1), 86.
[Published Version] View | Files available | DOI
 

2025 | Published | Conference Paper | IST-REx-ID: 21885
T. A. Henzinger, “Neural Certificates,” in Proceedings of the 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 2025.
View | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 21912 | OA
K. Schultz et al., “Snapshots of acyl carrier protein shuttling in human fatty acid synthase,” Nature, vol. 641, no. 8062. Springer Nature, pp. 520–528, 2025.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2025 | Submitted | Preprint | IST-REx-ID: 21920 | OA
Y. Ignatyev et al., “Innovations in spinal cord cell type heterogeneity across vertebrate evolution,” bioRxiv. .
[Preprint] View | DOI | Download Preprint (ext.)
 

2025 | Published | Journal Article | IST-REx-ID: 14647 | OA
M. Bose et al., “Dual role of FOXG1 in regulating gliogenesis in the developing neocortex via the FGF signalling pathway,” eLife, vol. 13. eLife Sciences Publications, 2025.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 15121 | OA
D. W. Zheng and M. Henzinger, “Multiplicative auction algorithm for approximate maximum weight bipartite matching,” Mathematical Programming, vol. 210. Springer Nature, pp. 881–894, 2025.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 15128 | OA
V. Riabov, “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, pp. 129–154, 2025.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 17094 | OA | PlanS
E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. Oliveira da Costa, “Information-flow interfaces,” Formal Methods in System Design, vol. 66. Springer Nature, pp. 3–48, 2025.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 17149 | OA
H. Edelsbrunner and A. Nikitenko, “Average and expected distortion of Voronoi paths and scapes,” Discrete & Computational Geometry, vol. 73. Springer Nature, pp. 490–499, 2025.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 18449 | OA | PlanS
S. Schober, S. Klee, and F. Trautinger, “The role of institutional ethics committees in Austria: Report of the Commission on Ethics and Scientific Integrity of the Karl Landsteiner University of Health Sciences 2018–2023,” Wiener Klinische Wochenschrift, vol. 137. Springer Nature, pp. 432–437, 2025.
[Published Version] View | Files available | DOI | WoS
 

2025 | Published | Journal Article | IST-REx-ID: 18478 | OA
M. Anastos, S. Boyadzhiyska, S. Rathke, and J. Rué, “On the chromatic number of powers of subdivisions of graphs,” Discrete Applied Mathematics, vol. 360. Elsevier, pp. 506–511, 2025.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 18529
Y. Zhang et al., “Limitation of time promotes cooperation in structured collaboration systems,” IEEE Transactions on Network Science and Engineering, vol. 12, no. 1. IEEE, pp. 4–12, 2025.
View | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed