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.




6567 Publications

2024 | Published | Journal Article | IST-REx-ID: 18172 | OA | PlanS
Hatt EJ, Ong JMJ, Nielsen MB, Chaplin WJ, Davies GR, Deheuvels S, Ballot J, Li G, Bugnet LA. 2024. Asteroseismic signatures of core magnetism and rotation in hundreds of low-luminosity red giants. Monthly Notices of the Royal Astronomical Society. 534(2), 1060–1076.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18175 | OA
Maj P, Muroya Lei S, Siek K, Di Grazia L, Vitek J. 2024. The fault in our stars: Designing reproducible large-scale code analysis experiments. 38th European Conference on Object-Oriented Programming. ECOOP: European Conference on Object-Oriented Programming, LIPIcs, vol. 313, 27.
[Published Version] View | Files available | DOI | WoS
 
2024 | Published | Journal Article | IST-REx-ID: 18176 | OA
Zadnik L, Ljubotina M, Krajnik Ž, Ilievski E, Prosen T. 2024. Quantum many-body spin ratchets. PRX Quantum. 5(3), 030356.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18177
Beneš N, Brim L, Huvar O, Pastva S, Šafránek D. 2024. BNClassifier: Classifying boolean models by dynamic properties. Computational Methods in Systems Biology. , LNBI, vol. 14971, 19–26.
View | DOI | WoS
 
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 | Thesis | MS | IST-REx-ID: 18301 | OA
Etemadi A. 2024. Filling the holes of non-manifold self-intersecting meshes for implicit topology changes in surface tracking. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 18305 | OA
Kratsios P, Zampieri N, Carrillo R, Mizumoto K, Sweeney LB, Philippidou P. 2024. Molecular and cellular mechanisms of motor circuit development. The Journal of Neuroscience. 44(40), e1238242024.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 18306 | OA
Oza AV, Seidel JV, Hoeijmakers HJ, Unni A, Kesseli AY, Schmidt CA, Sivarani T, Bello-Arufe A, Gebek A, Meyer Zu Westram M, Sousa SG, Lopes RMC, Hu R, De Kleer K, Fisher C, Charnoz S, Baker AD, Halverson SP, Schneider NM, Psaridi A, Wyttenbach A, Torres Rodriguez S, Bhatnagar I, Johnson RE. 2024. Redshifted sodium transient near exoplanet transit. Astrophysical Journal Letters. 973(2), L53.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18308 | OA
La Tour MD, Henzinger M, Saulpic D. 2024. Fully dynamic k-means coreset in near-optimal update time. 32nd Annual European Symposium on Algorithms. ESA: European Symposium on Algorithms, LIPIcs, vol. 308, 100.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18309 | OA
Hu B, Kosinas E, Polak A. 2024. Connectivity oracles for predictable vertex failures. 32nd Annual European Symposium on Algorithms. ESA: European Symposium on Algorithms, LIPIcs, vol. 308, 72.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18311
Hörmayer L, Friml J. 2024. Feeling the danger: Local wound signaling in plants. Cell Research. 34, 761–762.
View | DOI | WoS | PubMed | Europe PMC
 
2024 | Published | Thesis | PhD | IST-REx-ID: 18443 | OA
Sisak MA. 2024. T-dual branes on hyperkähler manifolds. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 15180 | OA
Matthee JJ, Naidu RP, Brammer G, Chisholm J, Eilers A-C, Goulding A, Greene J, Kashino D, Labbe I, Lilly SJ, Mackenzie R, Oesch PA, Weibel A, Wuyts S, Xiao M, Bordoloi R, Bouwens R, van Dokkum P, Illingworth G, Kramarenko I, Maseda MV, Mason C, Meyer RA, Nelson EJ, Reddy NA, Shivaei I, Simcoe RA, Yue M. 2024. Little Red Dots: An abundant population of faint active galactic nuclei at z ∼ 5 revealed by the EIGER and FRESCO JWST surveys. The Astrophysical Journal. 963(2), 129.
[Published Version] View | Files available | DOI | WoS
 
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 | WoS | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18965
Ibáñez M, Xu S, Horta S, Lawal AQ. 2024. High-performance thermoelectric cooler fabricated vith extrusion-based 3D printing materials. Proceedings of the Materials for Sustainable Development Conference. MATSUS: Materials for Sustainable Development Conference, 222.
View | DOI
 
2024 | Draft | Preprint | IST-REx-ID: 20701 | OA
Hoffmann C, Hubáček P, Ivanova S. Practical batch proofs of exponentiation. Cryptology ePrint Archive, 2024/145.
[Preprint] View | Files available | Download Preprint (ext.) | Cryptology ePrint
 
2024 | Published | Journal Article | IST-REx-ID: 17292 | OA
Lotay JD, Oliveira G. 2024. Special Lagrangians, Lagrangian mean curvature flow and the Gibbons-Hawking ansatz. Journal of Differential Geometry. 126(3), 1121–1184.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 17053 | OA
Froleyks N, Yu E, Biere A. 2024. Ternary simulation as abstract interpretation (Work in Progress). 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems. MBMV: Methods and Description Languages for Modeling and Verification of Circuits and Systems, 148–151.
[Submitted Version] View | Download Submitted Version (ext.)
 
2024 | Published | Conference Paper | IST-REx-ID: 17328 | OA
Chatterjee K, Ebrahimzadeh A, Karrabi M, Pietrzak KZ, Yeo MX, Zikelic D. 2024. Fully automated selfish mining analysis in efficient proof systems blockchains. Proceedings of the 43rd Annual ACM Symposium on Principles of Distributed Computing. PODC: Symposium on Principles of Distributed Computing, 268–278.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18530 | OA
Bose S, Henzinger TA, Lehtinen K, Schewe S, Totzke P. 2024. History-deterministic timed automata. Logical Methods in Computer Science. 20(4), 1–28.
[Published Version] View | Files available | DOI | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed