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.
4969 Publications
2020 | Conference Paper | IST-REx-ID: 8272 | 
Chatterjee K, Katoen JP, Weininger M, Winkler T. Stochastic games with lexicographic reachability-safety objectives. In: International Conference on Computer Aided Verification. Vol 12225. Springer Nature; 2020:398-420. doi:10.1007/978-3-030-53291-8_21
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Book Chapter | IST-REx-ID: 7572 |
Dos Santos Caldas PR, Radler P, Sommer CM, Loose M. Computational analysis of filament polymerization dynamics in cytoskeletal networks. In: Tran P, ed. Methods in Cell Biology. Vol 158. Elsevier; 2020:145-161. doi:10.1016/bs.mcb.2020.01.006
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2020 | Journal Article | IST-REx-ID: 7387 |
Baranova NS, Radler P, Hernández-Rocamora VM, et al. Diffusion and capture permits dynamic coupling between treadmilling FtsZ filaments and cell division proteins. Nature Microbiology. 2020;5:407-417. doi:10.1038/s41564-019-0657-5
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8163 |
Vegter G, Wintraecken M. Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes. Studia Scientiarum Mathematicarum Hungarica. 2020;57(2):193-199. doi:10.1556/012.2020.57.2.1454
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 8671 |
Shakiba A, Goharshady AK, Hooshmandasl MR, Alambardar Meybodi M. A note on belief structures and s-approximation spaces. Iranian Journal of Mathematical Sciences and Informatics. 2020;15(2):117-128. doi:10.29252/ijmsi.15.2.117
[Submitted Version]
View
| Files available
| DOI
| arXiv