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.

1776 Publications


2023 | Journal Article | IST-REx-ID: 12839 | OA
Ljubotina, Marko, Jean Yves Desaules, Maksym Serbyn, and Zlatko Papić. “Superdiffusive Energy Transport in Kinetically Constrained Models.” Physical Review X. American Physical Society, 2023. https://doi.org/10.1103/PhysRevX.13.011033.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 13129 | OA
Clozeau, Nicolas, Marc Josien, Felix Otto, and Qiang Xu. “Bias in the Representative Volume Element Method: Periodize the Ensemble Instead of Its Realizations.” Foundations of Computational Mathematics. Springer Nature, 2023. https://doi.org/10.1007/s10208-023-09613-y.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2023 | Journal Article | IST-REx-ID: 13237
Michaels, Thomas C.T., Daoyuan Qian, Anđela Šarić, Michele Vendruscolo, Sara Linse, and Tuomas P.J. Knowles. “Amyloid Formation as a Protein Phase Transition.” Nature Reviews Physics. Springer Nature, 2023. https://doi.org/10.1038/s42254-023-00598-9.
View | DOI | WoS
 

2023 | Thesis | IST-REx-ID: 12964
Boocock, Daniel R. “Mechanochemical Pattern Formation across Biological Scales.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12964.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13970 | OA
Madani, Amiera, Eric T. Sletten, Cristian Cavedon, Peter H. Seeberger, and Bartholomäus Pieber. “Visible-Light-Mediated Oxidative Debenzylation of 3-O-Benzyl-1,2:5,6-Di-O-Isopropylidene-α-D-Glucofuranose.” Organic Syntheses. Organic Syntheses, 2023. https://doi.org/10.15227/orgsyn.100.0271.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Thesis | IST-REx-ID: 12885 | OA
Calcabrini, Mariano. “Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12885.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 12331 | OA
Wang, Siqi, Cheng Chang, Shulin Bai, Bingchao Qin, Yingcai Zhu, Shaoping Zhan, Junqing Zheng, Shuwei Tang, and Li Dong Zhao. “Fine Tuning of Defects Enables High Carrier Mobility and Enhanced Thermoelectric Performance of N-Type PbTe.” Chemistry of Materials. American Chemical Society, 2023. https://doi.org/10.1021/acs.chemmater.2c03542.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 11999 | OA
Arroyo Guevara, Alan M, Fabian Klute, Irene Parada, Birgit Vogtenhuber, Raimund Seidel, and Tilo Wiedera. “Inserting One Edge into a Simple Drawing Is Hard.” Discrete and Computational Geometry. Springer Nature, 2023. https://doi.org/10.1007/s00454-022-00394-9.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 12106 | OA
Yeung, Jake, Maria Florescu, Peter Zeller, Buys Anton De Barbanson, Max D. Wellenstein, and Alexander Van Oudenaarden. “ScChIX-Seq Infers Dynamic Relationships between Histone Modifications in Single Cells.” Nature Biotechnology. Springer Nature, 2023. https://doi.org/10.1038/s41587-022-01560-3.
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12183 | OA
Boccato, Chiara, and Robert Seiringer. “The Bose Gas in a Box with Neumann Boundary Conditions.” Annales Henri Poincare. Springer Nature, 2023. https://doi.org/10.1007/s00023-022-01252-3.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 12762 | OA
Lombardi, Fabrizio, Selver Pepic, Oren Shriki, Gašper Tkačik, and Daniele De Martino. “Statistical Modeling of Adaptive Neural Networks Explains Co-Existence of Avalanches and Oscillations in Resting Human Brain.” Nature Computational Science. Springer Nature, 2023. https://doi.org/10.1038/s43588-023-00410-9.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 13989 | OA
Hales, Jordyn, Utkarsh Bajpai, Tongtong Liu, Denitsa Rangelova Baykusheva, Mingda Li, Matteo Mitrano, and Yao Wang. “Witnessing Light-Driven Entanglement Using Time-Resolved Resonant Inelastic X-Ray Scattering.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-38540-3.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2023 | Thesis | IST-REx-ID: 13175 | OA
Sahu, Rishabh. “Cavity Quantum Electrooptics.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13175.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12900
Sahu, Rishabh. “Cavity Quantum Electrooptics.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12900.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13310 | OA
Henzinger, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness.” In Computer Aided Verification, 13965:358–382. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37703-7_17.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 12205 | OA
Glajzer, Jacek, Dan Cacsire Castillo-Tong, Rolf Richter, Ignace Vergote, Hagen Kulbe, Adriaan Vanderstichele, Ilary Ruscito, et al. “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.” Annals of Surgical Oncology. Springer Nature, 2023. https://doi.org/10.1245/s10434-022-12459-3.
[Published Version] View | Files available | DOI | WoS
 

2023 | Conference Paper | IST-REx-ID: 14259 | OA
Kretinsky, Jan, Tobias Meggendorfer, Maximilian Prokop, and Sabine Rieder. “Guessing Winning Policies in LTL Synthesis by Semantic Learning.” In 35th International Conference on Computer Aided Verification , 13964:390–414. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37706-8_20.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14318 | OA
Sun, Yican, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady. “Automated Tail Bound Analysis for Probabilistic Recurrence Relations.” In Computer Aided Verification, 13966:16–39. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37709-9_2.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14317 | OA
Akshay, S., Krishnendu Chatterjee, Tobias Meggendorfer, and Dorde Zikelic. “MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.” In International Conference on Computer Aided Verification, 13966:86–112. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37709-9_5.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13120 | OA
Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars - Formally Verified.” In 14th International Conference on Interactive Theorem Proving, Vol. 268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.ITP.2023.15.
[Published Version] View | Files available | DOI | arXiv
 

Filters and Search Terms

isbn%3D978-3-642-40707-9

Search

Filter Publications