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.

11746 Publications


2023 | Published | Journal Article | IST-REx-ID: 20760 | OA | PlanS
Reisenbauer J, Finkelstein P, Ebert M-O, Morandi B. 2023. Mechanistic investigation of the nickel-catalyzed transfer hydrocyanation of alkynes. ACS Catalysis. 13(17), 11548–11555.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 20761 | OA
Finkelstein P, Reisenbauer J, Botlik BB, Green O, Florin A, Morandi B. 2023. Nitrogen atom insertion into indenes to access isoquinolines. Chemical Science. 14(11), 2954–2959.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 20762 | OA
Sirvinskaite G, Reisenbauer J, Morandi B. 2023. Deaminative coupling of benzylamines and arylboronic acids. Chemical Science. 14(7), 1709–1714.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 10145 | OA
Dello Schiavo L. 2023. Ergodic decomposition of Dirichlet forms via direct integrals and applications. Potential Analysis. 58, 573–615.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 10173 | OA
Clozeau N. 2023. Optimal decay of the parabolic semigroup in stochastic homogenization  for correlated coefficient fields. Stochastics and Partial Differential Equations: Analysis and Computations. 11, 1254–1378.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Draft | Journal Article | IST-REx-ID: 10174 | OA
Clozeau N, Gloria A. Quantitative nonlinear homogenization: Control of oscillations. Archive for Rational Mechanics and Analysis . 247(4), 67.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 10405 | OA
Cipolloni G, Erdös L, Schröder DJ. 2023. Central limit theorem for linear eigenvalue statistics of non-Hermitian random matrices. Communications on Pure and Applied Mathematics. 76(5), 946–1034.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 10550 | OA
Fellner K, Fischer JL, Kniely M, Tang BQ. 2023. Global renormalised solutions and equilibration of reaction-diffusion systems with non-linear diffusion. Journal of Nonlinear Science. 33, 66.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 10551 | OA
Cornalba F, Fischer JL. 2023. The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles. Archive for Rational Mechanics and Analysis. 247(5), 76.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 10770 | OA
Graham T, Kleshnina M, Filar JA. 2023. Where do mistakes lead? A survey of games with incompetent players. Dynamic Games and Applications. 13, 231–264.
[Published Version] View | Files available | DOI | WoS
 

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

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

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

2023 | Published | Book Chapter | IST-REx-ID: 17380 | OA
Suzuki S, Martin A, Ren Y, Chen T-Y, Parascho S, Pauly M. 2023.BamX: Rethinking Deployability in Architecture through Weaving. In: Advances in Architectural Geometry 2023. De Gruyter STEM, .
[Published Version] View | Files available | DOI
 

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

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

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

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

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

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

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed