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.

619 Publications


2023 | Published | Conference Paper | IST-REx-ID: 12467 | OA
T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Quantitative safety and liveness,” in 26th International Conference Foundations of Software Science and Computation Structures, Paris, France, 2023, vol. 13992, pp. 349–370.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Research Data | IST-REx-ID: 12497 | OA
L. M. Becker and P. Schanda, “Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues.” Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 12545 | OA
M. N. Rojas Vega, P. De Castro, and R. Soto, “Wetting dynamics by mixtures of fast and slow self-propelled particles,” Physical Review E, vol. 107, no. 1. American Physical Society, 2023.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 12676 | OA
K. Chatterjee, T. Meggendorfer, R. J. Saona Urmeneta, and J. Svoboda, “Faster algorithm for turn-based stochastic games with bounded treewidth,” in Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Florence, Italy, 2023, pp. 4590–4605.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Published | Journal Article | IST-REx-ID: 12680 | OA
G. Ivanov and S. Köse, “Erdős-Ko-Rado and Hilton-Milner theorems for two-forms,” Discrete Mathematics, vol. 346, no. 6. Elsevier, 2023.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Published | Thesis | PhD | IST-REx-ID: 12716 | OA
L. Burnett, “To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism,” Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 12723 | OA
A. Volosniev et al., “Spin-electric coupling in lead halide perovskites,” Physical Review Letters, vol. 130, no. 10. American Physical Society, 2023.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12724 | OA
A. Volosniev et al., “Effective model for studying optical properties of lead halide perovskites,” Physical Review B, vol. 107, no. 12. American Physical Society, 2023.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Published | Thesis | PhD | IST-REx-ID: 12726
M. Riedl, “Synchronization in collectively moving active matter,” Institute of Science and Technology Austria, 2023.
View | Files available | DOI
 

2023 | Published | Thesis | PhD | IST-REx-ID: 12732 | OA
P. Brighi, “Ergodicity breaking in disordered and kinetically constrained quantum many-body systems,” Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Published | Conference Poster | IST-REx-ID: 12736 | OA
V. Aksenov, T. A. Brown, A. Fedorov, and I. Kokorin, Unexpected scaling in path copying trees. Association for Computing Machinery, 2023, pp. 438–440.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Published | Thesis | PhD | IST-REx-ID: 12826 | OA
V. Pokusaeva, “Neural control of optic flow-based navigation in Drosophila melanogaster,” Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Research Data | IST-REx-ID: 12869 | OA
F. R. Klausen and A. B. Lauritsen, “Research data for: A stochastic cellular automaton model of culture formation.” Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 12890 | OA
F. R. Klausen and A. B. Lauritsen, “Stochastic cellular automaton model of culture formation,” Physical Review E, vol. 108, no. 5. American Physical Society, 2023.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

2023 | Published | Thesis | PhD | IST-REx-ID: 12900
R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Research Data | IST-REx-ID: 12933 | OA
G. Puixeu Sala, “Data from: Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster.” Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Published | Conference Paper | IST-REx-ID: 13053 | OA
A. Krumes, A. Vladu, E. Kurtic, C. Lampert, and D.-A. Alistarh, “CrAM: A Compression-Aware Minimizer,” in 11th International Conference on Learning Representations , Kigali, Rwanda , 2023.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2023 | Published | Thesis | PhD | IST-REx-ID: 13107 | OA
L. Knaus, “The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival,” Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 13128 | OA
A. Mohammadi, T. Pham, and Y. Wang, “An energy decomposition theorem for matrices and related questions,” Canadian Mathematical Bulletin, vol. 66, no. 4. Cambridge University Press, pp. 1280–1295, 2023.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 13138 | OA
P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, and D. V. Kurlov, “Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain,” Physical Review B, vol. 107, no. 18. American Physical Society, 2023.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Filters and Search Terms

department=GradSch

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed