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.




5388 Publications

2022 | Published | Journal Article | IST-REx-ID: 10767 | OA
Kelemen RK, Elkrewi MN, Lindholm AK, 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. 289(1968), 20211985.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 10768 | OA
Hajny J, Tan S, Friml J. 2022. Auxin canalization: From speculative models toward molecular players. Current Opinion in Plant Biology. 65(2), 102174.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 10771 | OA
Evers F, Aharony A, Bar-Gill N, Entin-Wohlman O, Hedegård P, Hod O, Jelinek P, Kamieniarz G, Lemeshko M, Michaeli K, Mujica V, Naaman R, Paltiel Y, Refaely-Abramson S, Tal O, Thijssen J, Thoss M, Van Ruitenbeek JM, Venkataraman L, Waldeck DH, Yan B, Kronik L. 2022. Theory of chirality induced spin selectivity: Progress and challenges. Advanced Materials. 34(13), 2106629.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 10772 | OA
Arguez NH. 2022. Mirror symmetry for the Tate curve via tropical and log corals. Journal of the London Mathematical Society. 105(1), 343–411.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 10773 | OA
Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. 2022. Continuous and discrete radius functions on Voronoi tessellations and Delaunay mosaics. Discrete and Computational Geometry. 67, 811–842.
[Published Version] View | Files available | DOI | WoS
 
2022 | Published | Journal Article | IST-REx-ID: 10775 | OA
Ferber A, Kwan MA, Sauermann L. 2022. List-decodability with large radius for Reed-Solomon codes. IEEE Transactions on Information Theory. 68(6), 3823–3828.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 10776 | OA
Patakova Z, Tancer M, Wagner U. 2022. Barycentric cuts through a convex body. Discrete and Computational Geometry. 68, 1133–1154.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 10787 | OA
Barton NH, Olusanya OO. 2022. The response of a metapopulation to a changing environment. Philosophical Transactions of the Royal Society B: Biological Sciences. 377(1848).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2022 | Submitted | Preprint | IST-REx-ID: 10788 | OA
Wilsch FA. Integral points of bounded height on a certain toric variety. arXiv, 2202.10909.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 10791 | OA
Hansen AH, Pauler F, Riedl M, Streicher C, Heger A-M, Laukoter S, Sommer CM, Nicolas A, Hof B, Tsai LH, Rülicke T, Hippenmeyer S. 2022. Tissue-wide effects override cell-intrinsic gene function in radial neuron migration. Oxford Open Neuroscience. 1(1), kvac009.
[Published Version] View | Files available | DOI
 
2022 | Submitted | Preprint | IST-REx-ID: 10792 | OA
Schaaf Z, Tat L, Cannizzaro N, Green R, Rülicke T, Hippenmeyer S, Zarbalis K. WDFY3 cell autonomously controls neuronal migration. 10.21203/rs.3.rs-1316167/v1.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 10797 | OA
Floreani S, Redig F, Sau F. 2022. Orthogonal polynomial duality of boundary driven particle systems and non-equilibrium correlations. Annales de l’institut Henri Poincare (B) Probability and Statistics. 58(1), 220–247.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Published | Thesis | IST-REx-ID: 10799 | OA
Konstantinov NH. 2022. Robustness and fairness in machine learning. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2022 | Published | Journal Article | IST-REx-ID: 10802 | OA
Konstantinov NH, Lampert C. 2022. Fairness-aware PAC learning from corrupted data. Journal of Machine Learning Research. 23, 1–60.
[Published Version] View | Files available | arXiv
 
2022 | Published | 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. 2022. Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum. Journal of Comparative Neurology. 530(2), 553–573.
View | DOI | WoS | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 9977 | OA
Mistegaard W, Andersen JE. 2022. Resurgence analysis of quantum invariants of Seifert fibered homology spheres. Journal of the London Mathematical Society. 105(2), 709–764.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 10774 | OA
Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Da Costa AO. 2022. Flavors of sequential information flow. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). VMCAI: Verifcation, Model Checking, and Abstract Interpretation, LNCS, vol. 13182, 1–19.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 12147 | OA
Hasani R, Lechner M, Amini A, Liebenwein L, Ray A, Tschaikowski M, Teschl G, Rus D. 2022. Closed-form continuous-time neural networks. Nature Machine Intelligence. 4(11), 992–1003.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 12510 | OA
Gruenbacher SA, Lechner M, Hasani R, Rus D, Henzinger TA, Smolka SA, Grosu R. 2022. GoTube: Scalable statistical verification of continuous-depth models. Proceedings of the AAAI Conference on Artificial Intelligence. 36(6), 6755–6764.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 10891
Henzinger TA. 2022. Quantitative monitoring of software. Software Verification. NSV: Numerical Software VerificationLNCS vol. 13124, 3–6.
View | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed