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.
4981 Publications
2019 | Conference Paper | IST-REx-ID: 6428 | 
Ferrere T, Nickovic D, Donzé A, Ito H, Kapinski J. Interface-aware signal temporal logic. In: Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. ACM; 2019:57-66. doi:10.1145/3302504.3311800
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6442 |
Schreck C, Hafner C, Wojtan C. Fundamental solutions for water wave animation. ACM Transactions on Graphics. 2019;38(4). doi:10.1145/3306346.3323002
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6413 |
Song B, Plana C, Lopez Alonso JM, Avila M. Phase-field simulation of core-annular pipe flow. International Journal of Multiphase Flow. 2019;117:14-24. doi:10.1016/j.ijmultiphaseflow.2019.04.027
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 6419 |
Pokusaeva V, Usmanova DR, Putintseva EV, et al. An experimental assay of the interactions of amino acids from orthologous sequences shaping a complex fitness landscape. PLoS Genetics. 2019;15(4). doi:10.1371/journal.pgen.1008079
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6412 |
Moussa HF, Bsteh D, Yelagandula R, et al. Canonical PRC1 controls sequence-independent propagation of Polycomb-mediated gene silencing. Nature Communications. 2019;10(1). doi:10.1038/s41467-019-09628-6
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6415
Cremer S. Pathogens and disease defense of invasive ants. Current Opinion in Insect Science. 2019;33:63-68. doi:10.1016/j.cois.2019.03.011
View
| DOI
| WoS
2019 | Research Data Reference | IST-REx-ID: 9790
Pokusaeva V, Usmanova DR, Putintseva EV, et al. A statistical summary of segment libraries and sequencing results. 2019. doi:10.1371/journal.pgen.1008079.s011
[Published Version]
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9797
Pokusaeva V, Usmanova DR, Putintseva EV, et al. A statistical summary of segment libraries and sequencing results. 2019. doi:10.1371/journal.pgen.1008079.s011
[Published Version]
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9789
Pokusaeva V, Usmanova DR, Putintseva EV, et al. Multiple alignment of His3 orthologues. 2019. doi:10.1371/journal.pgen.1008079.s010
[Published Version]
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6462 |
Avni G, Bloem R, Chatterjee K, Henzinger TA, Konighofer B, Pranger S. Run-time optimization for learned controllers through quantitative games. In: 31st International Conference on Computer-Aided Verification. Vol 11561. Springer; 2019:630-649. doi:10.1007/978-3-030-25540-4_36
[Published Version]
View
| Files available
| DOI
| WoS