ISTA Research Explorer

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6426 Publications

2023 | Published | Journal Article | IST-REx-ID: 13092 |

Nan, B., Song, X., Chang, C., Xiao, K., Zhang, Y., Yang, L., … Cabot, A. (2023). Bottom-up synthesis of SnTe-based thermoelectric composites. ACS Applied Materials and Interfaces. American Chemical Society. https://doi.org/10.1021/acsami.3c00625

2023 | Published | Journal Article | IST-REx-ID: 13094 |

Azadbakht, A., Meadowcroft, B., Varkevisser, T., Šarić, A., & Kraft, D. J. (2023). Wrapping pathways of anisotropic dumbbell particles by Giant Unilamellar Vesicles. Nano Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.3c00375

2023 | Published | Journal Article | IST-REx-ID: 13095 |

Troussicot, L., Vallet, A., Molin, M., Burmann, B. M., & Schanda, P. (2023). Disulfide-bond-induced structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/jacs.3c01200

2023 | Published | Journal Article | IST-REx-ID: 13096 |

Degen, M., Santos, J. C., Pluhackova, K., Cebrero, G., Ramos, S., Jankevicius, G., … Hiller, S. (2023). Structural basis of NINJ1-mediated plasma membrane rupture in cell death. Nature. Springer Nature. https://doi.org/10.1038/s41586-023-05991-z

2023 | Published | Journal Article | IST-REx-ID: 13118

Hernandez, J.-A., Bethkenhagen, M., Ninet, S., French, M., Benuzzi-Mounaix, A., Datchi, F., … Ravasio, A. (2023). Melting curve of superionic ammonia at planetary interior conditions. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-023-02074-8

View | Files available | DOI | WoS

2023 | Published | Journal Article | IST-REx-ID: 13119 |

Helson, V., Zwettler, T., Mivehvar, F., Colella, E., Roux, K. E. R., Konishi, H., … Brantut, J. P. (2023). Density-wave ordering in a unitary Fermi gas with photon-mediated interactions. Nature. Springer Nature. https://doi.org/10.1038/s41586-023-06018-3

2023 | Published | Journal Article | IST-REx-ID: 13127 |

Casillas Perez, B. E., Bodova, K., Grasse, A. V., Tkačik, G., & Cremer, S. (2023). Dynamic pathogen detection and social feedback shape collective hygiene in ants. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-38947-y

2023 | Published | Journal Article | IST-REx-ID: 13134

Čomić, L., Largeteau-Skapin, G., Zrour, R., Biswas, R., & Andres, E. (2023). Discrete analytical objects in the body-centered cubic grid. Pattern Recognition. Elsevier. https://doi.org/10.1016/j.patcog.2023.109693

View | DOI | WoS

2023 | Published | Journal Article | IST-REx-ID: 13135 |

Agresti, A., & Veraar, M. (2023). Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity. Journal of Differential Equations. Elsevier. https://doi.org/10.1016/j.jde.2023.05.038

[Published Version] View | Files available | DOI | WoS

2023 | Published | Conference Paper | IST-REx-ID: 13139 |

Meggendorfer, T. (2023). Correct approximation of stationary distributions. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13993, pp. 489–507). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30823-9_25

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Published | Conference Paper | IST-REx-ID: 13141 |

Anand, A., Mallik, K., Nayak, S. P., & Schmuck, A. K. (2023). Computing adequately permissive assumptions for synthesis. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 211–228). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30820-8_15

[Published Version] View | Files available | DOI | WoS

2023 | Published | Conference Paper | IST-REx-ID: 13142 |

Chatterjee, K., Henzinger, T. A., Lechner, M., & Zikelic, D. (2023). A learner-verifier framework for neural network controllers and certificates of stochastic systems. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13993, pp. 3–25). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30823-9_1

[Published Version] View | Files available | DOI | WoS

2023 | Published | Journal Article | IST-REx-ID: 13145 |

Dello Schiavo, L., & Lytvynov, E. (2023). A Mecke-type characterization of the Dirichlet–Ferguson measure. Electronic Communications in Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/23-ECP528

[Published Version] View | Files available | DOI | WoS

2023 | Published | Journal Article | IST-REx-ID: 13164 |

Gert, K. R. B., Panser, K., Surm, J., Steinmetz, B. S., Schleiffer, A., Jovine, L., … Pauli, A. (2023). Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-39317-4

2023 | Published | Journal Article | IST-REx-ID: 13165 |

Fang, L., Huang, H., Pach, J., Tardos, G., & Zuo, J. (2023). Successive vertex orderings of fully regular graphs. Journal of Combinatorial Theory. Series A. Elsevier. https://doi.org/10.1016/j.jcta.2023.105776

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Published | Journal Article | IST-REx-ID: 13168 |

Xu J, Liu N, Polemiti E, Garcia-Mondragon L, Tang J, Liu X, Lett T, Yu L, Nöthen MM, Feng J, Yu C, Marquand A, Schumann G, Walter H, Heinz A, Ralser M, Twardziok S, Vaidya N, Serin E, Jentsch M, Hitchen E, Eils R, Taron UH, Schütz T, Schepanski K, Banks J, Banaschewski T, Jansone K, Christmann N, Meyer-Lindenberg A, Tost H, Holz N, Schwarz E, Stringaris A, Neidhart M, Nees F, Siehl S, A. Andreassen O, T. Westlye L, Van Der Meer D, Fernandez S, Kjelkenes R, Ask H, Rapp M, Tschorn M, Böttger SJ, Novarino G, Marr L, Slater M, Viapiana GF, Orosa FE, Gallego J, Pastor A, Forstner A, Hoffmann P, M. Nöthen M, J. Forstner A, Claus I, Miller A, Heilmann-Heimbach S, Sommer P, Boye M, Wilbertz J, Schmitt K, Jirsa V, Petkoski S, Pitel S, Otten L, Athanasiadis AP, Pearmund C, Spanlang B, Alvarez E, Sanchez M, Giner A, Hese S, Renner P, Jia T, Gong Y, Xia Y, Chang X, Calhoun V, Liu J, Thompson P, Clinton N, Desrivieres S, H. Young A, Stahl B, Ogoh G. 2023. Effects of urban living environments on mental health in adults. Nature Medicine. 29, 1456–1467.

[Published Version] View | Files available | DOI | WoS

2023 | Research Data | IST-REx-ID: 13173 |

Shigemoto, R. (2023). Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:13173

[Published Version] View | Files available | DOI

2023 | Published | Journal Article | IST-REx-ID: 13177 |

Hua, B., Keller, M., Schwarz, M., & Wirth, M. (2023). Sobolev-type inequalities and eigenvalue growth on graphs with finite measure. Proceedings of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/proc/14361

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2023 | Published | Journal Article | IST-REx-ID: 13178 |

Mitrouskas, D. J., Mysliwy, K., & Seiringer, R. (2023). Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron. Forum of Mathematics. Cambridge University Press. https://doi.org/10.1017/fms.2023.45

[Published Version] View | Files available | DOI | WoS | arXiv

2023 | Published | Journal Article | IST-REx-ID: 13179 |

Koval, N., Khalanskiy, D., & Alistarh, D.-A. (2023). CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. Association for Computing Machinery . https://doi.org/10.1145/3591230

[Published Version] View | Files available | DOI

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6426 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6426 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options