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.
8449 Publications
2023 |
Published |
Journal Article |
IST-REx-ID: 20760 |
|
|
Reisenbauer, J., Finkelstein, P., Ebert, M.-O., & Morandi, B. (2023). Mechanistic investigation of the nickel-catalyzed transfer hydrocyanation of alkynes. ACS Catalysis. American Chemical Society. https://doi.org/10.1021/acscatal.3c02977
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 20761 |
Finkelstein, P., Reisenbauer, J., Botlik, B. B., Green, O., Florin, A., & Morandi, B. (2023). Nitrogen atom insertion into indenes to access isoquinolines. Chemical Science. Royal Society of Chemistry. https://doi.org/10.1039/d2sc06952k
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 20762 |
Sirvinskaite, G., Reisenbauer, J., & Morandi, B. (2023). Deaminative coupling of benzylamines and arylboronic acids. Chemical Science. Royal Society of Chemistry. https://doi.org/10.1039/d2sc06055h
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 10145 |
Dello Schiavo, L. (2023). Ergodic decomposition of Dirichlet forms via direct integrals and applications. Potential Analysis. Springer Nature. https://doi.org/10.1007/s11118-021-09951-y
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 10173 |
Clozeau, N. (2023). Optimal decay of the parabolic semigroup in stochastic homogenization for correlated coefficient fields. Stochastics and Partial Differential Equations: Analysis and Computations. Springer Nature. https://doi.org/10.1007/s40072-022-00254-w
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Draft |
Journal Article |
IST-REx-ID: 10174 |
Clozeau, N., & Gloria, A. (n.d.). Quantitative nonlinear homogenization: Control of oscillations. Archive for Rational Mechanics and Analysis . Springer Nature. https://doi.org/10.1007/s00205-023-01895-4
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 10405 |
Cipolloni, G., Erdös, L., & Schröder, D. J. (2023). Central limit theorem for linear eigenvalue statistics of non-Hermitian random matrices. Communications on Pure and Applied Mathematics. Wiley. https://doi.org/10.1002/cpa.22028
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 10550 |
Fellner, K., Fischer, J. L., Kniely, M., & Tang, B. Q. (2023). Global renormalised solutions and equilibration of reaction-diffusion systems with non-linear diffusion. Journal of Nonlinear Science. Springer Nature. https://doi.org/10.1007/s00332-023-09926-w
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 10551 |
Cornalba, F., & Fischer, J. L. (2023). The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles. Archive for Rational Mechanics and Analysis. Springer Nature. https://doi.org/10.1007/s00205-023-01903-7
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 10770 |
Graham, T., Kleshnina, M., & Filar, J. A. (2023). Where do mistakes lead? A survey of games with incompetent players. Dynamic Games and Applications. Springer Nature. https://doi.org/10.1007/s13235-022-00425-3
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 9652 |
Dymond, M., & Kaluza, V. (2023). Highly irregular separated nets. Israel Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s11856-022-2448-6
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
earlier version | 2023 |
Draft |
Preprint |
IST-REx-ID: 17351 |
Pedrotti, F. (n.d.). Contractive coupling rates and curvature lower bounds for Markov chains. arXiv. https://doi.org/10.48550/arXiv.2308.00516
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Book Chapter |
IST-REx-ID: 17380 |
Suzuki, S., Martin, A., Ren, Y., Chen, T.-Y., Parascho, S., & Pauly, M. (2023). BamX: Rethinking Deployability in Architecture through Weaving. In K. Dörfler, J. Knippers, A. Menges, S. Parascho, H. Pottmann, & T. Wortmann (Eds.), Advances in Architectural Geometry 2023. De Gruyter. https://doi.org/10.1515/9783111162683-016
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 17498 |
Guéneau, A., Hostert, J., Spies, S., Sammler, M. J., Birkedal, L., & Dreyer, D. (2023). Melocoton: A program logic for verified interoperability between OCaml and C. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3622823
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17499 |
Song, Y., Cho, M., Lee, D., Hur, C.-K., Sammler, M. J., & Dreyer, D. (2023). Conditional contextual refinement. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3571232
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17500 |
Sammler, M. J., 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. Association for Computing Machinery. https://doi.org/10.1145/3571220
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17507 |
Tagawa, H., Kimura, S. S., Haiman, Z., Perna, R., & Bartos, I. (2023). Observable signatures of stellar-mass black holes in active galactic nuclei. The Astrophysical Journal Letters. American Astronomical Society. https://doi.org/10.3847/2041-8213/acc103
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17513 |
Gayathri, V., Wysocki, D., Yang, Y., Delfavero, V., O’Shaughnessy, R., Haiman, Z., … Bartos, I. (2023). Gravitational wave source populations: Disentangling an AGN component. The Astrophysical Journal Letters. American Astronomical Society. https://doi.org/10.3847/2041-8213/acbfb8
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17514 |
Naoz, S., & Haiman, Z. (2023). The enhanced population of extreme mass-ratio inspirals in the LISA band from supermassive black hole binaries. The Astrophysical Journal Letters. American Astronomical Society. https://doi.org/10.3847/2041-8213/acf8c9
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |
Published |
Journal Article |
IST-REx-ID: 17521 |
Krauth, L. M., Davelaar, J., Westernacher-Schneider, J. R., Haiman, Z., Zrake, J., & MacFadyen, A. (2023). Disappearing thermal X-ray emission as a tell-tale signature of merging massive black hole binaries. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stad3095
[Published Version]
View
| DOI
| Download Published Version (ext.)