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.

472 Publications


2019 | Journal Article | IST-REx-ID: 6380 | OA
Chatterjee, Krishnendu, et al. “Efficient Parameterized Algorithms for Data Packing.” Proceedings of the ACM on Programming Languages, vol. 3, no. POPL, 53, ACM, 2019, doi:10.1145/3290366.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6490 | OA
Chatterjee, Krishnendu, et al. “The Treewidth of Smart Contracts.” Proceedings of the 34th ACM Symposium on Applied Computing, vol. Part F147772, ACM, pp. 400–08, doi:10.1145/3297280.3297322.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6260 | OA
Oochi, A., et al. “Pinstatic Acid Promotes Auxin Transport by Inhibiting PIN Internalization.” Plant Physiology, vol. 180, no. 2, ASPB, 2019, pp. 1152–65, doi:10.1104/pp.19.00201.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6894 | OA
Giacobbe, Mirco. Automatic Time-Unbounded Reachability Analysis of Hybrid Systems. IST Austria, 2019, doi:10.15479/AT:ISTA:6894.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6392 | OA
Lukacisin, Martin. Quantitative Investigation of Gene Expression Principles through Combinatorial Drug Perturbation and Theory. IST Austria, 2019, doi:10.15479/AT:ISTA:6392.
View | Files available | DOI
 

Filters and Search Terms

year=2019

Search

Filter Publications