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.




3159 Publications

2020 | Conference Paper | IST-REx-ID: 8599 | OA
Avni G, Henzinger TA. 2020. A survey of bidding games on graphs. 31st International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 171, 2.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8600 | OA
Chatterjee K, Henzinger TA, Otop J. 2020. Multi-dimensional long-run average problems for vector addition systems with states. 31st International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 171, 23.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8601 | OA
Cipolloni G, Erdös L, Schröder DJ. 2020. Edge universality for non-Hermitian random matrices. Probability Theory and Related Fields.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8607 | OA
Liu D, Kumar R, LAN C, Johnson AJ, Siao W, Vanhoutte I, Wang P, Bender K, Yperman K, Martins S, Zhao X, Vert G, Van Damme D, Friml J, Russinova E. 2020. Endocytosis of BRASSINOSTEROID INSENSITIVE1 is partly driven by a canonical tyrosine-based Motif. Plant Cell. 32(11), 3598–3612.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Preprint | IST-REx-ID: 8616 | OA
Gao X, Li J-L, Chen X, Ci B, Chen F, Lu N, Shen B, Zheng L, Jia J-M, Yi Y, Zhang S, Shi Y-C, Shi K, Propson NE, Huang Y, Poinsatte K, Zhang Z, Yue Y, Bosco DB, Lu Y, Yang S, Adams RH, Lindner V, Huang F, Wu L-J, Zheng H, Han F, Hippenmeyer S, Stowe AM, Peng B, Margeta M, Wang X, Liu Q, Körbelin J, Trepel M, Lu H, Zhou BO, Zhao H, Su W, Bachoo RM, Ge W. Reduction of neuronal activity mediated by blood-vessel regression in the brain. bioRxiv, 10.1101/2020.09.15.262782.
View | DOI | Download Preprint (ext.)
 
2020 | Thesis | IST-REx-ID: 8620
Morandell J. 2020. Illuminating the role of Cul3 in autism spectrum disorder pathogenesis. IST Austria.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8623 | OA
Henzinger TA, Sarac NE. 2020. Monitorability under assumptions. Runtime Verification. RV: Runtime Verification, LNCS, vol. 12399, 3–18.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8634 | OA
Suri B, Kageorge L, Grigoriev RO, Schatz MF. 2020. Capturing turbulent dynamics and statistics in experiments with unstable periodic orbits. Physical Review Letters. 125(6), 064501.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8643 | OA
Deichler A, Carrasco D, Lopez-Jury L, Vega Zuniga TA, Marquez N, Mpodozis J, Marin G. 2020. A specialized reciprocal connectivity suggests a link between the mechanisms by which the superior colliculus and parabigeminal nucleus produce defensive behaviors in rodents. Scientific Reports. 10, 16220.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8644 | OA
Rzadkowski W, Defenu N, Chiacchiera S, Trombettoni A, Bighin G. 2020. Detecting composite orders in layered models via machine learning. New Journal of Physics. 22(9), 093026.
View | Files available | DOI
 

Search

Filter Publications