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.

6694 Publications


2021 | Conference Paper | IST-REx-ID: 9951
Alistarh, D.-A., Töpfer, M., & Uznański, P. (2021). Comparison dynamics in population protocols. In Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing (pp. 55–65). Virtual, Italy: Association for Computing Machinery. https://doi.org/10.1145/3465084.3467915
View | DOI
 

2021 | Journal Article | IST-REx-ID: 9874 | OA
Raso A, Dirkx E, Sampaio-Pinto V, el Azzouzi H, Cubero RJ, Sorensen DW, Ottaviani L, Olieslagers S, Huibers MM, de Weger R, Siddiqi S, Moimas S, Torrini C, Zentillin L, Braga L, Nascimento DS, da Costa Martins PA, van Berlo JH, Zacchigna S, Giacca M, De Windt LJ. 2021. A microRNA program regulates the balance between cardiomyocyte hyperplasia and hypertrophy and stimulates cardiac regeneration. Nature Communications. 12(1), 4808.
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9793
Baldwin, K. T., Tan, C. X., Strader, S. T., Jiang, C., Savage, J. T., Elorza-Vidal, X., … Eroglu, C. (2021). HepaCAM controls astrocyte self-organization and coupling. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2021.05.025
View | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9818 | OA
Sperl, G., Narain, R., & Wojtan, C. J. (2021). Mechanics-aware deformation of yarn pattern geometry. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3450626.3459816
View | Files available | DOI | Download Published Version (ext.)
 

2021 | Scientific Software | IST-REx-ID: 9327 | OA
Sperl, G., Narain, R., & Wojtan, C. J. (2021). Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data). IST Austria. https://doi.org/10.15479/AT:ISTA:9327
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9953
Picard, K., Bisht, K., Poggini, S., Garofalo, S., Golia, M. T., Basilico, B., … Tremblay, M. È. (n.d.). Microglial-glucocorticoid receptor depletion alters the response of hippocampal microglia and neurons in a chronic unpredictable mild stress paradigm in female mice. Brain, Behavior, and Immunity. Elsevier. https://doi.org/10.1016/j.bbi.2021.07.022
View | DOI | PubMed | Europe PMC
 

2021 | Research Data | IST-REx-ID: 9949 | OA
Vicoso, B. (2021). Data from Hyulmans et al 2021, “Transitions to asexuality and evolution of gene expression in Artemia brine shrimp.” IST Austria. https://doi.org/10.15479/AT:ISTA:9949
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9960 | OA
Maskara, N., Michailidis, A., Ho, W. W., Bluvstein, D., Choi, S., Lukin, M. D., & Serbyn, M. (2021). Discrete time-crystalline order enabled by quantum many-body scars: Entanglement steering via periodic driving. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.127.090602
View | DOI | Download Submitted Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9961 | OA
Sonner, M., Serbyn, M., Papić, Z., & Abanin, D. A. (2021). Thouless energy across the many-body localization transition in Floquet systems. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.104.L081112
View | DOI | Download Submitted Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9969 | OA
Pietrzak, K. Z., Salem, I., Schmid, S., & Yeo, M. X. (2021). LightPIR: Privacy-preserving route discovery for payment channel networks. Presented at the 2021 IFIP Networking Conference (IFIP Networking), Espoo and Helsinki, Finland: IEEE. https://doi.org/10.23919/IFIPNetworking52078.2021.9472205
View | DOI | Download Submitted Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9955
Reyes‐Pinto, R., Ferrán, J. L., Vega Zuniga, T. A., González‐Cabrera, C., Luksch, H., Mpodozis, J., … Marín, G. J. (2021). Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum. Journal of Comparative Neurology. Wiley. https://doi.org/10.1002/cne.25229
View | DOI | PubMed | Europe PMC
 

2021 | Preprint | IST-REx-ID: 9978 | OA
Cao, D., Shen, X., Wang, A., Yu, F., Wu, Y., Shi, S., … Chen, Y. (n.d.). Sharp kinetic acceleration potentials during mediated redox catalysis of insulators. Research Square. https://doi.org/10.21203/rs.3.rs-750965/v1
View | Files available | DOI | Download Preprint (ext.)
 

2021 | Journal Article | IST-REx-ID: 9981 | OA
De Nicola, S. (2021). Importance sampling scheme for the stochastic simulation of quantum spin dynamics. SciPost Physics. SciPost. https://doi.org/10.21468/scipostphys.11.3.048
View | Files available | DOI | Download Published Version (ext.)
 

2021 | Thesis | IST-REx-ID: 9733 | OA
Feliciangeli, D. (2021). The polaron at strong coupling. IST Austria. https://doi.org/10.15479/at:ista:9733
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9225 | OA
Feliciangeli, D., Rademacher, S. A. E., & Seiringer, R. (2021). Persistence of the spectral gap for the Landau–Pekar equations. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-020-01350-5
View | Files available | DOI
 

2021 | Technical Report | IST-REx-ID: 6995 | OA
Samarasinghe, R. A., Miranda, O., Buth, J. E., Mitchell, S., Ferando, I., Watanabe, M., … Novitch, B. G. (2021). Identification of neural oscillations and epileptiform changes in human brain organoids. Springer Nature. https://doi.org/10.1038/s41593-021-00906-5
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2021 | Preprint | IST-REx-ID: 9792 | OA
Feliciangeli, D., Gerolin, A., & Portinale, L. (n.d.). A non-commutative entropic optimal transport approach to quantum composite systems at positive temperature. arXiv.
View | Files available | Download Preprint (ext.) | arXiv
 

2021 | Preprint | IST-REx-ID: 9787 | OA
Feliciangeli, D., & Seiringer, R. (n.d.). The strongly coupled polaron on the torus: quantum corrections to the Pekar asymptotics. arXiv.
View | Files available | Download Preprint (ext.) | arXiv
 

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

2021 | Thesis | IST-REx-ID: 9397
Huljev, K. (2021). Coordinated spatiotemporal reorganization of interstitial fluid is required for axial mesendoderm migration in zebrafish gastrulation. IST Austria. https://doi.org/10.15479/at:ista:9397
View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 8934
Goharshady, A. K. (2021). Parameterized and algebro-geometric advances in static program analysis. IST Austria. https://doi.org/10.15479/AT:ISTA:8934
View | Files available | DOI
 

2021 | Technical Report | IST-REx-ID: 9946 | OA
Mühlböck, F., & Henzinger, T. A. (2021). Differential monitoring. IST Austria. https://doi.org/10.15479/AT:ISTA:9946
View | Files available | DOI
 

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

2021 | Journal Article | IST-REx-ID: 9986 | OA
Velasquez, S. M., Guo, X., Gallemi, M., Aryal, B., Venhuizen, P., Barbez, E., … Kleine-Vehn, J. (2021). Xyloglucan remodeling defines auxin-dependent differential tissue expansion in plants. International Journal of Molecular Sciences. Molecular Diversity Preservation International. https://doi.org/10.3390/ijms22179222
View | Files available | DOI | Download Published Version (ext.)
 

2021 | Preprint | IST-REx-ID: 9980 | OA
Prehal, C., Talian, S. D., Vizintin, A., Amenitsch, H., Dominko, R., Freunberger, S. A., & Wood, V. (2021). Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries. Research Square . https://doi.org/10.21203/rs.3.rs-818607/v1
View | Files available | DOI | Download Preprint (ext.)
 

2021 | Thesis | IST-REx-ID: 9962
Hansen, A. H. (2021). Cell-autonomous gene function and non-cell-autonomous effects in radial projection neuron migration. IST Austria. https://doi.org/10.15479/at:ista:9962
View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9920 | OA
Peruzzo, M. (2021). Geometric superinductors and their applications in circuit quantum electrodynamics. IST Austria. https://doi.org/10.15479/at:ista:9920
View | Files available | DOI
 

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

2021 | Journal Article | IST-REx-ID: 9985 | OA
Watson, J., Pinggera, A., Ho, H., & Greger, I. H. (2021). AMPA receptor anchoring at CA1 synapses is determined by N-terminal domain and TARP γ8 interactions. Nature Communications. Nature Publishing Group. https://doi.org/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, M., & Zhang, H. (2021). Complete gradient estimates of quantum Markov semigroups. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-021-04199-4
View | Files available | DOI | Download Published Version (ext.)
 

2021 | Book Chapter | IST-REx-ID: 9245
Xia, P., & Heisenberg, C.-P. J. (2021). Quantifying tissue tension in the granulosa layer after laser surgery. In R. Dosch (Ed.), Germline Development in the Zebrafish (Vol. 2218, pp. 117–128). Humana. https://doi.org/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, M., Tewari, A., Oh, T.-H., Weyrich, T., Bickel, B., Seidel, H.-P., … Theobalt, C. (2021). Monocular reconstruction of neural face reflectance fields. Computer Vision Foundation.
View | Files available | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9987 | OA
Agarwal, P., Chatterjee, K., Pathak, S., Pavlogiannis, A., & Toman, V. (2021). Stateless model checking under a reads-value-from equivalence. In 33rd International Conference on Computer-Aided Verification (Vol. 12759, pp. 341–366). Virtual: Springer Nature. https://doi.org/10.1007/978-3-030-81685-8_16
View | DOI | Download Published Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9997 | OA
Schmid, L., Shati, P., Hilbe, C., & Chatterjee, K. (2021). The evolution of indirect reciprocity under action and assessment generosity. Scientific Reports. Springer Nature. https://doi.org/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, S., & Laux, T. (n.d.). A new varifold solution concept for mean curvature flow: Convergence of  the Allen-Cahn equation and weak-strong uniqueness. arXiv.
View | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9999 | OA
Pulgar, E., Schwayer, C., Guerrero, N., López, L., Márquez, S., Härtel, S., … Concha, M. L. (n.d.). Apical contacts stemming from incomplete delamination guide progenitor cell allocation through a dragging mechanism. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.66483
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 10000 | OA
Schmitt, H. M., Fehrman, R. L., Maes, M. E., Yang, H., Guo, L. W., Schlamp, C. L., … Nickells, R. W. (2021). Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. Investigative Ophthalmology and Visual Science. Association for Research in Vision and Ophthalmology. https://doi.org/10.1167/IOVS.62.10.14
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9998 | OA
Koroteev, P., Pushkar, P., Smirnov, A. V., & Zeitlin, A. M. (2021). Quantum K-theory of quiver varieties and many-body systems. Selecta Mathematica. Springer Nature. https://doi.org/10.1007/s00029-021-00698-3
View | Files available | DOI | Download Published Version (ext.)
 

2021 | Journal Article | IST-REx-ID: 10005 | OA
Bulíček, M., Maringová, E., & Málek, J. (2021). On nonlinear problems of parabolic type with implicit constitutive equations involving flux. Mathematical Models and Methods in Applied Sciences. World Scientific. https://doi.org/10.1142/S0218202521500457
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 10016
Friml, J. (2021). Fourteen stations of auxin. Cold Spring Harbor Perspectives in Biology. Cold Spring Harbor Laboratory. https://doi.org/10.1101/cshperspect.a039859
View | DOI | PubMed | Europe PMC
 

2021 | Preprint | IST-REx-ID: 10018 | OA
Derenthal, U., & Wilsch, F. A. (n.d.). Integral points on singular del Pezzo surfaces. arXiv.
View | Download Preprint (ext.) | arXiv
 

2021 | Thesis | IST-REx-ID: 10007 | OA
Hensel, S. (2021). Curvature driven interface evolution: Uniqueness properties of weak solution concepts. IST Austria. https://doi.org/10.15479/at:ista:10007
View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 10013 | OA
Hensel, S., & Laux, T. (n.d.). Weak-strong uniqueness for the mean curvature flow of double bubbles. arXiv.
View | Files available | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 10015 | OA
Nikonorova, N., Murphy, E., Fonseca de Lima, C., Zhu, S., van de Cotte, B., Vu, L., … De Smet, I. (2021). The Arabidopsis root tip (phospho)proteomes at growth-promoting versus growth-repressing conditions reveal novel root growth regulators. Cells. Molecular Diversity Preservation International. https://doi.org/10.3390/cells10071665
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2021 | Conference Paper | IST-REx-ID: 10002 | OA
Chatterjee, K., Dvorak, W., Henzinger, M., & Svozil, A. (2021). Symbolic time and space tradeoffs for probabilistic verification. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470739
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10004 | OA
Chatterjee, K., & Doyen, L. (2021). Stochastic processes with expected stopping time. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470595
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10003 | OA
Henzinger, T. A., & Sarac, N. E. (2021). Quantitative and approximate monitoring. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–14). Rome, Italy: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470547
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9250 | OA
Petit, Y. K., Mourad, E., Prehal, C., Leypold, C., Windischbacher, A., Mijailovic, D., … Freunberger, S. A. (2021). Mechanism of mediated alkali peroxide oxidation and triplet versus singlet oxygen formation. Nature Chemistry. Springer Nature. https://doi.org/10.1038/s41557-021-00643-z
View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 9992 | OA
Hörmayer, L. (2021). Wound healing in the Arabidopsis root meristem. IST Austria. https://doi.org/10.15479/at:ista:9992
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7956 | OA
Pȩkalski, J., Rzadkowski, W., & Panagiotopoulos, A. Z. (2020). Shear-induced ordering in systems with competing interactions: A machine learning study. The Journal of Chemical Physics. AIP. https://doi.org/10.1063/5.0005194
View | DOI | Download Published Version (ext.) | arXiv
 

Search

Filter Publications