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.




5317 Publications

2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17460 | OA
Vanhille-Campos, C. E., Whitley, K. D., Radler, P., Loose, M., Holden, S., & Šarić, A. (2024). Self-organization of mortal filaments and its role in bacterial division ring formation. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-024-02597-8
[Published Version] View | DOI | Download Published Version (ext.)
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17494
Bravo, J. P. K. (2024). Anti-plasmid immunity: A key to pathogen success? Future Microbiology. Taylor & Francis. https://doi.org/10.1080/17460913.2024.2389720
View | DOI
 
2024 |Published| Journal Article | IST-REx-ID: 17493 | OA
Vermersch, B., Ljubotina, M., Cirac, J. I., Zoller, P., Serbyn, M., & Piroli, L. (2024). Many-body entropies and entanglement from polynomially many local measurements. Physical Review X. American Physical Society. https://doi.org/10.1103/physrevx.14.031035
[Published Version] View | Files available | DOI | arXiv
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17479
Taboada-Gutiérrez, J., Zhou, Y., Tresguerres-Mata, A. I. F., Lanza, C., Martínez-Suárez, A., Álvarez-Pérez, G., … Alonso-González, P. (2024). Unveiling the mechanism of phonon-polariton damping in α‑MoO3. ACS Photonics. American Chemical Society. https://doi.org/10.1021/acsphotonics.4c00485
[Published Version] View | DOI | arXiv
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17480 | OA
Karimi, B., Steffensen, G. O., Higginbotham, A. P., Marcus, C. M., Levy Yeyati, A., & Pekola, J. P. (2024). Bolometric detection of Josephson radiation. Nature Nanotechnology. Springer Nature. https://doi.org/10.1038/s41565-024-01770-7
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2024 |Published| Journal Article | IST-REx-ID: 17476
Lorenc, D., Zhumekenov, A., Bakr, O. M., & Alpichshev, Z. (2024). No extraordinary χ(3) in lead-halide perovskites: Placing an upper bound on Kerr nonlinearity by means of time-resolved interferometry. Physical Review Materials. American Physical Society. https://doi.org/10.1103/PhysRevMaterials.8.085403
View | DOI
 
2024 |Published| Journal Article | IST-REx-ID: 17477 | OA
Hawaldar, S., Shahi, P., Carter, A. L., Rey, A. M., Bollinger, J. J., & Shankar, A. (2024). Bilayer crystals of trapped ions for quantum information processing. Physical Review X. American Physical Society. https://doi.org/10.1103/PhysRevX.14.031030
[Published Version] View | Files available | DOI | arXiv
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17478 | OA
Brooks, M., & Seiringer, R. (2024). The Fröhlich polaron at strong coupling: Part II — Energy-momentum relation and effective mass. Publications Mathematiques de l’Institut Des Hautes Etudes Scientifiques. Springer Nature. https://doi.org/10.1007/s10240-024-00150-0
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2024 |Published| Journal Article | IST-REx-ID: 17481 | OA
Fischer, J. L., & Marveggio, A. (2024). Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow. Annales de l’Institut Henri Poincare C. EMS Press. https://doi.org/10.4171/AIHPC/109
[Published Version] View | Files available | DOI
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17474 | OA
Baier, C., Chatterjee, K., Meggendorfer, T., & Piribauer, J. (2024). Entropic risk for turn-based stochastic games. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2024.105214
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17884 | OA
Obr, M., Percipalle, M., Chernikova, D., Yang, H., Thader, A., Pinke, G., … Schur, F. K. (2024). Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice. Nature Structural & Molecular Biology. Springer Nature. https://doi.org/10.1038/s41594-024-01390-8
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17886 | OA
Zendrikov, D., & Paraskevov, A. (2024). The vitals for steady nucleation maps of spontaneous spiking coherence in autonomous two-dimensional neuronal networks. Neural Networks. Elsevier. https://doi.org/10.1016/j.neunet.2024.106589
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2024 |Published| Journal Article | IST-REx-ID: 17887 | OA
Abels, H., Fischer, J. L., & Moser, M. (2024). Approximation of classical two-phase flows of viscous incompressible fluids by a Navier–Stokes/Allen–Cahn system. Archive for Rational Mechanics and Analysis. Springer Nature. https://doi.org/10.1007/s00205-024-02020-9
[Published Version] View | Files available | DOI | arXiv
 
2024 |Published| Journal Article | IST-REx-ID: 17885 | OA
Kofler, L., Grundmann, L., Gerhalter, M., Prattes, M., Merl-Pham, J., Zisser, G., … Bergler, H. (2024). The novel ribosome biogenesis inhibitor usnic acid blocks nucleolar pre-60S maturation. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-024-51754-3
[Published Version] View | Files available | DOI
 
2024 |Published| Journal Article | IST-REx-ID: 17891 | OA
Edelsbrunner, H., Ölsböck, K., & Wagner, H. (2024). Understanding higher-order interactions in information space. Entropy. MDPI. https://doi.org/10.3390/e26080637
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 |Published| Journal Article | IST-REx-ID: 17463 | OA
Pillai, A., Idris, A., Philomin, A., Weidle, C., Skotheim, R., Leung, P. J. Y., … Baker, D. (2024). De novo design of allosterically switchable protein assemblies. Nature. Springer Nature. https://doi.org/10.1038/s41586-024-07813-2
[Published Version] View | Files available | DOI
 
2024 |Published| Journal Article | IST-REx-ID: 17458 | OA
Cecalev, D., Vicoso, B., & Galupa, R. (2024). Compensation of gene dosage on the mammalian X. Development. The Company of Biologists. https://doi.org/10.1242/dev.202891
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17457 | OA
Ritzau-Jost, A., Gsell, F., Sell, J., Sachs, S., Montanaro-Punzengruber, J.-C., Kirmann, T., … Hallermann, S. (2024). LGI1 autoantibodies enhance synaptic transmission by presynaptic Kv1 loss and increased action potential broadening. Neurology, Neuroimmunology and Neuroinflammation. Wolters Kluwer. https://doi.org/10.1212/NXI.0000000000200284
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17459 | OA
Pan, Y., Hochgerner, M., Cichon, M. A., Benezeder, T., Bieber, T., & Wolf, P. (2024). Langerhans cells: Central players in the pathophysiology of atopic dermatitis. Journal of the European Academy of Dermatology and Venereology. Wiley. https://doi.org/10.1111/jdv.20291
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17461 | OA
Cremer, S., & Pull, C. (2024). Unconditional versus condition-dependent social immunity. Trends in Parasitology. Elsevier. https://doi.org/10.1016/j.pt.2024.07.014
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2024 |Published| Journal Article | IST-REx-ID: 17475 | OA
Koval, I., & Kwan, M. A. (2024). Exponentially many graphs are determined by their spectrum. Quarterly Journal of Mathematics. Oxford University Press. https://doi.org/10.1093/qmath/haae030
[Published Version] View | Files available | DOI | arXiv
 
2024 | Research Data | IST-REx-ID: 17488 | OA
Satapathy, R. K., Jösch, M. A., Symonova, O., & Pokusaeva, V. (2024). Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:17488
View | Files available | DOI
 
2024 |Published| Book Chapter | IST-REx-ID: 18052
Kleindienst, D., Costanzo, T., & Shigemoto, R. (2024). Automated Imaging and Analysis of Synapses in Freeze-Fracture Replica Samples with Deep Learning. In J. H. R. Lübke & A. Rollenhagen (Eds.), New Aspects in Analyzing the Synaptic Organization of the Brain (1st ed., pp. 123–137). New York: Springer Nature. https://doi.org/10.1007/978-1-0716-4019-7_8
View | DOI
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17897
He, R., Wang, S., Yang, L., Horta, S., Ding, Y., Di, C., … Cabot, A. (2024). Active site switching on high entropy phosphides as bifunctional oxygen electrocatalysts for rechargeable/robust Zn-air battery. Energy and Environmental Science. Royal Society of Chemistry. https://doi.org/10.1039/d4ee01912a
View | DOI
 
2024 |Submitted| Preprint | IST-REx-ID: 17634 | OA
Chalupa, M., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (n.d.). QuAK: Quantitative Automata Kit. arXiv. https://doi.org/10.48550/arXiv.2409.03569
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17896
Zhou, J., Xu, S., Shuai, Y., Sun, Q., Ma, H., Wang, C., … Yang, L. (2024). Decipher the wavelength and intensity using photothermoelectric detectors. ACS Applied Materials and Interfaces. American Chemical Society. https://doi.org/10.1021/acsami.4c10489
View | DOI | PubMed | Europe PMC
 
2024 |Published| Journal Article | IST-REx-ID: 17889 | OA
Torralba-Torregrosa, A., Matthee, J. J., Naidu, R. P., Mackenzie, R., Pezzulli, G., Hutter, A., … Sobral, D. (2024). Anatomy of an ionized bubble: NIRCam grism spectroscopy of the z = 6.6 double-peaked Lyman- α emitter COLA1 and its environment. Astronomy and Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/202450318
[Published Version] View | Files available | DOI | arXiv
 
2024 |Published| Journal Article | IST-REx-ID: 17888 | OA
Pocull Belles, G., Baskett, C., & Barton, N. H. (2024). Multiscale spatial analysis of two plant–insect interactions: Effects of landscape, resource distribution, and other insects. Landscape Ecology. Springer Nature. https://doi.org/10.1007/s10980-024-01899-9
[Published Version] View | Files available | DOI
 
2024 |Published| Journal Article | IST-REx-ID: 17892 | OA
Olmeda, F., & Rulands, S. (2024). Field theory of enzyme-substrate systems with restricted long-range interactions. Physical Review E. American Physical Society. https://doi.org/10.1103/PhysRevE.110.024404
[Published Version] View | Files available | DOI
 
2024 |Published| Conference Paper | IST-REx-ID: 17898
Lechner, M., Hasani, R., Amini, A., Wang, T. H., Henzinger, T. A., & Rus, D. (2024). Overparametrization helps offline-to-online generalization of closed-loop control from pixels. In Proceedings of the 2024 IEEE International Conference on Robotics and Automation (pp. 2774–2782). Yokohama, Japan: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ICRA57147.2024.10610284
View | DOI
 
2024 |Published| Conference Paper | IST-REx-ID: 17893 | OA
Jin, L., Esposito, A. R., & Gastpar, M. (2024). Properties of the strong data processing constant for Rényi divergence. In Proceedings of the 2024 IEEE International Symposium on Information Theory (pp. 3178–3183). Athens, Greece: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ISIT57864.2024.10619367
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2024 | Research Data | IST-REx-ID: 17362 | OA
Elkrewi, M. N., & Vicoso, B. (2024). Data for: “Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:17362
[Published Version] View | Files available | DOI
 
2024 |Published| Conference Paper | IST-REx-ID: 17895
Dey, B. K., Jaggi, S., Langberg, M., Sarwate, A. D., & Zhang, Y. (2024). Computationally efficient codes for strongly Dobrushin-Stambler nonsymmetrizable oblivious AVCs. In Proceedings of the 2024 IEEE International Symposium on Information Theory (pp. 1586–1591). Athens, Greece: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ISIT57864.2024.10619362
View | DOI
 
2024 |Published| Conference Paper | IST-REx-ID: 17894
Esposito, A. R., Gastpar, M., & Issa, I. (2024). Variational characterizations of Sibson’s α-mutual information. In Proceedings of the 2024 IEEE International Symposium on Information Theory (pp. 2110–2115). Athens, Greece: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ISIT57864.2024.10619378
View | DOI
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17890 | OA
Elkrewi, M. N., & Vicoso, B. (2024). Single-nucleus atlas of the Artemia female reproductive system suggests germline repression of the Z chromosome. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1011376
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 |Published| Book Chapter | IST-REx-ID: 18058
Watson, J., Arroyo-Urea, S., & García-Nafría, J. (2024). DNA Cloning. In D. Liu (Ed.), Handbook of Molecular Biotechnology (1st ed., pp. 66–72). Boca Raton: CRC Press. https://doi.org/10.1201/9781003055211-8
View | DOI
 
2024 |Submitted| Preprint | IST-REx-ID: 18057 | OA
Mukhopadhyay, S., Lancheros Naranjo, D. A., Senior, J. L., & Higginbotham, A. P. (n.d.). Dual relaxation oscillations in a Josephson junction array. arXiv. https://doi.org/10.48550/arXiv.2408.07829
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2024 |Published| Conference Paper | IST-REx-ID: 18061 | OA
Frantar, E., & Alistarh, D.-A. (2024). QMoE: Sub-1-bit compression of trillion parameter models. In P. Gibbons, G. Pekhimenko, & C. De Sa (Eds.), Proceedings of Machine Learning and Systems (Vol. 6). Santa Clara, CA, USA.
[Published Version] View | Files available | Download Published Version (ext.)
 
2024 |Published| Conference Paper | IST-REx-ID: 18062 | OA
Frantar, E., Ruiz, C. R., Houlsby, N., Alistarh, D.-A., & Evci, U. (2024). Scaling laws for sparsely-connected foundation models. In The Twelfth International Conference on Learning Representations. Vienna, Austria.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2024 |Published| Conference Paper | IST-REx-ID: 17469 | OA
Kögler, K., Shevchenko, A., Hassani, H., & Mondelli, M. (2024). Compression of structured data with autoencoders: Provable benefit of nonlinearities and depth. In Proceedings of the 41st International Conference on Machine Learning (Vol. 235, pp. 24964–25015). Vienna, Austria: ML Research Press.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2024 |Published| Thesis | IST-REx-ID: 17465
Shevchenko, A. (2024). High-dimensional limits in artificial neural networks. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17465
[Published Version] View | Files available | DOI
 
2024 |Published| Thesis | IST-REx-ID: 17490 | OA
Markov, I. (2024). Communication-efficient distributed training of deep neural networks: An algorithms and systems perspective. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17490
[Published Version] View | Files available | DOI
 
2024 |Published| Conference Paper | IST-REx-ID: 17456 | OA
Markov, I., Alimohammadi, K., Frantar, E., & Alistarh, D.-A. (2024). L-GreCo: Layerwise-adaptive gradient compression for efficient data-parallel deep learning. In P. Gibbons, G. Pekhimenko, & C. De Sa (Eds.), Proceedings of Machine Learning and Systems (Vol. 6). Athens, Greece: Association for Computing Machinery.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 18073 | OA
Kettel, P., Marosits, L., Spinetti, E., Rechberger, M., Giannini, C., Radler, P., … Karagöz, G. E. (2024). Disordered regions in the IRE1α ER lumenal domain mediate its stress-induced clustering. EMBO Journal. Embo Press. https://doi.org/10.1038/s44318-024-00207-0
[Published Version] View | DOI | Download Published Version (ext.)
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 18074 | OA
Fialova, M. (2024). Aharonov–Casher theorems for Dirac operators on manifolds with boundary and APS boundary condition. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-024-01482-7
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2024 |Published| Journal Article | IST-REx-ID: 18072 | OA
Hernandez-Armendariz, A., Sorichetti, V., Hayashi, Y., Koskova, Z., Brunner, A., Ellenberg, J., … Cuylen-Haering, S. (2024). A liquid-like coat mediates chromosome clustering during mitotic exit. Molecular Cell. Cell Press. https://doi.org/10.1016/j.molcel.2024.07.022
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 |Published| Conference Paper | IST-REx-ID: 18071 | OA
Tsimos, G., Kichidis, A., Sonnino, A., & Kokoris Kogias, E. (2024). HammerHead: Leader reputation for dynamic scheduling. In Proceedings - International Conference on Distributed Computing Systems (pp. 1377–1387). Jersey City, NJ, United States: IEEE. https://doi.org/10.1109/ICDCS60910.2024.00129
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2024 |Published| Conference Paper | IST-REx-ID: 18070
Chatterjee, B., Kungurtsev, V., & Alistarh, D.-A. (2024). Federated SGD with local asynchrony. In Proceedings of the 44th International Conference on Distributed Computing Systems (pp. 857–868). Jersey City, NJ, United States: IEEE. https://doi.org/10.1109/ICDCS60910.2024.00084
View | DOI
 
2024 |Published| Conference Paper | IST-REx-ID: 18066 | OA
Avni, G., Goharshady, E. K., Henzinger, T. A., & Mallik, K. (2024). Bidding games with charging. In 35th International Conference on Concurrency Theory (Vol. 311). Calgary, Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2024.8
[Published Version] View | Files available | DOI | arXiv
 
2024 |Published| Conference Paper | IST-REx-ID: 18067 | OA
Boker, U., Henzinger, T. A., Lehtinen, K., & Prakash, A. (2024). History-determinism vs fair simulation. In 35th International Conference on Concurrency Theory (Vol. 311). Calgary, Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2024.12
[Published Version] View | Files available | DOI | arXiv
 
2024 |Published| Journal Article | IST-REx-ID: 18063 | OA
Peng, Y., Ji, K., Mao, Y., Wang, Y., Korbei, B., Luschnig, C., … Tan, S. (2024). Polarly localized Bro1 domain proteins regulate PIN-FORMED abundance and root gravitropic growth in Arabidopsis. Communications Biology. Springer Nature. https://doi.org/10.1038/s42003-024-06747-9
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 |Published| Journal Article | IST-REx-ID: 18069 | OA
Neufeld, C., Van Dokkum, P., Asali, Y., Covelo-Paz, A., Leja, J., Lin, J., … Xiao, M. (2024). FRESCO: The Paschen-α star-forming sequence at cosmic noon. Astrophysical Journal. IOP Publishing. https://doi.org/10.3847/1538-4357/ad6158
[Published Version] View | Files available | DOI
 
2024 |Published| Conference Paper | IST-REx-ID: 18068 | OA
Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2024). Strategic dominance: A new preorder for nondeterministic processes. In 35th International Conference on Concurrency Theory (Vol. 311). Calgary, Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2024.29
[Published Version] View | Files available | DOI | arXiv
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 18065 | OA
Hou, X., Pan, Y., & Zhou, Q. (2024). Dynamical classification of analytic one-frequency quasi-periodic SO(3,R)-cocycles. Advances in Mathematics. Elsevier. https://doi.org/10.1016/j.aim.2024.109943
[Published Version] View | DOI | Download Published Version (ext.)
 
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 18064 | OA
Chan, S. (2024). The average number of integral points on the congruent number curves. Advances in Mathematics. Elsevier. https://doi.org/10.1016/j.aim.2024.109946
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2024 |Published| Journal Article | IST-REx-ID: 17202 | OA
Sagi, O., Crippa, A., Valentini, M., Janik, M., Baghumyan, L., Fabris, G., … Katsaros, G. (2024). A gate tunable transmon qubit in planar Ge. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-024-50763-6
[Published Version] View | Files available | DOI | arXiv
 
2024 |Published| Thesis | IST-REx-ID: 15101 | OA
Chen, J. (2024). Developmental transformation of nanodomain coupling between Ca2+ channels and release sensors at a central GABAergic synapse. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:15101
[Published Version] View | Files available | DOI
 
2024 |Published| Journal Article | IST-REx-ID: 14843
Chen, J., Kaufmann, W., Chen, C., Arai, itaru, Kim, O., Shigemoto, R., & Jonas, P. M. (2024). Developmental transformation of Ca2+ channel-vesicle nanotopography at a central GABAergic synapse. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2023.12.002
View | Files available | DOI | PubMed | Europe PMC
 
2023 |Published| Book Chapter | IST-REx-ID: 12428 | OA
Hannezo, E. B., & Scheele, C. L. G. J. (2023). A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In C. Margadant (Ed.), Cell Migration in Three Dimensions (Vol. 2608, pp. 183–205). Springer Nature. https://doi.org/10.1007/978-1-0716-2887-4_12
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2023 |Published| Journal Article | IST-REx-ID: 12534 | OA
Ghazaryan, A., Cappellaro, A., Lemeshko, M., & Volosniev, A. (2023). Dissipative dynamics of an impurity with spin-orbit coupling. Physical Review Research. American Physical Society. https://doi.org/10.1103/physrevresearch.5.013029
[Published Version] View | Files available | DOI
 
2023 |Published| Journal Article | IST-REx-ID: 12158 | OA
Zeller, P., Yeung, J., Viñas Gaza, H., de Barbanson, B. A., Bhardwaj, V., Florescu, M., … van Oudenaarden, A. (2023). Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis. Nature Genetics. Springer Nature. https://doi.org/10.1038/s41588-022-01260-3
[Published Version] View | Files available | DOI
 
2023 |Published| Conference Paper | IST-REx-ID: 12676 | OA
Chatterjee, K., Meggendorfer, T., Saona Urmeneta, R. J., & Svoboda, J. (2023). Faster algorithm for turn-based stochastic games with bounded treewidth. In Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 4590–4605). Florence, Italy: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611977554.ch173
[Published Version] View | DOI | Download Published Version (ext.)
 
2023 |Published| Book Chapter | IST-REx-ID: 12720
Arroyo-Urea, S., Watson, J., & García-Nafría, J. (2023). Molecular Cloning Using In Vivo DNA Assembly. In G. Scarlett (Ed.), DNA Manipulation and Analysis (Vol. 2633, pp. 33–44). New York, NY, United States: Springer Nature. https://doi.org/10.1007/978-1-0716-3004-4_3
View | DOI | PubMed | Europe PMC
 
2023 |Published| Conference Paper | IST-REx-ID: 12735 | OA
Koval, N., Alistarh, D.-A., & Elizarov, R. (2023). Fast and scalable channels in Kotlin Coroutines. In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 107–118). Montreal, QC, Canada: Association for Computing Machinery. https://doi.org/10.1145/3572848.3577481
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 |Published| Conference Poster | IST-REx-ID: 12736 | OA
Aksenov, V., Brown, T. A., Fedorov, A., & Kokorin, I. (2023). Unexpected scaling in path copying trees. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 438–440). Montreal, QB, Canada: Association for Computing Machinery. https://doi.org/10.1145/3572848.3577512
[Published Version] View | DOI | Download Published Version (ext.)
 
2023 |Published| Conference Paper | IST-REx-ID: 12760 | OA
Henzinger, M. H., Neumann, S., Räcke, H., & Schmid, S. (2023). Dynamic maintenance of monotone dynamic programs and applications. In 40th International Symposium on Theoretical Aspects of Computer Science (Vol. 254). Hamburg, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.STACS.2023.36
[Published Version] View | Files available | DOI | arXiv
 
2023 |Published| Thesis | IST-REx-ID: 12716 | OA
Burnett, L. (2023). 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. https://doi.org/10.15479/at:ista:12716
[Published Version] View | Files available | DOI
 
2023 |Published| Conference Paper | IST-REx-ID: 12854 | OA
Chalupa, M., & Henzinger, T. A. (2023). Bubaak: Runtime monitoring of program verifiers. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 535–540). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30820-8_32
[Published Version] View | Files available | DOI
 
2023 |Submitted| Preprint | IST-REx-ID: 12846 | OA
Chern, A., & Ishida, S. (n.d.). Area formula for spherical polygons via prequantization. arXiv. https://doi.org/10.48550/arXiv.2303.14555
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 |Published| Conference Paper | IST-REx-ID: 12856 | OA
Chalupa, M., Mühlböck, F., Muroya Lei, S., & Henzinger, T. A. (2023). Vamos: Middleware for best-effort third-party monitoring. In Fundamental Approaches to Software Engineering (Vol. 13991, pp. 260–281). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30826-0_15
[Published Version] View | Files available | DOI
 
2023 |Published| Technical Report | IST-REx-ID: 12407 | OA
Chalupa, M., Mühlböck, F., Muroya Lei, S., & Henzinger, T. A. (2023). VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12407
[Published Version] View | Files available | DOI
 
2023 |Published| Book Chapter | IST-REx-ID: 12866
Currin, C., & Beyer, C. (2023). Altered childhood brain development in autism and epilepsy. In B. Halpern-Felsher (Ed.), Encyclopedia of Child and Adolescent Health (1st ed., pp. 86–98). Elsevier. https://doi.org/10.1016/b978-0-12-818872-9.00129-1
View | DOI
 
2023 |Published| Journal Article | IST-REx-ID: 12668 | OA
Zhao, L., Yang, Y., Chen, J., Lin, X., Zhang, H., Wang, H., … Xiao, J. (2023). Dynamic chromatin regulatory programs during embryogenesis of hexaploid wheat. Genome Biology. Springer Nature. https://doi.org/10.1186/s13059-022-02844-2
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2023 |Published| Conference Paper | IST-REx-ID: 13048 | OA
Lieutier, A., & Wintraecken, M. (2023). Hausdorff and Gromov-Hausdorff stable subsets of the medial axis. In Proceedings of the 55th Annual ACM Symposium on Theory of Computing (pp. 1768–1776). Orlando, FL, United States: Association for Computing Machinery. https://doi.org/10.1145/3564246.3585113
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 |Published| Conference Paper | IST-REx-ID: 13143 | OA
Hoffmann, C., Hubáček, P., Kamath, C., & Pietrzak, K. Z. (2023). Certifying giant nonprimes. In Public-Key Cryptography - PKC 2023 (Vol. 13940, pp. 530–553). Atlanta, GA, United States: Springer Nature. https://doi.org/10.1007/978-3-031-31368-4_19
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2023 |Published| Conference Paper | IST-REx-ID: 13142 | OA
Chatterjee, K., Henzinger, T. A., Lechner, M., & Zikelic, D. (2023). A learner-verifier framework for neural network controllers and certificates of stochastic systems. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13993, pp. 3–25). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30823-9_1
[Published Version] View | Files available | DOI
 
2023 |Published| Conference Paper | IST-REx-ID: 13141 | OA
Anand, A., Mallik, K., Nayak, S. P., & Schmuck, A. K. (2023). Computing adequately permissive assumptions for synthesis. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 211–228). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30820-8_15
[Published Version] View | Files available | DOI
 
2023 |Published| Thesis | IST-REx-ID: 12826 | OA
Pokusaeva, V. (2023). Neural control of optic flow-based navigation in Drosophila melanogaster. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12826
[Published Version] View | Files available | DOI
 
2023 |Published| Journal Article | IST-REx-ID: 12086 | OA
Edelsbrunner, H., & Osang, G. F. (2023). A simple algorithm for higher-order Delaunay mosaics and alpha shapes. Algorithmica. Springer Nature. https://doi.org/10.1007/s00453-022-01027-6
[Published Version] View | Files available | DOI | WoS
 
2023 |Published| Journal Article | IST-REx-ID: 12104 | OA
Dello Schiavo, L., & Wirth, M. (2023). Ergodic decompositions of Dirichlet forms under order isomorphisms. Journal of Evolution Equations. Springer Nature. https://doi.org/10.1007/s00028-022-00859-7
[Published Version] View | Files available | DOI | WoS
 
2023 |Published| Journal Article | IST-REx-ID: 11434
GOSWAMI, B. B. (2023). Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend. Climate Dynamics. Springer Nature. https://doi.org/10.1007/s00382-022-06337-7
View | Files available | DOI | WoS
 
2023 |Published| Conference Paper | IST-REx-ID: 12467 | OA
Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2023). Quantitative safety and liveness. In 26th International Conference Foundations of Software Science and Computation Structures (Vol. 13992, pp. 349–370). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30829-1_17
[Published Version] View | Files available | DOI | arXiv
 
2023 |Published| Journal Article | IST-REx-ID: 13179 | OA
Koval, N., Khalanskiy, D., & Alistarh, D.-A. (2023). CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. Association for Computing Machinery . https://doi.org/10.1145/3591230
[Published Version] View | Files available | DOI
 
2023 |Published| Journal Article | IST-REx-ID: 13180 | OA
Browning, T. D., Lyczak, J., & Sarapin, R. (2023). Local solubility for a family of quadrics over a split quadric surface. Involve. Mathematical Sciences Publishers. https://doi.org/10.2140/involve.2023.16.331
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 |Published| Journal Article | IST-REx-ID: 13251 | OA
Wei, Y., Volosniev, A., Lorenc, D., Zhumekenov, A. A., Bakr, O. M., Lemeshko, M., & Alpichshev, Z. (2023). Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites. The Journal of Physical Chemistry Letters. American Chemical Society. https://doi.org/10.1021/acs.jpclett.3c01158
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 |Published| Conference Paper | IST-REx-ID: 13292 | OA
Henzinger, T. A., Kebis, P., Mazzocchi, N. A., & Sarac, N. E. (2023). Regular methods for operator precedence languages. In 50th International Colloquium on Automata, Languages, and Programming (Vol. 261, p. 129:1--129:20). Paderborn, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2023.129
[Published Version] View | Files available | DOI | arXiv
 
2023 |Published| Journal Article | IST-REx-ID: 13277 | OA
Tucci, G., De Nicola, S., Wald, S., & Gambassi, A. (2023). Stochastic representation of the quantum quartic oscillator. SciPost Physics Core. SciPost Foundation. https://doi.org/10.21468/scipostphyscore.6.2.029
[Published Version] View | Files available | DOI | arXiv
 
2023 |Published| Journal Article | IST-REx-ID: 13276 | OA
Rammelmüller, L., Huber, D., & Volosniev, A. (2023). A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D. SciPost Physics Codebases. SciPost Foundation. https://doi.org/10.21468/scipostphyscodeb.12
[Published Version] View | Files available | DOI | arXiv
 
2023 | Research Data Reference | IST-REx-ID: 13275 | OA
Rammelmüller, L., Huber, D., & Volosniev, A. (2023). Codebase release 1.0 for FermiFCI. SciPost Foundation. https://doi.org/10.21468/scipostphyscodeb.12-r1.0
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 |Published| Journal Article | IST-REx-ID: 11479 | OA
De Jode, A., Le Moan, A., Johannesson, K., Faria, R., Stankowski, S., Westram, A. M., … Fraisse, C. (2023). Ten years of demographic modelling of divergence and speciation in the sea. Evolutionary Applications. Wiley. https://doi.org/10.1111/eva.13428
[Published Version] View | Files available | DOI | WoS
 
2023 |Published| Journal Article | IST-REx-ID: 12329 | OA
Gómez, A., & Oliveira, G. (2023). New approaches to epidemic modeling on networks. Scientific Reports. Springer Nature. https://doi.org/10.1038/s41598-022-19827-9
[Published Version] View | Files available | DOI | WoS
 
2023 |Published| Journal Article | IST-REx-ID: 9034 | OA
Wilsch, F. A. (2023). Integral points of bounded height on a log Fano threefold. International Mathematics Research Notices. Oxford Academic. https://doi.org/10.1093/imrn/rnac048
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 |Published| Journal Article | IST-REx-ID: 12469 | OA
Viljakainen, L., Fürst, M., Grasse, A. V., Jurvansuu, J., Oh, J., Tolonen, L., … Cremer, S. (2023). Antiviral immune response reveals host-specific virus infections in natural ant populations. Frontiers in Microbiology. Frontiers. https://doi.org/10.3389/fmicb.2023.1119002
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 |Published| Journal Article | IST-REx-ID: 12287 | OA
Boissonnat, J.-D., Dyer, R., Ghosh, A., & Wintraecken, M. (2023). Local criteria for triangulating general manifolds. Discrete & Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-022-00431-7
[Published Version] View | Files available | DOI | WoS
 
2023 |Published| Journal Article | IST-REx-ID: 12165
Hof, B. (2023). Directed percolation and the transition to turbulence. Nature Reviews Physics. Springer Nature. https://doi.org/10.1038/s42254-022-00539-y
View | DOI | WoS
 
2023 |Published| Journal Article | IST-REx-ID: 12421 | OA
Fäßler, F., Javoor, M., & Schur, F. K. (2023). Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM. Biochemical Society Transactions. Portland Press. https://doi.org/10.1042/bst20220221
[Published Version] View | Files available | DOI | WoS
 
2023 |Published| Journal Article | IST-REx-ID: 12105 | OA
Marensi, E., Yalniz, G., Hof, B., & Budanur, N. B. (2023). Symmetry-reduced dynamic mode decomposition of near-wall turbulence. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2022.1001
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 |Published| Journal Article | IST-REx-ID: 12514 | OA
Bolnick, D. I., Hund, A. K., Nosil, P., Peng, F., Ravinet, M., Stankowski, S., … Yukilevich, R. (2023). A multivariate view of the speciation continuum. Evolution: International Journal of Organic Evolution. Oxford University Press. https://doi.org/10.1093/evolut/qpac004
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2023 |Published| Conference Paper | IST-REx-ID: 12548 | OA
Forghani, M., Claramunt, C., Karimipour, F., & Heiler, G. (2023). Visual analytics of mobility network changes observed using mobile phone data during COVID-19 pandemic. In 2022 IEEE International Conference on Data Mining Workshops. Orlando, FL, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/icdmw58026.2022.00093
[Submitted Version] View | Files available | DOI | WoS
 
2023 |Published| Journal Article | IST-REx-ID: 12563 | OA
Krokhin, A., Opršal, J., Wrochna, M., & Živný, S. (2023). Topology and adjunction in promise constraint satisfaction. SIAM Journal on Computing. Society for Industrial & Applied Mathematics. https://doi.org/10.1137/20m1378223
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Search

Filter Publications