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.

9626 Publications


2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17886 | OA [Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2024 |Published| Journal Article | IST-REx-ID: 18108 | OA
Commutative avatars of representations of semisimple Lie groups
T. Hausel, Proceedings of the National Academy of Sciences of the United States of America 121 (2024).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 |Published| Conference Paper | IST-REx-ID: 18086
DeCAF: Decentralizable CGKA with fast healing
J.F. Alwen, B. Auerbach, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, in:, C. Galdi, D.H. Phan (Eds.), Security and Cryptography for Networks: 14th International Conference, Springer Nature, Cham, 2024, pp. 294–313.
View | Files available | DOI
 

2024 |Published| Thesis | IST-REx-ID: 15101 | OA
Developmental transformation of nanodomain coupling between Ca2+ channels and release sensors at a central GABAergic synapse
J. Chen, Developmental Transformation of Nanodomain Coupling between Ca2+ Channels and Release Sensors at a Central GABAergic Synapse, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 

2024 |Published| Journal Article | IST-REx-ID: 14843
Developmental transformation of Ca2+ channel-vesicle nanotopography at a central GABAergic synapse
J. Chen, W. Kaufmann, C. Chen, itaru Arai, O. Kim, R. Shigemoto, P.M. Jonas, Neuron 112 (2024) 755–771.e9.
View | Files available | DOI | PubMed | Europe PMC
 

2024 |Submitted| Preprint | IST-REx-ID: 18143 | OA
Room temperature, cavity-free capacitive strong coupling to mechanical motion
D. Puglia, R.H. Odessey, P.S. Burns, N. Luhmann, S. Schmid, A.P. Higginbotham, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 |Submitted| Preprint | IST-REx-ID: 18144 | OA
Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors
M. Janik, K.E.R. Roux, C.B. Espinosa, O. Sagi, A. Baghdadi, T. Adletzberger, S. Calcaterra, M. Botifoll, A.G. Manjón, J. Arbiol, D. Chrastina, G. Isella, I.M. Pop, G. Katsaros, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 |Published| Journal Article | IST-REx-ID: 14931 | OA
Ground state energy of the dilute spin-polarized Fermi gas: Upper bound via cluster expansion
A.B. Lauritsen, R. Seiringer, Journal of Functional Analysis 286 (2024).
[Published Version] View | Files available | DOI | arXiv
 

2024 |Published| Journal Article | IST-REx-ID: 18107 | OA
Pressure of a dilute spin-polarized Fermi gas: Lower bound
A.B. Lauritsen, R. Seiringer, Forum of Mathematics, Sigma 12 (2024).
[Published Version] View | Files available | DOI | arXiv
 

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17240 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 |Published| Book Chapter | IST-REx-ID: 12428 | OA
A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland
E.B. Hannezo, C.L.G.J. Scheele, in:, C. Margadant (Ed.), Cell Migration in Three Dimensions, Springer Nature, 2023, pp. 183–205.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 |Published| Journal Article | IST-REx-ID: 12534 | OA
Dissipative dynamics of an impurity with spin-orbit coupling
A. Ghazaryan, A. Cappellaro, M. Lemeshko, A. Volosniev, Physical Review Research 5 (2023).
[Published Version] View | Files available | DOI
 

2023 |Published| Journal Article | IST-REx-ID: 12158 | OA
Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis
P. Zeller, J. Yeung, H. Viñas Gaza, B.A. de Barbanson, V. Bhardwaj, M. Florescu, R. van der Linden, A. van Oudenaarden, Nature Genetics 55 (2023) 333–345.
[Published Version] View | Files available | DOI
 

2023 |Published| Conference Paper | IST-REx-ID: 12676 | OA
Faster algorithm for turn-based stochastic games with bounded treewidth
K. Chatterjee, T. Meggendorfer, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–4605.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 |Published| Book Chapter | IST-REx-ID: 12720
Molecular Cloning Using In Vivo DNA Assembly
S. Arroyo-Urea, J. Watson, J. García-Nafría, in:, G. Scarlett (Ed.), DNA Manipulation and Analysis, Springer Nature, New York, NY, United States, 2023, pp. 33–44.
View | DOI | PubMed | Europe PMC
 

2023 |Published| Conference Paper | IST-REx-ID: 12735 | OA
Fast and scalable channels in Kotlin Coroutines
N. Koval, D.-A. Alistarh, R. Elizarov, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 107–118.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 |Published| Conference Poster | IST-REx-ID: 12736 | OA
Unexpected scaling in path copying trees
V. Aksenov, T.A. Brown, A. Fedorov, I. Kokorin, Unexpected Scaling in Path Copying Trees, Association for Computing Machinery, 2023.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 |Published| Conference Paper | IST-REx-ID: 12760 | OA
Dynamic maintenance of monotone dynamic programs and applications
M.H. Henzinger, S. Neumann, H. Räcke, S. Schmid, in:, 40th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version] View | Files available | DOI | arXiv
 

2023 |Published| Thesis | IST-REx-ID: 12716 | OA
To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism
L. Burnett, To Flee, or Not to Flee? Using Innate Defensive Behaviours to Investigate Rapid Perceptual Decision-Making through Subcortical Circuits in Mouse Models of Autism, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 |Published| Conference Paper | IST-REx-ID: 12854 | OA
Bubaak: Runtime monitoring of program verifiers
M. Chalupa, T.A. Henzinger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 535–540.
[Published Version] View | Files available | DOI
 

Search

Filter Publications