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.
5563 Publications
2023 | Published | Conference Paper | IST-REx-ID: 13143 | 
Hoffmann, C., Hubáček, P., Kamath, C., & Pietrzak, K. Z. (2023). Certifying giant nonprimes. In Public-Key Cryptography - PKC 2023 (Vol. 13940, pp. 530–553). Atlanta, GA, United States: Springer Nature. https://doi.org/10.1007/978-3-031-31368-4_19
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 13145 |
Dello Schiavo, L., & Lytvynov, E. (2023). A Mecke-type characterization of the Dirichlet–Ferguson measure. Electronic Communications in Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/23-ECP528
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13164 |
Gert, K. R. B., Panser, K., Surm, J., Steinmetz, B. S., Schleiffer, A., Jovine, L., … Pauli, A. (2023). Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-39317-4
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13165 |
Fang, L., Huang, H., Pach, J., Tardos, G., & Zuo, J. (2023). Successive vertex orderings of fully regular graphs. Journal of Combinatorial Theory. Series A. Elsevier. https://doi.org/10.1016/j.jcta.2023.105776
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13168 |
Xu J, Liu N, Polemiti E, Garcia-Mondragon L, Tang J, Liu X, Lett T, Yu L, Nöthen MM, Feng J, Yu C, Marquand A, Schumann G, Walter H, Heinz A, Ralser M, Twardziok S, Vaidya N, Serin E, Jentsch M, Hitchen E, Eils R, Taron UH, Schütz T, Schepanski K, Banks J, Banaschewski T, Jansone K, Christmann N, Meyer-Lindenberg A, Tost H, Holz N, Schwarz E, Stringaris A, Neidhart M, Nees F, Siehl S, A. Andreassen O, T. Westlye L, Van Der Meer D, Fernandez S, Kjelkenes R, Ask H, Rapp M, Tschorn M, Böttger SJ, Novarino G, Marr L, Slater M, Viapiana GF, Orosa FE, Gallego J, Pastor A, Forstner A, Hoffmann P, M. Nöthen M, J. Forstner A, Claus I, Miller A, Heilmann-Heimbach S, Sommer P, Boye M, Wilbertz J, Schmitt K, Jirsa V, Petkoski S, Pitel S, Otten L, Athanasiadis AP, Pearmund C, Spanlang B, Alvarez E, Sanchez M, Giner A, Hese S, Renner P, Jia T, Gong Y, Xia Y, Chang X, Calhoun V, Liu J, Thompson P, Clinton N, Desrivieres S, H. Young A, Stahl B, Ogoh G. 2023. Effects of urban living environments on mental health in adults. Nature Medicine. 29, 1456–1467.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | 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 | Published | Journal Article | IST-REx-ID: 13177 |
Hua, B., Keller, M., Schwarz, M., & Wirth, M. (2023). Sobolev-type inequalities and eigenvalue growth on graphs with finite measure. Proceedings of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/proc/14361
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13178 |
Mitrouskas, D. J., Mysliwy, K., & Seiringer, R. (2023). Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron. Forum of Mathematics. Cambridge University Press. https://doi.org/10.1017/fms.2023.45
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13179 |
Koval, N., Khalanskiy, D., & Alistarh, D.-A. (2023). CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. Association for Computing Machinery . https://doi.org/10.1145/3591230
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13180 |
Browning, T. D., Lyczak, J., & Sarapin, R. (2023). Local solubility for a family of quadrics over a split quadric surface. Involve. Mathematical Sciences Publishers. https://doi.org/10.2140/involve.2023.16.331
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13197 |
Grosjean, G. M., & Waitukaitis, S. R. (2023). Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts. Physical Review Materials. American Physical Society. https://doi.org/10.1103/physrevmaterials.7.065601
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13202 |
Eguchi, K., Le Monnier, E., & Shigemoto, R. (2023). Nanoscale phosphoinositide distribution on cell membranes of mouse cerebellar neurons. The Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.1514-22.2023
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13207 |
Hainzl, C., Roos, B., & Seiringer, R. (2023). Boundary superconductivity in the BCS model. Journal of Spectral Theory. EMS Press. https://doi.org/10.4171/JST/439
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13209 |
Xia, J., Kong, M., Yang, Z., Sun, L., Peng, Y., Mao, Y., … Tan, S. (2023). Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen. Plant Communications. Elsevier . https://doi.org/10.1016/j.xplc.2023.100632
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13212 |
Chen, H., Li, L., Zou, M., Qi, L., & Friml, J. (2023). Distinct functions of TIR1 and AFB1 receptors in auxin signalling. Molecular Plant. Elsevier . https://doi.org/10.1016/j.molp.2023.06.007
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13213 |
Chen, C., Zhang, Y., Cai, J., Qiu, Y., Li, L., Gao, C., … Gao, Z. (2023). Multi-copper oxidases SKU5 and SKS1 coordinate cell wall formation using apoplastic redox-based reactions in roots. Plant Physiology. American Society of Plant Biologists. https://doi.org/10.1093/plphys/kiad207
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13214 |
Abualia, R., Riegler, S., & Benková, E. (2023). Nitrate, auxin and cytokinin - a trio to tango. Cells. MDPI. https://doi.org/10.3390/cells12121613
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13216 |
Bunting, R., Wodaczek, F., Torabi, T., & Cheng, B. (2023). Reactivity of single-atom alloy nanoparticles: Modeling the dehydrogenation of propane. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/jacs.3c04030
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 13221 |
Boker, U., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2023). Safety and liveness of quantitative automata. In 34th International Conference on Concurrency Theory (Vol. 279). Antwerp, Belgium: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2023.17
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13225 |
Benedikter, N. P., Porta, M., Schlein, B., & Seiringer, R. (2023). Correlation energy of a weakly interacting Fermi gas with large interaction potential. Archive for Rational Mechanics and Analysis. Springer Nature. https://doi.org/10.1007/s00205-023-01893-6
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv