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

SELF-ORGANIZATION OF PROTEIN SYSTEMS

ALGORITHMS, COMPUTATIONAL GEOMETRY, AND COMPUTATIONAL TOPOLOGY

MICROGLIA-NEURON INTERACTION

QUANTUM DYNAMICS AND CONDENSED MATTER THEORY

GEOMETRY AND ITS INTERFACES

COMPUTER GRAPHICS AND DIGITAL FABRICATION

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

Gray-box runtime enforcement of hyperproperties

Tzu Han Hsu, Ana A Oliveira Da Costa, Andrew Wintenberg, Ezio Bartocci, Borzoo Bonakdarpour

Acta Informatica 2025

JOURNAL ARTICLE

Can supermassive stars form in protogalaxies due to internal Lyman-Werner feedback?

James Sullivan, Zoltán Haiman, Mihir Kulkarni, Eli Visbal

Monthly Notices of the Royal Astronomical Society 2025

JOURNAL ARTICLE

Stability estimate for the Lane–Emden inequality

Eric Carlen, Mathieu Lewin, Elliott H. Lieb, Robert Seiringer

Calculus of Variations and Partial Differential Equations 2025

JOURNAL ARTICLE

Integral points on cubic surfaces: heuristics and numerics

Timothy D Browning, Florian Alexander Wilsch

Selecta Mathematica New Series 2025

JOURNAL ARTICLE

Identification and elimination of surface emission in lanthanide (Co)doped zirconia nanocrystals

Nico Reichholf, Sharona Horta, David Van Der Heggen, Carlotta Seno, Jikson Pulparayil Mathew, Maria Ibáñez, Philippe F. Smet, Jonathan De Roo

ACS Nano 2025



sidebar arrow up
Back to Top