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.
5871 Publications
2017 | Published | Journal Article | IST-REx-ID: 673
Altmeyer, Sebastian, and Richard Lueptow. “Wave Propagation Reversal for Wavy Vortices in Wide Gap Counter Rotating Cylindrical Couette Flow.” Physical Review E. American Physical Society, 2017. https://doi.org/10.1103/PhysRevE.95.053103.
[Submitted Version]
View
| DOI
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 1338 | 
Cerny, Pavol, Edmund Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, and Thorsten Tarrach. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.” Formal Methods in System Design. Springer, 2017. https://doi.org/10.1007/s10703-016-0256-5.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 466 |
Chatterjee, Krishnendu, Unifying two views on multiple mean-payoff objectives in Markov decision processes. Logical Methods in Computer Science 13 (2). 2017
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 681 |
Chatterjee, Krishnendu, Laurent Doyen, Emmanuel Filiot, and Jean Raskin. “Doomsday Equilibria for Omega-Regular Games.” Information and Computation. Elsevier, 2017. https://doi.org/10.1016/j.ic.2016.10.012.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 1161 |
Müller, Jan, and Michael K Sixt. “Cell Migration: Making the Waves.” Current Biology. Cell Press, 2017. https://doi.org/10.1016/j.cub.2016.11.035.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1028 |
Kainrath, Stephanie, Green-light-induced inactivation of receptor signaling using cobalamin-binding domains. Angewandte Chemie - International Edition 56 (16). 2017
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1024 |
Hurny, Andrej, Methodological advances in auxin and cytokinin biology. Auxins and Cytokinins in Plant Biology 1569. 2017
[Submitted Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 679 |
Ebner, Florian, The RNA-binding protein tristetraprolin schedules apoptosis of pathogen-engaged neutrophils during bacterial infection. The Journal of Clinical Investigation 127 (6). 2017
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Published | Conference Paper | IST-REx-ID: 949 |
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. “JTDec: A Tool for Tree Decompositions in Soot.” edited by Deepak D’Souza, 10482:59–66. Springer, 2017. https://doi.org/10.1007/978-3-319-68167-2_4.
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 639 |
Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar Goharshady. “Non-Polynomial Worst Case Analysis of Recursive Programs.” edited by Rupak Majumdar and Viktor Kunčak, 10427:41–63. Springer, 2017. https://doi.org/10.1007/978-3-319-63390-9_3.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 1029 |
Lukacisin, Martin, Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast. PLoS One 12 (3). 2017
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 676 |
Krens, Gabriel, Jim Veldhuis, Vanessa Barone, Daniel Capek, Jean-Léon Maître, Wayne Brodland, and Carl-Philipp J Heisenberg. “Interstitial Fluid Osmolarity Modulates the Action of Differential Tissue Surface Tension in Progenitor Cell Segregation during Gastrulation.” Development. Company of Biologists, 2017. https://doi.org/10.1242/dev.144964.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 696 |
Lukacisinova, Marta, Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes. PLoS Computational Biology 13 (7). 2017
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 1027 |
Lukacisinova, Marta, and Mark Tobias Bollenbach. “Toward a Quantitative Understanding of Antibiotic Resistance Evolution.” Current Opinion in Biotechnology. Elsevier, 2017. https://doi.org/10.1016/j.copbio.2017.02.013.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 682 |
Ukai, Hikari, PirB regulates asymmetries in hippocampal circuitry. PLoS One 12 (6). 2017
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 704 |
Steinrück, Magdalena, Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection. eLife 6. 2017
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 664
Assen, Frank P, The dynamic cytokine niche. Immunity 46 (4). 2017
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 661 |
Smutny, Michael, Friction forces position the neural anlage. Nature Cell Biology 19. 2017
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 735
Barone, Vanessa, An effective feedback loop between cell-cell contact duration and morphogen signaling determines cell fate. Developmental Cell 43 (2). 2017
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 960 |
Hansen, Andi H, Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks. Frontiers in Cellular Neuroscience 11. 2017
[Published Version]
View
| Files available
| DOI
| WoS