Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

444 Publications


2019 | Conference Paper | IST-REx-ID: 6888 | OA
Lechner, M., Hasani, R., Zimmer, M., Henzinger, T. A., & Grosu, R. (2019). Designing worm-inspired neural networks for interpretable robotic control. In Proceedings - IEEE International Conference on Robotics and Automation (Vol. 2019–May). Montreal, QC, Canada: IEEE. https://doi.org/10.1109/icra.2019.8793840
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7158 | OA
Chatterjee, K., Goharshady, A. K., Goyal, P., Ibsen-Jensen, R., & Pavlogiannis, A. (2019). Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth. ACM Transactions on Programming Languages and Systems, 41(4). https://doi.org/10.1145/3363525
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6259
Cao, M., Chen, R., Li, P., Yu, Y., Zheng, R., Ge, D., … Xu, T. (2019). TMK1-mediated auxin signalling regulates differential growth of the apical hook. Nature, 568, 240–243. https://doi.org/10.1038/s41586-019-1069-7
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6824
Gärtner, F. R., & Massberg, S. (2019). Patrolling the vascular borders: Platelets in immunity to infection and cancer. Nature Reviews Immunology, 19(12), 747–760. https://doi.org/10.1038/s41577-019-0202-z
View | DOI | PubMed | Europe PMC
 

2019 | Research Data | IST-REx-ID: 7016 | OA
Tomanek, I. (2019). Data for the paper “Gene amplification as a form of population-level gene expression regulation.” IST Austria. https://doi.org/10.15479/AT:ISTA:7016
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6848
Kampjut, D., & Sazanov, L. A. (2019). Structure and mechanism of mitochondrial proton-translocating transhydrogenase. Nature, 573(7773), 291–295. https://doi.org/10.1038/s41586-019-1519-2
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 5948
Fu, H., & Chatterjee, K. (2019). Termination of nondeterministic probabilistic programs. In International Conference on Verification, Model Checking, and Abstract Interpretation (Vol. 11388, pp. 468–490). Cascais, Portugal: Springer Nature. https://doi.org/10.1007/978-3-030-11245-5_22
View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 7213 | OA
Bhatia, S., Chatterjee, B., Nathani, D., & Kaul, M. (2019). A persistent homology perspective to the link prediction problem. In Complex Networks and their applications VIII (Vol. 881, pp. 27–39). Lisbon, Portugal: Springer Nature. https://doi.org/10.1007/978-3-030-36687-2_3
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5817 | OA
Kavcic, B., Sakashita, A., Noguchi, H., & Ziherl, P. (2019). Limiting shapes of confined lipid vesicles. Soft Matter, 15(4), 602–614. https://doi.org/10.1039/c8sm01956h
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7000 | OA
Shehu, Y., Iyiola, O. S., Li, X.-H., & Dong, Q.-L. (2019). Convergence analysis of projection method for variational inequalities. Computational and Applied Mathematics, 38(4). https://doi.org/10.1007/s40314-019-0955-9
View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

year=2019

Search

Filter Publications