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.

11357 Publications

Solubility of a resultant equation and applications
T.D. Browning, S. Chan, Journal de l’ecole Polytechnique Mathematiques 12 (2025) 1677–1691.

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

2025 | Submitted | Preprint | IST-REx-ID: 21399 |

The equational theories project: Advancing collaborative mathematical research at scale
Bolan M, Breitner J, Brox J, Carlini N, Carneiro M, Doorn F van, Dvorak M, Goens A, Hill A, Husum H, Mejia HI, Kocsis ZA, Floch BL, Bar-on A, Luccioli L, McNeil D, Meiburg A, Monticone P, Nielsen PP, Osazuwa EO, Paolini G, Petracci M, Reinke B, Renshaw D, Rossel M, Roux C, Scanvic J, Srinivas S, Tadipatri AR, Tao T, Tsyrklevich V, Vaquerizo-Villar F, Weber D, Zheng F. The equational theories project: Advancing collaborative mathematical research at scale. arXiv, 10.48550/arXiv.2512.07087.

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

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

Boosting payment channel network liquidity with topology optimization and transaction selection
K. Chatterjee, J.M. Křišťan, S. Schmid, J. Svoboda, M.X. Yeo, in:, 39th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.

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

Learning algorithms for verification of Markov decision processes
T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, T. Meggendorfer, D. Parker, M. Ujma, TheoretiCS 4 (2025).

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

2025 | Published | Journal Article | IST-REx-ID: 17037

Marginal values of a stochastic game
L. Attia, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research 50 (2025) 482–505.

View | Files available | DOI | WoS

Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design 66 (2025) 3–48.

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

2025 | Published | Journal Article | IST-REx-ID: 17149 |

Average and expected distortion of Voronoi paths and scapes
H. Edelsbrunner, A. Nikitenko, Discrete & Computational Geometry 73 (2025) 490–499.

Almost optimal upper bound for the ground state energy of a dilute Fermi gas via cluster expansion
A.B. Lauritsen, Annales Henri Poincare 26 (2025) 203–243.

2025 | Published | Journal Article | IST-REx-ID: 17293 |

Nanoarchitecture of CaV>2.1 channels and GABAB receptors in the mouse hippocampus: Impact of APP/PS1 pathology
A. Martín‐Belmonte, C. Aguado, R. Alfaro‐Ruiz, A. Kulik, L. de la Ossa, A.E. Moreno‐Martínez, S. Alberquilla, L. García‐Carracedo, M. Fernández, A. Fajardo‐Serrano, E. Aso, R. Shigemoto, E.D. Martín, Y. Fukazawa, F. Ciruela, R. Luján, Brain Pathology 35 (2025).

2025 | Published | Journal Article | IST-REx-ID: 17459 |

Langerhans cells: Central players in the pathophysiology of atopic dermatitis
Y. Pan, M. Hochgerner, M.A. Cichon, T. Benezeder, T. Bieber, P. Wolf, Journal of the European Academy of Dermatology and Venereology 39 (2025) 278–289.

Marcus kinetics control singlet and triplet oxygen evolving from superoxide
S. Mondal, H.T.K. Nguyen, R. Hauschild, S.A. Freunberger, Nature 646 (2025) 601–605.

2025 | Published | Journal Article | IST-REx-ID: 8125 |

High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating
W.F. Podlaski, E.J. Agnes, T.P. Vogels, Physical Review X 15 (2025).

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

2025 | Published | Journal Article | IST-REx-ID: 8616 |

Reduction of neuronal activity mediated by blood-vessel regression in the brain
Gao X, Li J-L, Chen X, Ci B, Chen F, Lu N, Shen B, Zheng L, Jia J-M, Yi Y, Zhang S, Shi Y-C, Shi K, Propson NE, Huang Y, Poinsatte K, Zhang Z, Yue Y, Bosco DB, Lu Y, Yang S, Adams RH, Lindner V, Huang F, Wu L-J, Zheng H, Han F, Hippenmeyer S, Stowe AM, Peng B, Margeta M, Wang X, Liu Q, Körbelin J, Trepel M, Lu H, Zhou BO, Zhao H, Su W, Bachoo RM, Ge W. 2025. Reduction of neuronal activity mediated by blood-vessel regression in the brain. Nature Communications. 16, 5840.

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

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

Privacy-preserving runtime verification
T.A. Henzinger, M. Karimi, K.S. Thejaswini, in:, Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2025, pp. 2774–2787.

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

2025 | Draft | Preprint | IST-REx-ID: 21398 |

Composition direction of Seymour's theorem for regular matroids — Formally verified
M. Dvorak, T. Figueroa-Reid, R. Hamadani, B.-H. Hwang, E. Karunus, V. Kolmogorov, A. Meiburg, A. Nelson, P. Nelson, M. Sandey, I. Sergeev, ArXiv (n.d.).

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

2025 | Published | Journal Article | IST-REx-ID: 21432 |

Unconventional superlattice ordering in intercalated transition metal dichalcogenide V1/3NbS2
S.S. Fender, N. Schnitzer, W. Fang, L. Bhatt, D. Huang, A. Malik, O. Gonzalez, V. Sunko, L.S. Xie, D.A. Muller, J. Orenstein, Y. Ping, B.H. Goodge, D.K. Bediako, Journal of the American Chemical Society 147 (2025) 32315–32320.

2025 | Published | Journal Article | IST-REx-ID: 21431 |

Linear magnetoconductivity as a probe of time-reversal symmetry breaking
V. Sunko, C. Liu, M. Vila, I. Na, Y. Tang, V. Kozii, S.M. Griffin, J.E. Moore, J. Orenstein, Physical Review B 112 (2025).

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

2025 | Published | Journal Article | IST-REx-ID: 21433 |

Orbital-spin locking and its optical signatures in altermagnets
M. Vila, V. Sunko, J.E. Moore, Physical Review B 112 (2025).

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

2025 | Published | Journal Article | IST-REx-ID: 20755 |

Efficient optimization and synthesis of diverse azaarenes via nitrogen atom insertion under continuous flow conditions
S. Moon, J. Reisenbauer, A.-S.K. Paschke, A. Scotto, L. Terraneo, N. Brenner, Q. Lefebvre, T.C. Fessard, B. Morandi, Chemical Communications 61 (2025) 16993–16996.

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

2025 | Submitted | Preprint | IST-REx-ID: 21435 |

Strain-induced multiferroicity in Cr1/3NbS2
Y. Sun, Y. Ahn, D. Sapkota, H.S. Arachchige, R. Xue, S. Mozaffari, D.G. Mandrus, L. Zhao, J. Orenstein, V. Sunko, ArXiv (n.d.).

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

ISTA Research Explorer

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

11357 Publications

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).

11357 Publications

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options