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.
5148 Publications
2023 |Published| Journal Article | IST-REx-ID: 12164 |
Baig MA, Hendler D, Milani A, Travers C. 2023. Long-lived counters with polylogarithmic amortized step complexity. Distributed Computing. 36, 29–43.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2023 |Published| Journal Article | IST-REx-ID: 12515 |
Ortiz-Leal I, Torres MV, Vargas Barroso VM, Fidalgo LE, López-Beceiro AM, Larriva-Sahd JA, Sánchez-Quinteiro P. 2023. The olfactory limbus of the red fox (Vulpes vulpes). New insights regarding a noncanonical olfactory bulb pathway. Frontiers in Neuroanatomy. 16, 1097467.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 12183 |
Boccato C, Seiringer R. 2023. The Bose Gas in a box with Neumann boundary conditions. Annales Henri Poincare. 24, 1505–1560.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12544 |
Koehl P, Akopyan A, Edelsbrunner H. 2023. Computing the volume, surface area, mean, and Gaussian curvatures of molecules and their derivatives. Journal of Chemical Information and Modeling. 63(3), 973–985.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 12543 |
Stock M, Milutinovic B, Hönigsberger M, Grasse AV, Wiesenhofer F, Kampleitner N, Narasimhan M, Schmitt T, Cremer S. 2023. Pathogen evasion of social immunity. Nature Ecology and Evolution. 7, 450–460.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 12521 |
Mrnjavac A, Khudiakova K, Barton NH, Vicoso B. 2023. Slower-X: Reduced efficiency of selection in the early stages of X chromosome evolution. Evolution Letters. 7(1), qrac004.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 12679 |
Hippenmeyer S. 2023. Principles of neural stem cell lineage progression: Insights from developing cerebral cortex. Current Opinion in Neurobiology. 79(4), 102695.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 12429 |
Agresti A, Lindemulder N, Veraar M. 2023. On the trace embedding and its applications to evolution equations. Mathematische Nachrichten. 296(4), 1319–1350.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12430 |
Falconi M, Leopold NK, Mitrouskas DJ, Petrat SP. 2023. Bogoliubov dynamics and higher-order corrections for the regularized Nelson model. Reviews in Mathematical Physics. 35(4), 2350006.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12762 |
Lombardi F, Pepic S, Shriki O, Tkačik G, De Martino D. 2023. Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain. Nature Computational Science. 3, 254–263.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14085 |
Goranci G, Henzinger MH. 2023. Efficient data structures for incremental exact and approximate maximum flow. 50th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 261, 69.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 14084 |
Harris DG, Kolmogorov V. 2023. Parameter estimation for Gibbs distributions. 50th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 261, 72.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14086 |
Henzinger MH, Liu P, Vondrák J, Zheng DW. 2023. Faster submodular maximization for several classes of matroids. 50th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 261, 74.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12697 |
Grosjean GM, Waitukaitis SR. 2023. Single-collision statistics reveal a global mechanism driven by sample history for contact electrification in granular media. Physical Review Letters. 130(9), 098202.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Published| Thesis | IST-REx-ID: 13175 |
Sahu R. 2023. Cavity quantum electrooptics. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 |Published| Thesis | IST-REx-ID: 12900
Sahu R. 2023. Cavity quantum electrooptics. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 14242 |
Lechner M, Zikelic D, Chatterjee K, Henzinger TA, Rus D. 2023. Quantization-aware interval bound propagation for training certifiably robust quantized neural networks. Proceedings of the 37th AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 37, 14964–14973.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14243 |
Avni G, Jecker IR, Zikelic D. 2023. Bidding graph games with partially-observable budgets. Proceedings of the 37th AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 37, 5464–5471.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14241 |
Tojo K, Shamir A, Bickel B, Umetani N. 2023. Stealth shaper: Reflectivity optimization as surface stylization. SIGGRAPH 2023 Conference Proceedings. SIGGRAPH: Computer Graphics and Interactive Techniques Conference, 20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv