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.

1608 Publications


2023 | Conference Paper | IST-REx-ID: 14456 | OA
Křišťan, Jan Matyáš, and Jakub Svoboda. “Shortest Dominating Set Reconfiguration under Token Sliding.” In 24th International Symposium on Fundamentals of Computation Theory, 14292:333–47. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-43587-4_24.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14829 | OA
Cohen, Shir, Guy Goren, Eleftherios Kokoris Kogias, Alberto Sonnino, and Alexander Spiegelman. “Proof of Availability and Retrieval in a Modular Blockchain Architecture.” In 27th International Conference on Financial Cryptography and Data Security, 13951:36–53. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-47751-5_3.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 14830
Zikelic, Dorde, Mathias Lechner, Thomas A Henzinger, and Krishnendu Chatterjee. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.” In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 37:11926–35. Association for the Advancement of Artificial Intelligence, 2023. https://doi.org/10.1609/aaai.v37i10.26407.
[Preprint] View | Files available | DOI | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14872
Sahu, Rishabh, Liu Qiu, William J Hease, Georg M Arnold, Yuri Minoguchi, Peter Rabl, and Johannes M Fink. “Entangling Microwaves and Telecom Wavelength Light.” In Frontiers in Optics + Laser Science 2023. Optica Publishing Group, 2023. https://doi.org/10.1364/ls.2023.lm1f.3.
View | DOI
 

2023 | Journal Article | IST-REx-ID: 13266 | OA
Qi, Linlin, and Jiří Friml. “Tale of CAMP as a Second Messenger in Auxin Signaling and Beyond.” New Phytologist. Wiley, 2023. https://doi.org/10.1111/nph.19123.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 13269 | OA
Polyanskii, Nikita, and Yihan Zhang. “Codes for the Z-Channel.” IEEE Transactions on Information Theory. Institute of Electrical and Electronics Engineers, 2023. https://doi.org/10.1109/TIT.2023.3292219.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13128 | OA
Mohammadi, Ali, Thang Pham, and Yiting Wang. “An Energy Decomposition Theorem for Matrices and Related Questions.” Canadian Mathematical Bulletin. Cambridge University Press, 2023. https://doi.org/10.4153/S000843952300036X.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 13209 | OA
Xia, Jing, Mengjuan Kong, Zhisen Yang, Lianghanxiao Sun, Yakun Peng, Yanbo Mao, Hong Wei, et al. “Chemical Inhibition of Arabidopsis PIN-FORMED Auxin Transporters by the Anti-Inflammatory Drug Naproxen.” Plant Communications. Elsevier , 2023. https://doi.org/10.1016/j.xplc.2023.100632.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 13165 | OA
Fang, Lixing, Hao Huang, János Pach, Gábor Tardos, and Junchi Zuo. “Successive Vertex Orderings of Fully Regular Graphs.” Journal of Combinatorial Theory. Series A. Elsevier, 2023. https://doi.org/10.1016/j.jcta.2023.105776.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 14379
Mahato, Neelima, Saurabh Singh, Mohammad Faisal, T. V.M. Sreekanth, Sutripto Majumder, Kisoo Yoo, and Jonghoon Kim. “Polycrystalline Phases Grown In-Situ Engendering Unique Mechanism of Charge Storage in Polyaniline-Graphite Composite.” Synthetic Metals. Elsevier, 2023. https://doi.org/10.1016/j.synthmet.2023.117463.
View | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 14920 | OA
Banerjee, Tamajit, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, and Sadegh Soudjani. “Fast Symbolic Algorithms for Mega-Regular Games under Strong Transition Fairness.” TheoretiCS. EPI Sciences, 2023. https://doi.org/10.46298/theoretics.23.4.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Preprint | IST-REx-ID: 14961 | OA
Montagna, Francesco, Nicoletta Noceti, Lorenzo Rosasco, and Francesco Locatello. “Shortcuts for Causal Discovery of Nonlinear Models by Score Matching.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2310.14246.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14411 | OA
Beneš, Nikola, Luboš Brim, Samuel Pastva, David Šafránek, and Eva Šmijáková. “Phenotype Control of Partially Specified Boolean Networks.” In 21st International Conference on Computational Methods in Systems Biology, 14137:18–35. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-42697-1_2.
[Submitted Version] View | Files available | DOI
 

2023 | Book Chapter | IST-REx-ID: 14992 | OA
Lewin, Mathieu, Elliott H. Lieb, and Robert Seiringer. “Universal Functionals in Density Functional Theory.” In Density Functional Theory, edited by Eric Cances and Gero Friesecke, 1st ed., 115–82. MAMOMO. Springer, 2023. https://doi.org/10.1007/978-3-031-22340-2_3.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Thesis | IST-REx-ID: 14280
Radler, Philipp. “Spatiotemporal Signaling during Assembly of the Bacterial Divisome.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14280.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14758 | OA
Majumdar, Rupak, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, and Sadegh Soudjani. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” In 35th International Conference on Computer Aided Verification, 13966:3–15. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37709-9_1.
[Published Version] View | Files available | DOI
 

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

2023 | Conference Paper | IST-REx-ID: 14260 | OA
Koval, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” In 35th International Conference on Computer Aided Verification , 13964:156–69. Springer Nature, 2023. https://doi.org/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, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7877757.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

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

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

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

2023 | Journal Article | IST-REx-ID: 15173 | OA
Kwan, Matthew Alan, Ashwin Sah, and Mehtaab Sawhney. “Enumerating Matroids and Linear Spaces.” Comptes Rendus Mathematique. Academie des Sciences, 2023. https://doi.org/10.5802/crmath.423.
[Published Version] View | Files available | DOI | 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, Murat Iskar, Sevi Durdu, Joscha Weiss, Ralph S. Grand, Eric Hietter-Pfeiffer, Zuzanna Kozicka, et al. “Readout of Histone Methylation by Trim24 Locally Restricts Chromatin Opening by P53.” Nature Structural & Molecular Biology. Springer Nature, 2023. https://doi.org/10.1038/s41594-023-01021-8.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 15196 | OA
Burdge KB, El-Badry K, Rappaport S, Sunny Wong TL, Bauer EB, Bildsten L, Caiazzo I, Chakrabarty D, Chickles E, Graham MJ, Kara E, Kulkarni SR, Marsh TR, Nynka M, Prince TA, Simcoe RA, van Roestel J, Vanderbosch Z, Bellm EC, Dekany RG, Drake AJ, Helou G, Masci FJ, Milburn J, Riddle R, Rusholme B, Smith R. 2023. Orbital decay in an accreting and eclipsing 13.7 minute orbital period binary with a luminous donor. The Astrophysical Journal Letters. 953(1), L1.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 15199 | OA
Fleury, Leesa, Ilaria Caiazzo, and Jeremy Heyl. “The Origin of Ultramassive White Dwarfs: Hints from Gaia EDR3.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2023. https://doi.org/10.1093/mnras/stad068.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 15202 | OA
Zane S et al. 2023. A strong x-ray polarization signal from the magnetar 1RXS J170849.0-400910. The Astrophysical Journal Letters. 944(2), L27.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 13262 | OA
Fedorov, Alexander, Diba Hashemi, Giorgi Nadiradze, and Dan-Adrian Alistarh. “Provably-Efficient and Internally-Deterministic Parallel Union-Find.” In Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, 261–71. Association for Computing Machinery, 2023. https://doi.org/10.1145/3558481.3591082.
[Published Version] View | Files available | DOI | 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. https://doi.org/10.15479/at:ista:12491.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12809 | OA
Alcarva, Catarina. “Plasticity in the Cerebellum: What Molecular Mechanisms Are behind Physiological Learning.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12809.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12781 | OA
Kravchuk, Vladyslav. “Structural and Mechanistic Study of Bacterial Complex I and Its Cyanobacterial Ortholog.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12781.
[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. https://doi.org/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. https://doi.org/10.15479/at:ista:12897.
[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. https://doi.org/10.15479/at:ista:12470.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12885 | OA
Calcabrini, Mariano. “Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12885.
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 10774 | OA
Bartocci, Ezio, Thomas Ferrere, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira Da Costa. “Flavors of Sequential Information Flow.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 13182:1–19. Springer Nature, 2022. https://doi.org/10.1007/978-3-030-94583-1_1.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11182 | OA
Kroll, Janina, Mauricio J.A. Ruiz-Fernandez, Malte B. Braun, Jack Merrin, and Jörg Renkawitz. “Quantifying the Probing and Selection of Microenvironmental Pores by Motile Immune Cells.” Current Protocols. Wiley, 2022. https://doi.org/10.1002/cpz1.407.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

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

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

2022 | Book Chapter | IST-REx-ID: 11440 | OA
Bleile, Bea, Adélie Garin, Teresa Heiss, Kelly Maggs, and Vanessa Robins. “The Persistent Homology of Dual Digital Image Constructions.” In Research in Computational Topology 2, edited by Ellen Gasparovic, Vanessa Robins, and Katharine Turner, 1st ed., 30:1–26. AWMS. Cham: Springer Nature, 2022. https://doi.org/10.1007/978-3-030-95519-9_1.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11488 | OA
Kusakabe, Haruka, Anne Verhamme, Jérémy Blaizot, Thibault Garel, Lutz Wisotzki, Floriane Leclercq, Roland Bacon, 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. EDP Sciences, 2022. https://doi.org/10.1051/0004-6361/202142302.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11490 | OA
Matthee, Jorryt J, Anna Feltre, Michael Maseda, Themiya Nanayakkara, Leindert Boogaard, Roland Bacon, Anne Verhamme, 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. EDP Sciences, 2022. https://doi.org/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: 11521 | OA
Matthee, Jorryt J, Rohan P. Naidu, Gabriele Pezzulli, Max Gronke, David Sobral, Pascal A. Oesch, Matthew Hayes, 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. Oxford University Press, 2022. https://doi.org/10.1093/mnras/stac801.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11553 | OA
Clark, Trevor, Kostiantyn Drach, Oleg Kozlovski, and Sebastian Van Strien. “The Dynamics of Complex Box Mappings.” Arnold Mathematical Journal. Springer Nature, 2022. https://doi.org/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 | Conference Paper | IST-REx-ID: 11812 | OA
Hanauer, Kathrin, Monika H Henzinger, and Qi Cheng Hua. “Fully Dynamic Four-Vertex Subgraph Counting.” In 1st Symposium on Algorithmic Foundations of Dynamic Networks, Vol. 221. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. https://doi.org/10.4230/LIPIcs.SAND.2022.18.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

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

2022 | Conference Paper | IST-REx-ID: 12019
Polyanskii, Nikita, and Yihan Zhang. “List-Decodable Zero-Rate Codes for the Z-Channel.” In 2022 IEEE International Symposium on Information Theory, 2022:2553–58. Institute of Electrical and Electronics Engineers, 2022. https://doi.org/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. https://doi.org/10.15479/at:ista:12072.
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 12171 | OA
Garcia Soto, Miriam, Thomas A Henzinger, and Christian Schilling. “Synthesis of Parametric Hybrid Automata from Time Series.” In 20th International Symposium on Automated Technology for Verification and Analysis, 13505:337–53. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-19992-9_22.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12300 | OA
Das, Sourav, Thomas Yurek, Zhuolun Xiang, Andrew Miller, Eleftherios Kokoris Kogias, and Ling Ren. “Practical Asynchronous Distributed Key Generation.” In 2022 IEEE Symposium on Security and Privacy, 2518–34. Institute of Electrical and Electronics Engineers, 2022. https://doi.org/10.1109/sp46214.2022.9833584.
[Preprint] View | DOI | Download Preprint (ext.)
 

2022 | Book Chapter | IST-REx-ID: 12303 | OA
Mirković, Ivan, Yaping Yang, and Gufang Zhao. “Loop Grassmannians of Quivers and Affine Quantum Groups.” In Representation Theory and Algebraic Geometry, edited by Vladimir Baranovskky, Nicolas Guay, and Travis Schedler, 1st ed., 347–92. TM. Cham: Springer Nature; Birkhäuser, 2022. https://doi.org/10.1007/978-3-030-82007-7_8.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12529 | OA
Banerjee, Tamajit, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, and Sadegh Soudjani. “A Direct Symbolic Algorithm for Solving Stochastic Rabin Games.” In 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 13244:81–98. Springer Nature, 2022. https://doi.org/10.1007/978-3-030-99527-0_5.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Journal Article | IST-REx-ID: 12582 | OA
Miles, E S, J F Steiner, P Buri, W W Immerzeel, and Francesca Pellicciotti. “Controls on the Relative Melt Rates of Debris-Covered Glacier Surfaces.” Environmental Research Letters. IOP Publishing, 2022. https://doi.org/10.1088/1748-9326/ac6966.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Journal Article | IST-REx-ID: 12574 | OA
Kneib, Marin, Evan S. Miles, Pascal Buri, Stefan Fugger, Michael McCarthy, Thomas E. Shaw, Zhao Chuanxi, et al. “Sub-Seasonal Variability of Supraglacial Ice Cliff Melt Rates and Associated Processes from Time-Lapse Photogrammetry.” The Cryosphere. Copernicus Publications, 2022. https://doi.org/10.5194/tc-16-4701-2022.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Conference Paper | IST-REx-ID: 11839 | OA
Prach, Bernd, and Christoph Lampert. “Almost-Orthogonal Layers for Efficient General-Purpose Lipschitz Networks.” In Computer Vision – ECCV 2022, 13681:350–65. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-19803-8_21.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Abstract | IST-REx-ID: 12894 | OA
Schlögl, Alois, Andrei Hornoiu, Stefano Elefante, and Stephan Stadlbauer. “Where Is the Sweet Spot? A Procurement Story of General Purpose Compute Nodes.” In ASHPC22 - Austrian-Slovenian HPC Meeting 2022, 7. EuroCC Austria c/o Universität Wien, 2022. https://doi.org/10.25365/phaidra.337.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11777 | OA
Wild, Pascal. “High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes.” Institute of Science and Technology, 2022. https://doi.org/10.15479/at:ista:11777.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11128 | OA
Matejovicova, Lenka. “Genetic Basis of Flower Colour as a Model for Adaptive Evolution.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11128.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 13352 | OA
Cai J, Zhang W, Xu L, Hao C, Ma W, Sun M, Wu X, Qin X, Colombari FM, de Moura AF, Xu J, Silva MC, Carneiro-Neto EB, Gomes WR, Vallée RAL, Pereira EC, Liu X, Xu C, Klajn R, Kotov NA, Kuang H. 2022. Polarization-sensitive optoionic membranes from chiral plasmonic nanoparticles. Nature Nanotechnology. 17(4), 408–416.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 10717 | OA
Wang, R, E Himschoot, M Grenzi, J Chen, A Safi, M Krebs, K Schumacher, et al. “Auxin Analog-Induced Ca2+ Signaling Is Independent of Inhibition of Endosomal Aggregation in Arabidopsis Roots.” Journal of Experimental Botany. Oxford Academic, 2022. https://doi.org/10.1093/jxb/erac019.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 10765 | OA
Cao, Yang, and Zhizhong Huang. “Arithmetic Purity of the Hardy-Littlewood Property and Geometric Sieve for Affine Quadrics.” Advances in Mathematics. Elsevier, 2022. https://doi.org/10.1016/j.aim.2022.108236.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 10776 | OA
Patakova, Zuzana, Martin Tancer, and Uli Wagner. “Barycentric Cuts through a Convex Body.” Discrete and Computational Geometry. Springer Nature, 2022. https://doi.org/10.1007/s00454-021-00364-7.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 10841 | OA
Dahhan, DA, GD Reynolds, JJ Cárdenas, D Eeckhout, Alexander J Johnson, K Yperman, Walter Kaufmann, et al. “Proteomic Characterization of Isolated Arabidopsis Clathrin-Coated Vesicles Reveals Evolutionarily Conserved and Plant-Specific Components.” Plant Cell. Oxford Academic, 2022. https://doi.org/10.1093/plcell/koac071.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 10888 | OA
Lu, Qing, Yonghong Zhang, Joakim Hellner, Caterina Giannini, Xiangyu Xu, Jarne Pauwels, Qian Ma, et al. “Proteome-Wide Cellular Thermal Shift Assay Reveals Unexpected Cross-Talk between Brassinosteroid and Auxin Signaling.” Proceedings of the National Academy of Sciences of the United States of America. Proceedings of the National Academy of Sciences, 2022. https://doi.org/10.1073/pnas.2118220119.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Conference Paper | IST-REx-ID: 10891
Henzinger, Thomas A. “Quantitative Monitoring of Software.” In Software Verification, 13124:3–6. LNCS. Springer Nature, 2022. https://doi.org/10.1007/978-3-030-95561-8_1.
View | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 11332 | OA
Schnelli, Kevin, and Yuanyuan Xu. “Convergence Rate to the Tracy–Widom Laws for the Largest Eigenvalue of Wigner Matrices.” Communications in Mathematical Physics. Springer Nature, 2022. https://doi.org/10.1007/s00220-022-04377-y.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11331 | OA
Danezis, George, Eleftherios Kokoris Kogias, Alberto Sonnino, and Alexander Spiegelman. “Narwhal and Tusk: A DAG-Based Mempool and Efficient BFT Consensus.” In Proceedings of the 17th European Conference on Computer Systems, 34–50. Association for Computing Machinery, 2022. https://doi.org/10.1145/3492321.3519594.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 11344 | OA
Dranenko, NO, MN Tutukina, MS Gelfand, Fyodor Kondrashov, and Olga Bochkareva. “Chromosome-Encoded IpaH Ubiquitin Ligases Indicate Non-Human Enteroinvasive Escherichia.” Scientific Reports. Springer Nature, 2022. https://doi.org/10.1038/s41598-022-10827-3.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Conference Paper | IST-REx-ID: 11181 | OA
Brown, Trevor A, William Sigouin, and Dan-Adrian Alistarh. “PathCAS: An Efficient Middle Ground for Concurrent Search Data Structures.” In Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 385–99. Association for Computing Machinery, 2022. https://doi.org/10.1145/3503221.3508410.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 11186 | OA
Kwan, Matthew Alan, Ashwin Sah, and Mehtaab Sawhney. “Large Deviations in Random Latin Squares.” Bulletin of the London Mathematical Society. Wiley, 2022. https://doi.org/10.1112/blms.12638.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11355 | OA
Bartocci, Ezio, Thomas Ferrere, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira Da Costa. “Information-Flow Interfaces.” In Fundamental Approaches to Software Engineering, 13241:3–22. Springer Nature, 2022. https://doi.org/10.1007/978-3-030-99429-7_1.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 11417 | OA
Sigillito, Anthony J., Jacob P. Covey, Johannes M Fink, Karl Petersson, and Stefan Preble. “Emerging Qubit Systems: Guest Editorial.” Applied Physics Letters. American Institute of Physics, 2022. https://doi.org/10.1063/5.0097339.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2022 | Journal Article | IST-REx-ID: 11460 | OA
Schaaf, Zachary A., Lyvin Tat, Noemi Cannizzaro, Ralph Green, Thomas Rülicke, Simon Hippenmeyer, and Konstantinos S. Zarbalis. “WDFY3 Mutation Alters Laminar Position and Morphology of Cortical Neurons.” Molecular Autism. Springer Nature, 2022. https://doi.org/10.1186/s13229-022-00508-3.
[Published Version] View | Files available | DOI | WoS
 

2022 | Conference Paper | IST-REx-ID: 11476 | OA
Alwen, Joël, Benedikt Auerbach, Miguel Cueto Noval, Karen Klein, Guillermo Pascual Perez, Krzysztof Z Pietrzak, and Michael Walter. “CoCoA: Concurrent Continuous Group Key Agreement.” In Advances in Cryptology – EUROCRYPT 2022, 13276:815–844. Cham: Springer Nature, 2022. https://doi.org/10.1007/978-3-031-07085-3_28.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2022 | Journal Article | IST-REx-ID: 11587 | OA
Zhang R, Kuo R, Coulter M, Calixto CPG, Entizne JC, Guo W, Marquez Y, Milne L, Riegler S, Matsui A, Tanaka M, Harvey S, Gao Y, Wießner-Kroh T, Paniagua A, Crespi M, Denby K, Hur AB, Huq E, Jantsch M, Jarmolowski A, Koester T, Laubinger S, Li QQ, Gu L, Seki M, Staiger D, Sunkar R, Szweykowska-Kulinska Z, Tu SL, Wachter A, Waugh R, Xiong L, Zhang XN, Conesa A, Reddy ASN, Barta A, Kalyna M, Brown JWS. 2022. A high-resolution single-molecule sequencing-based Arabidopsis transcriptome using novel methods of Iso-seq analysis. Genome Biology. 23, 149.
[Published Version] View | Files available | DOI | WoS
 

2022 | Conference Paper | IST-REx-ID: 11707 | OA
Balliu, Alkida, Juho Hirvonen, Darya Melnyk, Dennis Olivetti, Joel Rybicki, and Jukka Suomela. “Local Mending.” In International Colloquium on Structural Information and Communication Complexity, edited by Merav Parter, 13298:1–20. LNCS. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-09993-9_1.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 11636 | OA
Kmentt, Philip, and Alec L Shute. “The Bertini Irreducibility Theorem for Higher Codimensional Slices.” Finite Fields and Their Applications. Elsevier, 2022. https://doi.org/10.1016/j.ffa.2022.102085.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 11705 | OA
Chang, Cheng, Yu Liu, Seungho Lee, Maria Spadaro, Kristopher M. Koskela, Tobias Kleinhanns, Tommaso Costanzo, Jordi Arbiol, Richard L. Brutchey, and Maria Ibáñez. “Surface Functionalization of Surfactant-Free Particles: A Strategy to Tailor the Properties of Nanocomposites for Enhanced Thermoelectric Performance.” Angewandte Chemie - International Edition. Wiley, 2022. https://doi.org/10.1002/anie.202207002.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 11733 | OA
Orliac, Etienne J., Daniel Trejo Banos, Sven E. Ojavee, Kristi Läll, Reedik Mägi, Peter M. Visscher, and Matthew Richard Robinson. “Improving GWAS Discovery and Genomic Prediction Accuracy in Biobank Data.” Proceedings of the National Academy of Sciences of the United States of America. Proceedings of the National Academy of Sciences, 2022. https://doi.org/10.1073/pnas.2121279119.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 11740 | OA
Cooley, Oliver, Nicola Del Giudice, Mihyun Kang, and Philipp Sprüssel. “Phase Transition in Cohomology Groups of Non-Uniform Random Simplicial Complexes.” Electronic Journal of Combinatorics. Electronic Journal of Combinatorics, 2022. https://doi.org/10.37236/10607.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 11858 | OA
Agresti, Antonio, and Mark Veraar. “Nonlinear Parabolic Stochastic Evolution Equations in Critical Spaces Part II.” Journal of Evolution Equations. Springer Nature, 2022. https://doi.org/10.1007/s00028-022-00786-7.
[Published Version] View | Files available | DOI | WoS
 

2022 | Book Chapter | IST-REx-ID: 10820
Liu, Jianxin, Elena Marensi, and Xuesong Wu. “Effects of Streaky Structures on the Instability of Supersonic Boundary Layers.” In IUTAM Laminar-Turbulent Transition, edited by Spencer Sherwin, Peter Schmid, and Xuesong Wu, 1st ed., 38:587–98. IUTAM Bookseries. Cham: Springer Nature, 2022. https://doi.org/10.1007/978-3-030-67902-6_51.
View | DOI | WoS
 

2022 | Research Data Reference | IST-REx-ID: 13064 | OA
Orliac, Etienne, Daniel Trejo Banos, Sven Ojavee, Kristi Läll, Reedik Mägi, Peter Visscher, and Matthew Richard Robinson. “Improving Genome-Wide Association Discovery and Genomic Prediction Accuracy in Biobank Data.” Dryad, 2022. https://doi.org/10.5061/DRYAD.GTHT76HMZ.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2022 | Conference Paper | IST-REx-ID: 11775 | OA
Henzinger, Thomas A, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Abstract Monitors for Quantitative Specifications.” In 22nd International Conference on Runtime Verification, 13498:200–220. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-17196-3_11.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12052 | OA
Konstantinova, N, Lukas Hörmayer, Matous Glanc, R Keshkeih, Shutang Tan, M Di Donato, K Retzer, et al. “WAVY GROWTH Arabidopsis E3 Ubiquitin Ligases Affect Apical PIN Sorting Decisions.” Nature Communications. Springer Nature, 2022. https://doi.org/10.1038/s41467-022-32888-8.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 12079 | OA
Hensel, Sebastian, and Maximilian Moser. “Convergence Rates for the Allen–Cahn Equation with Boundary Contact Energy: The Non-Perturbative Regime.” Calculus of Variations and Partial Differential Equations. Springer Nature, 2022. https://doi.org/10.1007/s00526-022-02307-3.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12054 | OA
Yang, Z, J Xia, J Hong, C Zhang, H Wei, W Ying, C Sun, et al. “Structural Insights into Auxin Recognition and Efflux by Arabidopsis PIN1.” Nature. Springer Nature, 2022. https://doi.org/10.1038/s41586-022-05143-9.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 12110 | OA
Henheik, Sven Joscha, and Roderich Tumulka. “Interior-Boundary Conditions for the Dirac Equation at Point Sources in Three Dimensions.” Journal of Mathematical Physics. AIP Publishing, 2022. https://doi.org/10.1063/5.0104675.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12107 | OA
Roca, Rémy, Victorien De Meyer, and Caroline J Muller. “Precipitating Fraction, Not Intensity, Explains Extreme Coarse-Grained Precipitation Clausius-Clapeyron Scaling with Sea Surface Temperature over Tropical Oceans.” Geophysical Research Letters. Wiley, 2022. https://doi.org/10.1029/2022GL100624.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12129 | OA
Wagner, Uli, and Emo Welzl. “Connectivity of Triangulation Flip Graphs in the Plane.” Discrete & Computational Geometry. Springer Nature, 2022. https://doi.org/10.1007/s00454-022-00436-2.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12142 | OA
Ojavee, Sven E., Zoltan Kutalik, and Matthew Richard Robinson. “Liability-Scale Heritability Estimation for Biobank Studies of Low-Prevalence Disease.” The American Journal of Human Genetics. Elsevier, 2022. https://doi.org/10.1016/j.ajhg.2022.09.011.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12151 | OA
Cooley, Oliver, M. Kang, and O. Pikhurko. “On a Question of Vera T. Sós about Size Forcing of Graphons.” Acta Mathematica Hungarica. Springer Nature, 2022. https://doi.org/10.1007/s10474-022-01265-8.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 12227 | OA
Kovačič, Sebastijan, Bettina Schafzahl, Nadejda B. Matsko, Katharina Gruber, Martin Schmuck, Stefan Koller, Stefan Alexander Freunberger, and Christian Slugovc. “Carbon Foams via Ring-Opening Metathesis Polymerization of Emulsion Templates: A Facile Method to Make Carbon Current Collectors for Battery Applications.” ACS Applied Energy Materials. American Chemical Society, 2022. https://doi.org/10.1021/acsaem.2c02787.
[Published Version] View | Files available | DOI | WoS
 

2022 | Journal Article | IST-REx-ID: 12226 | OA
Pokusaeva, Victoria, Aránzazu Rosado Diez, Lorena Espinar, Albert Torelló Pérez, and Guillaume J. Filion. “Strand Asymmetry Influences Mismatch Resolution during Single-Strand Annealing.” Genome Biology. Springer Nature, 2022. https://doi.org/10.1186/s13059-022-02665-3.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 12233 | OA
Doan, Nghia, Seyyed Ali Hashemi, Marco Mondelli, and Warren J. Gross. “Decoding Reed-Muller Codes with Successive Codeword Permutations.” IEEE Transactions on Communications. Institute of Electrical and Electronics Engineers, 2022. https://doi.org/10.1109/tcomm.2022.3211101.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12432
Anastos, Michael. “Solving the Hamilton Cycle Problem Fast on Average.” In 63rd Annual IEEE Symposium on Foundations of Computer Science, 2022–October:919–30. Institute of Electrical and Electronics Engineers, 2022. https://doi.org/10.1109/FOCS54457.2022.00091.
View | DOI | WoS
 

2022 | Conference Paper | IST-REx-ID: 12516 | OA
Bogdanov, Andrej, Miguel Cueto Noval, Charlotte Hoffmann, and Alon Rosen. “Public-Key Encryption from Homogeneous CLWE.” In Theory of Cryptography, 13748:565–92. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-22365-5_20.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

Filters and Search Terms

isbn%3D978-3-95977-087-3

Search

Filter Publications