ISTA Research Explorer

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.

6640 Publications

2025 | Published | Conference Paper | IST-REx-ID: 21090 |

Algorithmic fairness: A runtime perspective
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 1–21.

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

2024 | Published | Journal Article | IST-REx-ID: 12178 |

The stochastic primitive equations with transport noise and turbulent pressure
A. Agresti, M. Hieber, A. Hussein, M. Saal, Stochastics and Partial Differential Equations: Analysis and Computations 12 (2024) 53–133.

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

2024 | Published | Journal Article | IST-REx-ID: 12485 |

The critical variational setting for stochastic evolution equations
A. Agresti, M. Veraar, Probability Theory and Related Fields 188 (2024) 957–1015.

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

2024 | Published | Journal Article | IST-REx-ID: 12486 |

Delayed blow-up and enhanced diffusion by transport noise for systems of reaction-diffusion equations
A. Agresti, Stochastics and Partial Differential Equations: Analysis and Computations 12 (2024) 1907–1981.

2024 | Published | Journal Article | IST-REx-ID: 12738 |

Stochastic games with lexicographic objectives
K. Chatterjee, J.P. Katoen, S. Mohr, M. Weininger, T. Winkler, Formal Methods in System Design 63 (2024) 40–80.

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

2024 | Published | Journal Article | IST-REx-ID: 12846 |

Area formula for spherical polygons via prequantization
A. Chern, S. Ishida, SIAM Journal on Applied Algebra and Geometry 8 (2024) 782–796.

2024 | Published | Journal Article | IST-REx-ID: 12875 |

Multipotent progenitors instruct ontogeny of the superior colliculus
G.T. Cheung, F. Pauler, P. Koppensteiner, T. Krausgruber, C. Streicher, M. Schrammel, N.Y. Özgen, A. Ivec, C. Bock, R. Shigemoto, S. Hippenmeyer, Neuron 112 (2024) 230–246.e11.

2024 | Published | Journal Article | IST-REx-ID: 13093 |

Engineering of thermoelectric composites based on silver selenide in aqueous solution and ambient temperature
B. Nan, M. Li, Y. Zhang, K. Xiao, K.H. Lim, C. Chang, X. Han, Y. Zuo, J. Li, J. Arbiol, J. Llorca, M. Ibáñez, A. Cabot, ACS Applied Electronic Materials 6 (2024) 2807–215.

2024 | Published | Journal Article | IST-REx-ID: 13129 |

Bias in the representative volume element method: Periodize the ensemble instead of its realizations
N. Clozeau, M. Josien, F. Otto, Q. Xu, Foundations of Computational Mathematics 24 (2024) 1305–1387.

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

2024 | Published | Journal Article | IST-REx-ID: 13271 |

Some convexity and monotonicity results of trace functionals
H. Zhang, Annales Henri Poincare 25 (2024) 2087–2106.

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

2024 | Published | Journal Article | IST-REx-ID: 13318 |

Noncommutative Bohnenblust–Hille inequalities
A. Volberg, H. Zhang, Mathematische Annalen 389 (2024) 1657–1676.

UNCOVER: Candidate red active galactic nuclei at 3 < z < 7 with JWST and ALMA
Labbe I, Greene JE, Bezanson R, Fujimoto S, Furtak LJ, Goulding AD, Matthee JJ, Naidu RP, Oesch PA, Atek H, Brammer G, Chemerynska I, Coe D, Cutler SE, Dayal P, Feldmann R, Franx M, Glazebrook K, Leja J, Maseda M, Marchesini D, Nanayakkara T, Nelson EJ, Pan R, Papovich C, Price SH, Suess KA, Wang B冰洁, Weaver JR, Whitaker KE, Williams CC, Zitrin A. 2024. UNCOVER: Candidate red active galactic nuclei at 3 < z < 7 with JWST and ALMA. The Astrophysical Journal. 978, 92.

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

2024 | Research Data Reference | IST-REx-ID: 21304 |

archaeal_membranes : code and examples
M. Santana de Freitas Amaral, (2024).

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2024 | Draft | Preprint | IST-REx-ID: 21967 |

Genealogies under purifying selection
K. Khudiakova, F. Boenkost, J.N. Tourniaire, BioRxiv (n.d.).

[Preprint] View | Files available | DOI | Download Preprint (ext.)

2024 | Published | Journal Article | IST-REx-ID: 13974 |

The crossing Tverberg theorem
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, U. Wagner, Discrete and Computational Geometry 72 (2024) 831–848.

2024 | Published | Journal Article | IST-REx-ID: 13975 |

Spectrum of Lévy–Khintchine random laplacian matrices
A.J. Campbell, S. O’Rourke, Journal of Theoretical Probability 37 (2024) 933–973.

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

2024 | Published | Conference Paper | IST-REx-ID: 14213 |

Divided attention: Unsupervised multi-object discovery with contextually separated slots
D. Lao, Z. Hu, F. Locatello, Y. Yang, S. Soatto, in:, 1st Conference on Parsimony and Learning, 2024.

[Published Version] View | Files available | arXiv

2024 | Published | Journal Article | IST-REx-ID: 14251 |

Divergence of trafficking and polarization mechanisms for PIN auxin transporters during land plant evolution
H. Tang, K. Lu, Y. Zhang, Y. Cheng, S. Tu, J. Friml, Plant Communications 5 (2024).

2024 | Published | Journal Article | IST-REx-ID: 14257 |

Imaging brain tissue architecture across millimeter to nanometer scales
J.M. Michalska, J. Lyudchik, P. Velicky, H. Korinkova, J. Watson, A. Cenameri, C.M. Sommer, N. Amberg, A. Venturino, K. Roessler, T. Czech, R. Höftberger, S. Siegert, G. Novarino, P.M. Jonas, J.G. Danzl, Nature Biotechnology 42 (2024) 1051–1064.

2024 | Published | Journal Article | IST-REx-ID: 14345 |

On angles in higher order Brillouin tessellations and related tilings in the plane
H. Edelsbrunner, A. Garber, M. Ghafari, T. Heiss, M. Saghafian, Discrete and Computational Geometry 72 (2024) 29–48.

ISTA Research Explorer

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

6640 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

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

6640 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options