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 |

Bergmiller T, Andersson AM, Tomasek K, Balleza E, Kiviet D, Hauschild R, Tkačik G, Guet CC. 2017. Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity, Institute of Science and Technology Austria, 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 |

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 |

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 |

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 |

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: 716 |

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 |

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 |

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 |

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 |

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 | Conference Paper | IST-REx-ID: 1194 |

Chatterjee K, Novotný P, Zikelic D. 2017. Stochastic invariants for probabilistic termination. POPL: Principles of Programming Languages, ACM SIGPLAN Notices, vol. 52, 145–160.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Published | Thesis | IST-REx-ID: 837 |

Xu H. 2017. Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 663 |

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 |

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 |

Pietrzak, Krzysztof Z, Non uniform attacks against pseudoentropy. 80. 2017
[Published Version]
View
| Files available
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 551 |

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 |

Chatterjee, Krishnendu, Faster algorithms for mean-payoff parity games. Leibniz International Proceedings in Informatics 83. 2017
[Published Version]
View
| Files available
| DOI