Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5102 Publications
2024 | Journal Article | IST-REx-ID: 15316
Zocher, S., Mccloskey, A., Karasinsky, A., Schulte, R., Friedrich, U., Lesche, M., … Toda, T. (2024). Lifelong persistence of nuclear RNAs in the mouse brain. Science. AAAS. https://doi.org/10.1126/science.adf3481
View
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 15339 |
González, M., & Hausel, T. (2024). Hitchin map on even very stable upward flows. International Journal of Mathematics. World Scientific Publishing. https://doi.org/10.1142/S0129167X2441009X
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 15337 |
Bonolis, D., Browning, T. D., & Huang, Z. (2024). Density of rational points on some quadric bundle threefolds. Mathematische Annalen. Springer Nature. https://doi.org/10.1007/s00208-024-02854-4
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 15336 |
Pensabene, A., Cantalupo, S., Cicone, C., Decarli, R., Galbiati, M., Ginolfi, M., … Maseda, M. V. (2024). ALMA survey of a massive node of the Cosmic Web at z ∼ 3: I. Discovery of a large overdensity of CO emitters. Astronomy and Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/202348659
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15335 |
Godavarthi, S. K., Hiramoto, M., Ignatyev, Y., Levin, J. B., Li, H. Q., Pratelli, M., … Spitzer, N. C. (2024). Postsynaptic receptors regulate presynaptic transmitter stability through transsynaptic bridges. PNAS. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.2318041121
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 15334 |
Abels, H., Fei, M., & Moser, M. (2024). Sharp interface limit for a Navier–Stokes/Allen–Cahn system in the case of a vanishing mobility. Calculus of Variations and Partial Differential Equations. Springer Nature. https://doi.org/10.1007/s00526-024-02715-7
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15338 |
Browning, T. D., Pierce, L. B., & Schindler, D. (2024). Generalised quadratic forms over totally real number fields. Journal of the Institute of Mathematics of Jussieu. Cambridge University Press. https://doi.org/10.1017/S1474748024000161
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 10045 |
Dvorak, M., & Kolmogorov, V. (2024). Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. Springer Nature. https://doi.org/10.1007/s10107-024-02064-5
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 15311 |
Zeng, Z., Shen, X., Cheng, R., Perez, O., Ouyang, N., Fan, Z., … Chen, Y. (2024). Pushing thermal conductivity to its lower limit in crystals with simple structures. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-024-46799-3
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15312 |
Browning, T. D., & Shparlinski, I. E. (2024). Square-free values of random polynomials. Journal of Number Theory. Elsevier. https://doi.org/10.1016/j.jnt.2024.02.013
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Conference Paper | IST-REx-ID: 15333 |
Chalupa, M., & Richter, C. (2024). Bubaak-SpLit: Split what you cannot verify (Competition contribution). In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 353–358). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/10.1007/978-3-031-57256-2_20
[Published Version]
View
| Files available
| DOI
2024 | Journal Article | IST-REx-ID: 15330 |
Gnyliukh, N., Johnson, A. J., Nagel, M., Monzer, A., Babic, D., Hlavata, A., … Friml, J. (2024). Role of dynamin-related proteins 2 and SH3P2 in clathrin-mediated endocytosis in Arabidopsis thaliana. Journal of Cell Science. The Company of Biologists. https://doi.org/10.1242/jcs.261720
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 15348
Mahato, N., Singh, S., Sreekanth, T. V. M., Yoo, K., & Kim, J. (2024). In-situ engineered highly crystalline polythiophene empowered electrochemical capacitor-I: Synthesis, characterization, and electrochemical charge storage. Materials Letters. Elsevier. https://doi.org/10.1016/j.matlet.2024.136483
View
| DOI
2024 | Journal Article | IST-REx-ID: 15350 |
Rouzé, C., Wirth, M., & Zhang, H. (2024). Quantum Talagrand, KKL and Friedgut’s theorems and the learnability of quantum boolean functions. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-024-04981-0
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15360 |
Kolisnyk, D., Queißer, F., Schaller, G., & Schützhold, R. (2024). Floquet analysis of a superradiant many-qutrit refrigerator. Physical Review Applied. American Physical Society. https://doi.org/10.1103/PhysRevApplied.21.044050
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Book Chapter | IST-REx-ID: 15361
Jayasree, A., Salava, H., Nodzynski, T., & Sravankumar, T. (2024). Protein-Protein Interactions Visualized by Bimolecular Fluorescence Complementation in Arabidopsis thaliana Protoplasts from Leaf. In F. Maghuly (Ed.), Plant Functional Genomics (Vol. 2787, pp. 305–313). Springer Nature. https://doi.org/10.1007/978-1-0716-3778-4_21
View
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 15362 |
Andrianova, M. A., Seplyarskiy, V. B., Terradas, M., Sánchez-Heras, A. B., Mur, P., Soto, J. L., … Valle, L. (2024). Discovery of recessive effect of human polymerase δ proofreading deficiency through mutational analysis of POLD1-mutated normal and cancer cells. European Journal of Human Genetics. Springer Nature. https://doi.org/10.1038/s41431-024-01598-8
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 15367 |
Babkin, S., Higginbotham, A. P., & Serbyn, M. (2024). Proximity-induced gapless superconductivity in two-dimensional Rashba semiconductor in magnetic field. SciPost Physics. SciPost Foundation. https://doi.org/10.21468/scipostphys.16.5.115
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15359 |
Dong, H., Shi, Y., Ying, P., Xu, K., Liang, T., Wang, Y., … Fan, Z. (2024). Molecular dynamics simulations of heat transport using machine-learned potentials: A mini-review and tutorial on GPUMD with neuroevolution potentials. Journal of Applied Physics. AIP Publishing. https://doi.org/10.1063/5.0200833
[Preprint]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15356
Zhao, J., Yao, Z., Bunting, R., Wang, Y., & Wang, J. (2024). Identifying Pd9OX as the optimum catalyst for the direct synthesis of H2O2 through microkinetic modeling with coverage effects. Chemical Engineering Science. Elsevier. https://doi.org/10.1016/j.ces.2024.120199
View
| DOI
2024 | Journal Article | IST-REx-ID: 15358 |
Barton, N. H., & Sachdeva, H. (2024). Limits to selection on standing variation in an asexual population. Theoretical Population Biology. Elsevier. https://doi.org/10.1016/j.tpb.2024.04.001
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 15374 |
Adamowski, M., Randuch, M., Matijevic, I., Narasimhan, M., & Friml, J. (2024). SH3Ps recruit auxilin-like vesicle uncoating factors for clathrin-mediated endocytosis. Cell Reports. Cell Press. https://doi.org/10.1016/j.celrep.2024.114195
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 15357 |
Liu, Y., Lee, S., Fiedler, C., Spadaro, M. C., Chang, C., Li, M., … Ibáñez, M. (2024). Enhancing thermoelectric performance of solutionpProcessed polycrystalline SnSe with PbSe nanocrystals. Chemical Engineering Journal. Elsevier. https://doi.org/10.1016/j.cej.2024.151405
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Journal Article | IST-REx-ID: 15372 |
Hibshman, G. N., Bravo, J. P. K., Hooper, M. M., Dangerfield, T. L., Zhang, H., Finkelstein, I. J., … Taylor, D. W. (2024). Unraveling the mechanisms of PAMless DNA interrogation by SpRY-Cas9. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-024-47830-3
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 15381 |
Rangel Guerrero, D. K., Balueva, K., Barayeu, U., Baracskay, P., Gridchyn, I., Nardin, M., … Csicsvari, J. L. (2024). Hippocampal cholecystokinin-expressing interneurons regulate temporal coding and contextual learning. Neuron. Cell Press. https://doi.org/10.1016/j.neuron.2024.03.019
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Journal Article | IST-REx-ID: 15375 |
He, S., Yu, Y., Wang, L., Zhang, J., Bai, Z., Li, G., … Feng, X. (2024). Linker histone H1 drives heterochromatin condensation via phase separation in Arabidopsis. The Plant Cell. Oxford Academic. https://doi.org/10.1093/plcell/koae034
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Journal Article | IST-REx-ID: 15378 |
Erdös, L., & Ji, H. C. (2024). Wegner estimate and upper bound on the eigenvalue condition number of non-Hermitian random matrices. Communications on Pure and Applied Mathematics. Wiley. https://doi.org/10.1002/cpa.22201
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 15379 |
Stockwell, I., Watson, J., & Greger, I. H. (2024). Tuning synaptic strength by regulation of AMPA glutamate receptor localization. BioEssays. Wiley. https://doi.org/10.1002/bies.202400006
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 15373 |
Wirth, M. (2024). Christensen–Evans theorem and extensions of GNS-symmetric quantum Markov semigroups. Journal of Functional Analysis. Elsevier. https://doi.org/10.1016/j.jfa.2024.110475
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Journal Article | IST-REx-ID: 15380 |
Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., & Saghafian, M. (2024). Depth in arrangements: Dehn–Sommerville–Euler relations with applications. Journal of Applied and Computational Topology. Springer Nature. https://doi.org/10.1007/s41468-024-00173-w
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2024 | Thesis | IST-REx-ID: 15352
Murmann, J. S. (2024). Investigating acute microglia response to seizure activity in vivo: Combining 2-Photon imaging and EEG recording. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:15352
[Published Version]
View
| Files available
| DOI
2024 | Research Data | IST-REx-ID: 15385 |
Burnett, L., Koppensteiner, P., Symonova, O., Masson, T., Vega Zuniga, T. A., Contreras, X., … Jösch, M. A. (2024). Shared behavioural impairments in visual perception and place avoidance across different autism models are driven by periaqueductal grey hypoexcitability in Setd5 haploinsufficient mice. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:15385
[Published Version]
View
| Files available
| DOI
2024 | Journal Article | IST-REx-ID: 15323 |
Vercellino, I., & Sazanov, L. A. (2024). SCAF1 drives the compositional diversity of mammalian respirasomes. Nature Structural and Molecular Biology. Springer Nature. https://doi.org/10.1038/s41594-024-01255-0
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 15407 |
Finžgar, J. R., Kerschbaumer, A., Schuetz, M. J. A., Mendl, C. B., & Katzgraber, H. G. (2024). Quantum-informed recursive optimization algorithms. PRX Quantum. American Physical Society. https://doi.org/10.1103/PRXQuantum.5.020327
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15405 |
Yue, M., Eilers, A. C., Simcoe, R. A., Mackenzie, R., Matthee, J. J., Kashino, D., … Naidu, R. P. (2024). EIGER. V. Characterizing the host galaxies of luminous quasars at z ≳ 6. Astrophysical Journal. IOP Publishing. https://doi.org/10.3847/1538-4357/ad3914
[Published Version]
View
| Files available
| DOI
2024 | Journal Article | IST-REx-ID: 15404
Reiner, A., Medina, L., Abellan, A., Deng, Y., Toledo, C. A. B., Luksch, H., … Karten, H. J. (2024). Neurochemistry and circuit organization of the lateral spiriform nucleus of birds: A uniquely nonmammalian direct pathway component of the basal ganglia. Journal of Comparative Neurology. Wiley. https://doi.org/10.1002/cne.25620
View
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 15408 |
Link, K., Muhandes, L., Polikarpova, A., Lämmermann, T., Sixt, M. K., Fässler, R., & Roers, A. (n.d.). Integrin β1–mediated mast cell immune-surveillance of blood vessel content. Journal of Allergy and Clinical Immunology. Elsevier. https://doi.org/10.1016/j.jaci.2024.03.022
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Journal Article | IST-REx-ID: 15401 |
Napoli, F., Guan, J.-Y., Arnaud, C.-A., Macek, P., Fraga, H., Breyton, C., & Schanda, P. (2024). Deuteration of proteins boosted by cell lysates: High-resolution amide and Ha magic-angle-spinning (MAS) NMR without the reprotonation bottleneck. Magnetic Resonance. Copernicus Publications. https://doi.org/10.5194/mr-5-33-2024
[Published Version]
View
| Files available
| DOI
2024 | Journal Article | IST-REx-ID: 15406 |
Savchenko, M. L., Gospodarič, J., Shuvaev, A., Dmitriev, I. A., Dziom, V., Dobretsova, A. A., … Pimenov, A. (2024). Optical Shubnikov-de Haas oscillations in two-dimensional electron systems. Physical Review Research. American Physical Society. https://doi.org/10.1103/PhysRevResearch.6.L022027
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Conference Paper | IST-REx-ID: 15376 |
Avni, G., Mallik, K., & Sadhukhan, S. (2024). Auction-based scheduling. In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 153–172). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/10.1007/978-3-031-57256-2_8
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Conference Paper | IST-REx-ID: 15377 |
Majumdar, R., Sağlam, I., & Thejaswini, K. S. (2024). Rabin games and colourful universal trees. In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 213–231). Springer Nature. https://doi.org/10.1007/978-3-031-57256-2_11
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15301 |
Hörmayer, L., Montesinos López, J. C., Trozzi, N., Spona, L., Yoshida, S., Marhavá, P., … Friml, J. (2024). Mechanical forces in plant tissue matrix orient cell divisions via microtubule stabilization. Dev Cell. Elsevier. https://doi.org/10.1016/j.devcel.2024.03.009
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 | Research Data | IST-REx-ID: 17042 |
Schanda, P. (2024). Raw data to “MAS NMR experiments of corynebacterial cell walls: complementary 1H- and CPMAS CryoProbe-enhanced 13C-detected experiments.” ISTA. https://doi.org/10.15479/AT:ISTA:17042
View
| Files available
| DOI
2024 | Conference Paper | IST-REx-ID: 17051 |
Auerbach, B., Günther, C. U., & Pietrzak, K. Z. (2024). Trapdoor memory-hard functions. In 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques (Vol. 14653, pp. 315–344). Zurich, Switzerland: Springer Nature. https://doi.org/10.1007/978-3-031-58734-4_11
[Preprint]
View
| DOI
| Download Preprint (ext.)
2024 | Journal Article | IST-REx-ID: 17050 |
Panoukidou, M., Weir, S., Sorichetti, V., Fosado, Y. G., Lenz, M., & Michieletto, D. (2024). Runaway transition in irreversible polymer condensation with cyclization. Physical Review Research. American Physical Society. https://doi.org/10.1103/PhysRevResearch.6.023189
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 17048 |
Rajappa, S., Krishnamurthy, P., Huang, H., Yu, D., Friml, J., Xu, J., & Kumar, P. P. (2024). The translocation of a chloride channel from the Golgi to the plasma membrane helps plants adapt to salt stress. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-024-48234-z
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 17052 |
Fiedler, C., Calcabrini, M., Liu, Y., & Ibáñez, M. (2024). Unveiling crucial chemical processing parameters influencing the performance of solution-processed inorganic thermoelectric materials. Angewandte Chemie - International Edition. Wiley. https://doi.org/10.1002/anie.202402628
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 17049 |
Cipolloni, G., Erdös, L., Henheik, S. J., & Schröder, D. J. (n.d.). Optimal lower bound on eigenvector overlaps for non-Hermitian random matrices. Journal of Functional Analysis. Elsevier. https://doi.org/10.1016/j.jfa.2024.110495
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Journal Article | IST-REx-ID: 17054 |
Shan, Y., Sheng, J., Zhang, Q., Stuart, M. C. A., Qu, D. H., & Feringa, B. L. (2024). Multi-state photoluminescent properties of an overcrowded alkene-based molecular motor in aggregates. Aggregate. Wiley. https://doi.org/10.1002/agt2.584
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Journal Article | IST-REx-ID: 17047 |
Dubach, G., & Reker, J. (2024). Dynamics of a rank-one multiplicative perturbation of a unitary matrix. Random Matrices: Theory and Applications. World Scientific Publishing. https://doi.org/10.1142/s2010326324500072
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Thesis | IST-REx-ID: 15101 |
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 | Journal Article | IST-REx-ID: 14843
Chen, J., Kaufmann, W., Chen, C., Arai, itaru, Kim, O., Shigemoto, R., & Jonas, P. M. (n.d.). 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 | Book Chapter | IST-REx-ID: 12428 |
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 | Journal Article | IST-REx-ID: 12534 |
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 | Journal Article | IST-REx-ID: 12158 |
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 | Conference Paper | IST-REx-ID: 12676 |
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 | 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 | Conference Paper | IST-REx-ID: 12735 |
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 | Conference Poster | IST-REx-ID: 12736 |
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 | Conference Paper | IST-REx-ID: 12760 |
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 | Thesis | IST-REx-ID: 12716 |
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 | Conference Paper | IST-REx-ID: 12854 |
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 | Preprint | IST-REx-ID: 12846 |
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 | Conference Paper | IST-REx-ID: 12856 |
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 | Technical Report | IST-REx-ID: 12407 |
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 | 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 | Journal Article | IST-REx-ID: 12668 |
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 | Conference Paper | IST-REx-ID: 13048 |
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 | Conference Paper | IST-REx-ID: 13053 |
Peste, E.-A., Vladu, A., Kurtic, E., Lampert, C., & Alistarh, D.-A. (n.d.). CrAM: A Compression-Aware Minimizer. In 11th International Conference on Learning Representations . Kigali, Rwanda .
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 13143 |
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 | Conference Paper | IST-REx-ID: 13142 |
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 | Conference Paper | IST-REx-ID: 13141 |
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 | Thesis | IST-REx-ID: 12826 |
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 | Journal Article | IST-REx-ID: 12086 |
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 | Journal Article | IST-REx-ID: 12104 |
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 | 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 | Conference Paper | IST-REx-ID: 12467 |
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 | Journal Article | IST-REx-ID: 13179 |
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 | Journal Article | IST-REx-ID: 13180 |
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 | Conference Abstract | IST-REx-ID: 13162 |
Elefante, S., Stadlbauer, S., Alexander, M. F., & Schlögl, A. (n.d.). Cryo-EM software packages: A sys-admins point of view. In ASHPC23 - Austrian-Slovenian HPC Meeting 2023 (pp. 42–42). Maribor, Slovenia: EuroCC.
[Submitted Version]
View
| Files available
2023 | Conference Abstract | IST-REx-ID: 13161 |
Schlögl, A., Elefante, S., & Hodirnau, V.-V. (n.d.). Running Windows-applications on a Linux HPC cluster using WINE. In ASHPC23 - Austrian-Slovenian HPC Meeting 2023 (pp. 59–59). Maribor, Slovenia: EuroCC.
[Submitted Version]
View
| Files available
2023 | Journal Article | IST-REx-ID: 13251 |
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 | Conference Paper | IST-REx-ID: 13292 |
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 | Journal Article | IST-REx-ID: 13277 |
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 | Journal Article | IST-REx-ID: 13276 |
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 |
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 | Journal Article | IST-REx-ID: 11479 |
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 | Journal Article | IST-REx-ID: 12329 |
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 | Journal Article | IST-REx-ID: 9034 |
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 | Journal Article | IST-REx-ID: 12469 |
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 | Journal Article | IST-REx-ID: 12287 |
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 | 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 | Journal Article | IST-REx-ID: 12421 |
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 | Journal Article | IST-REx-ID: 12105 |
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 | Journal Article | IST-REx-ID: 12514 |
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 | Conference Paper | IST-REx-ID: 12548 |
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 | Journal Article | IST-REx-ID: 12563 |
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
2023 | Journal Article | IST-REx-ID: 12545 |
Rojas Vega, M. N., De Castro, P., & Soto, R. (2023). Wetting dynamics by mixtures of fast and slow self-propelled particles. Physical Review E. American Physical Society. https://doi.org/10.1103/PhysRevE.107.014608
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 12427 |
Balestrieri, F. (2023). Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups. Proceedings of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/proc/15239
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2023 | Journal Article | IST-REx-ID: 12542
Villalba Requena, A., & Hippenmeyer, S. (2023). Going back in time with TEMPO. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2023.01.006
View
| DOI
| WoS