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.

4868 Publications


2024 | Journal Article | IST-REx-ID: 14884 | OA
Davoli E, D’Elia L, Ingmanns J. Stochastic homogenization of micromagnetic energies and emergence of magnetic skyrmions. Journal of Nonlinear Science. 2024;34(2). doi:10.1007/s00332-023-10005-3
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Journal Article | IST-REx-ID: 14933 | OA
Pimenta-Marques A, Perestrelo T, Dos Reis Rodrigues P, et al. Ana1/CEP295 is an essential player in the centrosome maintenance program regulated by Polo kinase and the PCM. EMBO reports. 2024;25(1):102-127. doi:10.1038/s44319-023-00020-6
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 14932 | OA
Tsuboi M, Kopperud BT, Matschiner M, et al. Antler allometry, the Irish elk and Gould revisited. Evolutionary Biology. 2024. doi:10.1007/s11692-023-09624-1
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Journal Article | IST-REx-ID: 14931 | OA
Lauritsen AB, Seiringer R. Ground state energy of the dilute spin-polarized Fermi gas: Upper bound via cluster expansion. Journal of Functional Analysis. 2024;286(7). doi:10.1016/j.jfa.2024.110320
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2024 | Journal Article | IST-REx-ID: 14934 | OA
Dello Schiavo L, Kopfer E, Sturm KT. A discovery tour in random Riemannian geometry. Potential Analysis. 2024. doi:10.1007/s11118-023-10118-0
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Journal Article | IST-REx-ID: 12312 | OA
Lombardo D, Verzobio M. On the local-global principle for isogenies of abelian surfaces. Selecta Mathematica. 2024;30(2). doi:10.1007/s00029-023-00908-0
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Journal Article | IST-REx-ID: 14930
Hausel T, Letellier E, Rodriguez-Villegas F. Locally free representations of quivers over commutative Frobenius algebras. Selecta Mathematica. 2024;30(2). doi:10.1007/s00029-023-00914-2
View | DOI
 

2024 | Journal Article | IST-REx-ID: 14885 | OA
Shaw T, Buri P, McCarthy M, Miles ES, Pellicciotti F. Local controls on near-surface glacier cooling under warm atmospheric conditions. Journal of Geophysical Research: Atmospheres. 2024;129(2). doi:10.1029/2023JD040214
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 14938 | OA
Fugger S, Shaw T, Jouberton A, et al. Hydrological regimes and evaporative flux partitioning at the climatic ends of High Mountain Asia. Environmental Research Letters. doi:10.1088/1748-9326/ad25a0
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Conference Paper | IST-REx-ID: 14213 | OA
Lao D, Hu Z, Locatello F, Yang Y, Soatto S. Divided attention: Unsupervised multi-object discovery with contextually separated slots. In: 1st Conference on Parsimony and Learning. ; 2024.
[Published Version] View | Files available | arXiv
 

2024 | Journal Article | IST-REx-ID: 14980 | OA
Agafonova S, Mishra U, Diorico FR, Hosten O. Zigzag optical cavity for sensing and controlling torsional motion. Physical Review Research. 2024;6(1). doi:10.1103/physrevresearch.6.013141
[Published Version] View | Files available | DOI | arXiv
 

2024 | Journal Article | IST-REx-ID: 14851 | OA
Karle V, Lemeshko M. Die faszinierende Topologie rotierender Quanten. Physik in unserer Zeit. 2024;55(1):28-33. doi:10.1002/piuz.202301690
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 14986 | OA
Shen S. Tamely ramified geometric Langlands correspondence in positive characteristic. International Mathematics Research Notices. 2024. doi:10.1093/imrn/rnae005
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2024 | Preprint | IST-REx-ID: 15016 | OA
Jaeger ECB, Vijatovic D, Deryckere A, Zorin N, Nguyen AL, Ivanian G, Woych J, Arnold RC, Ortega Gurrola A, Shvartsman A, Barbieri F, Toma F-A, Gorbsky GJ, Horb ME, Cline HT, Shay TF, Kelley DB, Yamaguchi A, Shein-Idelson M, Tosches MA, Sweeney LB. Adeno-associated viral tools to trace neural development and connectivity across amphibians. bioRxiv, 10.1101/2024.02.15.580289.
[Preprint] View | DOI | Download Preprint (ext.)
 

2024 | Conference Paper | IST-REx-ID: 15012 | OA
Pach J, Saghafian M, Schnider P. Decomposition of geometric graphs into star-forests. In: 31st International Symposium on Graph Drawing and Network Visualization. Vol 14465. Springer Nature; 2024:339-346. doi:10.1007/978-3-031-49272-3_23
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Conference Paper | IST-REx-ID: 15006 | OA
Hirvonen J, Schmid L, Chatterjee K, Schmid S. On the convergence time in graphical games: A locality-sensitive approach. In: 27th International Conference on Principles of Distributed Systems. Vol 286. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.OPODIS.2023.11
[Published Version] View | Files available | DOI | arXiv
 

2024 | Journal Article | IST-REx-ID: 15001 | OA
Curk S, Krausser J, Meisl G, et al. Self-replication of Aβ42 aggregates occurs on small and isolated fibril sites. Proceedings of the National Academy of Sciences of the United States of America. 2024;121(7). doi:10.1073/pnas.2220075121
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 | Journal Article | IST-REx-ID: 15002 | OA
Petrova E, Tiunov ES, Bañuls MC, Fedorov AK. Fractal states of the Schwinger model. Physical Review Letters. 2024;132(5). doi:10.1103/PhysRevLett.132.050401
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Journal Article | IST-REx-ID: 12485 | OA
Agresti A, Veraar M. The critical variational setting for stochastic evolution equations. Probability Theory and Related Fields. 2024. doi:10.1007/s00440-023-01249-x
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Conference Paper | IST-REx-ID: 15008 | OA
Goranci G, Henzinger MH, Räcke H, Sachdeva S, Sricharan AR. Electrical flows for polylogarithmic competitive oblivious routing. In: 15th Innovations in Theoretical Computer Science Conference. Vol 287. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.ITCS.2024.55
[Published Version] View | Files available | DOI | arXiv
 

2024 | Conference Paper | IST-REx-ID: 15007 | OA
Alpos O, Amores-Sesar I, Cachin C, Yeo MX. Eating sandwiches: Modular and lightweight elimination of transaction reordering attacks. In: 27th International Conference on Principles of Distributed Systems. Vol 286. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.OPODIS.2023.12
[Published Version] View | Files available | DOI | arXiv
 

2024 | Conference Paper | IST-REx-ID: 14769 | OA
Henzinger MH, Saulpic D, Sidl L. Experimental evaluation of fully dynamic k-means via coresets. In: 2024 Proceedings of the Symposium on Algorithm Engineering and Experiments. Society for Industrial & Applied Mathematics; 2024:220-233. doi:10.1137/1.9781611977929.17
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Journal Article | IST-REx-ID: 15009 | OA
Bett VK, Macon A, Vicoso B, Elkrewi MN. Chromosome-level assembly of Artemia franciscana sheds light on sex chromosome differentiation. Genome Biology and Evolution. 2024;16(1). doi:10.1093/gbe/evae006
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 | Journal Article | IST-REx-ID: 15004 | OA
Karle V, Lemeshko M. Modeling laser pulses as δ kicks: Reevaluating the impulsive limit in molecular rotational dynamics. Physical Review A. 2024;109(2). doi:10.1103/PhysRevA.109.023101
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Research Data | IST-REx-ID: 14705 | OA
Elkrewi MN. Data from “Chromosome-level assembly of Artemia franciscana sheds light on sex-chromosome differentiation.” 2024. doi:10.15479/AT:ISTA:14705
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 15003
Franco DG, Avalos R, Hafner D, et al. Frustrated magnetism in octahedra-based Ce6 Ni6 P17. Physical Review B. 2024;109(5). doi:10.1103/PhysRevB.109.054405
View | DOI
 

2024 | Journal Article | IST-REx-ID: 15018 | OA
Shimura Y, Godfrin C, Hikavyy A, et al. Compressively strained epitaxial Ge layers for quantum computing applications. Materials Science in Semiconductor Processing. 2024;174(5). doi:10.1016/j.mssp.2024.108231
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Conference Paper | IST-REx-ID: 15011 | OA
Kurtic E, Hoefler T, Alistarh D-A. How to prune your language model: Recovering accuracy on the “Sparsity May Cry” benchmark. In: Proceedings of Machine Learning Research. Vol 234. ML Research Press; 2024:542-553.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2024 | Journal Article | IST-REx-ID: 15024 | OA
Robin P. Correlation-induced viscous dissipation in concentrated electrolytes. Journal of Chemical Physics. 2024;160(6). doi:10.1063/5.0188215
[Published Version] View | Files available | DOI | PubMed | Europe PMC | arXiv
 

2024 | Journal Article | IST-REx-ID: 15025 | OA
Erdös L, McKenna B. Extremal statistics of quadratic forms of GOE/GUE eigenvectors. Annals of Applied Probability. 2024;34(1B):1623-1662. doi:10.1214/23-AAP2000
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Journal Article | IST-REx-ID: 15033 | OA
Adamowski M, Matijevic I, Friml J. Developmental patterning function of GNOM ARF-GEF mediated from the cell periphery. eLife. 2024;13. doi:10.7554/elife.68993
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Journal Article | IST-REx-ID: 14479 | OA
Csata E, Perez-Escudero A, Laury E, et al. Fungal infection alters collective nutritional intake of ant colonies. Current Biology. 2024;34(4):902-909.e6. doi:10.1016/j.cub.2024.01.017
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2024 | Journal Article | IST-REx-ID: 15045 | OA
Varshney A, Ghazaryan A, Volosniev A. Classical ‘spin’ filtering with two degrees of freedom and dissipation. Few-Body Systems. 2024;65. doi:10.1007/s00601-024-01880-x
[Published Version] View | Files available | DOI | arXiv
 

2024 | Journal Article | IST-REx-ID: 15053 | OA
Jin S, Dai K, Verstraten J, et al. Multipurpose platform for analog quantum simulation. Physical Review Research. 2024;6(1). doi:10.1103/physrevresearch.6.013158
[Published Version] View | Files available | DOI | arXiv
 

2024 | Journal Article | IST-REx-ID: 15048 | OA
Schauer A, Pranjic-Ferscha K, Hauschild R, Heisenberg C-PJ. Robust axis elongation by Nodal-dependent restriction of BMP signaling. Development. 2024;151(4):1-18. doi:10.1242/dev.202316
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 15052
Cheng R, Zeng Z, Wang C, Ouyang N, Chen Y. Impact of strain-insensitive low-frequency phonon modes on lattice thermal transport in AxXB6-type perovskites. Physical Review B. 2024;109(5). doi:10.1103/physrevb.109.054305
View | DOI
 

2024 | Scientific Software | IST-REx-ID: 14926 | OA
Hauschild R. Matlab script for analysis of clone dispersal. 2024. doi:10.15479/AT:ISTA:14926
View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 15047 | OA
Bao J, Stevens B, Kluft L, Muller CJ. Intensification of daily tropical precipitation extremes from more organized convection. Science Advances. 2024;10(8). doi:10.1126/sciadv.adj6801
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 | Journal Article | IST-REx-ID: 12875 | OA
Cheung GT, Pauler F, Koppensteiner P, et al. Multipotent progenitors instruct ontogeny of the superior colliculus. Neuron. 2024;112(2):230-246.e11. doi:10.1016/j.neuron.2023.11.009
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 | Journal Article | IST-REx-ID: 14979 | OA
Datler J, Hansen J, Thader A, et al. Multi-modal cryo-EM reveals trimers of protein A10 to form the palisade layer in poxvirus cores. Nature Structural & Molecular Biology. 2024. doi:10.1038/s41594-023-01201-6
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2024 | Journal Article | IST-REx-ID: 14846 | OA
Caballero Mancebo S, Shinde R, Bolger-Munro M, et al. Friction forces determine cytoplasmic reorganization and shape changes of ascidian oocytes upon fertilization. Nature Physics. 2024. doi:10.1038/s41567-023-02302-1
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2024 | Journal Article | IST-REx-ID: 14796
Stankowski S, Zagrodzka ZB, Garlovsky MD, et al. The genetic basis of a recent transition to live-bearing in marine snails. Science. 2024;383(6678):114-119. doi:10.1126/science.adi2982
View | Files available | DOI | PubMed | Europe PMC
 

2024 | Thesis | IST-REx-ID: 15020 | OA
Hledik M. Genetic information and biological optimization. 2024. doi:10.15479/at:ista:15020
[Published Version] View | Files available | DOI
 

2024 | Other Publication | IST-REx-ID: 14842 | OA
Benková E. Eva Benkova. Vol 34. Elsevier; 2024:R3-R5. doi:10.1016/j.cub.2023.11.039
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Journal Article | IST-REx-ID: 15084 | OA
Koppensteiner P, Bhandari P, Önal C, et al. GABAB receptors induce phasic release from medial habenula terminals through activity-dependent recruitment of release-ready vesicles. Proceedings of the National Academy of Sciences. 2024;121(8). doi:10.1073/pnas.2301449121
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 | Journal Article | IST-REx-ID: 15083 | OA
Hübner V, Staab M, Hilbe C, Chatterjee K, Kleshnina M. Efficiency and resilience of cooperation in asymmetric social dilemmas. Proceedings of the National Academy of Sciences. 2024;121(10). doi:10.1073/pnas.2315558121
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2024 | Research Data Reference | IST-REx-ID: 15108 | OA
Hübner V, Kleshnina M. Computer code for “Efficiency and resilience of cooperation in asymmetric social dilemmas.” 2024. doi:10.5281/ZENODO.10639167
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2024 | Journal Article | IST-REx-ID: 15097 | OA
Schmidt H, Rast S, Bao J, et al. Effects of vertical grid spacing on the climate simulated in the ICON-Sapphire global storm-resolving model. Geoscientific Model Development. 2024;17(4):1563-1584. doi:10.5194/gmd-17-1563-2024
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 12311 | OA
Naskręcki B, Verzobio M. Common valuations of division polynomials. Proceedings of the Royal Society of Edinburgh Section A: Mathematics. 2024. doi:10.1017/prm.2024.7
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2024 | Journal Article | IST-REx-ID: 15099 | OA
Johannesson K, Faria R, Le Moan A, et al. Diverse pathways to speciation revealed by marine snails. Trends in Genetics. 2024. doi:10.1016/j.tig.2024.01.002
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2024 | Journal Article | IST-REx-ID: 15098 | OA
Agresti A, Luongo E. Global well-posedness and interior regularity of 2D Navier-Stokes equations with stochastic boundary conditions. Mathematische Annalen. 2024. doi:10.1007/s00208-024-02812-0
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2024 | Journal Article | IST-REx-ID: 14843
Chen J, Kaufmann W, Chen C, et al. Developmental transformation of Ca2+ channel-vesicle nanotopography at a central GABAergic synapse. Neuron. doi:10.1016/j.neuron.2023.12.002
View | Files available | DOI | PubMed | Europe PMC
 

2024 | Thesis | IST-REx-ID: 15101
Chen J. Developmental transformation of nanodomain coupling between Ca2+ channels and release sensors at a central GABAergic synapse. 2024. doi:10.15479/at:ista:15101
[Published Version] View | Files available | DOI
 

2024 | Conference Paper | IST-REx-ID: 15093 | OA
Cultrera di Montesano S, Edelsbrunner H, Henzinger MH, Ost L. Dynamically maintaining the persistent homology of time series. In: Woodruff DP, ed. Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). Society for Industrial and Applied Mathematics; 2024:243-295. doi:10.1137/1.9781611977912.11
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Preprint | IST-REx-ID: 15091 | OA
Cultrera di Montesano S, Draganov O, Edelsbrunner H, Saghafian M. Chromatic alpha complexes. arXiv.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2023 | Book Chapter | IST-REx-ID: 12428 | OA
Hannezo EB, Scheele CLGJ. A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In: Margadant C, ed. Cell Migration in Three Dimensions. Vol 2608. MIMB. Springer Nature; 2023:183-205. doi:10.1007/978-1-0716-2887-4_12
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 12534 | OA
Ghazaryan A, Cappellaro A, Lemeshko M, Volosniev A. Dissipative dynamics of an impurity with spin-orbit coupling. Physical Review Research. 2023;5(1). doi:10.1103/physrevresearch.5.013029
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 12158 | OA
Zeller P, Yeung J, Viñas Gaza H, et al. Single-cell sortChIC identifies hierarchical chromatin dynamics during hematopoiesis. Nature Genetics. 2023;55:333-345. doi:10.1038/s41588-022-01260-3
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 12676 | OA
Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. Faster algorithm for turn-based stochastic games with bounded treewidth. In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2023:4590-4605. doi: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. Molecular Cloning Using In Vivo DNA Assembly. In: Scarlett G, ed. DNA Manipulation and Analysis. Vol 2633. MIMB. New York, NY, United States: Springer Nature; 2023:33-44. doi:10.1007/978-1-0716-3004-4_3
View | DOI | PubMed | Europe PMC
 

2023 | Conference Paper | IST-REx-ID: 12735 | OA
Koval N, Alistarh D-A, Elizarov R. Fast and scalable channels in Kotlin Coroutines. In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery; 2023:107-118. doi:10.1145/3572848.3577481
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Poster | IST-REx-ID: 12736 | OA
Aksenov V, Brown TA, Fedorov A, Kokorin I. Unexpected Scaling in Path Copying Trees. Association for Computing Machinery; 2023:438-440. doi:10.1145/3572848.3577512
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 12760 | OA
Henzinger MH, Neumann S, Räcke H, Schmid S. Dynamic maintenance of monotone dynamic programs and applications. In: 40th International Symposium on Theoretical Aspects of Computer Science. Vol 254. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.STACS.2023.36
[Published Version] View | Files available | DOI | arXiv
 

2023 | Thesis | IST-REx-ID: 12716 | OA
Burnett L. To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism. 2023. doi:10.15479/at:ista:12716
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 12854 | OA
Chalupa M, Henzinger TA. Bubaak: Runtime monitoring of program verifiers. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:535-540. doi:10.1007/978-3-031-30820-8_32
[Published Version] View | Files available | DOI
 

2023 | Preprint | IST-REx-ID: 12846 | OA
Chern A, Ishida S. Area formula for spherical polygons via prequantization. arXiv. doi:10.48550/arXiv.2303.14555
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 12856 | OA
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. Vamos: Middleware for best-effort third-party monitoring. In: Fundamental Approaches to Software Engineering. Vol 13991. Springer Nature; 2023:260-281. doi:10.1007/978-3-031-30826-0_15
[Published Version] View | Files available | DOI
 

2023 | Technical Report | IST-REx-ID: 12407 | OA
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria; 2023. doi:10.15479/AT:ISTA:12407
[Published Version] View | Files available | DOI
 

2023 | Book Chapter | IST-REx-ID: 12866
Currin C, Beyer C. Altered childhood brain development in autism and epilepsy. In: Halpern-Felsher B, ed. Encyclopedia of Child and Adolescent Health. 1st ed. Elsevier; 2023:86-98. doi:10.1016/b978-0-12-818872-9.00129-1
View | DOI
 

2023 | Thesis | IST-REx-ID: 12809
Alcarva C. Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning. 2023. doi:10.15479/at:ista:12809
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13048 | OA
Lieutier A, Wintraecken M. Hausdorff and Gromov-Hausdorff stable subsets of the medial axis. In: Proceedings of the 55th Annual ACM Symposium on Theory of Computing. Association for Computing Machinery; 2023:1768-1776. doi:10.1145/3564246.3585113
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 13053 | OA
Peste E-A, Vladu A, Kurtic E, Lampert C, Alistarh D-A. CrAM: A Compression-Aware Minimizer. In: 11th International Conference on Learning Representations .
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 13143 | OA
Hoffmann C, Hubáček P, Kamath C, Pietrzak KZ. Certifying giant nonprimes. In: Public-Key Cryptography - PKC 2023. Vol 13940. Springer Nature; 2023:530-553. doi:10.1007/978-3-031-31368-4_19
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 13142 | OA
Chatterjee K, Henzinger TA, Lechner M, Zikelic D. 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. Springer Nature; 2023:3-25. doi:10.1007/978-3-031-30823-9_1
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13141 | OA
Anand A, Mallik K, Nayak SP, Schmuck AK. Computing adequately permissive assumptions for synthesis. In: TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:211-228. doi:10.1007/978-3-031-30820-8_15
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12826 | OA
Pokusaeva V. Neural control of optic flow-based navigation in Drosophila melanogaster. 2023. doi:10.15479/at:ista:12826
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 12086 | OA
Edelsbrunner H, Osang GF. A simple algorithm for higher-order Delaunay mosaics and alpha shapes. Algorithmica. 2023;85:277-295. doi:10.1007/s00453-022-01027-6
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12104 | OA
Dello Schiavo L, Wirth M. Ergodic decompositions of Dirichlet forms under order isomorphisms. Journal of Evolution Equations. 2023;23(1). doi:10.1007/s00028-022-00859-7
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 11434
GOSWAMI BB. Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend. Climate Dynamics. 2023;60:427-442. doi:10.1007/s00382-022-06337-7
View | Files available | DOI | WoS
 

2023 | Conference Paper | IST-REx-ID: 12467 | OA
Henzinger TA, Mazzocchi NA, Sarac NE. Quantitative safety and liveness. In: 26th International Conference Foundations of Software Science and Computation Structures. Vol 13992. Springer Nature; 2023:349-370. doi:10.1007/978-3-031-30829-1_17
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 13179 | OA
Koval N, Khalanskiy D, Alistarh D-A. CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. 2023;7. doi:10.1145/3591230
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13180 | OA
Browning TD, Lyczak J, Sarapin R. Local solubility for a family of quadrics over a split quadric surface. Involve. 2023;16(2):331-342. doi:10.2140/involve.2023.16.331
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 13236 | OA
Zheng DW, Henzinger MH. Multiplicative auction algorithm for approximate maximum weight bipartite matching. In: International Conference on Integer Programming and Combinatorial Optimization. Vol 13904. Springer Nature; 2023:453-465. doi:10.1007/978-3-031-32726-1_32
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Abstract | IST-REx-ID: 13162 | OA
Elefante S, Stadlbauer S, Alexander MF, Schlögl A. Cryo-EM software packages: A sys-admins point of view. In: ASHPC23 - Austrian-Slovenian HPC Meeting 2023. EuroCC; :42-42.
[Submitted Version] View | Files available
 

2023 | Conference Abstract | IST-REx-ID: 13161 | OA
Schlögl A, Elefante S, Hodirnau V-V. Running Windows-applications on a Linux HPC cluster using WINE. In: ASHPC23 - Austrian-Slovenian HPC Meeting 2023. EuroCC; :59-59.
[Submitted Version] View | Files available
 

2023 | Journal Article | IST-REx-ID: 13251 | OA
Wei Y, Volosniev A, Lorenc D, et al. Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites. The Journal of Physical Chemistry Letters. 2023;14(27):6309-6314. doi:10.1021/acs.jpclett.3c01158
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Conference Paper | IST-REx-ID: 13292 | OA
Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. Regular methods for operator precedence languages. In: 50th International Colloquium on Automata, Languages, and Programming. Vol 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023:129:1--129:20. doi:10.4230/LIPIcs.ICALP.2023.129
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 13277 | OA
Tucci G, De Nicola S, Wald S, Gambassi A. Stochastic representation of the quantum quartic oscillator. SciPost Physics Core. 2023;6(2). doi:10.21468/scipostphyscore.6.2.029
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 13276 | OA
Rammelmüller L, Huber D, Volosniev A. A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D. SciPost Physics Codebases. 2023. doi: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. Codebase release 1.0 for FermiFCI. 2023. doi:10.21468/scipostphyscodeb.12-r1.0
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 13262 | OA
Fedorov A, Hashemi D, Nadiradze G, Alistarh D-A. Provably-efficient and internally-deterministic parallel Union-Find. In: Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery; 2023:261-271. doi:10.1145/3558481.3591082
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 11479 | OA
De Jode A, Le Moan A, Johannesson K, et al. Ten years of demographic modelling of divergence and speciation in the sea. Evolutionary Applications. 2023;16(2):542-559. doi:10.1111/eva.13428
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12329 | OA
Gómez A, Oliveira G. New approaches to epidemic modeling on networks. Scientific Reports. 2023;13. doi:10.1038/s41598-022-19827-9
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 9034 | OA
Wilsch FA. Integral points of bounded height on a log Fano threefold. International Mathematics Research Notices. 2023;2023(8):6780-6808. doi:10.1093/imrn/rnac048
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 12469 | OA
Viljakainen L, Fürst M, Grasse AV, et al. Antiviral immune response reveals host-specific virus infections in natural ant populations. Frontiers in Microbiology. 2023;14. doi:10.3389/fmicb.2023.1119002
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 12287 | OA
Boissonnat J-D, Dyer R, Ghosh A, Wintraecken M. Local criteria for triangulating general manifolds. Discrete & Computational Geometry. 2023;69:156-191. doi:10.1007/s00454-022-00431-7
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12165
Hof B. Directed percolation and the transition to turbulence. Nature Reviews Physics. 2023;5:62-72. doi:10.1038/s42254-022-00539-y
View | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12421 | OA
Fäßler F, Javoor M, Schur FK. Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM. Biochemical Society Transactions. 2023;51(1):87-99. doi:10.1042/bst20220221
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12105 | OA
Marensi E, Yalniz G, Hof B, Budanur NB. Symmetry-reduced dynamic mode decomposition of near-wall turbulence. Journal of Fluid Mechanics. 2023;954. doi:10.1017/jfm.2022.1001
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 12514 | OA
Bolnick DI, Hund AK, Nosil P, et al. A multivariate view of the speciation continuum. Evolution: International journal of organic evolution. 2023;77(1):318-328. doi:10.1093/evolut/qpac004
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

Filters and Search Terms

extern<>1

Search

Filter Publications