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.
4387 Publications
2017 | Journal Article | IST-REx-ID: 662 |

Shi L, Hof B, Rampp M, Avila M. 2017. Hydrodynamic turbulence in quasi Keplerian rotating flows. Physics of Fluids. 29(4), 044107.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 663 |

Kong H, Bogomolov S, Schilling C, Jiang Y, Henzinger TA. 2017. Safety verification of nonlinear hybrid systems based on invariant clusters. Proceedings of the 20th International Conference on Hybrid Systems. HSCC: Hybrid Systems Computation and Control , 163–172.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 665
Bergmiller T, Andersson AM, Tomasek K, Balleza E, Kiviet D, Hauschild R, Tkačik G, Guet CC. 2017. Biased partitioning of the multidrug efflux pump AcrAB TolC underlies long lived phenotypic heterogeneity. Science. 356(6335), 311–315.
View
| Files available
| DOI
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, IST Austria, doi:10.15479/AT:ISTA:53.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 668 |

Horsthemke M, Bachg A, Groll K, Moyzio S, Müther B, Hemkemeyer S, Wedlich Söldner R, Sixt MK, Tacke S, Bähler M, Hanley P. 2017. Multiple roles of filopodial dynamics in particle capture and phagocytosis and phenotypes of Cdc42 and Myo10 deletion. Journal of Biological Chemistry. 292(17), 7258–7273.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 669 |

Synek L, Vukašinović N, Kulich I, Hála M, Aldorfová K, Fendrych M, Žárský V. 2017. EXO70C2 is a key regulatory factor for optimal tip growth of pollen. Plant Physiology. 174(1), 223–240.
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 671 |

Hilbe C, Martinez V, Chatterjee K, Nowak M. 2017. Memory-n strategies of direct reciprocity. PNAS. 114(18), 4715–4720.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 670 |

Schreck C, Rohmer D, Hahmann S. 2017. Interactive paper tearing. Computer Graphics Forum. 36(2), 95–106.
View
| DOI
| Download Published Version (ext.)
2017 | Journal Article | IST-REx-ID: 672 |

Vaahtomeri K, Brown M, Hauschild R, de Vries I, Leithner AF, Mehling M, Kaufmann W, Sixt MK. 2017. Locally triggered release of the chemokine CCL21 promotes dendritic cell transmigration across lymphatic endothelia. Cell Reports. 19(5), 902–909.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 673 |

Altmeyer S, Lueptow R. 2017. Wave propagation reversal for wavy vortices in wide gap counter rotating cylindrical Couette flow. Physical Review E - Statistical, Nonlinear, and Soft Matter Physics. 95(5), 053103.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 674
Schwarz J, Bierbaum V, Vaahtomeri K, Hauschild R, Brown M, de Vries I, Leithner AF, Reversat A, Merrin J, Tarrant T, Bollenbach MT, Sixt MK. 2017. Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6. Current Biology. 27(9), 1314–1325.
View
| DOI
2017 | Journal Article | IST-REx-ID: 677 |

Lademann C, Renkawitz J, Pfander B, Jentsch S. 2017. The INO80 complex removes H2A.Z to promote presynaptic filament formation during homologous recombination. Cell Reports. 19(7), 1294–1303.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 679 |

Ebner F, Sedlyarov V, Tasciyan S, Ivin M, Kratochvill F, Gratz N, Kenner L, Villunger A, Sixt MK, Kovarik P. 2017. The RNA-binding protein tristetraprolin schedules apoptosis of pathogen-engaged neutrophils during bacterial infection. The Journal of Clinical Investigation. 127(6), 2051–2065.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 681 |

Chatterjee K, Doyen L, Filiot E, Raskin J. 2017. Doomsday equilibria for omega-regular games. Information and Computation. 254, 296–315.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 683 |

Lubiw A, Masárová Z, Wagner U. 2017. A proof of the orbit conjecture for flipping edge labelled triangulations. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 77, 49.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 6841 |

Martius GS, Lampert C. 2017. Extrapolation and learning equations. 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings. ICLR: International Conference on Learning Representations.
View
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 684 |

Chatterjee K, Piterman N. 2017. Obligation blackwell games and p-automata. Journal of Symbolic Logic. 82(2), 420–452.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 685 |

Briscoe J, Kicheva A. 2017. The physics of development 100 years after D’Arcy Thompson’s “on growth and form”. Mechanisms of Development. 145, 26–31.
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Conference Paper | IST-REx-ID: 688 |

Edelsbrunner H, Wagner H. 2017. Topological data analysis with Bregman divergences. Symposium on Computational Geometry, SoCG, LIPIcs, vol. 77, 391–3916.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 687 |

Davison B. 2017. The critical CoHA of a quiver with potential. Quarterly Journal of Mathematics. 68(2), 635–703.
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 647 |

Bogomolov S, Giacobbe M, Henzinger TA, Kong H. 2017. Conic abstractions for hybrid systems. FORMATS: Formal Modelling and Analysis of Timed Systems, LNCS, vol. 10419, 116–132.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 631 |

Bogomolov S, Frehse G, Giacobbe M, Henzinger TA. 2017. Counterexample guided refinement of template polyhedra. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10205, 589–606.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 693 |

Miki T, Kaufmann W, Malagon G, Gomez L, Tabuchi K, Watanabe M, Shigemoto R, Marty A. 2017. Numbers of presynaptic Ca2+ channel clusters match those of functionally defined vesicular docking sites in single central synapses. PNAS. 114(26), E5246–E5255.
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 694 |

Veß A, Blache U, Leitner L, Kurz A, Ehrenpfordt A, Sixt MK, Posern G. 2017. A dual phenotype of MDA MB 468 cancer cells reveals mutual regulation of tensin3 and adhesion plasticity. Journal of Cell Science. 130(13), 2172–2184.
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Conference Paper | IST-REx-ID: 697 |

Pietrzak KZ, Skórski M. 2017. Non uniform attacks against pseudoentropy. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 80, 39.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 698 |

Wang Y, Nagarajan M, Uhler C, Shivashankar G. 2017. Orientation and repositioning of chromosomes correlate with cell geometry dependent gene expression. Molecular Biology of the Cell. 28(14), 1997–2009.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 699 |

Veller C, Hayward L, Nowak M, Hilbe C. 2017. The red queen and king in finite populations. PNAS. 114(27), E5396–E5405.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 700 |

Barzanjeh S, Salari V, Tuszynski J, Cifra M, Simon C. 2017. Optomechanical proposal for monitoring microtubule mechanical vibrations. Physical Review E Statistical Nonlinear and Soft Matter Physics . 96(1), 012404.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 701 |

Kynčl J, Patakova Z. 2017. On the nonexistence of k reptile simplices in ℝ^3 and ℝ^4. The Electronic Journal of Combinatorics. 24(3), 1–44.
View
| Files available
2017 | Research Data | IST-REx-ID: 5564 |

Steinrück M, Guet CC. 2017. Fastq files for ‘Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection’, IST Austria, 10.15479/AT:ISTA:65.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 707 |

Akopyan A, Karasev R. 2017. A tight estimate for the waist of the ball . Bulletin of the London Mathematical Society. 49(4), 690–693.
View
| DOI
| Download Preprint (ext.)
2017 | Journal Article | IST-REx-ID: 708 |

Nagy B, Hovhannisyan A, Barzan R, Chen T, Kukley M. 2017. Different patterns of neuronal activity trigger distinct responses of oligodendrocyte precursor cells in the corpus callosum. PLoS Biology. 15(8), e2001993.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 710 |

Obremski M, Skórski M. 2017. Renyi entropy estimation revisited. 20th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX, LIPIcs, vol. 81, 20.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 713 |

Andergassen D, Dotter C, Wenzel D, Sigl V, Bammer P, Muckenhuber M, Mayer D, Kulinski T, Theussl H, Penninger J, Bock C, Barlow D, Pauler F, Hudson Q. 2017. Mapping the mouse Allelome reveals tissue specific regulation of allelic expression. eLife. 6, e25125.
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 711 |

Chatterjee K, Henzinger TA, Otop J. 2017. Bidirectional nested weighted automata. 28th International Conference on Concurrency Theory, CONCUR, LIPIcs, vol. 85, 5.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 712 |

Fischer JL. 2017. Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations. Nonlinear Analysis: Theory, Methods and Applications. 159, 181–207.
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 714 |

Brailoiu G, Deliu E, Barr J, Console Bram L, Ciuciu A, Abood M, Unterwald E, Brǎiloiu E. 2017. HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens. Drug and Alcohol Dependence. 178, 7–14.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 716 |

Chatterjee K, Velner Y. 2017. The complexity of mean-payoff pushdown games. Journal of the ACM. 64(5), 34.
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 614 |

Fraisse C, Picard MAL, Vicoso B. 2017. The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W. Nature Communications. 8(1), 1486.
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 717 |

Chatterjee K, Velner Y. 2017. Hyperplane separation technique for multidimensional mean-payoff games. Journal of Computer and System Sciences. 88, 236–259.
View
| Files available
| DOI
| Download Preprint (ext.)
2017 | Research Data | IST-REx-ID: 7163 |

Fraisse C. 2017. Supplementary Files for ‘The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W’, IST Austria, 10.15479/AT:ISTA:7163.
View
| Files available
| DOI