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.

620 Publications


2023 | Journal Article | IST-REx-ID: 12738 | OA
Chatterjee, K., Katoen, J. P., Mohr, S., Weininger, M., & Winkler, T. (2023). Stochastic games with lexicographic objectives. Formal Methods in System Design. Springer Nature. https://doi.org/10.1007/s10703-023-00411-4
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2023 | Journal Article | IST-REx-ID: 12961
Wagner, B., Šlipogor, V., Oh, J., Varga, M., & Hoeschele, M. (2023). A comparison between common marmosets (Callithrix jacchus) and human infants sheds light on traits proposed to be at the root of human octave equivalence. Developmental Science. Wiley. https://doi.org/10.1111/desc.13395
View | DOI | PubMed | Europe PMC
 

2023 | Conference Paper | IST-REx-ID: 14458 | OA
Frantar, E., & Alistarh, D.-A. (2023). SparseGPT: Massive language models can be accurately pruned in one-shot. In Proceedings of the 40th International Conference on Machine Learning (Vol. 202, pp. 10323–10337). Honolulu, Hawaii, HI, United States: ML Research Press.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 14444 | OA
Kwan, M. A., Sah, A., Sawhney, M., & Simkin, M. (2023). Substructures in Latin squares. Israel Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s11856-023-2513-9
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14448 | OA
Kolmogorov, V. (2023). Solving relaxations of MAP-MRF problems: Combinatorial in-face Frank-Wolfe directions. In Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition (Vol. 2023, pp. 11980–11989). Vancouver, Canada: IEEE. https://doi.org/10.1109/CVPR52729.2023.01153
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14516 | OA
Beaver, D., Kelkar, M., Lewi, K., Nikolaenko, V., Sonnino, A., Chalkias, K., … Roy, A. (2023). STROBE: Streaming Threshold Random Beacons. In 5th Conference on Advances in Financial Technologies (Vol. 282). Princeton, NJ, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.AFT.2023.7
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 13041 | OA
Farag, N. L., Jethwa, R. B., Beardmore, A. E., Insinna, T., O’Keefe, C. A., Klusener, P. A. A., … Wright, D. S. (2023). Triarylamines as catholytes in aqueous organic redox flow batteries. ChemSusChem. Wiley. https://doi.org/10.1002/cssc.202300128
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14543 | OA
Kaiyrzhanov R, Rad A, Lin S-J, Bertoli-Avella A, Kallemeijn WW, Godwin A, Zaki MS, Huang K, Lau T, Petree C, Efthymiou S, Ghayoor Karimiani E, Hempel M, Normand EA, Rudnik-Schöneborn S, Schatz UA, Baggelaar MP, Ilyas M, Sultan T, Alvi JR, Ganieva M, Fowler B, Aanicai R, Akay Tayfun G, Al Saman A, Alswaid A, Amiri N, Asilova N, Shotelersuk V, Yeetong P, Azam M, Babaei M, Bahrami Monajemi G, Mohammadi P, Samie S, Banu SH, Basto JP, Kortüm F, Bauer M, Bauer P, Beetz C, Garshasbi M, Hameed Issa A, Eyaid W, Ahmed H, Hashemi N, Hassanpour K, Herman I, Ibrohimov S, Abdul-Majeed BA, Imdad M, Isrofilov M, Kaiyal Q, Khan S, Kirmse B, Koster J, Lourenço CM, Mitani T, Moldovan O, Murphy D, Najafi M, Pehlivan D, Rocha ME, Salpietro V, Schmidts M, Shalata A, Mahroum M, Talbeya JK, Taylor RW, Vazquez D, Vetro A, Waterham HR, Zaman M, Schrader TA, Chung WK, Guerrini R, Lupski JR, Gleeson J, Suri M, Jamshidi Y, Bhatia KP, Vona B, Schrader M, Severino M, Guille M, Tate EW, Varshney GK, Houlden H, Maroofian R. 2023. Bi-allelic ACBD6 variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders. Brain., awad380.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2023 | Thesis | IST-REx-ID: 14547 | OA
Phan, D. T. (2023). Resonant microwave spectroscopy of Al-InAs. Institute of Science and Technology Austria. https://doi.org/10.15479/14547
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13264 | OA
Phan, D. T., Falthansl-Scheinecker, P., Mishra, U., Strickland, W. M., Langone, D., Shabani, J., & Higginbotham, A. P. (2023). Gate-tunable superconductor-semiconductor parametric amplifier. Physical Review Applied. American Physical Society. https://doi.org/10.1103/PhysRevApplied.19.064032
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14639 | OA
Lin S-J, Vona B, Lau T, Huang K, Zaki MS, Aldeen HS, Karimiani EG, Rocca C, Noureldeen MM, Saad AK, Petree C, Bartolomaeus T, Abou Jamra R, Zifarelli G, Gotkhindikar A, Wentzensen IM, Liao M, Cork EE, Varshney P, Hashemi N, Mohammadi MH, Rad A, Neira J, Toosi MB, Knopp C, Kurth I, Challman TD, Smith R, Abdalla A, Haaf T, Suri M, Joshi M, Chung WK, Moreno-De-Luca A, Houlden H, Maroofian R, Varshney GK. 2023. Evaluating the association of biallelic OGDHL variants with significant phenotypic heterogeneity. Genome Medicine. 15, 102.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13164 | OA
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 | Journal Article | IST-REx-ID: 13226
Bossmann, L., & Petrat, S. P. (2023). Weak Edgeworth expansion for the mean-field Bose gas. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-023-01698-4
[Published Version] View | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13271 | OA
Zhang, H. (2023). Some convexity and monotonicity results of trace functionals. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-023-01345-7
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13317 | OA
Sugimoto, S., Henheik, S. J., Riabov, V., & Erdös, L. (2023). Eigenstate thermalisation hypothesis for translation invariant spin systems. Journal of Statistical Physics. Springer Nature. https://doi.org/10.1007/s10955-023-03132-4
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13975 | OA
Campbell, A. J., & O’Rourke, S. (2023). Spectrum of Lévy–Khintchine random laplacian matrices. Journal of Theoretical Probability. Springer Nature. https://doi.org/10.1007/s10959-023-01275-4
[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14364 | OA
Alistarh, D.-A., Aspnes, J., Ellen, F., Gelashvili, R., & Zhu, L. (2023). Why extension-based proofs fail. SIAM Journal on Computing. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/20M1375851
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14453 | OA
Abramian, S., Muller, C. J., & Risi, C. (2023). Extreme precipitation in tropical squall lines. Journal of Advances in Modeling Earth Systems. Wiley. https://doi.org/10.1029/2022MS003477
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12486 | OA
Agresti, A. (2023). Delayed blow-up and enhanced diffusion by transport noise for systems of reaction-diffusion equations. Stochastics and Partial Differential Equations: Analysis and Computations. Springer Nature. https://doi.org/10.1007/s40072-023-00319-4
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 14710 | OA
Curatolo, A. I., Kimchi, O., Goodrich, C. P., Krueger, R. K., & Brenner, M. P. (2023). A computational toolbox for the assembly yield of complex and heterogeneous structures. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-43168-4
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 14726 | OA
Zhou, L.-Z., Wang, L., Chen, X., Ge, Z., Mergner, J., Li, X., … Dresselhaus, T. (2023). The RALF signaling pathway regulates cell wall integrity during pollen tube growth in maize. The Plant Cell. Oxford University Press. https://doi.org/10.1093/plcell/koad324
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 12833 | OA
Biniaz, A., Jain, K., Lubiw, A., Masárová, Z., Miltzow, T., Mondal, D., … Turcotte, A. (2023). Token swapping on trees. Discrete Mathematics and Theoretical Computer Science. EPI Sciences. https://doi.org/10.46298/DMTCS.8383
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 14751 | OA
Zhang, Y. (2023). Zero-error communication over adversarial MACs. IEEE Transactions on Information Theory. Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/tit.2023.3257239
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14867 | OA
Anastos, M. (2023). Constructing Hamilton cycles and perfect matchings efficiently. In Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications (pp. 36–41). Prague, Czech Republic: Masaryk University Press. https://doi.org/10.5817/cz.muni.eurocomb23-005
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 13269 | OA
Polyanskii, N., & Zhang, Y. (2023). Codes for the Z-channel. IEEE Transactions on Information Theory. Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/TIT.2023.3292219
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13128 | OA
Mohammadi, A., Pham, T., & Wang, Y. (2023). An energy decomposition theorem for matrices and related questions. Canadian Mathematical Bulletin. Cambridge University Press. https://doi.org/10.4153/S000843952300036X
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13234 | OA
Kueffner, K., Lukina, A., Schilling, C., & Henzinger, T. A. (2023). Into the unknown: Active monitoring of neural networks (extended version). International Journal on Software Tools for Technology Transfer. Springer Nature. https://doi.org/10.1007/s10009-023-00711-4
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14087 | OA
Rønning, J., Renaud, J. B., Doostmohammadi, A., & Angheluta, L. (2023). Spontaneous flows and dynamics of full-integer topological defects in polar active matter. Soft Matter. Royal Society of Chemistry. https://doi.org/10.1039/d3sm00316g
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14409 | OA
Baunis, H., & Pieber, B. (2023). Formal radical deoxyfluorination of oxalate-activated alcohols triggered by the selectfluor-DMAP charge-transfer complex. European Journal of Organic Chemistry. Wiley. https://doi.org/10.1002/ejoc.202300769
[Published Version] View | Files available | DOI | WoS
 

2023 | Conference Paper | IST-REx-ID: 14076 | OA
Chalupa, M., & Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. In 23nd International Conference on Runtime Verification (Vol. 14245, pp. 168–190). Thessaloniki, Greek: Springer Nature. https://doi.org/10.1007/978-3-031-44267-4_9
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 13984
Franschitz, A. (2023). Individual and social immunity against viral infections in ants. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13984
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 15173 | OA
Kwan, M. A., Sah, A., & Sawhney, M. (2023). Enumerating matroids and linear spaces. Comptes Rendus Mathematique. Academie des Sciences. https://doi.org/10.5802/crmath.423
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 15148 | OA
Michael AK, Stoos L, Crosby P, Eggers N, Nie XY, Makasheva K, Minnich M, Healy KL, Weiss J, Kempf G, Cavadini S, Kater L, Seebacher J, Vecchia L, Chakraborty D, Isbel L, Grand RS, Andersch F, Fribourgh JL, Schübeler D, Zuber J, Liu AC, Becker PB, Fierz B, Partch CL, Menet JS, Thomä NH. 2023. Cooperation between bHLH transcription factors and histones for DNA access. Nature. 619(7969), 385–393.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 15149 | OA
Isbel, L., Iskar, M., Durdu, S., Weiss, J., Grand, R. S., Hietter-Pfeiffer, E., … Schübeler, D. (2023). Readout of histone methylation by Trim24 locally restricts chromatin opening by p53. Nature Structural & Molecular Biology. Springer Nature. https://doi.org/10.1038/s41594-023-01021-8
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 15196 | OA
Burdge KB, El-Badry K, Rappaport S, Sunny Wong TL, Bauer EB, Bildsten L, Caiazzo I, Chakrabarty D, Chickles E, Graham MJ, Kara E, Kulkarni SR, Marsh TR, Nynka M, Prince TA, Simcoe RA, van Roestel J, Vanderbosch Z, Bellm EC, Dekany RG, Drake AJ, Helou G, Masci FJ, Milburn J, Riddle R, Rusholme B, Smith R. 2023. Orbital decay in an accreting and eclipsing 13.7 minute orbital period binary with a luminous donor. The Astrophysical Journal Letters. 953(1), L1.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 15202 | OA
Zane S et al. 2023. A strong x-ray polarization signal from the magnetar 1RXS J170849.0-400910. The Astrophysical Journal Letters. 944(2), L27.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2023 | Thesis | IST-REx-ID: 12809 | OA
Alcarva, C. (2023). Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12809
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 14510
Gnyliukh, N. (2023). Mechanism of clathrin-coated vesicle  formation during endocytosis in plants. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14510
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 11183 | OA
Nikabadi, A., & Korhonen, J. (2022). Beyond distributed subgraph detection: Induced subgraphs, multicolored problems and graph parameters. In Q. Bramas, V. Gramoli, & A. Milani (Eds.), 25th International Conference on Principles of Distributed Systems (Vol. 217). Strasbourg, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.OPODIS.2021.15
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 11812 | OA
Hanauer, K., Henzinger, M. H., & Hua, Q. C. (2022). Fully dynamic four-vertex subgraph counting. In 1st Symposium on Algorithmic Foundations of Dynamic Networks (Vol. 221). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SAND.2022.18
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11918
Henzinger, M. H., Lincoln, A., & Saha, B. (2022). The complexity of average-case dynamic subgraph counting. In 33rd Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 459–498). Alexandria, VA, United States: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611977073.23
View | DOI
 

2022 | Conference Paper | IST-REx-ID: 12088
Sahu, R., Hease, W. J., Rueda Sanchez, A. R., Arnold, G. M., Qiu, L., & Fink, J. M. (2022). Realizing a quantum-enabled interconnect between microwave and telecom light. In Conference on Lasers and Electro-Optics. San Jose, CA, United States: Optica Publishing Group. https://doi.org/10.1364/CLEO_QELS.2022.FW4D.4
View | DOI
 

2022 | Journal Article | IST-REx-ID: 10706 | OA
Bialy, M., Fiorebe, C., Glutsyuk, A., Levi, M., Plakhov, A., & Tabachnikov, S. (2022). Open problems on billiards and geometric optics. Arnold Mathematical Journal. Hybrid: Springer Nature. https://doi.org/10.1007/s40598-022-00198-y
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 12577
Jouberton, A., Shaw, T. E., Miles, E., McCarthy, M., Fugger, S., Ren, S., … Pellicciotti, F. (2022). Warming-induced monsoon precipitation phase change intensifies glacier mass loss in the southeastern Tibetan Plateau. PNAS. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.2109796119
View | DOI
 

2022 | Journal Article | IST-REx-ID: 12067 | OA
Madani, A., Anghileri, L., Heydenreich, M., Möller, H. M., & Pieber, B. (2022). Benzylic fluorination induced by a charge-transfer complex with a solvent-dependent selectivity switch. Organic Letters. American Chemical Society. https://doi.org/10.1021/acs.orglett.2c02050
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Journal Article | IST-REx-ID: 13347 | OA
Yanshyna, O., Białek, M. J., Chashchikhin, O. V., & Klajn, R. (2022). Encapsulation within a coordination cage modulates the reactivity of redox-active dyes. Communications Chemistry. Springer Nature. https://doi.org/10.1038/s42004-022-00658-8
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Journal Article | IST-REx-ID: 9794 | OA
Assen, F. P., Abe, J., Hons, M., Hauschild, R., Shamipour, S., Kaufmann, W., … Sixt, M. K. (2022). Multitier mechanics control stromal adaptations in swelling lymph nodes. Nature Immunology. Springer Nature. https://doi.org/10.1038/s41590-022-01257-4
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 10702 | OA
McCartney DL, Hillary RF, Conole ELS, Banos DT, Gadd DA, Walker RM, Nangle C, Flaig R, Campbell A, Murray AD, Maniega SM, Valdés-Hernández MDC, Harris MA, Bastin ME, Wardlaw JM, Harris SE, Porteous DJ, Tucker-Drob EM, McIntosh AM, Evans KL, Deary IJ, Cox SR, Robinson MR, Marioni RE. 2022. Blood-based epigenome-wide analyses of cognitive abilities. Genome Biology. 23(1), 26.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 10841 | OA
Dahhan, D., Reynolds, G., Cárdenas, J., Eeckhout, D., Johnson, A. J., Yperman, K., … Bednarek, S. (2022). Proteomic characterization of isolated Arabidopsis clathrin-coated vesicles reveals evolutionarily conserved and plant-specific components. Plant Cell. Oxford Academic. https://doi.org/10.1093/plcell/koac071
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11155 | OA
Obr, M., Hagen, W. J. H., Dick, R. A., Yu, L., Kotecha, A., & Schur, F. K. (2022). Exploring high-resolution cryo-ET and subtomogram averaging capabilities of contemporary DEDs. Journal of Structural Biology. Elsevier. https://doi.org/10.1016/j.jsb.2022.107852
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Filters and Search Terms

eissn%3D978-94-009-0435-4

Search

Filter Publications