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.




3639 Publications

2021 | Book Chapter | IST-REx-ID: 10267
Zhang, Yuzhou, Lanxin Li, and Jiří Friml. “Evaluation of Gravitropism in Non-Seed Plants.” In Plant Gravitropism, 2368:43–51. Humana Press, 2021. https://doi.org/10.1007/978-1-0716-1677-2_2.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 10270 | OA
Marconi, Marco, Marçal Gallemi, Eva Benková, and Krzysztof Wabnik. “A Coupled Mechano-Biochemical Model for Cell Polarity Guided Anisotropic Root Growth.” ELife. eLife Sciences Publications, n.d. https://doi.org/10.7554/elife.72132.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 10290 | OA
Dimchev, Georgi A, Behnam Amiri, Florian Fäßler, Martin Falcke, and Florian KM Schur. “Computational Toolbox for Ultrastructural Quantitative Analysis of Filament Networks in Cryo-ET Data.” Journal of Structural Biology. Elsevier , 2021. https://doi.org/10.1016/j.jsb.2021.107808.
View | Files available | DOI | Download Published Version (ext.)
 
2021 | Journal Article | IST-REx-ID: 10208
Goudarzi, Samira, Mohammad Sharif, and Farid Karimipour. “A Context-Aware Dimension Reduction Framework for Trajectory and Health Signal Analyses.” Journal of Ambient Intelligence and Humanized Computing. Springer Nature, 2021. https://doi.org/10.1007/s12652-021-03569-z.
View | Files available | DOI
 
2021 | Thesis | IST-REx-ID: 10199 | OA
Toman, Viktor. “Improved Verification Techniques for Concurrent Systems.” IST Austria, 2021. https://doi.org/10.15479/at:ista:10199.
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 10191 | OA
Bui, Truc Lam, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, and Viktor Toman. “The Reads-from Equivalence for the TSO and PSO Memory Models.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2021. https://doi.org/10.1145/3485541.
View | Files available | DOI | arXiv
 
2021 | Conference Paper | IST-REx-ID: 9987 | OA
Agarwal, Pratyush, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, and Viktor Toman. “Stateless Model Checking under a Reads-Value-from Equivalence.” In 33rd International Conference on Computer-Aided Verification , 12759:341–66. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-81685-8_16.
View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2021 | Journal Article | IST-REx-ID: 10299 | OA
Choueiri, George H, Jose M Lopez Alonso, Atul Varshney, Sarath Sankar, and Björn Hof. “Experimental Observation of the Origin and Structure of Elastoinertial Turbulence.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2021. https://doi.org/10.1073/pnas.2102350118.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 10301 | OA
Conde-Dusman, María J, Partha N Dey, Óscar Elía-Zudaire, Luis E Garcia Rabaneda, Carmen García-Lira, Teddy Grand, Victor Briz, et al. “Control of Protein Synthesis and Memory by GluN3A-NMDA Receptors through Inhibition of GIT1/MTORC1 Assembly.” ELife. eLife Sciences Publications, 2021. https://doi.org/10.7554/elife.71575.
View | Files available | DOI | Download Published Version (ext.)
 
2021 | Journal Article | IST-REx-ID: 10310 | OA
Çoruh, Mehmet Orkun, Anna Frank, Hideaki Tanaka, Akihiro Kawamoto, Eithar El-Mohsnawy, Takayuki Kato, Keiichi Namba, Christoph Gerle, Marc M. Nowaczyk, and Genji Kurisu. “Cryo-EM Structure of a Functional Monomeric Photosystem I from Thermosynechococcus Elongatus Reveals Red Chlorophyll Cluster.” Communications Biology. Springer , 2021. https://doi.org/10.1038/s42003-021-01808-9.
View | Files available | DOI | PubMed | Europe PMC
 

Search

Filter Publications