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 TA, Grosu R. 2019. Designing worm-inspired neural networks for interpretable robotic control. Proceedings - IEEE International Conference on Robotics and Automation. ICRA: International Conference on Robotics and Automation, ICRA, vol. 2019–May.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7158 | OA
Chatterjee K, Goharshady AK, 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).
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6259
Cao M, Chen R, Li P, Yu Y, Zheng R, Ge D, Zheng W, Wang X, Gu Y, Gelová Z, Friml J, Zhang H, Liu R, He J, Xu T. 2019. TMK1-mediated auxin signalling regulates differential growth of the apical hook. Nature. 568, 240–243.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6824
Gärtner FR, Massberg S. 2019. Patrolling the vascular borders: Platelets in immunity to infection and cancer. Nature Reviews Immunology. 19(12), 747–760.
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,p.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6848
Kampjut D, Sazanov LA. 2019. Structure and mechanism of mitochondrial proton-translocating transhydrogenase. Nature. 573(7773), 291–295.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 5948
Fu H, Chatterjee K. 2019. Termination of nondeterministic probabilistic programs. International Conference on Verification, Model Checking, and Abstract Interpretation. VMCAI: Verification, Model Checking, and Abstract Interpretation, LNCS, vol. 11388. 468–490.
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. Complex Networks and their applications VIII. COMPLEX: International Conference on Complex Networks and their Applications, SCI, vol. 881. 27–39.
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.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7000 | OA
Shehu Y, Iyiola OS, Li X-H, Dong Q-L. 2019. Convergence analysis of projection method for variational inequalities. Computational and Applied Mathematics. 38(4).
View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

year=2019

Search

Filter Publications