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, Guy, and Thomas A. Henzinger. “A Survey of Bidding Games on Graphs.” 31st International Conference on Concurrency Theory, vol. 171, 2, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.CONCUR.2020.2.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8600 | OA
Chatterjee, Krishnendu, et al. “Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States.” 31st International Conference on Concurrency Theory, vol. 171, 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.CONCUR.2020.23.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8601 | OA
Cipolloni, Giorgio, et al. “Edge Universality for Non-Hermitian Random Matrices.” Probability Theory and Related Fields, Springer Nature, 2020, doi:10.1007/s00440-020-01003-7.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 8607 | OA
Liu, D., et al. “Endocytosis of BRASSINOSTEROID INSENSITIVE1 Is Partly Driven by a Canonical Tyrosine-Based Motif.” Plant Cell, vol. 32, no. 11, American Society of Plant Biologists, 2020, pp. 3598–612, doi:10.1105/tpc.20.00384.
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, Jasmin. Illuminating the Role of Cul3 in Autism Spectrum Disorder Pathogenesis. IST Austria, 2020, doi:10.15479/AT:ISTA:8620.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 8623 | OA
Henzinger, Thomas A., and Naci E. Sarac. “Monitorability under Assumptions.” Runtime Verification, vol. 12399, Springer Nature, 2020, pp. 3–18, doi:10.1007/978-3-030-60508-7_1.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8634 | OA
Suri, Balachandra, et al. “Capturing Turbulent Dynamics and Statistics in Experiments with Unstable Periodic Orbits.” Physical Review Letters, vol. 125, no. 6, 064501, American Physical Society, 2020, doi:10.1103/physrevlett.125.064501.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8643 | OA
Deichler, Alfonso, et al. “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, vol. 10, 16220, Springer Nature, 2020, doi:10.1038/s41598-020-72848-0.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 8644 | OA
Rzadkowski, Wojciech, et al. “Detecting Composite Orders in Layered Models via Machine Learning.” New Journal of Physics, vol. 22, no. 9, 093026, IOP Publishing, 2020, doi:10.1088/1367-2630/abae44.
View | Files available | DOI
 

Search

Filter Publications