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 | OA
High‐affinity hybridization of complementary aromatic oligoamide strands in water
V. Koehler, G. Bruschera, E. Merlet, P.K. Mandal, E. Morvan, F. Rosu, C. Douat, L. Fischer, I. Huc, Y. Ferrand, Angewandte Chemie International Edition 62 (2023).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 20968 | OA | PlanS
Controlling aromatic helix dimerization in water by tuning charge repulsions
B. Teng, P.K. Mandal, L. Allmendinger, C. Douat, Y. Ferrand, I. Huc, Chemical Science 14 (2023) 11251–11260.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 20969 | OA
Self-assembly of achiral building blocks into chiral cyclophanes using non-directional interactions
Y. Zhang, B. Ourri, P.-T. Skowron, E. Jeamet, T. Chetot, C. Duchamp, A.M. Belenguer, N. Vanthuyne, O. Cala, E. Dumont, P.K. Mandal, I. Huc, F. Perret, L. Vial, J. Leclaire, Chemical Science 14 (2023) 7126–7135.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 20970 | OA | PlanS
(Re-)directing oligomerization of a single building block into two specific dynamic covalent foldamers through pH
Y. Jin, P.K. Mandal, J. Wu, N. Böcher, I. Huc, S. Otto, Journal of the American Chemical Society 145 (2023) 2822–2829.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 17074 | OA
Validity of Bogoliubov’s approximation fortranslation-invariant Bose gases
M. Brooks, R. Seiringer, Probability and Mathematical Physics 3 (2023) 939–1000.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 17078 | OA
RNA oligomerisation without added catalyst from 2′,3′‐cyclic nucleotides by drying at air-water interfaces
A.V. Dass, S. Wunnava, J. Langlais, B. von der Esch, M. Krusche, L. Ufer, N. Chrisam, R.C.A. Dubini, F. Gartner, S. Angerpointner, C.F. Dirscherl, P. Rovo, C.B. Mast, J.E. Šponer, C. Ochsenfeld, E. Frey, D. Braun, ChemSystemsChem 5 (2023).
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 17079 | OA
Characteristic polynomials of random truncations: Moments, duality and asymptotics
A. Serebryakov, N. Simm, G. Dubach, Random Matrices: Theory and Applications 12 (2023).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Submitted | Preprint | IST-REx-ID: 17100 | OA
Prophet inequalities: Separating random order from order selection
G. Giambartolomei, F.M.-T. Frederik Mallmann-Trenn, R.J. Saona Urmeneta, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Draft | Preprint | IST-REx-ID: 17173 | OA
Multi-point functional central limit theorem for Wigner Matrices
J. Reker, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Draft | Preprint | IST-REx-ID: 17174 | OA
Prethermalization for deformed Wigner Matrices
L. Erdös, S.J. Henheik, J. Reker, V. Riabov, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Draft | Preprint | IST-REx-ID: 17351 | OA
Contractive coupling rates and curvature lower bounds for Markov chains
F. Pedrotti, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 17378 | OA
OPTQ: Accurate post-training quantization for generative pre-trained transformers
E. Frantar, S. Ashkboos, T. Hoefler, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , International Conference on Learning Representations, 2023.
[Published Version] View | Files available
 

2023 | Published | Journal Article | IST-REx-ID: 17379
C-shells: Deployable gridshells with curved beams
Q. Becker, S. Suzuki, Y. Ren, D. Pellis, J. Panetta, M. Pauly, ACM Transactions on Graphics 42 (2023).
View | DOI
 

2023 | Published | Book Chapter | IST-REx-ID: 17380 | OA
BamX: Rethinking Deployability in Architecture through Weaving
S. Suzuki, A. Martin, Y. Ren, T.-Y. Chen, S. Parascho, M. Pauly, in:, K. Dörfler, J. Knippers, A. Menges, S. Parascho, H. Pottmann, T. Wortmann (Eds.), Advances in Architectural Geometry 2023, De Gruyter, 2023.
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 17381
Computational exploration of multistable elastic knots
M. Vidulis, Y. Ren, J. Panetta, E. Grinspun, M. Pauly, ACM Transactions on Graphics 42 (2023).
View | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 17382
From kirigami to hydrogels: A tutorial on designing conformally transformable surfaces
Y. Wang, Y. Ren, T. Chen, Journal of Applied Mechanics 90 (2023).
View | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 17498 | OA
Melocoton: A program logic for verified interoperability between OCaml and C
A. Guéneau, J. Hostert, S. Spies, M.J. Sammler, L. Birkedal, D. Dreyer, Proceedings of the ACM on Programming Languages 7 (2023) 716–744.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Published | Journal Article | IST-REx-ID: 17499 | OA
Conditional contextual refinement
Y. Song, M. Cho, D. Lee, C.-K. Hur, M.J. Sammler, D. Dreyer, Proceedings of the ACM on Programming Languages 7 (2023) 1121–1151.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Published | Journal Article | IST-REx-ID: 17500 | OA
DimSum: A decentralized approach to multi-language semantics and verification
M.J. Sammler, S. Spies, Y. Song, E. D’Osualdo, R. Krebbers, D. Garg, D. Dreyer, Proceedings of the ACM on Programming Languages 7 (2023) 775–805.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Published | Journal Article | IST-REx-ID: 17507 | OA
Observable signatures of stellar-mass black holes in active galactic nuclei
H. Tagawa, S.S. Kimura, Z. Haiman, R. Perna, I. Bartos, The Astrophysical Journal Letters 946 (2023).
[Published Version] View | DOI | Download Published Version (ext.)
 

Search

Filter Publications

Display / Sort

Export / Embed