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.

11357 Publications


2023 | Patent | IST-REx-ID: 14965 | OA
Ficek, Joanna, Kjong-Van Lehmann, Francesco Locatello, Gunnar Raetsch, and Stefan Stark. “Methods of Determining Correspondences between Biological Properties of Cells,” 2023.
[Published Version] View | Files available
 

2023 | Submitted | Conference Paper | IST-REx-ID: 14974 | OA
Zhang, Cheng, Dominik Janzing, Mihaela van der Schaar, Francesco Locatello, Peter Spirtes, Kun Zhang, Bernhard Schölkopf, and Caroline Uhler. “Causality in the Time of LLMs: Round Table Discussion Results of CLeaR 2023.” In 2nd Conference on Causal Learning and Reasoning, n.d.
[Submitted Version] View | Files available
 

2023 | Published | Journal Article | IST-REx-ID: 14985 | OA
Liu, Zhengtao, Tao Hong, Liqing Xu, Sining Wang, Xiang Gao, Cheng Chang, Xiangdong Ding, Yu Xiao, and Li‐Dong Zhao. “Lattice Expansion Enables Interstitial Doping to Achieve a High Average ZT in N‐type PbS.” Interdisciplinary Materials. Wiley, 2023. https://doi.org/10.1002/idm2.12056.
[Published Version] View | Files available | DOI
 

2023 | Published | Conference Paper | IST-REx-ID: 14989 | OA
Malvai, Harjasleen, Eleftherios Kokoris Kogias, Alberto Sonnino, Esha Ghosh, Ercan Oztürk, Kevin Lewi, and Sean Lawlor. “Parakeet: Practical Key Transparency for End-to-End EEncrypted Messaging.” In Proceedings of the 2023 Network and Distributed System Security Symposium. Internet Society, 2023. https://doi.org/10.14722/ndss.2023.24545.
[Published Version] View | 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. https://doi.org/10.5281/ZENODO.7548214.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14991 | OA
Hwong, Yi-Ling, Maxime Colin, Philipp Aglas, Caroline J Muller, and Steven C. Sherwood. “Data-Assessing Memory in Convection Schemes Using Idealized Tests.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7757041.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Published | 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 | Published | Conference Paper | IST-REx-ID: 14993 | OA
Currin, Christopher, Mercy Nyamewaa Asiedu , Chris Fourie, Benjamin Rosman, Houcemeddine Turki, Atnafu Lambebo Tonja, Jade Abbott, et al. “A Framework for Grassroots Research Collaboration in Machine Learning and Global Health.” In 1st Workshop on Machine Learning & Global Health. OpenReview, 2023.
[Published Version] View | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14994 | 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.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7877790.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

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 | Published | Conference Paper | IST-REx-ID: 15023 | OA
Zikelic, Dorde, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, and Thomas A Henzinger. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” In 37th Conference on Neural Information Processing Systems, 2023.
[Published Version] View | Files available | arXiv
 

2023 | Research Data Reference | IST-REx-ID: 15027 | OA
Curk, Samo. “Aggregation_data.” Figshare, 2023.
[Published Version] View | Files available | Download Published Version (ext.)
 

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

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

2023 | Published | Journal Article | IST-REx-ID: 15085 | OA
Drout, M. R., Ylva Louise Linsdotter Götberg, B. A. Ludwig, J. H. Groh, S. E. de Mink, A. J. G. O’Grady, and N. Smith. “An Observed Population of Intermediate-Mass Helium Stars That Have Been Stripped in Binaries.” Science. American Association for the Advancement of Science, 2023. https://doi.org/10.1126/science.ade4970.
View | Files available | DOI | Download None (ext.) | PubMed | Europe PMC | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 15129 | OA
O’Brien, Roisin E., Jack Peter Kelly Bravo, Delisa Ramos, Grace N. Hibshman, Jacquelyn T. Wright, and David W. Taylor. “Structural Snapshots of R-Loop Formation by a Type I-C CRISPR Cascade.” Molecular Cell. Elsevier, 2023. https://doi.org/10.1016/j.molcel.2023.01.024.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 15130 | OA
Bravo, Jack Peter Kelly, Thomson Hallmark, Bronson Naegle, Chase L. Beisel, Ryan N. Jackson, and David W. Taylor. “RNA Targeting Unleashes Indiscriminate Nuclease Activity of CRISPR–Cas12a2.” Nature. Springer Nature, 2023. https://doi.org/10.1038/s41586-022-05560-w.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2023 | Published | 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 | Published | 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 | Published | 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 | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed