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 |
Published |
Journal Article |
IST-REx-ID: 20966 |
V. Koehler et al., “High‐affinity hybridization of complementary aromatic oligoamide strands in water,” Angewandte Chemie International Edition, vol. 62, no. 48. Wiley, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 20968 |
|
|
B. Teng, P. K. Mandal, L. Allmendinger, C. Douat, Y. Ferrand, and I. Huc, “Controlling aromatic helix dimerization in water by tuning charge repulsions,” Chemical Science, vol. 14, no. 40. Royal Society of Chemistry, pp. 11251–11260, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 20969 |
Y. Zhang et al., “Self-assembly of achiral building blocks into chiral cyclophanes using non-directional interactions,” Chemical Science, vol. 14, no. 26. Royal Society of Chemistry, pp. 7126–7135, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 20970 |
|
|
Y. Jin, P. K. Mandal, J. Wu, N. Böcher, I. Huc, and S. Otto, “(Re-)directing oligomerization of a single building block into two specific dynamic covalent foldamers through pH,” Journal of the American Chemical Society, vol. 145, no. 5. American Chemical Society, pp. 2822–2829, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 17074 |
M. Brooks and R. Seiringer, “Validity of Bogoliubov’s approximation fortranslation-invariant Bose gases,” Probability and Mathematical Physics, vol. 3, no. 4. Mathematical Sciences Publishers, pp. 939–1000, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 17078 |
A. V. Dass et al., “RNA oligomerisation without added catalyst from 2′,3′‐cyclic nucleotides by drying at air-water interfaces,” ChemSystemsChem, vol. 5, no. 1. Wiley, 2023.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 17079 |
A. Serebryakov, N. Simm, and G. Dubach, “Characteristic polynomials of random truncations: Moments, duality and asymptotics,” Random Matrices: Theory and Applications, vol. 12, no. 01. World Scientific Publishing, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 |
Submitted |
Preprint |
IST-REx-ID: 17100 |
G. Giambartolomei, F. M.-T. Frederik Mallmann-Trenn, and R. J. Saona Urmeneta, “Prophet inequalities: Separating random order from order selection,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Draft |
Preprint |
IST-REx-ID: 17173 |
J. Reker, “Multi-point functional central limit theorem for Wigner Matrices,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Draft |
Preprint |
IST-REx-ID: 17174 |
L. Erdös, S. J. Henheik, J. Reker, and V. Riabov, “Prethermalization for deformed Wigner Matrices,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Draft |
Preprint |
IST-REx-ID: 17351 |
F. Pedrotti, “Contractive coupling rates and curvature lower bounds for Markov chains,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 17378 |
E. Frantar, S. Ashkboos, T. Hoefler, and D.-A. Alistarh, “OPTQ: Accurate post-training quantization for generative pre-trained transformers,” in 11th International Conference on Learning Representations , Kigali, Rwanda, 2023.
[Published Version]
View
| Files available
2023 |
Published |
Book Chapter |
IST-REx-ID: 17380 |
S. Suzuki, A. Martin, Y. Ren, T.-Y. Chen, S. Parascho, and M. Pauly, “BamX: Rethinking Deployability in Architecture through Weaving,” in Advances in Architectural Geometry 2023, K. Dörfler, J. Knippers, A. Menges, S. Parascho, H. Pottmann, and T. Wortmann, Eds. De Gruyter, 2023.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 17498 |
A. Guéneau, J. Hostert, S. Spies, M. J. Sammler, L. Birkedal, and D. Dreyer, “Melocoton: A program logic for verified interoperability between OCaml and C,” Proceedings of the ACM on Programming Languages, vol. 7, no. OOPSLA2. Association for Computing Machinery, pp. 716–744, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17499 |
Y. Song, M. Cho, D. Lee, C.-K. Hur, M. J. Sammler, and D. Dreyer, “Conditional contextual refinement,” Proceedings of the ACM on Programming Languages, vol. 7, no. POPL. Association for Computing Machinery, pp. 1121–1151, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17500 |
M. J. Sammler et al., “DimSum: A decentralized approach to multi-language semantics and verification,” Proceedings of the ACM on Programming Languages, vol. 7, no. POPL. Association for Computing Machinery, pp. 775–805, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17507 |
H. Tagawa, S. S. Kimura, Z. Haiman, R. Perna, and I. Bartos, “Observable signatures of stellar-mass black holes in active galactic nuclei,” The Astrophysical Journal Letters, vol. 946, no. 1. American Astronomical Society, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)