Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




5025 Publications

2024 |Published| Thesis | IST-REx-ID: 15020 | OA
Genetic information and biological optimization
M. Hledik, Genetic Information and Biological Optimization, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 |Published| Conference Paper | IST-REx-ID: 17170 | OA
Tight bounds for the learning of homotopy à la Niyogi, Smale, and Weinberger for subsets of euclidean spaces and of Riemannian manifolds
D. Attali, H. Kourimska, C.D. Fillmore, I. Ghosh, A. Lieutier, E.R. Stephenson, M. Wintraecken, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 11:1-11:19.
[Published Version] View | Files available | DOI | arXiv
 
2024 |Published| Journal Article | IST-REx-ID: 15401 | OA
Deuteration of proteins boosted by cell lysates: High-resolution amide and Ha magic-angle-spinning (MAS) NMR without the reprotonation bottleneck
F. Napoli, J.-Y. Guan, C.-A. Arnaud, P. Macek, H. Fraga, C. Breyton, P. Schanda, Magnetic Resonance 5 (2024) 33–49.
[Published Version] View | Files available | DOI
 
2024 |Published| Journal Article | IST-REx-ID: 17161 | OA
Evaluating the motional timescales contributing to averaged anisotropic interactions in MAS solid-state NMR
K. Aebischer, L.M. Becker, P. Schanda, M. Ernst, Magnetic Resonance 5 (2024) 69–86.
[Published Version] View | Files available | DOI
 
2024 |Published| Journal Article | IST-REx-ID: 17162 | OA
Quantitative bounds on resource usage of probabilistic programs
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, D. Zikelic, Proceedings of the ACM on Programming Languages 8 (2024).
[Published Version] View | Files available | DOI
 
2024 |Published| Journal Article | IST-REx-ID: 17154 | OA
Fluctuation moments for regular functions of Wigner Matrices
J. Reker, Mathematical Physics, Analysis and Geometry 27 (2024).
[Published Version] View | Files available | DOI | arXiv
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17047 | OA
Dynamics of a rank-one multiplicative perturbation of a unitary matrix
G. Dubach, J. Reker, Random Matrices: Theory and Applications (2024).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2024 |Published| Journal Article | IST-REx-ID: 17183 | OA
Emergent macroscopic bistability induced by a single superconducting qubit
R. Sett, F. Hassani, D.T. Phan, S. Barzanjeh, A. Vukics, J.M. Fink, PRX Quantum 5 (2024).
[Published Version] View | Files available | DOI | arXiv
 
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 |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
 
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| 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
 
2023 |Submitted| Preprint | IST-REx-ID: 12846 | OA
Area formula for spherical polygons via prequantization
A. Chern, S. Ishida, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications