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.

9096 Publications


2023 | Preprint | IST-REx-ID: 14962 | OA
Unsupervised open-vocabulary object localization in videos
K. Fan, Z. Bai, T. Xiao, D. Zietlow, M. Horn, Z. Zhao, C.-J.S.-G. Carl-Johann Simon-Gabriel, M.Z. Shou, F. Locatello, B. Schiele, T. Brox, Z. Zhang, Y. Fu, T. He, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14958 | OA
A sparsity principle for partially observable causal representation learning
D. Xu, D. Yao, S. Lachapelle, P. Taslakian, J. von Kügelgen, F. Locatello, S. Magliacane, in:, Causal Representation Learning Workshop at NeurIPS 2023, OpenReview, 2023.
[Published Version] View | Files available | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 14923 | OA
Mismatched estimation of non-symmetric rank-one matrices corrupted by structured noise
T. Fu, Y. Liu, J. Barbier, M. Mondelli, S. Liang, T. Hou, in:, Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, n.d.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 14466 | OA
Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows
E. Marensi, G. Yalniz, B. Hof, Journal of Fluid Mechanics 974 (2023).
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 14687 | OA
To DISP or not? The far‐reaching reaction mechanisms underpinning Lithium‐air batteries
R.B. Jethwa, S. Mondal, B. Pant, S.A. Freunberger, Angewandte Chemie International Edition (2023).
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 14985 | OA
Lattice expansion enables interstitial doping to achieve a high average ZT in n‐type PbS
Z. Liu, T. Hong, L. Xu, S. Wang, X. Gao, C. Chang, X. Ding, Y. Xiao, L. Zhao, Interdisciplinary Materials 2 (2023) 161–170.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14989 | OA
Parakeet: Practical key transparency for end-to-end eEncrypted messaging
H. Malvai, E. Kokoris Kogias, A. Sonnino, E. Ghosh, E. Oztürk, K. Lewi, S. Lawlor, in:, Proceedings of the 2023 Network and Distributed System Security Symposium, Internet Society, 2023.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 14411 | OA
Phenotype control of partially specified boolean networks
N. Beneš, L. Brim, S. Pastva, D. Šafránek, E. Šmijáková, in:, 21st International Conference on Computational Methods in Systems Biology, Springer Nature, 2023, pp. 18–35.
[Submitted Version] View | Files available | DOI
 

2023 | Book Chapter | IST-REx-ID: 14992 | OA
Universal Functionals in Density Functional Theory
M. Lewin, E.H. Lieb, R. Seiringer, in:, E. Cances, G. Friesecke (Eds.), Density Functional Theory, 1st ed., Springer, 2023, pp. 115–182.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 12675 | OA
The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle Spinning NMR of aromatic residues
L.M. Becker, M. Berbon, A. Vallet, A. Grelard, E. Morvan, B. Bardiaux, R. Lichtenecker, M. Ernst, A. Loquet, P. Schanda, Angewandte Chemie International Edition 62 (2023).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Research Data | IST-REx-ID: 12497 | OA
Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues
L.M. Becker, P. Schanda, (2023).
[Published Version] View | Files available | DOI
 

2023 | Research Data | IST-REx-ID: 13126 | OA
Research data for the publication "Imaging brain tissue architecture across millimeter to nanometer scales"
J.G. Danzl, (2023).
[Published Version] View | Files available | DOI
 

2023 | Research Data | IST-REx-ID: 13116 | OA
Chiral and nematic phases of flexible active filaments
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, (2023).
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13314 | OA
Chiral and nematic phases of flexible active filaments
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, Nature Physics 19 (2023) 1916–1926.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14257 | OA
Imaging brain tissue architecture across millimeter to nanometer scales
J.M. Michalska, J. Lyudchik, P. Velicky, H. Korinkova, J. Watson, A. Cenameri, C.M. Sommer, N. Amberg, A. Venturino, K. Roessler, T. Czech, R. Höftberger, S. Siegert, G. Novarino, P.M. Jonas, J.G. Danzl, Nature Biotechnology (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2023 | Thesis | IST-REx-ID: 14280
Spatiotemporal signaling during assembly of the bacterial divisome
P. Radler, Spatiotemporal Signaling during Assembly of the Bacterial Divisome, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 13286 | OA
Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium
M. Valentini, Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Research Data Reference | IST-REx-ID: 15027 | OA
aggregation_data
S. Curk, (2023).
[Published Version] View | Files available | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 14758 | OA
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 14654 | OA
Assessing memory in convection schemes using idealized tests
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, Journal of Advances in Modeling Earth Systems 15 (2023).
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13139 | OA
Correct approximation of stationary distributions
T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 489–507.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Research Data Reference | IST-REx-ID: 14991 | OA
Data-assessing memory in convection schemes using idealized tests
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14990 | OA
Artefact for: Correct Approximation of Stationary Distributions
T. Meggendorfer, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 14260 | OA
Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 156–169.
[Published Version] View | Files available | DOI
 

2023 | Research Data Reference | IST-REx-ID: 14995 | OA
Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14994 | OA
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 15023 | OA
Compositional policy learning in stochastic control systems with formal guarantees
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14993 | OA
A framework for grassroots research collaboration in machine learning and global health
C. Currin, M.N. Asiedu , C. Fourie, B. Rosman, H. Turki, A. Lambebo Tonja, J. Abbott, M. Ajala, S.A. Adedayo, C.C. Emezue, D. Machangara, in:, 1st Workshop on Machine Learning & Global Health, OpenReview, 2023.
[Published Version] View | Download Published Version (ext.)
 

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 | Conference Paper | IST-REx-ID: 14743 | OA
QuePaxa: Escaping the tyranny of timeouts in consensus
P. Tennage, C. Basescu, E. Kokoris Kogias, E. Syta, P. Jovanovic, V. Estrada-Galinanes, B. Ford, in:, Proceedings of the 29th Symposium on Operating Systems Principles, Association for Computing Machinery, 2023, pp. 281–297.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Conference Abstract | IST-REx-ID: 14748
Unified treatment of contact, friction and shock-propagation in rigid body animation
Y.-L. Chen, M. Ly, C. Wojtan, in:, Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, Association for Computing Machinery, 2023.
View | DOI
 

2023 | Research Data Reference | IST-REx-ID: 15035 | OA
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

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 | Preprint | IST-REx-ID: 15039 | OA
1-Lipschitz neural networks are more expressive with N-activations
B. Prach, C. Lampert, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Research Data Reference | IST-REx-ID: 14812 | OA
Data and code for: The genetic architecture of a recent transition to live-bearing in marine snails
S. Stankowski, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 13214 | OA
Nitrate, auxin and cytokinin - a trio to tango
R. Abualia, S. Riegler, E. Benková, Cells 12 (2023).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Thesis | IST-REx-ID: 14323
Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord
K. Kuzmicz-Kowalska, Regulation of Neural Progenitor Survival by Shh and BMP in the Developing Spinal Cord, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14974 | OA
Causality in the time of LLMs: Round table discussion results of CLeaR 2023
C. Zhang, D. Janzing, M. van der Schaar, F. Locatello, P. Spirtes, K. Zhang, B. Schölkopf, C. Uhler, in:, 2nd Conference on Causal Learning and Reasoning, 2023.
[Submitted Version] View | Files available
 

2023 | Research Data | IST-REx-ID: 13173 | OA
Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals
R. Shigemoto, (2023).
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 15085 | OA
An observed population of intermediate-mass helium stars that have been stripped in binaries
M.R. Drout, Y.L.L. Götberg, B.A. Ludwig, J.H. Groh, S.E. de Mink, A.J.G. O’Grady, N. Smith, Science 382 (2023) 1287–1291.
View | Files available | DOI | Download None (ext.) | PubMed | Europe PMC | arXiv
 

2023 | Conference Paper | IST-REx-ID: 13236 | OA
Multiplicative auction algorithm for approximate maximum weight bipartite matching
D.W. Zheng, M.H. Henzinger, in:, International Conference on Integer Programming and Combinatorial Optimization, Springer Nature, 2023, pp. 453–465.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 13182 | OA
Geometric characterization of the persistence of 1D maps
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, Journal of Applied and Computational Topology (2023).
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13044 | OA
Singlet oxygen in non-aqueous oxygen redox: Direct spectroscopic evidence for formation pathways and reliability of chemical probes
S. Mondal, R.B. Jethwa, B. Pant, R. Hauschild, S.A. Freunberger, Faraday Discussions (2023).
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2023 | Thesis | IST-REx-ID: 14587 | OA
Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences
A. Marveggio, Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14922 | OA
Concentration without independence via information measures
A.R. Esposito, M. Mondelli, in:, Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, 2023, pp. 400–405.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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: 14772 | OA
Maximal Lp-regularity and H∞-calculus for block operator matrices and applications
A. Agresti, A. Hussein, Journal of Functional Analysis 285 (2023).
[Published Version] View | Files available | DOI | WoS | 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 | Preprint | IST-REx-ID: 15128 | OA
Mesoscopic eigenvalue statistics for Wigner-type matrices
V. Riabov, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications