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.
5507 Publications
2019 | Published | Conference Paper | IST-REx-ID: 6887 | 
Chatterjee K, Dvorák W, Henzinger M, Svozil A. Near-linear time algorithms for Streett objectives in graphs and MDPs. In: Leibniz International Proceedings in Informatics. Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.CONCUR.2019.7
[Published Version]
View
| Files available
| DOI
2019 | Published | Conference Paper | IST-REx-ID: 6888 |
Lechner M, Hasani R, Zimmer M, Henzinger TA, Grosu R. Designing worm-inspired neural networks for interpretable robotic control. In: Proceedings - IEEE International Conference on Robotics and Automation. Vol 2019-May. IEEE; 2019. doi:10.1109/icra.2019.8793840
[Submitted Version]
View
| Files available
| DOI
2019 | Published | Conference Paper | IST-REx-ID: 6889 |
Chatterjee K, Piterman N. Combinations of Qualitative Winning for Stochastic Parity Games. In: Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.CONCUR.2019.6
[Published Version]
View
| Files available
| DOI
2019 | Published | Book Chapter | IST-REx-ID: 6890
Obr M, Schur FK. Structural analysis of pleomorphic and asymmetric viruses using cryo-electron tomography and subtomogram averaging. In: Rey FA, ed. Complementary Strategies to Study Virus Structure and Function. Vol 105. Advances in Virus Research. Elsevier; 2019:117-159. doi:10.1016/bs.aivir.2019.07.008
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Thesis | IST-REx-ID: 6894 |
Giacobbe M. Automatic time-unbounded reachability analysis of hybrid systems. 2019. doi:10.15479/AT:ISTA:6894
[Published Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 6896
Oliveira B, Yahya AÇ, Novarino G. Modeling cell-cell interactions in the brain using cerebral organoids. Brain Research. 2019;1724. doi:10.1016/j.brainres.2019.146458
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6897 |
Zhu Q, Gallemi M, Pospíšil J, Žádníková P, Strnad M, Benková E. Root gravity response module guides differential growth determining both root bending and apical hook formation in Arabidopsis. Development. 2019;146(17). doi:10.1242/dev.175919
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6898 |
Sigalova OM, Chaplin AV, Bochkareva O, et al. Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. BMC Genomics. 2019;20(1). doi:10.1186/s12864-019-6059-5
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6899 |
Bornhorst D, Xia P, Nakajima H, et al. Biomechanical signaling within the developing zebrafish heart attunes endocardial growth to myocardial chamber dimensions. Nature communications. 2019;10(1):4113. doi:10.1038/s41467-019-12068-x
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6919 |
Qi C, Minin GD, Vercellino I, Wutz A, Korkhov VM. Structural basis of sterol recognition by human hedgehog receptor PTCH1. Science Advances. 2019;5(9). doi:10.1126/sciadv.aaw6490
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6920
Artner C, Benková E. Ethylene and cytokinin - partners in root growth regulation. Molecular Plant. 2019;12(10):1312-1314. doi:10.1016/j.molp.2019.09.003
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Conference Paper | IST-REx-ID: 6931 |
Nowak T, Rybicki J. Byzantine approximate agreement on graphs. In: 33rd International Symposium on Distributed Computing. Vol 146. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019:29:1--29:17. doi:10.4230/LIPICS.DISC.2019.29
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6933 |
Censor-Hillel K, Dory M, Korhonen J, Leitersdorf D. Fast approximate shortest paths in the congested clique. In: Proceedings of the 2019 ACM Symposium on Principles of Distributed Computin. ACM; 2019:74-83. doi:10.1145/3293611.3331633
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6935 |
Foerster K-T, Korhonen J, Rybicki J, Schmid S. Does preprocessing help under congestion? In: Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing. ACM; 2019:259-261. doi:10.1145/3293611.3331581
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6936 |
Ovaskainen O, Rybicki J, Abrego N. What can observational data reveal about metacommunity processes? Ecography. 2019;42(11):1877-1886. doi:10.1111/ecog.04444
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6940 |
Bighin G, Defenu N, Nándori I, Salasnich L, Trombettoni A. Berezinskii-Kosterlitz-Thouless paired phase in coupled XY models. Physical Review Letters. 2019;123(10). doi:10.1103/physrevlett.123.100601
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6942 |
Ashok P, Brázdil T, Chatterjee K, Křetínský J, Lampert C, Toman V. Strategy representation by decision trees with linear classifiers. In: 16th International Conference on Quantitative Evaluation of Systems. Vol 11785. Springer Nature; 2019:109-128. doi:10.1007/978-3-030-30281-8_7
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6955 |
Schmickler CH, Hammer H-W, Volosniev A. Universal physics of bound states of a few charged particles. Physics Letters B. 2019;798. doi:10.1016/j.physletb.2019.135016
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6972 |
Lenzen C, Rybicki J. Self-stabilising Byzantine clock synchronisation is almost as easy as consensus. Journal of the ACM. 2019;66(5). doi:10.1145/3339471
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6978 |
Budanur NB, Dogra A, Hof B. Geometry of transient chaos in streamwise-localized pipe flow turbulence. Physical Review Fluids. 2019;4(10):102401. doi:10.1103/PhysRevFluids.4.102401
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv