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
Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity
T. Bergmiller, A.M. Andersson, K. Tomasek, E. Balleza, D. Kiviet, R. Hauschild, G. Tkačik, C.C. Guet, (2017).
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 665
Biased partitioning of the multidrug efflux pump AcrAB TolC underlies long lived phenotypic heterogeneity
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
Steady state EB cap size fluctuations are determined by stochastic microtubule growth and maturation
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
The critical CoHA of a quiver with potential
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
A unifying theory of branching morphogenesis
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
A dual phenotype of MDA MB 468 cancer cells reveals mutual regulation of tensin3 and adhesion plasticity
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
Load adaptation of lamellipodial actin networks
Mueller, Jan, Load adaptation of lamellipodial actin networks. Cell 171 (1). 2017
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 716 | OA
The complexity of mean-payoff pushdown games
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
Singularities of solutions to quadratic vector equations on the complex upper half plane
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
Discrete modes of social information processing predict individual behavior of fish in a group
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
The red queen and king in finite populations
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
A tight estimate for the waist of the ball
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
Special issue: Synthesis and SYNT 2014
Chatterjee, Krishnendu, Special issue: Synthesis and SYNT 2014. Acta Informatica 54 (6). 2017
View | DOI
 
2017 | Published | Conference Paper | IST-REx-ID: 1194 | OA
Stochastic invariants for probabilistic termination
K. Chatterjee, P. Novotný, D. Zikelic, in:, ACM, 2017, pp. 145–160.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Published | Thesis | IST-REx-ID: 837 | OA
Reactivation of the hippocampal cognitive map in goal-directed spatial tasks
H. Xu, Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks, Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 
2017 | Published | Conference Paper | IST-REx-ID: 663 | OA
Safety verification of nonlinear hybrid systems based on invariant clusters
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
ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning
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
Non uniform attacks against pseudoentropy
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
Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs
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
Faster algorithms for mean-payoff parity games
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

Export / Embed