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.




3638 Publications

2021 | Journal Article | IST-REx-ID: 10270 | OA
Marconi, Marco, et al. “A Coupled Mechano-Biochemical Model for Cell Polarity Guided Anisotropic Root Growth.” ELife, vol. 10, 72132, eLife Sciences Publications, doi:10.7554/elife.72132.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2021 | Journal Article | IST-REx-ID: 10290 | OA
Dimchev, Georgi A., et al. “Computational Toolbox for Ultrastructural Quantitative Analysis of Filament Networks in Cryo-ET Data.” Journal of Structural Biology, vol. 213, no. 4, 107808, Elsevier , 2021, doi:10.1016/j.jsb.2021.107808.
View | Files available | DOI | Download Published Version (ext.)
 
2021 | Journal Article | IST-REx-ID: 10208
Goudarzi, Samira, et al. “A Context-Aware Dimension Reduction Framework for Trajectory and Health Signal Analyses.” Journal of Ambient Intelligence and Humanized Computing, Springer Nature, 2021, doi: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, doi:10.15479/at:ista:10199.
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 10191 | OA
Bui, Truc Lam, et al. “The Reads-from Equivalence for the TSO and PSO Memory Models.” Proceedings of the ACM on Programming Languages, vol. 5, no. OOPSLA, 164, Association for Computing Machinery, 2021, doi:10.1145/3485541.
View | Files available | DOI | arXiv
 

Search

Filter Publications