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.




5473 Publications

2023 | Published | Journal Article | IST-REx-ID: 13127 | OA
Casillas Perez BE, Bodova K, Grasse AV, Tkačik G, Cremer S. 2023. Dynamic pathogen detection and social feedback shape collective hygiene in ants. Nature Communications. 14, 3232.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 13128 | OA
Mohammadi A, Pham T, Wang Y. 2023. An energy decomposition theorem for matrices and related questions. Canadian Mathematical Bulletin. 66(4), 1280–1295.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 13129 | OA
Clozeau N, Josien M, Otto F, Xu Q. 2023. Bias in the representative volume element method: Periodize the ensemble instead of its realizations. Foundations of Computational Mathematics.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 13134
Čomić L, Largeteau-Skapin G, Zrour R, Biswas R, Andres E. 2023. Discrete analytical objects in the body-centered cubic grid. Pattern Recognition. 142(10), 109693.
View | DOI | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 13135 | OA
Agresti A, Veraar M. 2023. Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity. Journal of Differential Equations. 368(9), 247–300.
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 13136 | OA
Minchington T, Rus S, Kicheva A. 2023. Control of tissue dimensions in the developing neural tube and somites. Current Opinion in Systems Biology. 35, 100459.
[Published Version] View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 13138 | OA
Orlov P, Tiutiakina A, Sharipov R, Petrova E, Gritsev V, Kurlov DV. 2023. Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain. Physical Review B. 107(18), 184312.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 13139 | OA
Meggendorfer T. 2023. Correct approximation of stationary distributions. TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13993, 489–507.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 13141 | OA
Anand A, Mallik K, Nayak SP, Schmuck AK. 2023. Computing adequately permissive assumptions for synthesis. TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13994, 211–228.
[Published Version] View | Files available | DOI
 
2023 | Published | Conference Paper | IST-REx-ID: 13142 | OA
Chatterjee K, Henzinger TA, Lechner M, Zikelic D. 2023. A learner-verifier framework for neural network controllers and certificates of stochastic systems. Tools and Algorithms for the Construction and Analysis of Systems . TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13993, 3–25.
[Published Version] View | Files available | DOI
 
2023 | Published | Conference Paper | IST-REx-ID: 13143 | OA
Hoffmann C, Hubáček P, Kamath C, Pietrzak KZ. 2023. Certifying giant nonprimes. Public-Key Cryptography - PKC 2023. PKC: Public-Key Cryptography, LNCS, vol. 13940, 530–553.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2023 | Published | Journal Article | IST-REx-ID: 13145 | OA
Dello Schiavo L, Lytvynov E. 2023. A Mecke-type characterization of the Dirichlet–Ferguson measure. Electronic Communications in Probability. 28, 1–12.
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Conference Abstract | IST-REx-ID: 13161 | OA
Schlögl A, Elefante S, Hodirnau V-V. 2023. Running Windows-applications on a Linux HPC cluster using WINE. ASHPC23 - Austrian-Slovenian HPC Meeting 2023. ASHPC: Austrian-Slovenian HPC Meeting, 59–59.
[Submitted Version] View | Files available
 
2023 | Published | Conference Abstract | IST-REx-ID: 13162 | OA
Elefante S, Stadlbauer S, Alexander MF, Schlögl A. 2023. Cryo-EM software packages: A sys-admins point of view. ASHPC23 - Austrian-Slovenian HPC Meeting 2023. ASHPC: Austrian-Slovenian HPC Meeting, 42–42.
[Submitted Version] View | Files available
 
2023 | Published | Journal Article | IST-REx-ID: 13164 | OA
Gert KRB, Panser K, Surm J, Steinmetz BS, Schleiffer A, Jovine L, Moran Y, Kondrashov F, Pauli A. 2023. Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries. Nature Communications. 14, 3506.
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 13165 | OA
Fang L, Huang H, Pach J, Tardos G, Zuo J. 2023. Successive vertex orderings of fully regular graphs. Journal of Combinatorial Theory. Series A. 199(10), 105776.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 13166 | OA
Vetrova AA, Kupaeva DM, Kizenko A, Lebedeva TS, Walentek P, Tsikolia N, Kremnyov SV. 2023. The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization. Scientific Reports. 13, 9382.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 13168 | OA
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 | Research Data | IST-REx-ID: 13173 | OA
Shigemoto R. 2023. Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals, Institute of Science and Technology Austria, 10.15479/AT:ISTA:13173.
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | IST-REx-ID: 13175 | OA
Sahu R. 2023. Cavity quantum electrooptics. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed