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.




6472 Publications

2022 | Draft | Preprint | IST-REx-ID: 11950 | OA
Michalska, J. M., Lyudchik, J., Velicky, P., Korinkova, H., Watson, J., Cenameri, A., … Danzl, J. G. (n.d.). Uncovering brain tissue architecture across scales with super-resolution light microscopy. bioRxiv. https://doi.org/10.1101/2022.08.17.504272
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2022 | Published | Journal Article | IST-REx-ID: 12248 | OA
Elkrewi, M. N., Khauratovich, U., Toups, M. A., Bett, V. K., Mrnjavac, A., Macon, A., … Vicoso, B. (2022). ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp. Genetics. Oxford University Press. https://doi.org/10.1093/genetics/iyac123
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 10767 | OA
Kelemen, R. K., Elkrewi, M. N., Lindholm, A. K., & Vicoso, B. (2022). Novel patterns of expression and recruitment of new genes on the t-haplotype, a mouse selfish chromosome. Proceedings of the Royal Society B: Biological Sciences. The Royal Society. https://doi.org/10.1098/rspb.2021.1985
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 9469
Iyiola, O. S., Enyi, C. D., & Shehu, Y. (2022). Reflected three-operator splitting method for monotone inclusion problem. Optimization Methods and Software. Taylor & Francis. https://doi.org/10.1080/10556788.2021.1924715
View | DOI | WoS
 
2022 | Published | Journal Article | IST-REx-ID: 9365
Ogbuisi, F. U., Shehu, Y., & Yao, J. C. (2022). Convergence analysis of new inertial method for the split common null point problem. Optimization. Taylor & Francis. https://doi.org/10.1080/02331934.2021.1914035
View | DOI | WoS
 
2022 | Published | Thesis | PhD | IST-REx-ID: 11362 | OA
Lechner, M. (2022). Learning verifiable representations. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11362
[Published Version] View | Files available | DOI
 
2022 | Published | Conference Paper | IST-REx-ID: 12536 | OA
Barbier, J., Hou, T., Mondelli, M., & Saenz, M. (2022). The price of ignorance: How much does it cost to forget noise structure in low-rank matrix estimation? In 36th Conference on Neural Information Processing Systems (Vol. 35). New Orleans, LA, United States: Neural Information Processing Systems Foundation.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 12775 | OA
Grover, K., Kretinsky, J., Meggendorfer, T., & Weininger, M. (2022). Anytime guarantees for reachability in uncountable Markov decision processes. In 33rd International Conference on Concurrency Theory (Vol. 243). Warsaw, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2022.11
[Published Version] View | Files available | DOI | arXiv
 
earlier version | 2022 | Published | Conference Paper | IST-REx-ID: 12508 | OA
Henzinger, T. A., Lehtinen, K., & Totzke, P. (2022). History-deterministic timed automata. In 33rd International Conference on Concurrency Theory (Vol. 243, p. 14:1-14:21). Warsaw, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2022.14
[Published Version] View | Files available | DOI
 
2022 | Published | Journal Article | IST-REx-ID: 12236
Wang, X., Zuo, Y., Horta, S., He, R., Yang, L., Ostovari Moghaddam, A., … Cabot, A. (2022). CoFeNiMnZnB as a high-entropy metal boride to boost the oxygen evolution reaction. ACS Applied Materials and Interfaces. American Chemical Society. https://doi.org/10.1021/acsami.2c11627
View | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 10834 | OA
Stahnke, S., Döring, H., Kusch, C., de Gorter, D. J. J., Dütting, S., Guledani, A., … Stradal, T. E. B. (2021). Loss of Hem1 disrupts macrophage function and impacts migration, phagocytosis, and integrin-mediated adhesion. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2021.02.043
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 10838 | OA
Westram, A. M., Faria, R., Johannesson, K., & Butlin, R. (2021). Using replicate hybrid zones to understand the genomic basis of adaptive divergence. Molecular Ecology. Wiley. https://doi.org/10.1111/mec.15861
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Conference Paper | IST-REx-ID: 10847 | OA
Tomášek, P., Horák, K., Aradhye, A., Bošanský, B., & Chatterjee, K. (2021). Solving partially observable stochastic shortest-path games. In 30th International Joint Conference on Artificial Intelligence (pp. 4182–4189). Virtual, Online: International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2021/575
[Published Version] View | DOI | Download Published Version (ext.)
 
2021 | Published | Journal Article | IST-REx-ID: 10852 | OA
Seiringer, R. (2021). The polaron at strong coupling. Reviews in Mathematical Physics. World Scientific Publishing. https://doi.org/10.1142/s0129055x20600120
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10853 | OA
Fedorov, A., Koval, N., & Alistarh, D.-A. (2021). A scalable concurrent algorithm for dynamic connectivity. In Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures (pp. 208–220). Virtual, Online: Association for Computing Machinery. https://doi.org/10.1145/3409964.3461810
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10854 | OA
Foerster, K.-T., Korhonen, J., Paz, A., Rybicki, J., & Schmid, S. (2021). Input-dynamic distributed algorithms for communication networks. In Abstract Proceedings of the 2021 ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems (pp. 71–72). Virtual, Online: Association for Computing Machinery. https://doi.org/10.1145/3410220.3453923
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10855 | OA
Foerster, K.-T., Korhonen, J., Paz, A., Rybicki, J., & Schmid, S. (2021). Input-dynamic distributed algorithms for communication networks. Proceedings of the ACM on Measurement and Analysis of Computing Systems. Association for Computing Machinery. https://doi.org/10.1145/3447384
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10856 | OA
Ivanov, G., & Tsiutsiurupa, I. (2021). On the volume of sections of the cube. Analysis and Geometry in Metric Spaces. De Gruyter. https://doi.org/10.1515/agms-2020-0103
[Published Version] View | Files available | DOI | WoS | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10858 | OA
Li, M., Zhang, Y., Zhang, T., Zuo, Y., Xiao, K., Arbiol, J., … Cabot, A. (2021). Enhanced thermoelectric performance of n-type Bi2Se3 nanosheets through Sn doping. Nanomaterials. MDPI. https://doi.org/10.3390/nano11071827
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2021 | Published | Journal Article | IST-REx-ID: 10860 | OA
Ivanov, G. (2021). Tight frames and related geometric problems. Canadian Mathematical Bulletin. Canadian Mathematical Society. https://doi.org/10.4153/s000843952000096x
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed