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.




5730 Publications

2017 | Research Data | IST-REx-ID: 5560 | OA
Bergmiller T, Andersson AM, Tomasek K, et al. Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity. 2017. doi:10.15479/AT:ISTA:53
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 665
Bergmiller, Tobias, Biased partitioning of the multidrug efflux pump AcrAB TolC underlies long lived phenotypic heterogeneity. Science 356 (6335). 2017
View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 660 | OA
Rickman, Jamie, Steady state EB cap size fluctuations are determined by stochastic microtubule growth and maturation. PNAS 114 (13). 2017
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 687 | OA
Davison, Ben, The critical CoHA of a quiver with potential. Quarterly Journal of Mathematics 68 (2). 2017
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Published | Journal Article | IST-REx-ID: 726 | OA
Hannezo, Edouard B, A unifying theory of branching morphogenesis. Cell 171 (1). 2017
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 694 | OA
Veß, Astrid, A dual phenotype of MDA MB 468 cancer cells reveals mutual regulation of tensin3 and adhesion plasticity. Journal of Cell Science 130 (13). 2017
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 727
Mueller, Jan, Load adaptation of lamellipodial actin networks. Cell 171 (1). 2017
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 716 | OA
Chatterjee, Krishnendu, The complexity of mean-payoff pushdown games. Journal of the ACM 64 (5). 2017
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 721 | OA
Ajanki, Oskari H, Singularities of solutions to quadratic vector equations on the complex upper half plane. Communications on Pure and Applied Mathematics 70 (9). 2017
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Published | Journal Article | IST-REx-ID: 725 | OA
Harpaz, Roy, Discrete modes of social information processing predict individual behavior of fish in a group. PNAS 114 (38). 2017
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 699 | OA
Veller, Carl, The red queen and king in finite populations. PNAS 114 (27). 2017
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 707 | OA
Akopyan, Arseniy, A tight estimate for the waist of the ball . Bulletin of the London Mathematical Society 49 (4). 2017
[Preprint] View | DOI | Download Preprint (ext.)
 
2017 | Published | Journal Article | IST-REx-ID: 719
Chatterjee, Krishnendu, Special issue: Synthesis and SYNT 2014. Acta Informatica 54 (6). 2017
View | DOI
 
2017 | Published | Conference Paper | IST-REx-ID: 1194 | OA
Chatterjee K, Novotný P, Zikelic D. Stochastic invariants for probabilistic termination. In: Vol 52. ACM; 2017:145-160. doi:10.1145/3009837.3009873
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Published | Thesis | IST-REx-ID: 837 | OA
Xu H. Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. 2017. doi:10.15479/AT:ISTA:th_858
[Published Version] View | Files available | DOI
 
2017 | Published | Conference Paper | IST-REx-ID: 663 | OA
Kong, Hui, Safety verification of nonlinear hybrid systems based on invariant clusters. Proceedings of the 20th International Conference on Hybrid Systems. 2017
[Submitted Version] View | Files available | DOI
 
2017 | Published | Conference Paper | IST-REx-ID: 432 | OA
Zhang, Hantian, ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning. Proceedings of Machine Learning Research 70. 2017
[Submitted Version] View | Files available
 
2017 | Published | Conference Paper | IST-REx-ID: 697 | OA
Pietrzak, Krzysztof Z, Non uniform attacks against pseudoentropy. 80. 2017
[Published Version] View | Files available | DOI
 
2017 | Published | Conference Paper | IST-REx-ID: 551 | OA
Chatterjee, Krishnendu, Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs. Leibniz International Proceedings in Informatics 83. 2017
[Published Version] View | Files available | DOI
 
2017 | Published | Conference Paper | IST-REx-ID: 552 | OA
Chatterjee, Krishnendu, Faster algorithms for mean-payoff parity games. Leibniz International Proceedings in Informatics 83. 2017
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed