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.

6692 Publications


2021 | Conference Paper | IST-REx-ID: 9951
Alistarh D-A, Töpfer M, Uznański P. 2021. Comparison dynamics in population protocols. Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing. PODC: Symposium on Principles of Distributed Computing, 55–65.
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 KT, Tan CX, Strader ST, Jiang C, Savage JT, Elorza-Vidal X, Contreras X, Rülicke T, Hippenmeyer S, Estévez R, Ji R-R, Eroglu C. 2021. HepaCAM controls astrocyte self-organization and coupling. Neuron. 109(15), 2427–2442.e10.
View | DOI | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 9818 | OA
Sperl G, Narain R, Wojtan CJ. 2021. Mechanics-aware deformation of yarn pattern geometry. ACM Transactions on Graphics. 40(4), 168.
View | Files available | DOI | Download Published Version (ext.)
 

2021 | Scientific Software | IST-REx-ID: 9327 | OA
Sperl G, Narain R, Wojtan CJ. 2021. Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data), IST Austria, 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 MT, Basilico B, Abdallah F, Ciano Albanese N, Amrein I, Vernoux N, Sharma K, Hui CW, C. Savage J, Limatola C, Ragozzino D, Maggi L, Branchi I, Tremblay MÈ. 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.
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, 10.15479/AT:ISTA:9949.
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9960 | OA
Maskara N, Michailidis A, Ho WW, Bluvstein D, Choi S, Lukin MD, Serbyn M. 2021. Discrete time-crystalline order enabled by quantum many-body scars: Entanglement steering via periodic driving. Physical Review Letters. 127(9), 090602.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9961 | OA
Sonner M, Serbyn M, Papić Z, Abanin DA. 2021. Thouless energy across the many-body localization transition in Floquet systems. Physical Review B. 104(8), L081112.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 9969 | OA
Pietrzak KZ, Salem I, Schmid S, Yeo MX. 2021. LightPIR: Privacy-preserving route discovery for payment channel networks. 2021 IFIP Networking Conference (IFIP Networking).
View | DOI | Download Submitted Version (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9955
Reyes‐Pinto R, Ferrán JL, Vega Zuniga TA, González‐Cabrera C, Luksch H, Mpodozis J, Puelles L, Marín GJ. 2021. Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum. Journal of Comparative Neurology.
View | DOI | PubMed | Europe PMC
 

2021 | Preprint | IST-REx-ID: 9978 | OA
Cao D, Shen X, Wang A, Yu F, Wu Y, Shi S, Freunberger SA, Chen Y. Sharp kinetic acceleration potentials during mediated redox catalysis of insulators. Research Square, 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. 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.
View | Files available | DOI
 

2021 | Journal Article | IST-REx-ID: 9225 | OA
Feliciangeli D, Rademacher SAE, Seiringer R. 2021. Persistence of the spectral gap for the Landau–Pekar equations. Letters in Mathematical Physics. 111, 19.
View | Files available | DOI
 

2021 | Technical Report | IST-REx-ID: 6995 | OA
Samarasinghe RA, Miranda O, Buth JE, Mitchell S, Ferando I, Watanabe M, Kurdian A, Golshani P, Plath K, Lowry WE, Parent JM, Mody I, Novitch BG. 2021. Identification of neural oscillations and epileptiform changes in human brain organoids, Springer Nature, 32p.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2021 | Preprint | IST-REx-ID: 9792 | OA
Feliciangeli D, Gerolin A, Portinale L. 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. The strongly coupled polaron on the torus: quantum corrections to the Pekar asymptotics. arXiv, 2101.12566.
View | Files available | Download Preprint (ext.) | arXiv
 

2021 | Preprint | IST-REx-ID: 9791 | OA
Feliciangeli D, Rademacher SAE, Seiringer R. 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 K. 2021. Coordinated spatiotemporal reorganization of interstitial fluid is required for axial mesendoderm migration in zebrafish gastrulation. IST Austria.
View | Files available | DOI
 

2021 | Thesis | IST-REx-ID: 8934
Goharshady AK. 2021. Parameterized and algebro-geometric advances in static program analysis. IST Austria.
View | Files available | DOI
 

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

2021 | Preprint | IST-REx-ID: 9281 | OA
Dubach G, Mühlböck F. 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 SM, Guo X, Gallemi M, Aryal B, Venhuizen P, Barbez E, Dünser KA, Darino M, Pӗnčík A, Novák O, Kalyna M, Mouille G, Benková E, Bhalerao RP, Mravec J, Kleine-Vehn J. 2021. Xyloglucan remodeling defines auxin-dependent differential tissue expansion in plants. International Journal of Molecular Sciences. 22(17), 9222.
View | Files available | DOI | Download Published Version (ext.)
 

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

2021 | Thesis | IST-REx-ID: 9962
Hansen AH. 2021. Cell-autonomous gene function and non-cell-autonomous effects in radial projection neuron migration. IST Austria.
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.
View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 9928 | OA
Peruzzo M, Hassani F, Szep G, Trioni A, Redchenko E, Zemlicka M, Fink JM. 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 J, Pinggera A, Ho H, Greger IH. 2021. AMPA receptor anchoring at CA1 synapses is determined by N-terminal domain and TARP γ8 interactions. Nature Communications. 12(1), 5083.
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.
View | Files available | DOI | Download Published Version (ext.)
 

2021 | Book Chapter | IST-REx-ID: 9245
Xia P, Heisenberg C-PJ. 2021.Quantifying tissue tension in the granulosa layer after laser surgery. In: Germline Development in the Zebrafish. Methods in Molecular Biology, vol. 2218, 117–128.
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, Pfister H, Matusik W, Elgharib M, Theobalt C. 2021. Monocular reconstruction of neural face reflectance fields. Computer Vision Foundation, 4791–4800, .
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. 33rd International Conference on Computer-Aided Verification . CAV: Computer Aided Verification , Lecture Notes in Computer Science, vol. 12759, 341–366.
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. 11(1), 17443.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2021 | Preprint | IST-REx-ID: 10011 | OA
Hensel S, Laux T. 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: 9999 | OA
Pulgar E, Schwayer C, Guerrero N, López L, Márquez S, Härtel S, Soto R, Heisenberg CP, Concha ML. Apical contacts stemming from incomplete delamination guide progenitor cell allocation through a dragging mechanism. eLife. 10, e66483.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2021 | Journal Article | IST-REx-ID: 10000 | OA
Schmitt HM, Fehrman RL, Maes ME, Yang H, Guo LW, Schlamp CL, Pelzel HR, Nickells RW. 2021. Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. Investigative Ophthalmology and Visual Science. 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 AV, Zeitlin AM. 2021. Quantum K-theory of quiver varieties and many-body systems. Selecta Mathematica. 27(5), 87.
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. 31(09).
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., a039859.
View | DOI | PubMed | Europe PMC
 

2021 | Preprint | IST-REx-ID: 10018 | OA
Derenthal U, Wilsch FA. Integral points on singular del Pezzo surfaces. arXiv, 2109.06778.
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.
View | Files available | DOI
 

2021 | Preprint | IST-REx-ID: 10013 | OA
Hensel S, Laux T. 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, Murphy E, Fonseca de Lima C, Zhu S, van de Cotte B, Vu L, Balcerowicz D, Li L, Kong X, De Rop G, Beeckman T, Friml J, Vissenberg K, Morris P, Ding Z, De Smet I. 2021. The Arabidopsis root tip (phospho)proteomes at growth-promoting versus growth-repressing conditions reveal novel root growth regulators. Cells. 10, 1665.
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. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 1–13.
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Journal Article | IST-REx-ID: 9250 | OA
Petit YK, Mourad E, Prehal C, Leypold C, Windischbacher A, Mijailovic D, Slugovc C, Borisov SM, Zojer E, Brutti S, Fontaine O, Freunberger SA. 2021. Mechanism of mediated alkali peroxide oxidation and triplet versus singlet oxygen formation. Nature Chemistry. 13(5), 465–471.
View | Files available | DOI
 

2021 | Conference Paper | IST-REx-ID: 10004 | OA
Chatterjee K, Doyen L. 2021. Stochastic processes with expected stopping time. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 1–13.
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10003 | OA
Henzinger TA, Sarac NE. 2021. Quantitative and approximate monitoring. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 1–14.
View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Thesis | IST-REx-ID: 9992 | OA
Hörmayer L. 2021. Wound healing in the Arabidopsis root meristem. IST Austria.
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7956 | OA
Pȩkalski J, Rzadkowski W, Panagiotopoulos AZ. 2020. Shear-induced ordering in systems with competing interactions: A machine learning study. The Journal of chemical physics. 152(20), 204905.
View | DOI | Download Published Version (ext.) | arXiv
 

Search

Filter Publications