Latest News

image arrow
image arrow

Upcoming Events

theme image arrow left
theme image arrow left

Graduate Education

The ISTA PhD Experience

Faculty (current and future)

theme image arrow left
theme image arrow left

PROGRAMMING LANGUAGES AND VERIFICATION

CELLULAR MORPHODYNAMICS

ALGORITHMS, COMPUTATIONAL GEOMETRY, AND COMPUTATIONAL TOPOLOGY

SEX-CHROMOSOME BIOLOGY AND EVOLUTION

GENETIC AND MOLECULAR BASIS OF NEURODEVELOPMENTAL DISORDERS

NANOELECTRONICS

MATERIALS ELECTROCHEMISTRY

Supporting Science

The Scientific Service Units
at ISTA

XISTA

Empowering science-based innovators to drive transformative change

Recent Publications

image arrow
image arrow

JOURNAL ARTICLE

Mirror symmetry for parabolic Higgs bundles via p-adic integration

Shiyu Shen

Advances in Mathematics 2024

JOURNAL ARTICLE

Sharp interface limit for a Navier–Stokes/Allen–Cahn system in the case of a vanishing mobility

Helmut Abels, Mingwen Fei, Maximilian Moser

Calculus of Variations and Partial Differential Equations 2024

JOURNAL ARTICLE

Density of rational points on some quadric bundle threefolds

Dante Bonolis, Timothy D Browning, Zhizhong Huang

Mathematische Annalen 2024

JOURNAL ARTICLE

Postsynaptic receptors regulate presynaptic transmitter stability through transsynaptic bridges

Swetha K. Godavarthi, Masaki Hiramoto, Yuri Ignatyev, Jacqueline B. Levin, Hui Quan Li, Marta Pratelli, Jennifer Borchardt, Cynthia Czajkowski, Laura N. Borodinsky, Lora Beatrice Jaeger Sweeney, Hollis T. Cline, Nicholas C. Spitzer

PNAS 2024

JOURNAL ARTICLE

Pushing thermal conductivity to its lower limit in crystals with simple structures

Zezhu Zeng, Xingchen Shen, Ruihuan Cheng, Olivier Perez, Niuchang Ouyang, Zheyong Fan, Pierric Lemoine, Bernard Raveau, Emmanuel Guilmeau, Yue Chen

Nature Communications 2024

JOURNAL ARTICLE

A note on the binding energy for Bosons in the mean-field limit

Lea Bossmann, Nikolai K Leopold, David Johannes Mitrouskas, Sören P Petrat

Journal of Statistical Physics 2024

CONFERENCE

Bubaak-SpLit: Split what you cannot verify (Competition contribution)

Marek Chalupa, Cedric Richter

TACAS: Tools and Algorithms for the Construction and Analysis of Systems 2024



sidebar arrow up
Back to Top