Please note that IST 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.

6696 Publications


2021 | Preprint | IST-REx-ID: 9791 | OA
The effective mass problem for the Landau-Pekar equations
D. Feliciangeli, S.A.E. Rademacher, R. Seiringer, ArXiv (n.d.).
View | Files available | Download Preprint (ext.) | arXiv
 

2021 | Thesis | IST-REx-ID: 9397
Coordinated spatiotemporal reorganization of interstitial fluid is required for axial mesendoderm migration in zebrafish gastrulation
K. Huljev, Coordinated Spatiotemporal Reorganization of Interstitial Fluid Is Required for Axial Mesendoderm Migration in Zebrafish Gastrulation, IST Austria, 2021.
View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 8934
Parameterized and algebro-geometric advances in static program analysis
A.K. Goharshady, Parameterized and Algebro-Geometric Advances in Static Program Analysis, IST Austria, 2021.
View | Files available | DOI
 

2021 | Technical Report | IST-REx-ID: 9946 | OA
Differential monitoring
F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.
View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 9281 | OA
Formal verification of Zagier's one-sentence proof
G. Dubach, F. Mühlböck, ArXiv (n.d.).
View | Files available | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9986 | OA
Xyloglucan remodeling defines auxin-dependent differential tissue expansion in plants
S.M. Velasquez, X. Guo, M. Gallemi, B. Aryal, P. Venhuizen, E. Barbez, K.A. Dünser, M. Darino, A. Pӗnčík, O. Novák, M. Kalyna, G. Mouille, E. Benková, R.P. Bhalerao, J. Mravec, J. Kleine-Vehn, International Journal of Molecular Sciences 22 (2021).
View | Files available | DOI | Download Published Version (ext.)
 

2021 | Preprint | IST-REx-ID: 9980 | OA
Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries
C. Prehal, S.D. Talian, A. Vizintin, H. Amenitsch, R. Dominko, S.A. Freunberger, V. Wood, (2021).
View | Files available | DOI | Download Preprint (ext.)
 

2021 | Thesis | IST-REx-ID: 9962
Cell-autonomous gene function and non-cell-autonomous effects in radial projection neuron migration
A.H. Hansen, Cell-Autonomous Gene Function and Non-Cell-Autonomous Effects in Radial Projection Neuron Migration, IST Austria, 2021.
View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9920 | OA
Geometric superinductors and their applications in circuit quantum electrodynamics
M. Peruzzo, Geometric Superinductors and Their Applications in Circuit Quantum Electrodynamics, IST Austria, 2021.
View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 9928 | OA
Geometric superinductance qubits: controlling phase delocalization across a single Josephson junction
M. Peruzzo, F. Hassani, G. Szep, A. Trioni, E. Redchenko, M. Zemlicka, J.M. Fink, ArXiv (n.d.).
View | Files available | Download Preprint (ext.)
 

Search

Filter Publications