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
Stochastic games with lexicographic objectives
K. Chatterjee, J.P. Katoen, S. Mohr, M. Weininger, T. Winkler, Formal Methods in System Design (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2023 | Journal Article | IST-REx-ID: 12961 View | DOI | PubMed | Europe PMC
 

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

2023 | Journal Article | IST-REx-ID: 14444 | OA
Substructures in Latin squares
M.A. Kwan, A. Sah, M. Sawhney, M. Simkin, Israel Journal of Mathematics 256 (2023) 363–416.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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

2023 | Conference Paper | IST-REx-ID: 14516 | OA
STROBE: Streaming Threshold Random Beacons
D. Beaver, M. Kelkar, K. Lewi, V. Nikolaenko, A. Sonnino, K. Chalkias, E. Kokoris Kogias, L.D. Naurois, A. Roy, in:, 5th Conference on Advances in Financial Technologies, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

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

2023 | Journal Article | IST-REx-ID: 14543 | OA
Bi-allelic ACBD6 variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders
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
Resonant microwave spectroscopy of Al-InAs
D.T. Phan, Resonant Microwave Spectroscopy of Al-InAs, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

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

2023 | Journal Article | IST-REx-ID: 14639 | OA
Evaluating the association of biallelic OGDHL variants with significant phenotypic heterogeneity
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
Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries
K.R.B. Gert, K. Panser, J. Surm, B.S. Steinmetz, A. Schleiffer, L. Jovine, Y. Moran, F. Kondrashov, A. Pauli, Nature Communications 14 (2023).
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 13226
Weak Edgeworth expansion for the mean-field Bose gas
L. Bossmann, S.P. Petrat, Letters in Mathematical Physics 113 (2023).
[Published Version] View | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13271 | OA
Some convexity and monotonicity results of trace functionals
H. Zhang, Annales Henri Poincare (2023).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13317 | OA
Eigenstate thermalisation hypothesis for translation invariant spin systems
S. Sugimoto, S.J. Henheik, V. Riabov, L. Erdös, Journal of Statistical Physics 190 (2023).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13975 | OA
Spectrum of Lévy–Khintchine random laplacian matrices
A.J. Campbell, S. O’Rourke, Journal of Theoretical Probability (2023).
[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14364 | OA
Why extension-based proofs fail
D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, L. Zhu, SIAM Journal on Computing 52 (2023) 913–944.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

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

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

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

2023 | Journal Article | IST-REx-ID: 14726 | OA
The RALF signaling pathway regulates cell wall integrity during pollen tube growth in maize
L.-Z. Zhou, L. Wang, X. Chen, Z. Ge, J. Mergner, X. Li, B. Küster, G. Längst, L.-J. Qu, T. Dresselhaus, The Plant Cell (2023).
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 12833 | OA
Token swapping on trees
A. Biniaz, K. Jain, A. Lubiw, Z. Masárová, T. Miltzow, D. Mondal, A.M. Naredla, J. Tkadlec, A. Turcotte, Discrete Mathematics and Theoretical Computer Science 24 (2023).
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 14751 | OA
Zero-error communication over adversarial MACs
Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 4093–4127.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14867 | OA
Constructing Hamilton cycles and perfect matchings efficiently
M. Anastos, in:, Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications, Masaryk University Press, 2023, pp. 36–41.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 13269 | OA
Codes for the Z-channel
N. Polyanskii, Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 6340–6357.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

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

2023 | Journal Article | IST-REx-ID: 13234 | OA
Into the unknown: Active monitoring of neural networks (extended version)
K. Kueffner, A. Lukina, C. Schilling, T.A. Henzinger, International Journal on Software Tools for Technology Transfer 25 (2023) 575–592.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14087 | OA
Spontaneous flows and dynamics of full-integer topological defects in polar active matter
J. Rønning, J.B. Renaud, A. Doostmohammadi, L. Angheluta, Soft Matter 39 (2023) 7513–7527.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14409 | OA [Published Version] View | Files available | DOI | WoS
 

2023 | Conference Paper | IST-REx-ID: 14076 | OA
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, in:, 23nd International Conference on Runtime Verification, Springer Nature, 2023, pp. 168–190.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 13984
Individual and social immunity against viral infections in ants
A. Franschitz, Individual and Social Immunity against Viral Infections in Ants, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 15173 | OA
Enumerating matroids and linear spaces
M.A. Kwan, A. Sah, M. Sawhney, Comptes Rendus Mathematique 361 (2023) 565–575.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 15148 | OA
Cooperation between bHLH transcription factors and histones for DNA access
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
Readout of histone methylation by Trim24 locally restricts chromatin opening by p53
L. Isbel, M. Iskar, S. Durdu, J. Weiss, R.S. Grand, E. Hietter-Pfeiffer, Z. Kozicka, A.K. Michael, L. Burger, N.H. Thomä, D. Schübeler, Nature Structural & Molecular Biology 30 (2023) 948–957.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 15196 | OA
Orbital decay in an accreting and eclipsing 13.7 minute orbital period binary with a luminous donor
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
A strong x-ray polarization signal from the magnetar 1RXS J170849.0-400910
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
Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning
C. Alcarva, Plasticity in the Cerebellum: What Molecular Mechanisms Are behind Physiological Learning, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 14510
Mechanism of clathrin-coated vesicle formation during endocytosis in plants
N. Gnyliukh, Mechanism of Clathrin-Coated Vesicle  Formation during Endocytosis in Plants, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

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

2022 | Conference Paper | IST-REx-ID: 11812 | OA
Fully dynamic four-vertex subgraph counting
K. Hanauer, M.H. Henzinger, Q.C. Hua, in:, 1st Symposium on Algorithmic Foundations of Dynamic Networks, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11918
The complexity of average-case dynamic subgraph counting
M.H. Henzinger, A. Lincoln, B. Saha, in:, 33rd Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2022, pp. 459–498.
View | DOI
 

2022 | Conference Paper | IST-REx-ID: 12088
Realizing a quantum-enabled interconnect between microwave and telecom light
R. Sahu, W.J. Hease, A.R. Rueda Sanchez, G.M. Arnold, L. Qiu, J.M. Fink, in:, Conference on Lasers and Electro-Optics, Optica Publishing Group, 2022.
View | DOI
 

2022 | Journal Article | IST-REx-ID: 10706 | OA
Open problems on billiards and geometric optics
M. Bialy, C. Fiorebe, A. Glutsyuk, M. Levi, A. Plakhov, S. Tabachnikov, Arnold Mathematical Journal 8 (2022) 411–422.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 12577
Warming-induced monsoon precipitation phase change intensifies glacier mass loss in the southeastern Tibetan Plateau
A. Jouberton, T.E. Shaw, E. Miles, M. McCarthy, S. Fugger, S. Ren, A. Dehecq, W. Yang, F. Pellicciotti, PNAS 119 (2022).
View | DOI
 

2022 | Journal Article | IST-REx-ID: 12067 | OA
Benzylic fluorination induced by a charge-transfer complex with a solvent-dependent selectivity switch
A. Madani, L. Anghileri, M. Heydenreich, H.M. Möller, B. Pieber, Organic Letters 24 (2022) 5376–5380.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Journal Article | IST-REx-ID: 13347 | OA
Encapsulation within a coordination cage modulates the reactivity of redox-active dyes
O. Yanshyna, M.J. Białek, O.V. Chashchikhin, R. Klajn, Communications Chemistry 5 (2022).
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Journal Article | IST-REx-ID: 9794 | OA
Multitier mechanics control stromal adaptations in swelling lymph nodes
F.P. Assen, J. Abe, M. Hons, R. Hauschild, S. Shamipour, W. Kaufmann, T. Costanzo, G. Krens, M. Brown, B. Ludewig, S. Hippenmeyer, C.-P.J. Heisenberg, W. Weninger, E.B. Hannezo, S.A. Luther, J.V. Stein, M.K. Sixt, Nature Immunology 23 (2022) 1246–1255.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 10702 | OA
Blood-based epigenome-wide analyses of cognitive abilities
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
Proteomic characterization of isolated Arabidopsis clathrin-coated vesicles reveals evolutionarily conserved and plant-specific components
D. Dahhan, G. Reynolds, J. Cárdenas, D. Eeckhout, A.J. Johnson, K. Yperman, W. Kaufmann, N. Vang, X. Yan, I. Hwang, A. Heese, G. De Jaeger, J. Friml, D. Van Damme, J. Pan, S. Bednarek, Plant Cell 34 (2022) 2150–2173.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 

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

Filters and Search Terms

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

Search

Filter Publications