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.




3653 Publications

2021 | Thesis | IST-REx-ID: 10083
Li L. 2021. Rapid cell growth regulation in Arabidopsis. IST Austria.
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 10220 | OA
Avvakumov S, Mabillard I, Skopenkov AB, Wagner U. 2021. Eliminating higher-multiplicity intersections. III. Codimension 2. Israel Journal of Mathematics., 1–34.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2021 | Conference Paper | IST-REx-ID: 10218 | OA
Alistarh D-A, Gelashvili R, Rybicki J. 2021. Brief announcement: Fast graphical population protocols. 35th International Symposium on Distributed Computing. DISC: Distributed Computing , LIPIcs, vol. 209, 43.
View | Files available | DOI | arXiv
 
2021 | Conference Paper | IST-REx-ID: 10219 | OA
Korhonen J, Paz A, Rybicki J, Schmid S, Suomela J. 2021. Brief announcement: Sinkless orientation is hard also in the supported LOCAL model. 35th International Symposium on Distributed Computing. DISC: Distributed Computing , LIPIcs, vol. 209, 58.
View | Files available | DOI | arXiv
 
2021 | Conference Paper | IST-REx-ID: 10216 | OA
Chatterjee B, Peri S, Sa M. 2021. Brief announcement: Non-blocking dynamic unbounded graphs with worst-case amortized bounds. 35th International Symposium on Distributed Computing. DISC: Distributed Computing, LIPIcs, vol. 209, 52.
View | Files available | DOI | arXiv
 
2021 | Journal Article | IST-REx-ID: 10153 | OA
Mühlböck F, Tate R. 2021. Transitioning from structural to nominal code with efficient gradual typing. Proceedings of the ACM on Programming Languages. 5, 127.
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 10204
Osang GF, Edelsbrunner H, Saadatfar M. 2021. Topological signatures and stability of hexagonal close packing and Barlow stackings. Soft Matter. 17(40), 9107–9115.
View | DOI
 
2021 | Journal Article | IST-REx-ID: 10284 | OA
Casillas Perez BE, Pull C, Naiser F, Naderlinger E, Matas J, Cremer S. 2021. Early queen infection shapes developmental dynamics and induces long-term disease protection in incipient ant colonies. Ecology Letters. 00, 1–12.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 10281 | OA
Vasic V, Jones MSO, Haslinger D, Knaus L, Schmeisser MJ, Novarino G, Chiocchetti AG. 2021. Translating the role of mtor-and ras-associated signalopathies in autism spectrum disorder: Models, mechanisms and treatment. Genes. 12(11), 1746.
View | DOI | Download None (ext.)
 
2021 | Journal Article | IST-REx-ID: 10285 | OA
Dubach G. 2021. On eigenvector statistics in the spherical and truncated unitary ensembles. Electronic Journal of Probability. 26, 124.
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 10282 | OA
Kashkan I, Hrtyan M, Retzer K, Humpolíčková J, Jayasree A, Filepová R, Vondráková Z, Simon S, Rombaut D, Jacobs TB, Frilander MJ, Hejátko J, Friml J, Petrášek J, Růžička K. 2021. Mutually opposing activity of PIN7 splicing isoforms is required for auxin-mediated tropic responses in Arabidopsis thaliana. New Phytologist.
View | DOI | Download Preprint (ext.)
 
2021 | Journal Article | IST-REx-ID: 10283 | OA
Restivo L, Gerlach B, Tsoory M, Bikovski L, Badurek S, Pitzer C, Kos-Braun IC, Mausset-Bonnefont ALM, Ward J, Schunn M, Noldus LPJJ, Bespalov A, Voikar V. 2021. Towards best practices in research: Role of academic core facilities. EMBO Reports., 53824.
View | DOI | Download Published Version (ext.)
 
2021 | Journal Article | IST-REx-ID: 10280 | OA
Aubret A, Martinet Q, Palacci JA. 2021. Metamachines of pluripotent colloids. Nature Communications. 12(1), 6398.
View | Files available | DOI | PubMed | Europe PMC
 
2021 | Book Chapter | IST-REx-ID: 10268
Hörmayer L, Friml J, Glanc M. 2021.Automated time-lapse imaging and manipulation of cell divisions in Arabidopsis roots by vertical-stage confocal microscopy. In: Plant Cell Division. Methods in Molecular Biology, vol. 2382, 105–114.
View | DOI | PubMed | Europe PMC
 
2021 | Book Chapter | IST-REx-ID: 10267
Zhang Y, Li L, Friml J. 2021.Evaluation of gravitropism in non-seed plants. In: Plant Gravitropism. Methods in Molecular Biology, vol. 2368, 43–51.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 10270 | OA
Marconi M, Gallemi M, Benková E, Wabnik K. A coupled mechano-biochemical model for cell polarity guided anisotropic root growth. eLife. 10, 72132.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 10208
Goudarzi S, Sharif M, Karimipour F. 2021. A context-aware dimension reduction framework for trajectory and health signal analyses. Journal of Ambient Intelligence and Humanized Computing.
View | Files available | DOI
 
2021 | Thesis | IST-REx-ID: 10199 | OA
Toman V. 2021. Improved verification techniques for concurrent systems. IST Austria.
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 10191 | OA
Bui TL, Chatterjee K, Gautam T, Pavlogiannis A, Toman V. 2021. The reads-from equivalence for the TSO and PSO memory models. Proceedings of the ACM on Programming Languages. 5(OOPSLA), 164.
View | Files available | DOI | 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 | Files available | DOI | Download Published Version (ext.) | arXiv
 

Search

Filter Publications