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.
4941 Publications
2023 | Journal Article | IST-REx-ID: 9652 | 
Dymond, M., & Kaluza, V. (2023). Highly irregular separated nets. Israel Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s11856-022-2448-6
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 12113
Zhang, L., Liu, X., Wu, T., Xu, S., Suo, G., Ye, X., … Wang, H. (2023). Two-step post-treatment to deliver high performance thermoelectric device with vertical temperature gradient. Applied Surface Science. Elsevier. https://doi.org/10.1016/j.apsusc.2022.156101
View
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 10173 |
Clozeau, N. (2023). Optimal decay of the parabolic semigroup in stochastic homogenization for correlated coefficient fields. Stochastics and Partial Differential Equations: Analysis and Computations. Springer Nature. https://doi.org/10.1007/s40072-022-00254-w
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 11741 |
Cipolloni, G., Erdös, L., & Schröder, D. J. (2023). Quenched universality for deformed Wigner matrices. Probability Theory and Related Fields. Springer Nature. https://doi.org/10.1007/s00440-022-01156-7
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 12331 |
Wang, S., Chang, C., Bai, S., Qin, B., Zhu, Y., Zhan, S., … Zhao, L. D. (2023). Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe. Chemistry of Materials. American Chemical Society. https://doi.org/10.1021/acs.chemmater.2c03542
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 11999 |
Arroyo Guevara, A. M., Klute, F., Parada, I., Vogtenhuber, B., Seidel, R., & Wiedera, T. (2023). Inserting one edge into a simple drawing is hard. Discrete and Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-022-00394-9
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 12330 |
Aksenov, V., Alistarh, D.-A., Drozdova, A., & Mohtashami, A. (2023). The splay-list: A distribution-adaptive concurrent skip-list. Distributed Computing. Springer Nature. https://doi.org/10.1007/s00446-022-00441-x
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 12159 |
Shipilina, D., Pal, A., Stankowski, S., Chan, Y. F., & Barton, N. H. (2023). On the origin and structure of haplotype blocks. Molecular Ecology. Wiley. https://doi.org/10.1111/mec.16793
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12114 |
Gauto, D. F., Lebedenko, O. O., Becker, L. M., Ayala, I., Lichtenecker, R., Skrynnikov, N. R., & Schanda, P. (2023). Aromatic ring flips in differently packed ubiquitin protein crystals from MAS NMR and MD. Journal of Structural Biology: X. Elsevier. https://doi.org/10.1016/j.yjsbx.2022.100079
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12163 |
Loose, M., Auer, A., Brognara, G., Budiman, H. R., Kowalski, L. M., & Matijevic, I. (2023). In vitro reconstitution of small GTPase regulation. FEBS Letters. Wiley. https://doi.org/10.1002/1873-3468.14540
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12164 |
Baig, M. A., Hendler, D., Milani, A., & Travers, C. (2023). Long-lived counters with polylogarithmic amortized step complexity. Distributed Computing. Springer Nature. https://doi.org/10.1007/s00446-022-00439-5
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2023 | Journal Article | IST-REx-ID: 12172
Khatoon, B., Kamil, S., Babu, H., & Siraj Alam, M. (2023). Experimental analysis of Cascade CSTRs with step and pulse inputs. Materials Today: Proceedings. Elsevier. https://doi.org/10.1016/j.matpr.2022.11.037
View
| DOI
2023 | Journal Article | IST-REx-ID: 12515 |
Ortiz-Leal, I., Torres, M. V., Vargas Barroso, V. M., Fidalgo, L. E., López-Beceiro, A. M., Larriva-Sahd, J. A., & 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. Frontiers. https://doi.org/10.3389/fnana.2022.1097467
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12106 |
Yeung, J., Florescu, M., Zeller, P., De Barbanson, B. A., Wellenstein, M. D., & Van Oudenaarden, A. (2023). scChIX-seq infers dynamic relationships between histone modifications in single cells. Nature Biotechnology. Springer Nature. https://doi.org/10.1038/s41587-022-01560-3
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 12183 |
Boccato, C., & Seiringer, R. (2023). The Bose Gas in a box with Neumann boundary conditions. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-022-01252-3
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | 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. American Chemical Society. https://doi.org/10.1021/acs.jcim.2c01346
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12543 |
Stock, M., Milutinovic, B., Hönigsberger, M., Grasse, A. V., Wiesenhofer, F., Kampleitner, N., … Cremer, S. (2023). Pathogen evasion of social immunity. Nature Ecology and Evolution. Springer Nature. https://doi.org/10.1038/s41559-023-01981-6
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12521 |
Mrnjavac, A., Khudiakova, K., Barton, N. H., & Vicoso, B. (2023). Slower-X: Reduced efficiency of selection in the early stages of X chromosome evolution. Evolution Letters. Oxford University Press. https://doi.org/10.1093/evlett/qrac004
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | 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. Elsevier. https://doi.org/10.1016/j.conb.2023.102695
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | 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. Wiley. https://doi.org/10.1002/mana.202100192
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 12430 |
Falconi, M., Leopold, N. K., Mitrouskas, D. J., & Petrat, S. P. (2023). Bogoliubov dynamics and higher-order corrections for the regularized Nelson model. Reviews in Mathematical Physics. World Scientific Publishing. https://doi.org/10.1142/S0129055X2350006X
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | 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. Springer Nature. https://doi.org/10.1038/s43588-023-00410-9
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Thesis | IST-REx-ID: 12891
Schauer, A. (2023). Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12891
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14085 |
Goranci, G., & Henzinger, M. H. (2023). Efficient data structures for incremental exact and approximate maximum flow. In 50th International Colloquium on Automata, Languages, and Programming (Vol. 261). Paderborn, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2023.69
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14084 |
Harris, D. G., & Kolmogorov, V. (2023). Parameter estimation for Gibbs distributions. In 50th International Colloquium on Automata, Languages, and Programming (Vol. 261). Paderborn, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2023.72
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 14086 |
Henzinger, M. H., Liu, P., Vondrák, J., & Zheng, D. W. (2023). Faster submodular maximization for several classes of matroids. In 50th International Colloquium on Automata, Languages, and Programming (Vol. 261). Paderborn, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2023.74
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 14083 |
Resch, N., Yuan, C., & Zhang, Y. (2023). Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery. In 50th International Colloquium on Automata, Languages, and Programming (Vol. 261). Paderborn, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2023.99
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12697 |
Grosjean, G. M., & Waitukaitis, S. R. (2023). Single-collision statistics reveal a global mechanism driven by sample history for contact electrification in granular media. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.130.098202
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Thesis | IST-REx-ID: 13175 |
Sahu, R. (2023). Cavity quantum electrooptics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13175
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12900
Sahu, R. (2023). Cavity quantum electrooptics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12900
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14242 |
Lechner, M., Zikelic, D., Chatterjee, K., Henzinger, T. A., & Rus, D. (2023). Quantization-aware interval bound propagation for training certifiably robust quantized neural networks. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (Vol. 37, pp. 14964–14973). Washington, DC, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v37i12.26747
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14243 |
Avni, G., Jecker, I. R., & Zikelic, D. (2023). Bidding graph games with partially-observable budgets. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (Vol. 37, pp. 5464–5471). Washington, DC, United States. https://doi.org/10.1609/aaai.v37i5.25679
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14241 |
Tojo, K., Shamir, A., Bickel, B., & Umetani, N. (2023). Stealth shaper: Reflectivity optimization as surface stylization. In SIGGRAPH 2023 Conference Proceedings. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3588432.3591542
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 12562
Ladle, D. R., & Hippenmeyer, S. (2023). Loss of ETV1/ER81 in motor neurons leads to reduced monosynaptic inputs from proprioceptive sensory neurons. Journal of Neurophysiology. American Physiological Society. https://doi.org/10.1152/jn.00172.2022
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 13310 |
Henzinger, T. A., Karimi, M., Kueffner, K., & Mallik, K. (2023). Monitoring algorithmic fairness. In Computer Aided Verification (Vol. 13965, pp. 358–382). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37703-7_17
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12205 |
Glajzer, J., Castillo-Tong, D. C., Richter, R., Vergote, I., Kulbe, H., Vanderstichele, A., … Braicu, E. I. (2023). Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome and patient survival in primary and recurrent high-grade serous ovarian cancer: A multicenter retrospective study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) consortium. Annals of Surgical Oncology. Springer Nature. https://doi.org/10.1245/s10434-022-12459-3
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 12115 |
Glajzer, J., Castillo-Tong, D. C., Richter, R., Vergote, I., Kulbe, H., Vanderstichele, A., … Braicu, E. I. (2023). ASO Visual Abstract: Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome, and patient survival in primary and recurrent high-grade serous ovarian cancer (HGSOC). A multicenter, retrospective study of the ovarian cancer therapy—innovative models prolong survival (OCTIPS) consortium. Annals of Surgical Oncology. Springer Nature. https://doi.org/10.1245/s10434-022-12681-z
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2023 | Journal Article | IST-REx-ID: 14253 |
Vierra, N. C., Ribeiro-Silva, L., Kirmiz, M., Van Der List, D., Bhandari, P., Mack, O. A., … Trimmer, J. S. (2023). Neuronal ER-plasma membrane junctions couple excitation to Ca2+-activated PKA signaling. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-40930-6
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 14259 |
Kretinsky, J., Meggendorfer, T., Prokop, M., & Rieder, S. (2023). Guessing winning policies in LTL synthesis by semantic learning. In 35th International Conference on Computer Aided Verification (Vol. 13964, pp. 390–414). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37706-8_20
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14256 |
Mathis, S., & Bugnet, L. A. (2023). Asymmetries of frequency splittings of dipolar mixed modes: A window on the topology of deep magnetic fields. Astronomy and Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/202346832
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14261 |
Gamper, J., Kluibenschedl, F., Weiss, A. K. H., & Hofer, T. S. (2023). Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems. Journal of Physical Chemistry Letters. American Chemical Society. https://doi.org/10.1021/acs.jpclett.3c01707
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14277 |
Boocock, D. R., Hirashima, T., & Hannezo, E. B. (2023). Interplay between mechanochemical patterning and glassy dynamics in cellular monolayers. PRX Life. American Physical Society. https://doi.org/10.1103/prxlife.1.013001
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14314 |
Nardin, M., Käfer, K., Stella, F., & Csicsvari, J. L. (2023). Theta oscillations as a substrate for medial prefrontal-hippocampal assembly interactions. Cell Reports. Elsevier. https://doi.org/10.1016/j.celrep.2023.113015
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14315 |
Cho, U. H., & Hetzer, M. (2023). Caspase-mediated nuclear pore complex trimming in cell differentiation and endoplasmic reticulum stress. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.89066
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14319 |
Anastos, M., Fabian, D., Müyesser, A., & Szabó, T. (2023). Splitting matchings and the Ryser-Brualdi-Stein conjecture for multisets. Electronic Journal of Combinatorics. Electronic Journal of Combinatorics. https://doi.org/10.37236/11714
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 14318 |
Sun, Y., Fu, H., Chatterjee, K., & Goharshady, A. K. (2023). Automated tail bound analysis for probabilistic recurrence relations. In Computer Aided Verification (Vol. 13966, pp. 16–39). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37709-9_2
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14317 |
Akshay, S., Chatterjee, K., Meggendorfer, T., & Zikelic, D. (2023). MDPs as distribution transformers: Affine invariant synthesis for safety objectives. In International Conference on Computer Aided Verification (Vol. 13966, pp. 86–112). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37709-9_5
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14316 |
Nagano, M., Aoshima, K., Shimamura, H., Siekhaus, D. E., Toshima, J. Y., & Toshima, J. (2023). Distinct role of TGN-resident clathrin adaptors for Vps21p activation in the TGN-endosome trafficking pathway. Journal of Cell Science. The Company of Biologists. https://doi.org/10.1242/jcs.261448
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 14320 |
Henderson, P. M., Ghazaryan, A., Zibrov, A. A., Young, A. F., & Serbyn, M. (2023). Deep learning extraction of band structure parameters from density of states: A case study on trilayer graphene. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.108.125411
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Thesis | IST-REx-ID: 12732 |
Brighi, P. (2023). Ergodicity breaking in disordered and kinetically constrained quantum many-body systems. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12732
View
| Files available
| DOI