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.
1774 Publications
2023 | Journal Article | IST-REx-ID: 13237
Amyloid formation as a protein phase transition
T.C.T. Michaels, D. Qian, A. Šarić, M. Vendruscolo, S. Linse, T.P.J. Knowles, Nature Reviews Physics 5 (2023) 379–397.
View
| DOI
| WoS
T.C.T. Michaels, D. Qian, A. Šarić, M. Vendruscolo, S. Linse, T.P.J. Knowles, Nature Reviews Physics 5 (2023) 379–397.
2023 | Thesis | IST-REx-ID: 12964
Mechanochemical pattern formation across biological scales
D.R. Boocock, Mechanochemical Pattern Formation across Biological Scales, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
D.R. Boocock, Mechanochemical Pattern Formation across Biological Scales, Institute of Science and Technology Austria, 2023.
2023 | Journal Article | IST-REx-ID: 13970 | 
Visible-light-mediated oxidative debenzylation of 3-O-Benzyl-1,2:5,6-di-O-isopropylidene-α-D-glucofuranose
A. Madani, E.T. Sletten, C. Cavedon, P.H. Seeberger, B. Pieber, Organic Syntheses 100 (2023) 271–286.
[Published Version]
View
| DOI
| Download Published Version (ext.)
A. Madani, E.T. Sletten, C. Cavedon, P.H. Seeberger, B. Pieber, Organic Syntheses 100 (2023) 271–286.
2023 | Thesis | IST-REx-ID: 12885 |
Nanoparticle-based semiconductor solids: From synthesis to consolidation
M. Calcabrini, Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
M. Calcabrini, Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation, Institute of Science and Technology Austria, 2023.
2023 | Journal Article | IST-REx-ID: 12331 |
Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe
S. Wang, C. Chang, S. Bai, B. Qin, Y. Zhu, S. Zhan, J. Zheng, S. Tang, L.D. Zhao, Chemistry of Materials 35 (2023) 755–763.
[Published Version]
View
| Files available
| DOI
| WoS
S. Wang, C. Chang, S. Bai, B. Qin, Y. Zhu, S. Zhan, J. Zheng, S. Tang, L.D. Zhao, Chemistry of Materials 35 (2023) 755–763.
2023 | Journal Article | IST-REx-ID: 11999 |
Inserting one edge into a simple drawing is hard
A.M. Arroyo Guevara, F. Klute, I. Parada, B. Vogtenhuber, R. Seidel, T. Wiedera, Discrete and Computational Geometry 69 (2023) 745–770.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A.M. Arroyo Guevara, F. Klute, I. Parada, B. Vogtenhuber, R. Seidel, T. Wiedera, Discrete and Computational Geometry 69 (2023) 745–770.
2023 | Journal Article | IST-REx-ID: 12106 |
scChIX-seq infers dynamic relationships between histone modifications in single cells
J. Yeung, M. Florescu, P. Zeller, B.A. De Barbanson, M.D. Wellenstein, A. Van Oudenaarden, Nature Biotechnology 41 (2023) 813–823.
[Published Version]
View
| Files available
| DOI
| WoS
J. Yeung, M. Florescu, P. Zeller, B.A. De Barbanson, M.D. Wellenstein, A. Van Oudenaarden, Nature Biotechnology 41 (2023) 813–823.
2023 | Journal Article | IST-REx-ID: 12183 |
The Bose Gas in a box with Neumann boundary conditions
C. Boccato, R. Seiringer, Annales Henri Poincare 24 (2023) 1505–1560.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
C. Boccato, R. Seiringer, Annales Henri Poincare 24 (2023) 1505–1560.
2023 | Journal Article | IST-REx-ID: 12762 |
Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain
F. Lombardi, S. Pepic, O. Shriki, G. Tkačik, D. De Martino, Nature Computational Science 3 (2023) 254–263.
[Published Version]
View
| Files available
| DOI
| arXiv
F. Lombardi, S. Pepic, O. Shriki, G. Tkačik, D. De Martino, Nature Computational Science 3 (2023) 254–263.
2023 | Journal Article | IST-REx-ID: 13989 |
Witnessing light-driven entanglement using time-resolved resonant inelastic X-ray scattering
J. Hales, U. Bajpai, T. Liu, D.R. Baykusheva, M. Li, M. Mitrano, Y. Wang, Nature Communications 14 (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
J. Hales, U. Bajpai, T. Liu, D.R. Baykusheva, M. Li, M. Mitrano, Y. Wang, Nature Communications 14 (2023).
2023 | Thesis | IST-REx-ID: 13175 |
Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
2023 | Thesis | IST-REx-ID: 12900
Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
2023 | Conference Paper | IST-REx-ID: 13310 |
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
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.
2023 | Journal Article | IST-REx-ID: 12205 |
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
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.
2023 | Conference Paper | IST-REx-ID: 14259 |
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
J. Kretinsky, T. Meggendorfer, M. Prokop, S. Rieder, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 390–414.
2023 | Conference Paper | IST-REx-ID: 14318 |
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
Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Computer Aided Verification, Springer Nature, 2023, pp. 16–39.
2023 | Conference Paper | IST-REx-ID: 14317 |
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
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.
2023 | Conference Paper | IST-REx-ID: 13120 |
Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Journal Article | IST-REx-ID: 13969 |
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
A.M. Arroyo Guevara, S. Felsner, Journal of Graph Algorithms and Applications 27 (2023) 433–457.
2023 | Journal Article | IST-REx-ID: 10770 |
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
T. Graham, M. Kleshnina, J.A. Filar, Dynamic Games and Applications 13 (2023) 231–264.