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.

6972 Publications


2023 | Conference Paper | IST-REx-ID: 13310 | OA
Monitoring algorithmic fairness
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 12205 | OA
Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome and patient survival in primary and recurrent high-grade serous ovarian cancer: A multicenter retrospective study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) consortium
J. Glajzer, D.C. Castillo-Tong, R. Richter, I. Vergote, H. Kulbe, A. Vanderstichele, I. Ruscito, F. Trillsch, A. Mustea, C. Kreuzinger, C. Gourley, H. Gabra, E.T. Taube, O. Dorigo, D. Horst, C. Keunecke, J. Baum, T. Angelotti, J. Sehouli, E.I. Braicu, Annals of Surgical Oncology 30 (2023) 35–45.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12115 | OA
ASO Visual Abstract: Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome, and patient survival in primary and recurrent high-grade serous ovarian cancer (HGSOC). A multicenter, retrospective study of the ovarian cancer therapy—innovative models prolong survival (OCTIPS) consortium
J. Glajzer, D.C. Castillo-Tong, R. Richter, I. Vergote, H. Kulbe, A. Vanderstichele, I. Ruscito, F. Trillsch, A. Mustea, C. Kreuzinger, C. Gourley, H. Gabra, E.T. Taube, O. Dorigo, D. Horst, C. Keunecke, J. Baum, T. Angelotti, J. Sehouli, E.I. Braicu, Annals of Surgical Oncology 30 (2023) 46–47.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2023 | Journal Article | IST-REx-ID: 14253 | OA
Neuronal ER-plasma membrane junctions couple excitation to Ca2+-activated PKA signaling
N.C. Vierra, L. Ribeiro-Silva, M. Kirmiz, D. Van Der List, P. Bhandari, O.A. Mack, J. Carroll, E. Le Monnier, S.A. Aicher, R. Shigemoto, J.S. Trimmer, Nature Communications 14 (2023).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 | Conference Paper | IST-REx-ID: 14259 | OA
Guessing winning policies in LTL synthesis by semantic learning
J. Kretinsky, T. Meggendorfer, M. Prokop, S. Rieder, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 390–414.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 14277 | OA
Interplay between mechanochemical patterning and glassy dynamics in cellular monolayers
D.R. Boocock, T. Hirashima, E.B. Hannezo, PRX Life 1 (2023).
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 14314 | OA
Theta oscillations as a substrate for medial prefrontal-hippocampal assembly interactions
M. Nardin, K. Käfer, F. Stella, J.L. Csicsvari, Cell Reports 42 (2023).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 | Conference Paper | IST-REx-ID: 14318 | OA
Automated tail bound analysis for probabilistic recurrence relations
Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Computer Aided Verification, Springer Nature, 2023, pp. 16–39.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14317 | OA
MDPs as distribution transformers: Affine invariant synthesis for safety objectives
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 14316 | OA
Distinct role of TGN-resident clathrin adaptors for Vps21p activation in the TGN-endosome trafficking pathway
M. Nagano, K. Aoshima, H. Shimamura, D.E. Siekhaus, J.Y. Toshima, J. Toshima, Journal of Cell Science 136 (2023).
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 14320 | OA
Deep learning extraction of band structure parameters from density of states: A case study on trilayer graphene
P.M. Henderson, A. Ghazaryan, A.A. Zibrov, A.F. Young, M. Serbyn, Physical Review B 108 (2023).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Thesis | IST-REx-ID: 12732 | OA
Ergodicity breaking in disordered and kinetically constrained quantum many-body systems
P. Brighi, Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems, Institute of Science and Technology Austria, 2023.
View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 14334 | OA
Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models
P. Brighi, M. Ljubotina, M. Serbyn, SciPost Physics 15 (2023).
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 14321 | OA
Achiral dipoles on a ferromagnet can affect its magnetization direction
R. Al Hyder, A. Cappellaro, M. Lemeshko, A. Volosniev, The Journal of Chemical Physics 159 (2023).
[Published Version] View | Files available | DOI | PubMed | Europe PMC | arXiv
 

2023 | Journal Article | IST-REx-ID: 14342 | OA
Mid-infrared Kerr index evaluation via cross-phase modulation with a near-infrared probe beam
D. Lorenc, Z. Alpichshev, Applied Physics Letters 123 (2023).
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 13969 | OA
Approximating the bundled crossing number
A.M. Arroyo Guevara, S. Felsner, Journal of Graph Algorithms and Applications 27 (2023) 433–457.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 12710 | OA
Curvature in biological systems: Its quantification, emergence, and implications across the scales
Schamberger B, Ziege R, Anselme K, Ben Amar M, Bykowski M, Castro APG, Cipitria A, Coles RA, Dimova R, Eder M, Ehrig S, Escudero LM, Evans ME, Fernandes PR, Fratzl P, Geris L, Gierlinger N, Hannezo EB, Iglič A, Kirkensgaard JJK, Kollmannsberger P, Kowalewska Ł, Kurniawan NA, Papantoniou I, Pieuchot L, Pires THV, Renner LD, Sageman-Furnas AO, Schröder-Turk GE, Sengupta A, Sharma VR, Tagua A, Tomba C, Trepat X, Waters SL, Yeo EF, Roschger A, Bidan CM, Dunlop JWC. 2023. Curvature in biological systems: Its quantification, emergence, and implications across the scales. Advanced Materials. 35(13), 2206110.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 12738 | OA
Stochastic games with lexicographic objectives
K. Chatterjee, J.P. Katoen, S. Mohr, M. Weininger, T. Winkler, Formal Methods in System Design (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 

2023 | Journal Article | IST-REx-ID: 10405 | OA
Central limit theorem for linear eigenvalue statistics of non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Communications on Pure and Applied Mathematics 76 (2023) 946–1034.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 10770 | OA
Where do mistakes lead? A survey of games with incompetent players
T. Graham, M. Kleshnina, J.A. Filar, Dynamic Games and Applications 13 (2023) 231–264.
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

supervisor%3D353C1B58-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications