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.

8978 Publications


2023 | Conference Paper | IST-REx-ID: 14758 | OA
Majumdar, Rupak, et al. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” 35th International Conference on Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 3–15, doi:10.1007/978-3-031-37709-9_1.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 14654 | OA
Hwong, Yi-Ling, et al. “Assessing Memory in Convection Schemes Using Idealized Tests.” Journal of Advances in Modeling Earth Systems, vol. 15, no. 12, e2023MS003726, Wiley, 2023, doi:10.1029/2023MS003726.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13139 | OA
Meggendorfer, Tobias. “Correct Approximation of Stationary Distributions.” TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, vol. 13993, Springer Nature, 2023, pp. 489–507, doi:10.1007/978-3-031-30823-9_25.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Research Data Reference | IST-REx-ID: 14991 | OA
Hwong, Yi-Ling, et al. Data-Assessing Memory in Convection Schemes Using Idealized Tests. Zenodo, 2023, doi:10.5281/ZENODO.7757041.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14990 | OA
Meggendorfer, Tobias. Artefact for: Correct Approximation of Stationary Distributions. Zenodo, 2023, doi:10.5281/ZENODO.7548214.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 14260 | OA
Koval, Nikita, et al. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” 35th International Conference on Computer Aided Verification , vol. 13964, Springer Nature, 2023, pp. 156–69, doi:10.1007/978-3-031-37706-8_8.
[Published Version] View | Files available | DOI
 

2023 | Research Data Reference | IST-REx-ID: 14995 | OA
Koval, Nikita, et al. Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM. Zenodo, 2023, doi:10.5281/ZENODO.7877757.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14994 | OA
Majumdar, Rupak, et al. A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. Zenodo, 2023, doi:10.5281/ZENODO.7877790.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 15023 | OA
Zikelic, Dorde, et al. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” 37th Conference on Neural Information Processing Systems, 2023.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14993 | OA
Currin, Christopher, et al. “A Framework for Grassroots Research Collaboration in Machine Learning and Global Health.” 1st Workshop on Machine Learning & Global Health, OpenReview, 2023.
[Published Version] View | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 12979 | OA
Condor, Jorge, et al. “Gloss-Aware Color Correction for 3D Printing.” SIGGRAPH ’23 Conference Proceedings, 21, Association for Computing Machinery, 2023, doi:10.1145/3588432.3591546.
[Published Version] View | Files available | DOI | WoS
 

2023 | Conference Paper | IST-REx-ID: 14076 | OA
Chalupa, Marek, and Thomas A. Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” 23nd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 168–90, doi:10.1007/978-3-031-44267-4_9.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14743 | OA
Tennage, Pasindu, et al. “QuePaxa: Escaping the Tyranny of Timeouts in Consensus.” Proceedings of the 29th Symposium on Operating Systems Principles, Association for Computing Machinery, 2023, pp. 281–97, doi:10.1145/3600006.3613150.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Conference Abstract | IST-REx-ID: 14748
Chen, Yi-Lu, et al. “Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation.” Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, 5, Association for Computing Machinery, 2023, doi:10.1145/3606037.3606836.
View | DOI
 

2023 | Research Data Reference | IST-REx-ID: 15035 | OA
Chalupa, Marek, and Thomas A. Henzinger. Monitoring Hyperproperties with Prefix Transducers. Zenodo, 2023, doi:10.5281/ZENODO.8191723.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Thesis | IST-REx-ID: 13984
Franschitz, Anna. Individual and Social Immunity against Viral Infections in Ants. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13984.
[Published Version] View | Files available | DOI
 

2023 | Preprint | IST-REx-ID: 15039 | OA
Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More Expressive with N-Activations.” ArXiv, 2311.06103, doi:10.48550/ARXIV.2311.06103.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Research Data Reference | IST-REx-ID: 14812 | OA
Stankowski, Sean. Data and Code for: The Genetic Architecture of a Recent Transition to Live-Bearing in Marine Snails. Zenodo, 2023, doi:10.5281/ZENODO.8318995.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 13214 | OA
Abualia, R., et al. “Nitrate, Auxin and Cytokinin - a Trio to Tango.” Cells, vol. 12, no. 12, 1613, MDPI, 2023, doi:10.3390/cells12121613.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Thesis | IST-REx-ID: 14323
Kuzmicz-Kowalska, Katarzyna. Regulation of Neural Progenitor Survival by Shh and BMP in the Developing Spinal Cord. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14323.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14974 | OA
Zhang, Cheng, et al. “Causality in the Time of LLMs: Round Table Discussion Results of CLeaR 2023.” 2nd Conference on Causal Learning and Reasoning, 2023.
[Submitted Version] View | Files available
 

2023 | Research Data | IST-REx-ID: 13173 | OA
Shigemoto, Ryuichi. Transition from Tonic to Phasic Neurotransmitter Release by Presynaptic GABAB Receptor Activation in Medial Habenula Terminals. Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:13173.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 15085 | OA
Drout, M. R., et al. “An Observed Population of Intermediate-Mass Helium Stars That Have Been Stripped in Binaries.” Science, vol. 382, no. 6676, American Association for the Advancement of Science, 2023, pp. 1287–91, doi:10.1126/science.ade4970.
View | Files available | DOI | Download None (ext.) | PubMed | Europe PMC | arXiv
 

2023 | Conference Paper | IST-REx-ID: 13236 | OA
Zheng, Da Wei, and Monika H. Henzinger. “Multiplicative Auction Algorithm for Approximate Maximum Weight Bipartite Matching.” International Conference on Integer Programming and Combinatorial Optimization, vol. 13904, Springer Nature, 2023, pp. 453–65, doi:10.1007/978-3-031-32726-1_32.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 13182 | OA
Biswas, Ranita, et al. “Geometric Characterization of the Persistence of 1D Maps.” Journal of Applied and Computational Topology, Springer Nature, 2023, doi:10.1007/s41468-023-00126-9.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13044 | OA
Mondal, Soumyadip, et al. “Singlet Oxygen in Non-Aqueous Oxygen Redox: Direct Spectroscopic Evidence for Formation Pathways and Reliability of Chemical Probes.” Faraday Discussions, Royal Society of Chemistry, 2023, doi:10.1039/d3fd00088e.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2023 | Thesis | IST-REx-ID: 14641
Hennessey-Wesen, Mike. Adaptive Mutation in E. Coli Modulated by LuxS. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14641.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 14587 | OA
Marveggio, Alice. Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14587.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14922 | OA
Esposito, Amedeo Roberto, and Marco Mondelli. “Concentration without Independence via Information Measures.” Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, 2023, pp. 400–05, doi:10.1109/isit54713.2023.10206899.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 15173 | OA
Kwan, Matthew Alan, et al. “Enumerating Matroids and Linear Spaces.” Comptes Rendus Mathematique, vol. 361, no. G2, Academie des Sciences, 2023, pp. 565–75, doi:10.5802/crmath.423.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 14772 | OA
Agresti, Antonio, and Amru Hussein. “Maximal Lp-Regularity and H∞-Calculus for Block Operator Matrices and Applications.” Journal of Functional Analysis, vol. 285, no. 11, 110146, Elsevier, 2023, doi:10.1016/j.jfa.2023.110146.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 15148 | OA
Michael AK, Stoos L, Crosby P, Eggers N, Nie XY, Makasheva K, Minnich M, Healy KL, Weiss J, Kempf G, Cavadini S, Kater L, Seebacher J, Vecchia L, Chakraborty D, Isbel L, Grand RS, Andersch F, Fribourgh JL, Schübeler D, Zuber J, Liu AC, Becker PB, Fierz B, Partch CL, Menet JS, Thomä NH. 2023. Cooperation between bHLH transcription factors and histones for DNA access. Nature. 619(7969), 385–393.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 15149 | OA
Isbel, Luke, et al. “Readout of Histone Methylation by Trim24 Locally Restricts Chromatin Opening by P53.” Nature Structural & Molecular Biology, vol. 30, no. 7, Springer Nature, 2023, pp. 948–57, doi:10.1038/s41594-023-01021-8.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2023 | Preprint | IST-REx-ID: 15128 | OA
Riabov, Volodymyr. “Mesoscopic Eigenvalue Statistics for Wigner-Type Matrices.” ArXiv, 2301.01712, doi:10.48550/arXiv.2301.01712.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Thesis | IST-REx-ID: 12491 | OA
Zens, Bettina. Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12491.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13201 | OA
Wang, Yalu, et al. “The Nitrate Transporter NRT2.1 Directly Antagonizes PIN7-Mediated Auxin Transport for Root Growth Adaptation.” Proceedings of the National Academy of Sciences of the United States of America, vol. 120, no. 25, e2221313120, National Academy of Sciences, 2023, doi:10.1073/pnas.2221313120.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Thesis | IST-REx-ID: 14226 | OA
Stephenson, Elizabeth R. Generalizing Medial Axes with Homology Switches. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14226.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12470 | OA
Michalska, Julia M. A Versatile Toolbox for the Comprehensive Analysis of Nervous Tissue Organization with Light Microscopy. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12470.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12531 | OA
Kirillova, Kseniia. Panoramic Functional Gradients across the Mouse Retina. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12531.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12800 | OA
Julseth, Mara. The Effect of Local Population Structure on Genetic Variation at Selected Loci in the A. Majus Hybrid Zone. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12800.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 14510
Gnyliukh, Nataliia. Mechanism of Clathrin-Coated Vesicle  Formation during Endocytosis in Plants. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14510.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12897 | OA
Hafner, Christian. Inverse Shape Design with Parametric Representations: Kirchhoff Rods and Parametric Surface Models. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12897.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13188 | OA
Hafner, Christian, and Bernd Bickel. “The Design Space of Kirchhoff Rods.” ACM Transactions on Graphics, vol. 42, no. 5, 171, Association for Computing Machinery, 2023, doi:10.1145/3606033.
[Submitted Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 10652 | OA
Hosten, Onur. “Constraints on Probing Quantum Coherence to Infer Gravitational Entanglement.” Physical Review Research, vol. 4, no. 1, 013023, American Physical Society, 2022, doi:10.1103/PhysRevResearch.4.013023.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 10758 | OA
Dubini, Romeo C. A., et al. “1H NMR Chemical Exchange Techniques Reveal Local and Global Effects of Oxidized Cytosine Derivatives.” ACS Physical Chemistry Au, vol. 2, no. 3, American Chemical Society, 2022, pp. 237–46, doi:10.1021/acsphyschemau.1c00050.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2022 | Conference Paper | IST-REx-ID: 10774 | OA
Bartocci, Ezio, et al. “Flavors of Sequential Information Flow.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13182, Springer Nature, 2022, pp. 1–19, doi:10.1007/978-3-030-94583-1_1.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 10769 | OA
Daguerre, L., et al. “Non relativistic quantum field theory: Dynamics and irreversibility.” Anales de la Asociacion Fisica Argentina, vol. 32, no. 4, Asociación Física Argentina, 2022, pp. 93–98, doi:10.31527/analesafa.2021.32.4.93.
[Published Version] View | Files available | DOI
 

2022 | Preprint | IST-REx-ID: 10821 | OA
Lombardi, Fabrizio, et al. “Alpha Rhythm Induces Attenuation-Amplification Dynamics in Neural Activity Cascades.” BioRxiv, Cold Spring Harbor Laboratory, 2022, doi:10.1101/2022.03.03.482657.
[Preprint] View | DOI | Download Preprint (ext.)
 

2022 | Journal Article | IST-REx-ID: 10845 | OA
Maslov, Mikhail, et al. “Impurity with a Resonance in the Vicinity of the Fermi Energy.” Physical Review Research, vol. 4, 013160, American Physical Society, 2022, doi:10.1103/PhysRevResearch.4.013160.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Journal Article | IST-REx-ID: 10939 | OA
Davidović, Anđela, et al. “Parameter Inference for Stochastic Biochemical Models from Perturbation Experiments Parallelised at the Single Cell Level.” PLoS Computational Biology, vol. 18, no. 3, e1009950, Public Library of Science, 2022, doi:10.1371/journal.pcbi.1009950.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11051
Liu, Jinqiang, and Martin Hetzer. “Nuclear Pore Complex Maintenance and Implications for Age-Related Diseases.” Trends in Cell Biology, vol. 32, no. 3, Elsevier, 2022, pp. P216-227, doi:10.1016/j.tcb.2021.10.001.
View | DOI | PubMed | Europe PMC
 

2022 | Conference Paper | IST-REx-ID: 11184 | OA
Alistarh, Dan-Adrian, et al. “Fast Graphical Population Protocols.” 25th International Conference on Principles of Distributed Systems, edited by Quentin Bramas et al., vol. 217, 14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, doi:10.4230/LIPIcs.OPODIS.2021.14.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11183 | OA
Nikabadi, Amir, and Janne Korhonen. “Beyond Distributed Subgraph Detection: Induced Subgraphs, Multicolored Problems and Graph Parameters.” 25th International Conference on Principles of Distributed Systems, edited by Quentin Bramas et al., vol. 217, 15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, doi:10.4230/LIPIcs.OPODIS.2021.15.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11182 | OA
Kroll, Janina, et al. “Quantifying the Probing and Selection of Microenvironmental Pores by Motile Immune Cells.” Current Protocols, vol. 2, no. 4, e407, Wiley, 2022, doi:10.1002/cpz1.407.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2022 | Conference Paper | IST-REx-ID: 11428 | OA
Chambers, Erin, et al. “A Cautionary Tale: Burning the Medial Axis Is Unstable.” 38th International Symposium on Computational Geometry, edited by Xavier Goaoc and Michael Kerber, vol. 224, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 66:1-66:9, doi:10.4230/LIPIcs.SoCG.2022.66.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11420 | OA
Shevchenko, Aleksandr, et al. “Mean-Field Analysis of Piecewise Linear Solutions for Wide ReLU Networks.” Journal of Machine Learning Research, vol. 23, no. 130, Journal of Machine Learning Research, 2022, pp. 1–55.
[Published Version] View | Files available | arXiv
 

2022 | Book (Editor) | IST-REx-ID: 11429
Karimipour, Farid, and Sabine Storandt, editors. Web and Wireless Geographical Information Systems. 1st ed., vol. 13238, Springer Nature, 2022, doi:10.1007/978-3-031-06245-2.
View | DOI
 

2022 | Book Chapter | IST-REx-ID: 11440 | OA
Bleile, Bea, et al. “The Persistent Homology of Dual Digital Image Constructions.” Research in Computational Topology 2, edited by Ellen Gasparovic et al., 1st ed., vol. 30, Springer Nature, 2022, pp. 1–26, doi:10.1007/978-3-030-95519-9_1.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11444 | OA
Chlebak, Clara A., and Peter H. Reid. “From the Prefect’s Desk: Gerard van Swieten’s Library Correspondence.” Library and Information History, vol. 38, no. 1, Edinburgh University Press, 2022, pp. 23–41, doi:10.3366/lih.2022.0097.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2022 | Book Chapter | IST-REx-ID: 11456
Artan, Murat, and Mario de Bono. “Proteomic Analysis of C. Elegans Neurons Using TurboID-Based Proximity Labeling.” Behavioral Neurogenetics, edited by Daisuke Yamamoto, vol. 181, Springer Nature, 2022, pp. 277–94, doi:10.1007/978-1-0716-2321-3_15.
View | DOI
 

2022 | Journal Article | IST-REx-ID: 11488 | OA
Kusakabe, Haruka, et al. “The MUSE EXtremely Deep Field: Individual Detections of Lyα Haloes around Rest-Frame UV-Selected Galaxies at z ≃ 2.9–4.4.” Astronomy & Astrophysics, vol. 660, A44, EDP Sciences, 2022, doi:10.1051/0004-6361/202142302.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11497 | OA
Kerutt, J., et al. “Equivalent Widths of Lyman α Emitters in MUSE-Wide and MUSE-Deep.” Astronomy & Astrophysics, vol. 659, 183, EDP Sciences, 2022, doi:10.1051/0004-6361/202141900.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11490 | OA
Matthee, Jorryt J., et al. “Deciphering Stellar Metallicities in the Early Universe: Case Study of a Young Galaxy at z = 4.77 in the MUSE EXtremely Deep Field.” Astronomy & Astrophysics, vol. 660, A10, EDP Sciences, 2022, doi:10.1051/0004-6361/202142187.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11509 | OA
Isobe Y, Ouchi M, Suzuki A, Moriya TJ, Nakajima K, Nomoto K, Rauch M, Harikane Y, Kojima T, Ono Y, Fujimoto S, Inoue AK, Kim JH, Komiyama Y, Kusakabe H, Lee C-H, Maseda M, Matthee JJ, Michel-Dansac L, Nagao T, Nanayakkara T, Nishigaki M, Onodera M, Sugahara Y, Xu Y. 2022. EMPRESS. IV. Extremely metal-poor galaxies including very low-mass primordial systems with M∗= 104-105⊙ and 2%–3% (O/H): High (Fe/O) suggestive of metal enrichment by hypernovae/pair-instability supernovae. The Astrophysical Journal. 925(2), 111.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11510 | OA
Sobral, David, et al. “The LEGA-C of Nature and Nurture in Stellar Populations at z ∼ 0.6–1.0: Dn4000 and Hδ Reveal Different Assembly Histories for Quiescent Galaxies in Different Environments.” The Astrophysical Journal, vol. 926, no. 2, 117, IOP Publishing, 2022, doi:10.3847/1538-4357/ac4419.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11511 | OA
Gebek, Andrea, and Jorryt J. Matthee. “On the Variation in Stellar α-Enhancements of Star-Forming Galaxies in the EAGLE Simulation.” The Astrophysical Journal, vol. 924, no. 2, 73, IOP Publishing, 2022, doi:10.3847/1538-4357/ac350b.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11521 | OA
Matthee, Jorryt J., et al. “(Re)Solving Reionization with Lyα: How Bright Lyα Emitters Account for the z ≈ 2 − 8 Cosmic Ionizing Background.” Monthly Notices of the Royal Astronomical Society, vol. 512, no. 4, Oxford University Press, 2022, pp. 5960–77, doi:10.1093/mnras/stac801.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11553 | OA
Clark, Trevor, et al. “The Dynamics of Complex Box Mappings.” Arnold Mathematical Journal, vol. 8, no. 2, Springer Nature, 2022, pp. 319–410, doi:10.1007/s40598-022-00200-7.
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11601 | OA
Zinn JC, Stello D, Elsworth Y, García RA, Kallinger T, Mathur S, Mosser B, Hon M, Bugnet LA, Jones C, Reyes C, Sharma S, Schönrich R, Warfield JT, Luger R, Vanderburg A, Kobayashi C, Pinsonneault MH, Johnson JA, Huber D, Buder S, Joyce M, Bland-Hawthorn J, Casagrande L, Lewis GF, Miglio A, Nordlander T, Davies GR, Silva GD, Chaplin WJ, Silva Aguirre V. 2022. The K2 Galactic Archaeology Program data release 3: Age-abundance patterns in C1–C8 and C10–C18. The Astrophysical Journal. 926(2), 191.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11602 | OA
Mathur, S., et al. “Detections of Solar-like Oscillations in Dwarfs and Subgiants with Kepler DR25 Short-Cadence Data.” Astronomy & Astrophysics, vol. 657, A31, EDP Sciences, 2022, doi:10.1051/0004-6361/202141168.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11600
Bugnet, Lisa Annabelle. “Hidden Currents at the Sun’s Surface.” Nature Astronomy, vol. 6, Springer Nature, 2022, pp. 631–32, doi:10.1038/s41550-022-01683-2.
View | DOI
 

2022 | Journal Article | IST-REx-ID: 11621 | OA
Dhouib, H., et al. “Detecting Deep Axisymmetric Toroidal Magnetic Fields in Stars: The Traditional Approximation of Rotation for Differentially Rotating Deep Spherical Shells with a General Azimuthal Magnetic Field.” Astronomy & Astrophysics, vol. 661, A133, EDP Sciences, 2022, doi:10.1051/0004-6361/202142956.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11638 | OA
Ngampruetikorn, Vudtiwat, et al. “Inferring Couplings in Networks across Order-Disorder Phase Transitions.” Physical Review Research, vol. 4, no. 2, 023240, American Physical Society, 2022, doi:10.1103/PhysRevResearch.4.023240.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Journal Article | IST-REx-ID: 11662
Henzinger, Monika H., and Pan Peng. “Constant-Time Dynamic (Δ +1)-Coloring.” ACM Transactions on Algorithms, vol. 18, no. 2, 16, Association for Computing Machinery (ACM), 2022, doi:10.1145/3501403.
View | DOI
 

2022 | Journal Article | IST-REx-ID: 11702 | OA
Barton, Nicholas H. “The ‘New Synthesis.’” Proceedings of the National Academy of Sciences of the United States of America, vol. 119, no. 30, e2122147119, Proceedings of the National Academy of Sciences, 2022, doi:10.1073/pnas.2122147119.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11713 | OA
Nikolic, Nela, et al. “Quantifying Heterologous Gene Expression during Ectopic MazF Production in Escherichia Coli.” BMC Research Notes, vol. 15, 173, Springer Nature, 2022, doi:10.1186/s13104-022-06061-9.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2022 | Conference Paper | IST-REx-ID: 11812 | OA
Hanauer, Kathrin, et al. “Fully Dynamic Four-Vertex Subgraph Counting.” 1st Symposium on Algorithmic Foundations of Dynamic Networks, vol. 221, 18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, doi:10.4230/LIPIcs.SAND.2022.18.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11808 | OA
Hanauer, Kathrin, et al. “Recent Advances in Fully Dynamic Graph Algorithms.” 1st Symposium on Algorithmic Foundations of Dynamic Networks, vol. 221, 1, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, doi:10.4230/LIPIcs.SAND.2022.1.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11916 | OA
Wirth, Melchior. “Kac Regularity and Domination of Quadratic Forms.” Advances in Operator Theory, vol. 7, no. 3, 38, Springer Nature, 2022, doi:10.1007/s43036-022-00199-w.
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 11918
Henzinger, Monika H., et al. “The Complexity of Average-Case Dynamic Subgraph Counting.” 33rd Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2022, pp. 459–98, doi:10.1137/1.9781611977073.23.
View | DOI
 

2022 | Conference Paper | IST-REx-ID: 11930 | OA
Henzinger, Monika H., et al. “Practical Fully Dynamic Minimum Cut Algorithms.” 2022 Proceedings of the Symposium on Algorithm Engineering and Experiments, Society for Industrial and Applied Mathematics, 2022, pp. 13–26, doi:10.1137/1.9781611977042.2.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11955 | OA
Traxler, Michael, et al. “Acridine‐functionalized Covalent Organic Frameworks (COFs) as Photocatalysts for Metallaphotocatalytic C−N Cross‐coupling.” Angewandte Chemie International Edition, vol. 61, no. 21, e202117738, Wiley, 2022, doi:10.1002/anie.202117738.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11991 | OA
Krokhin, Andrei, and Jakub Opršal. “An Invitation to the Promise Constraint Satisfaction Problem.” ACM SIGLOG News, vol. 9, no. 3, Association for Computing Machinery, 2022, pp. 30–59, doi:10.1145/3559736.3559740.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11996
Palacci, Jérémie A. “A Soft Active Matter That Can Climb Walls.” Science, vol. 377, no. 6607, American Association for the Advancement of Science, 2022, pp. 710–11, doi:10.1126/science.adc9202.
View | DOI | PubMed | Europe PMC
 

2022 | Conference Paper | IST-REx-ID: 12010 | OA
Brunnbauer, Axel, et al. “Latent Imagination Facilitates Zero-Shot Transfer in Autonomous Racing.” 2022 International Conference on Robotics and Automation, IEEE, 2022, pp. 7513–20, doi:10.1109/ICRA46639.2022.9811650.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 12007 | OA
GOSWAMI, BIDYUT B., et al. “Role of the Tibetan Plateau Glaciers in the Asian Summer Monsoon.” Climatic Change, vol. 173, no. 3–4, 29, Springer Nature, 2022, doi:10.1007/s10584-022-03426-8.
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 12011 | OA
Zhang, Yihan, et al. “The Capacity of Causal Adversarial Channels.” 2022 IEEE International Symposium on Information Theory, vol. 2022, IEEE, 2022, pp. 2523–28, doi:10.1109/ISIT50566.2022.9834709.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12017
Yadav, Anuj Kumar, et al. “New Results on AVCs with Omniscient and Myopic Adversaries.” 2022 IEEE International Symposium on Information Theory, vol. 2022, Institute of Electrical and Electronics Engineers, 2022, pp. 2535–40, doi:10.1109/ISIT50566.2022.9834632.
View | DOI
 

2022 | Conference Paper | IST-REx-ID: 12013
Joshi, Pranav, et al. “On the Capacity of Additive AVCs with Feedback.” 2022 IEEE International Symposium on Information Theory, vol. 2022, IEEE, 2022, pp. 504–09, doi:10.1109/ISIT50566.2022.9834850.
View | DOI
 

2022 | Conference Paper | IST-REx-ID: 12016 | OA
Fathollahi, Dorsa, and Marco Mondelli. “Polar Coded Computing: The Role of the Scaling Exponent.” 2022 IEEE International Symposium on Information Theory, vol. 2022, IEEE, 2022, pp. 2154–59, doi:10.1109/ISIT50566.2022.9834712.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12012 | OA
Torkamani, Sahel, et al. “Heterogeneous Differential Privacy via Graphs.” 2022 IEEE International Symposium on Information Theory, vol. 2022, IEEE, 2022, pp. 1623–28, doi:10.1109/ISIT50566.2022.9834711.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12018
Zhang, Yihan, and Shashank Vatedka. “Lower Bounds on List Decoding Capacity Using Error Exponents.” 2022 IEEE International Symposium on Information Theory, vol. 2022, Institute of Electrical and Electronics Engineers, 2022, pp. 1324–29, doi:10.1109/ISIT50566.2022.9834815.
View | DOI
 

2022 | Conference Paper | IST-REx-ID: 12015
Zhang, Yihan, and Shashank Vatedka. “Lower Bounds for Multiple Packing.” 2022 IEEE International Symposium on Information Theory, vol. 2022, IEEE, 2022, pp. 3085–90, doi:10.1109/ISIT50566.2022.9834443.
View | DOI
 

2022 | Conference Paper | IST-REx-ID: 12014
Zhang, Yihan, and Shashank Vatedka. “List-Decodability of Poisson Point Processes.” 2022 IEEE International Symposium on Information Theory, vol. 2022, IEEE, 2022, pp. 2559–64, doi:10.1109/ISIT50566.2022.9834512.
View | DOI
 

2022 | Conference Paper | IST-REx-ID: 12019
Polyanskii, Nikita, and Yihan Zhang. “List-Decodable Zero-Rate Codes for the Z-Channel.” 2022 IEEE International Symposium on Information Theory, vol. 2022, Institute of Electrical and Electronics Engineers, 2022, pp. 2553–58, doi:10.1109/ISIT50566.2022.9834829.
View | DOI
 

2022 | Thesis | IST-REx-ID: 12072 | OA
Shute, Alec L. Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:12072.
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 12088
Sahu, Rishabh, et al. “Realizing a Quantum-Enabled Interconnect between Microwave and Telecom Light.” Conference on Lasers and Electro-Optics, FW4D.4, Optica Publishing Group, 2022, doi:10.1364/CLEO_QELS.2022.FW4D.4.
View | DOI
 

2022 | Conference Paper | IST-REx-ID: 12102 | OA
Ahmadi, Ali, et al. “Algorithms and Hardness Results for Computing Cores of Markov Chains.” 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 250, 29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, doi:10.4230/LIPIcs.FSTTCS.2022.29.
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 12101 | OA
Chatterjee, Krishnendu, et al. “Complexity of Spatial Games.” 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 250, 11:1-11:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, doi:10.4230/LIPIcs.FSTTCS.2022.11.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 12111 | OA
Stocker, Lidia, et al. “Entanglement-Based Observables for Quantum Impurities.” Physical Review Research, vol. 4, no. 4, 043177, American Physical Society, 2022, doi:10.1103/PhysRevResearch.4.043177.
[Published Version] View | Files available | DOI
 

Search

Filter Publications