Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




3450 Publications

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 | 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 | 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 | 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
 
2020 | Journal Article | IST-REx-ID: 7957 | OA
Parenti I, Garcia Rabaneda LE, Schön H, Novarino G. 2020. Neurodevelopmental disorders: From genetics to functional pathways. Trends in Neurosciences. 43(8), 608–621.
View | Files available | DOI | PubMed | Europe PMC
 

Search

Filter Publications