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.
7679 Publications
2023 |
Published |
Journal Article |
IST-REx-ID: 10550 |
Global renormalised solutions and equilibration of reaction-diffusion systems with non-linear diffusion
K. Fellner, J.L. Fischer, M. Kniely, B.Q. Tang, Journal of Nonlinear Science 33 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
K. Fellner, J.L. Fischer, M. Kniely, B.Q. Tang, Journal of Nonlinear Science 33 (2023).
2023 |
Published |
Journal Article |
IST-REx-ID: 10551 |
The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles
F. Cornalba, J.L. Fischer, Archive for Rational Mechanics and Analysis 247 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
F. Cornalba, J.L. Fischer, Archive for Rational Mechanics and Analysis 247 (2023).
2023 |
Published |
Journal Article |
IST-REx-ID: 20966 |
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
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).
2023 |
Published |
Journal Article |
IST-REx-ID: 20968 |
|
|
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
B. Teng, P.K. Mandal, L. Allmendinger, C. Douat, Y. Ferrand, I. Huc, Chemical Science 14 (2023) 11251–11260.
2023 |
Published |
Journal Article |
IST-REx-ID: 20969 |
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
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.
2023 |
Published |
Journal Article |
IST-REx-ID: 20970 |
|
|
(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
Y. Jin, P.K. Mandal, J. Wu, N. Böcher, I. Huc, S. Otto, Journal of the American Chemical Society 145 (2023) 2822–2829.
2023 |
Published |
Journal Article |
IST-REx-ID: 17074 |
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
M. Brooks, R. Seiringer, Probability and Mathematical Physics 3 (2023) 939–1000.
2023 |
Published |
Journal Article |
IST-REx-ID: 17078 |
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
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).
2023 |
Published |
Journal Article |
IST-REx-ID: 17079 |
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
A. Serebryakov, N. Simm, G. Dubach, Random Matrices: Theory and Applications 12 (2023).
2023 |
Submitted |
Preprint |
IST-REx-ID: 17100 |
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
G. Giambartolomei, F.M.-T. Frederik Mallmann-Trenn, R.J. Saona Urmeneta, ArXiv (n.d.).
2023 |
Draft |
Preprint |
IST-REx-ID: 17173 |
Multi-point functional central limit theorem for Wigner Matrices
J. Reker, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J. Reker, ArXiv (n.d.).
2023 |
Draft |
Preprint |
IST-REx-ID: 17174 |
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
L. Erdös, S.J. Henheik, J. Reker, V. Riabov, ArXiv (n.d.).
2023 |
Draft |
Preprint |
IST-REx-ID: 17351 |
Contractive coupling rates and curvature lower bounds for Markov chains
F. Pedrotti, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
F. Pedrotti, ArXiv (n.d.).
2023 |
Published |
Conference Paper |
IST-REx-ID: 17378 |
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
E. Frantar, S. Ashkboos, T. Hoefler, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , International Conference on Learning Representations, 2023.
2023 |
Published |
Book Chapter |
IST-REx-ID: 17380 |
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
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.
2023 |
Published |
Journal Article |
IST-REx-ID: 17498 |
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.)
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.
2023 |
Published |
Journal Article |
IST-REx-ID: 17499 |
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.)
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.
2023 |
Published |
Journal Article |
IST-REx-ID: 17500 |
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.)
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.
2023 |
Published |
Journal Article |
IST-REx-ID: 17507 |
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.)
H. Tagawa, S.S. Kimura, Z. Haiman, R. Perna, I. Bartos, The Astrophysical Journal Letters 946 (2023).
2023 |
Published |
Journal Article |
IST-REx-ID: 17513 |
Gravitational wave source populations: Disentangling an AGN component
V. Gayathri, D. Wysocki, Y. Yang, V. Delfavero, R. O’Shaughnessy, Z. Haiman, H. Tagawa, I. Bartos, The Astrophysical Journal Letters 945 (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
V. Gayathri, D. Wysocki, Y. Yang, V. Delfavero, R. O’Shaughnessy, Z. Haiman, H. Tagawa, I. Bartos, The Astrophysical Journal Letters 945 (2023).