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.

6699 Publications


2021 | Thesis | IST-REx-ID: 9397
Huljev, Karla. Coordinated Spatiotemporal Reorganization of Interstitial Fluid Is Required for Axial Mesendoderm Migration in Zebrafish Gastrulation. IST Austria, 2021, doi:10.15479/at:ista:9397.
View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 8934
Goharshady, Amir Kafshdar. Parameterized and Algebro-Geometric Advances in Static Program Analysis. IST Austria, 2021, doi:10.15479/AT:ISTA:8934.
View | Files available | DOI
 

2021 | Technical Report | IST-REx-ID: 9946 | OA
Mühlböck, Fabian, and Thomas A. Henzinger. Differential Monitoring. IST Austria, 2021, doi:10.15479/AT:ISTA:9946.
View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 9281 | OA
Dubach, Guillaume, and Fabian Mühlböck. “Formal Verification of Zagier’s One-Sentence Proof.” ArXiv, 2103.11389.
View | Files available | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9986 | OA
Velasquez, Silvia Melina, et al. “Xyloglucan Remodeling Defines Auxin-Dependent Differential Tissue Expansion in Plants.” International Journal of Molecular Sciences, vol. 22, no. 17, 9222, Molecular Diversity Preservation International, 2021, doi:10.3390/ijms22179222.
View | Files available | DOI | Download Published Version (ext.)
 

2021 | Preprint | IST-REx-ID: 9980 | OA
Prehal, Christian, et al. Mechanism of Li2S Formation and Dissolution in Lithium-Sulphur Batteries. Research Square , 2021, doi:10.21203/rs.3.rs-818607/v1.
View | Files available | DOI | Download Preprint (ext.)
 

2021 | Thesis | IST-REx-ID: 9962
Hansen, Andi H. Cell-Autonomous Gene Function and Non-Cell-Autonomous Effects in Radial Projection Neuron Migration. IST Austria, 2021, doi:10.15479/at:ista:9962.
View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9920 | OA
Peruzzo, Matilda. Geometric Superinductors and Their Applications in Circuit Quantum Electrodynamics. IST Austria, 2021, doi:10.15479/at:ista:9920.
View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 9928 | OA
Peruzzo, Matilda, et al. “Geometric Superinductance Qubits: Controlling Phase Delocalization  across a Single Josephson Junction.” ArXiv, 2106.05882.
View | Files available | Download Preprint (ext.)
 

2021 | Journal Article | IST-REx-ID: 9985 | OA
Watson, Jake, et al. “AMPA Receptor Anchoring at CA1 Synapses Is Determined by N-Terminal Domain and TARP Γ8 Interactions.” Nature Communications, vol. 12, no. 1, 5083, Nature Publishing Group, 2021, doi:10.1038/s41467-021-25281-4.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9973 | OA
Wirth, Melchior, and Haonan Zhang. “Complete Gradient Estimates of Quantum Markov Semigroups.” Communications in Mathematical Physics, Springer Nature, 2021, doi:10.1007/s00220-021-04199-4.
View | Files available | DOI | Download Published Version (ext.)
 

2021 | Book Chapter | IST-REx-ID: 9245
Xia, Peng, and Carl-Philipp J. Heisenberg. “Quantifying Tissue Tension in the Granulosa Layer after Laser Surgery.” Germline Development in the Zebrafish, edited by Roland Dosch, vol. 2218, Humana, 2021, pp. 117–28, doi:10.1007/978-1-0716-0970-5_10.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2021 | Preprint | IST-REx-ID: 9957 | OA
B R, Mallikarjun, et al. “Monocular Reconstruction of Neural Face Reflectance Fields.” Computer Vision Foundation, 2021, pp. 4791–800.
View | Files available | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9987 | OA
Agarwal, Pratyush, et al. “Stateless Model Checking under a Reads-Value-from Equivalence.” 33rd International Conference on Computer-Aided Verification , vol. 12759, Springer Nature, 2021, pp. 341–66, doi:10.1007/978-3-030-81685-8_16.
View | DOI | Download Published Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9997 | OA
Schmid, Laura, et al. “The Evolution of Indirect Reciprocity under Action and Assessment Generosity.” Scientific Reports, vol. 11, no. 1, 17443, Springer Nature, 2021, doi:10.1038/s41598-021-96932-1.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2021 | Preprint | IST-REx-ID: 10011 | OA
Hensel, Sebastian, and Tim Laux. “A New Varifold Solution Concept for Mean Curvature Flow: Convergence of  the Allen-Cahn Equation and Weak-Strong Uniqueness.” ArXiv, 2109.04233.
View | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 10000 | OA
Schmitt, Heather M., et al. “Increased Susceptibility and Intrinsic Apoptotic Signaling in Neurons by Induced HDAC3 Expression.” Investigative Ophthalmology and Visual Science, vol. 62, no. 10, 14, Association for Research in Vision and Ophthalmology, 2021, doi:10.1167/IOVS.62.10.14.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9998 | OA
Koroteev, Peter, et al. “Quantum K-Theory of Quiver Varieties and Many-Body Systems.” Selecta Mathematica, vol. 27, no. 5, 87, Springer Nature, 2021, doi:10.1007/s00029-021-00698-3.
View | Files available | DOI | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 10005 | OA
Bulíček, Miroslav, et al. “On Nonlinear Problems of Parabolic Type with Implicit Constitutive Equations Involving Flux.” Mathematical Models and Methods in Applied Sciences, vol. 31, no. 09, World Scientific, 2021, doi:10.1142/S0218202521500457.
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 10016
Friml, Jiří. “Fourteen Stations of Auxin.” Cold Spring Harbor Perspectives in Biology, a039859, Cold Spring Harbor Laboratory, 2021, doi:10.1101/cshperspect.a039859 .
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications