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.

1612 Publications


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
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications