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
Feliciangeli, Dario, et al. “The Effective Mass Problem for the Landau-Pekar Equations.” ArXiv, 2107.03720.
View | Files available | Download Preprint (ext.) | arXiv
 

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
 

2021 | Preprint | IST-REx-ID: 10018 | OA
Derenthal, Ulrich, and Florian Alexander Wilsch. “Integral Points on Singular Del Pezzo Surfaces.” ArXiv, 2109.06778.
View | Download Preprint (ext.) | arXiv
 

2021 | Thesis | IST-REx-ID: 10007 | OA
Hensel, Sebastian. Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts. IST Austria, 2021, doi:10.15479/at:ista:10007.
View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 10013 | OA
Hensel, Sebastian, and Tim Laux. “Weak-Strong Uniqueness for the Mean Curvature Flow of Double Bubbles.” ArXiv, 2108.01733.
View | Files available | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 10015 | OA
Nikonorova, N., et al. “The Arabidopsis Root Tip (Phospho)Proteomes at Growth-Promoting versus Growth-Repressing Conditions Reveal Novel Root Growth Regulators.” Cells, vol. 10, 1665, Molecular Diversity Preservation International, 2021, doi:10.3390/cells10071665.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2021 | Conference Paper | IST-REx-ID: 10002 | OA
Chatterjee, Krishnendu, et al. “Symbolic Time and Space Tradeoffs for Probabilistic Verification.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13, doi:10.1109/LICS52264.2021.9470739.
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10004 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13, doi:10.1109/LICS52264.2021.9470595.
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10003 | OA
Henzinger, Thomas A., and Naci E. Sarac. “Quantitative and Approximate Monitoring.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–14, doi:10.1109/LICS52264.2021.9470547.
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 10024 | OA
Floreani, Simone, et al. “Hydrodynamics for the Partial Exclusion Process in Random Environment.” Stochastic Processes and Their Applications, vol. 142, Elsevier, 2021, pp. 124–58, doi:10.1016/j.spa.2021.08.006.
View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2021 | Thesis | IST-REx-ID: 9733 | OA
Feliciangeli, Dario. The Polaron at Strong Coupling. IST Austria, 2021, doi:10.15479/at:ista:9733.
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9428 | OA
Serbyn, Maksym, et al. “Quantum Many-Body Scars and Weak Breaking of Ergodicity.” Nature Physics, vol. 17, no. 6, 2021, pp. 675–685, doi:10.1038/s41567-021-01230-2.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9999 | OA
Pulgar, Eduardo, et al. “Apical Contacts Stemming from Incomplete Delamination Guide Progenitor Cell Allocation through a Dragging Mechanism.” ELife, vol. 10, e66483, eLife Sciences Publications, 2021, doi:10.7554/eLife.66483.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 10023 | OA
Karatzas, Ioannis, et al. “Trajectorial Dissipation and Gradient Flow for the Relative Entropy in Markov Chains.” Communications in Information and Systems, vol. 21, no. 4, International Press, 2021, pp. 481–536, doi:10.4310/CIS.2021.v21.n4.a1.
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Preprint | IST-REx-ID: 9792 | OA
Feliciangeli, Dario, et al. “A Non-Commutative Entropic Optimal Transport Approach to Quantum Composite Systems at Positive Temperature.” ArXiv.
View | Files available | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9250 | OA
Petit, Yann K., et al. “Mechanism of Mediated Alkali Peroxide Oxidation and Triplet versus Singlet Oxygen Formation.” Nature Chemistry, vol. 13, no. 5, Springer Nature, 2021, pp. 465–71, doi:10.1038/s41557-021-00643-z.
View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9992 | OA
Hörmayer, Lukas. Wound Healing in the Arabidopsis Root Meristem. IST Austria, 2021, doi:10.15479/at:ista:9992.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7956 | OA
Pȩkalski, J., et al. “Shear-Induced Ordering in Systems with Competing Interactions: A Machine Learning Study.” The Journal of Chemical Physics, vol. 152, no. 20, 204905, AIP, 2020, doi:10.1063/5.0005194.
View | DOI | Download Published Version (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7957 | OA
Parenti, Ilaria, et al. “Neurodevelopmental Disorders: From Genetics to Functional Pathways.” Trends in Neurosciences, vol. 43, no. 8, Elsevier, 2020, pp. 608–21, doi:10.1016/j.tins.2020.05.004.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7960 | OA
Kalai, Gil, and Zuzana Patakova. “Intersection Patterns of Planar Sets.” Discrete and Computational Geometry, vol. 64, Springer Nature, 2020, pp. 304–23, doi:10.1007/s00454-020-00205-z.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 7962 | OA
Pach, János, et al. “Almost All String Graphs Are Intersection Graphs of Plane Convex Sets.” Discrete and Computational Geometry, vol. 63, no. 4, Springer Nature, 2020, pp. 888–917, doi:10.1007/s00454-020-00213-z.
View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7966 | OA
Auerbach, Benedikt, et al. “Everybody’s a Target: Scalability in Public-Key Encryption.” Advances in Cryptology – EUROCRYPT 2020, vol. 12107, Springer Nature, 2020, pp. 475–506, doi:10.1007/978-3-030-45727-3_16.
View | DOI | Download Submitted Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 7968 | OA
Ghazaryan, Areg, et al. “Analytic Model of Chiral-Induced Spin Selectivity.” The Journal of Physical Chemistry C, vol. 124, no. 21, American Chemical Society, 2020, pp. 11716–21, doi:10.1021/acs.jpcc.0c02584.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7971 | OA
Rao, Peng, and Maksym Serbyn. “Gully Quantum Hall Ferromagnetism in Biased Trilayer Graphene.” Physical Review B, vol. 101, no. 24, 245411, American Physical Society, 2020, doi:10.1103/physrevb.101.245411.
View | DOI | Download Preprint (ext.)
 

2020 | Journal Article | IST-REx-ID: 7985 | OA
Kwak, WJ, et al. “Lithium-Oxygen Batteries and Related Systems: Potential, Status, and Future.” Chemical Reviews, vol. 120, no. 14, American Chemical Society, 2020, pp. 6626–83, doi:10.1021/acs.chemrev.9b00609.
View | Files available | DOI | PubMed | Europe PMC
 

2020 | Conference Paper | IST-REx-ID: 7989 | OA
Patakova, Zuzana. “Bounding Radon Number via Betti Numbers.” 36th International Symposium on Computational Geometry, vol. 164, 61:1-61:13, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.SoCG.2020.61.
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7990 | OA
Wagner, Uli, and Emo Welzl. “Connectivity of Triangulation Flip Graphs in the Plane (Part II: Bistellar Flips).” 36th International Symposium on Computational Geometry, vol. 164, 67:1-67:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.SoCG.2020.67.
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7991 | OA
Avvakumov, Sergey, and Gabriel Nivasch. “Homotopic Curve Shortening and the Affine Curve-Shortening Flow.” 36th International Symposium on Computational Geometry, vol. 164, 12:1-12:15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.SoCG.2020.12.
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7992 | OA
Patakova, Zuzana, et al. “Barycentric Cuts through a Convex Body.” 36th International Symposium on Computational Geometry, vol. 164, 62:1-62:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.SoCG.2020.62.
View | Files available | DOI | arXiv
 

2020 | Conference Paper | IST-REx-ID: 7994 | OA
Arroyo Guevara, Alan M., et al. “Extending Drawings of Graphs to Arrangements of Pseudolines.” 36th International Symposium on Computational Geometry, vol. 164, 9:1-9:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.SoCG.2020.9.
View | Files available | DOI | arXiv
 

2020 | Journal Article | IST-REx-ID: 7995 | OA
Perini, Samuel, et al. “Assortative Mating, Sexual Selection, and Their Consequences for Gene Flow in Littorina.” Evolution, vol. 74, no. 7, Wiley, 2020, pp. 1482–97, doi:10.1111/evo.14027.
View | Files available | DOI
 

Search

Filter Publications