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.
5655 Publications
2024 | Published | Journal Article | IST-REx-ID: 14843 | 
J. Chen et al., “Developmental transformation of Ca2+ channel-vesicle nanotopography at a central GABAergic synapse,” Neuron, vol. 112, no. 5. Elsevier, p. 755–771.e9, 2024.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Published | Thesis | IST-REx-ID: 15101 |
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 | Thesis | IST-REx-ID: 17881 |
S. Mukhopadhyay, “Thermal effects in one dimensional Josephson chains,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 | Draft | Preprint | IST-REx-ID: 18057 |
S. Mukhopadhyay, D. A. Lancheros Naranjo, J. L. Senior, and A. P. Higginbotham, “Dual relaxation oscillations in a Josephson junction array,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Thesis | IST-REx-ID: 17368 |
A. Villanueva Marijuan, “Bayesian linear regression for analyzing general omics data with time-to-event phenotypes,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 15323 |
I. Vercellino and L. A. Sazanov, “SCAF1 drives the compositional diversity of mammalian respirasomes,” Nature Structural and Molecular Biology, vol. 31. Springer Nature, pp. 1061–1071, 2024.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Published | Thesis | IST-REx-ID: 17319 |
K. Lukic, “Membrane proteins in plant physiology and bioenergetics : Investigating auxin efflux transporter PIN8 and ATP synthase inhibition by the novel inhibitor Yaku’amide B,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 18471 |
N. Agudelo Duenas, “Visualizing the neuronal transcriptional landscape with tissue context,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 18531 |
A. Mrnjavac, “Early stages of sex chromosome evolution,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 | Draft | Preprint | IST-REx-ID: 18549 |
Mrnjavac, Andrea, Evidence of a Slower-Z effect in Schistosoma japonicum. bioRxiv. 2024
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2024 | Draft | Preprint | IST-REx-ID: 18143 |
D. Puglia, R. H. Odessey, P. S. Burns, N. Luhmann, S. Schmid, and A. P. Higginbotham, “Room temperature, cavity-free capacitive strong coupling to mechanical motion,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Thesis | IST-REx-ID: 18104 |
D. Puglia, “Everyday electromechanics: Capacitive strong coupling to mechanical motion,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 13139 |
T. Meggendorfer, “Correct approximation of stationary distributions,” in TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13993, pp. 489–507.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 13141 |
A. Anand, K. Mallik, S. P. Nayak, and A. K. Schmuck, “Computing adequately permissive assumptions for synthesis,” in TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13994, pp. 211–228.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 13143 |
C. Hoffmann, P. Hubáček, C. Kamath, and K. Z. Pietrzak, “Certifying giant nonprimes,” in Public-Key Cryptography - PKC 2023, Atlanta, GA, United States, 2023, vol. 13940, pp. 530–553.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 13165 |
L. Fang, H. Huang, J. Pach, G. Tardos, and J. Zuo, “Successive vertex orderings of fully regular graphs,” Journal of Combinatorial Theory. Series A, vol. 199, no. 10. Elsevier, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13168 |
Xu J, Liu N, Polemiti E, Garcia-Mondragon L, Tang J, Liu X, Lett T, Yu L, Nöthen MM, Feng J, Yu C, Marquand A, Schumann G, Walter H, Heinz A, Ralser M, Twardziok S, Vaidya N, Serin E, Jentsch M, Hitchen E, Eils R, Taron UH, Schütz T, Schepanski K, Banks J, Banaschewski T, Jansone K, Christmann N, Meyer-Lindenberg A, Tost H, Holz N, Schwarz E, Stringaris A, Neidhart M, Nees F, Siehl S, A. Andreassen O, T. Westlye L, Van Der Meer D, Fernandez S, Kjelkenes R, Ask H, Rapp M, Tschorn M, Böttger SJ, Novarino G, Marr L, Slater M, Viapiana GF, Orosa FE, Gallego J, Pastor A, Forstner A, Hoffmann P, M. Nöthen M, J. Forstner A, Claus I, Miller A, Heilmann-Heimbach S, Sommer P, Boye M, Wilbertz J, Schmitt K, Jirsa V, Petkoski S, Pitel S, Otten L, Athanasiadis AP, Pearmund C, Spanlang B, Alvarez E, Sanchez M, Giner A, Hese S, Renner P, Jia T, Gong Y, Xia Y, Chang X, Calhoun V, Liu J, Thompson P, Clinton N, Desrivieres S, H. Young A, Stahl B, Ogoh G. 2023. Effects of urban living environments on mental health in adults. Nature Medicine. 29, 1456–1467.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13177 |
B. Hua, M. Keller, M. Schwarz, and M. Wirth, “Sobolev-type inequalities and eigenvalue growth on graphs with finite measure,” Proceedings of the American Mathematical Society, vol. 151, no. 8. American Mathematical Society, pp. 3401–3414, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13179 |
N. Koval, D. Khalanskiy, and D.-A. Alistarh, “CQS: A formally-verified framework for fair and abortable synchronization,” Proceedings of the ACM on Programming Languages, vol. 7. Association for Computing Machinery , 2023.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13180 |
T. D. Browning, J. Lyczak, and R. Sarapin, “Local solubility for a family of quadrics over a split quadric surface,” Involve, vol. 16, no. 2. Mathematical Sciences Publishers, pp. 331–342, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv