Please note that ISTA 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.

9468 Publications


2020 |Published| Journal Article | IST-REx-ID: 8139 | OA
Johnson AJ, Gnyliukh N, Kaufmann W, Narasimhan M, Vert G, Bednarek S, Friml J. 2020. Experimental toolbox for quantitative evaluation of clathrin-mediated endocytosis in the plant model Arabidopsis. Journal of Cell Science. 133(15), jcs248062.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 |Published| Journal Article | IST-REx-ID: 9160 | OA
Semerádová H, Montesinos López JC, Benková E. 2020. All roads lead to auxin: Post-translational regulation of auxin transport by multiple hormonal pathways. Plant Communications. 1(3), 100048.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 |Published| Conference Paper | IST-REx-ID: 7810 | OA
Chatterjee K, Goharshady AK, Ibsen-Jensen R, Pavlogiannis A. 2020. Optimal and perfectly parallel algorithms for on-demand data-flow analysis. European Symposium on Programming. ESOP: Programming Languages and Systems, LNCS, vol. 12075, 112–140.
[Published Version] View | Files available | DOI | WoS
 

2020 |Published| Conference Paper | IST-REx-ID: 8728 | OA
Asadi A, Chatterjee K, Goharshady AK, Mohammadi K, Pavlogiannis A. 2020. Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 12302, 253–270.
[Submitted Version] View | Files available | DOI | WoS
 

2020 |Published| Conference Paper | IST-REx-ID: 8089 | OA
Chatterjee K, Fu H, Goharshady AK, Goharshady EK. 2020. Polynomial invariant generation for non-deterministic recursive programs. Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 672–687.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 |Published| Journal Article | IST-REx-ID: 6918 | OA
Goharshady AK, Mohammadi F. 2020. An efficient algorithm for computing network reliability in small treewidth. Reliability Engineering and System Safety. 193, 106665.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 |Submitted| Preprint | IST-REx-ID: 8831 | OA
Aggarwal K, Hofmann AC, Jirovec D, Prieto Gonzalez I, Sammak A, Botifoll M, Marti-Sanchez S, Veldhorst M, Arbiol J, Scappucci G, Katsaros G. Enhancement of proximity induced superconductivity in planar Germanium. arXiv, 2012.00322.
[Submitted Version] View | Files available | arXiv
 

2019 |Published| Journal Article | IST-REx-ID: 10354 | OA
Harker-Kirschneck L, Baum B, Šarić A. 2019. Changes in ESCRT-III filament geometry drive membrane remodelling and fission in silico. BMC Biology. 17(1), 82.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 |Published| Journal Article | IST-REx-ID: 10355 | OA
Hafner AE, Krausser J, Šarić A. 2019. Minimal coarse-grained models for molecular self-organisation in biology. Current Opinion in Structural Biology. 58, 43–52.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC
 

2019 |Published| Journal Article | IST-REx-ID: 10621 | OA
Polshyn H, Yankowitz M, Chen S, Zhang Y, Watanabe K, Taniguchi T, Dean CR, Young AF. 2019. Large linear-in-temperature resistivity in twisted bilayer graphene. Nature Physics. 15(10), 1011–1016.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications