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

2024 | Published | Conference Paper | IST-REx-ID: 18557 | OA
El-Hayek A, Henzinger M, Schmid S. 2024. Broadcast and Consensus in stochastic dynamic networks with Byzantine nodes and adversarial edges. 38th International Symposium on Distributed Computing. DISC: Symposium on Distributed Computing, LIPIcs, vol. 319, 21.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18558
Verma M, Kumar A, Thakur VK, Maurya A, Kumar S, Singh S, Srivastav SK. 2024. Efficient and rapid sunlight-driven photocatalytic degradation of methylene blue dye using multiferroic BiFeO3 nanoparticles. Journal of Sol-Gel Science and Technology.
View | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 18559 | OA
Kwan MA, Sah A, Sawhney M, Simkin M. 2024. High-girth Steiner triple systems. Annals of Mathematics. 200(3), 1059–1156.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2024 | Epub ahead of print | Book Chapter | IST-REx-ID: 18563
Henzinger TA. 2024.Reminiscences of a Real-Time Researcher. In: Real Time and Such. LNCS, , 154–164.
View | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 18564 | OA
Cunningham T, Caiazzo I, Prusinski NZ, Fuller J, Raymond JC, Kulkarni SR, Neill JD, Duffell P, Martin C, Toloza O, Charbonneau D, Kenyon SJ, Lin Z, Matuszewski M, McGurk R, Polin A, Yao PZ. 2024. Expansion properties of the young supernova type Iax remnant Pa 30 revealed. The Astrophysical Journal Letters. 975(1), L7.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18603 | OA
Kim O, Okamoto Y, Kaufmann W, Brose N, Shigemoto R, Jonas PM. 2024. Presynaptic cAMP-PKA-mediated potentiation induces reconfiguration of synaptic vesicle pools and channel-vesicle coupling at hippocampal mossy fiber boutons. PLoS Biology. 22(11), e3002879.
[Published Version] View | Files available | DOI
 
2024 | Research Data | IST-REx-ID: 18296 | OA
Kim O. 2024. Presynaptic cAMP-PKA-mediated potentiation induces reconfiguration of synaptic vesicle pools and channel-vesicle coupling at hippocampal mossy fiber boutons, Institute of Science and Technology Austria, 10.15479/AT:ISTA:18296.
[Submitted Version] View | Files available | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 18604 | OA
De Nooijer P, Terziadis S, Weinberger A, Masárová Z, Mchedlidze T, Löffler M, Rote G. 2024. Removing popular faces in curve arrangements. Journal of Graph Algorithms and Applications. 28(2), 47–82.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18585 | OA
Meyer RA, Oesch PA, Giovinazzo E, Weibel A, Brammer G, Matthee JJ, Naidu RP, Bouwens RJ, Chisholm J, Covelo-Paz A, Fudamoto Y, Maseda M, Nelson E, Shivaei I, Xiao M, Herard-Demanche T, Illingworth GD, Kerutt J, Kramarenko I, Labbe I, Leonova E, Magee D, Matharu J, Prieto Lyon G, Reddy N, Schaerer D, Shapley A, Stefanon M, Wozniak MA, Wuyts S. 2024. JWST FRESCO: A comprehensive census of H β + [O iii] emitters at 6.8 < z < 9.0 in the GOODS fields. Monthly Notices of the Royal Astronomical Society. 535(1), 1067–1094.
[Published Version] View | Files available | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 18596 | OA
Králová M, Kubalová I, Hajný J, Kubiasova K, Vagaská K, Ge Z, Gallei MC, Semerádová H, Kuchařová A, Hönig M, Monzer A, Kovačik M, Friml J, Novák O, Benková E, Ikeda Y, Zalabák D. 2024. A decoy receptor derived from alternative splicing fine-tunes cytokinin signaling in Arabidopsis. Molecular Plant. 17(12), 1850–1865.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 18602 | OA
De Palma F, Oppliger F, Jang W, Bosco S, Janik M, Calcaterra S, Katsaros G, Isella G, Loss D, Scarlino P. 2024. Strong hole-photon coupling in planar Ge for probing charge degree and strongly correlated states. Nature Communications. 15, 10177.
[Published Version] View | Files available | DOI
 
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18580 | OA
Lipiński M, Mischaikow K, Mrozek M. 2024. Morse predecomposition of an invariant set. Qualitative Theory of Dynamical Systems. 24, 5.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18601 | OA
Rus S, Merrin J, Kulig MA, Minchington T, Kicheva A. 2024. Protocol for fabricating elastomeric stencils for patterned stem cell differentiation. STAR Protocols. 5(4), 103187.
[Published Version] View | Files available | DOI
 
2024 | Epub ahead of print | Conference Paper | IST-REx-ID: 18600 | OA
Andriushchenko R, Bork A, Budde CE, Češka M, Grover K, Hahn EM, Hartmanns A, Israelsen B, Jansen N, Jeppson J, Junges S, Köhl MA, Könighofer B, Kretinsky J, Meggendorfer T, Parker D, Pranger S, Quatmann T, Ruijters E, Taylor L, Volk M, Weininger M, Zhang Z. 2024. Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report. TOOLympics Challenge 2023. , LNCS, vol. 14550, 90–146.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18605 | OA
Agasthya LN, Muller CJ, Cheve M. 2024. Moist convective scaling: Insights from an idealised model. Quarterly Journal of the Royal Meteorological Society.
[Published Version] View | DOI | Download Published Version (ext.)
 
2024 | Published | Conference Paper | IST-REx-ID: 18599
Chalupa M, Henzinger TA, Oliveira da Costa A. 2024. Monitoring extended hypernode logic. Integrated Formal Methods. , LNCS, vol. 15234, 151–171.
View | DOI
 
2024 | Published | Thesis | IST-REx-ID: 18515 | OA
Surendranadh P. 2024. Effect of population structure on neutral genetic variation and barriers to gene exchange. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 18587 | OA
Lauwereyns J, Bajramovic J, Bert B, Camenzind S, De Kock J, Elezović A, Erden S, Gonzalez-Uarquin F, Ulman YI, Hoffmann OI, Kitsara M, Kostomitsopoulos N, Neuhaus W, Petit-Demouliere B, Pollo S, Riso B, Schober S, Sotiropoulos A, Thomas A, Vitale A, Wilflingseder D, Ahluwalia A. 2024. Toward a common interpretation of the 3Rs principles in animal research. Lab Animal. 53, 347–350.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 18582 | OA
Luschnig C, Friml J. 2024. Over 25 years of decrypting PIN-mediated plant development. Nature Communications. 15, 9904.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 18586 | OA
CZUDEK KS, Dolgopyat D. 2024. The central limit theorem and rate of mixing for simple random walks on the circle. Alea. 21(2), 1853–1865.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed