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.
5694 Publications
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, vol. 46, Elsevier, 2017, pp. 90–97, doi:10.1016/j.copbio.2017.02.013.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 664
Assen, Frank P., and Michael K. Sixt. “The Dynamic Cytokine Niche.” Immunity, vol. 46, no. 4, Cell Press, 2017, pp. 519–20, doi:10.1016/j.immuni.2017.04.006.
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 704 |

Steinrück, Magdalena, and Calin C. Guet. “Complex Chromosomal Neighborhood Effects Determine the Adaptive Potential of a Gene under Selection.” ELife, vol. 6, e25100, eLife Sciences Publications, 2017, doi:10.7554/eLife.25100.
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 661 |

Smutny, Michael, et al. “Friction Forces Position the Neural Anlage.” Nature Cell Biology, vol. 19, Nature Publishing Group, 2017, pp. 306–17, doi:10.1038/ncb3492.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 735
Barone, Vanessa, et al. “An Effective Feedback Loop between Cell-Cell Contact Duration and Morphogen Signaling Determines Cell Fate.” Developmental Cell, vol. 43, no. 2, Cell Press, 2017, pp. 198–211, doi:10.1016/j.devcel.2017.09.014.
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1028 |

Kainrath, Stephanie, et al. “Green-Light-Induced Inactivation of Receptor Signaling Using Cobalamin-Binding Domains.” Angewandte Chemie - International Edition, vol. 56, no. 16, Wiley-Blackwell, 2017, pp. 4608–11, doi:10.1002/anie.201611998.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1024 |

Hurny, Andrej, and Eva Benková. “Methodological Advances in Auxin and Cytokinin Biology.” Auxins and Cytokinins in Plant Biology, vol. 1569, Springer, 2017, pp. 1–29, doi:10.1007/978-1-4939-6831-2_1.
[Submitted Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 960 |

Hansen, Andi H., et al. “Cell Polarity in Cerebral Cortex Development - Cellular Architecture Shaped by Biochemical Networks.” Frontiers in Cellular Neuroscience, vol. 11, 176, Frontiers Research Foundation, 2017, doi:10.3389/fncel.2017.00176.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 679 |

Ebner, Florian, et al. “The RNA-Binding Protein Tristetraprolin Schedules Apoptosis of Pathogen-Engaged Neutrophils during Bacterial Infection.” The Journal of Clinical Investigation, vol. 127, no. 6, American Society for Clinical Investigation, 2017, pp. 2051–65, doi:10.1172/JCI80631.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Published | Conference Paper | IST-REx-ID: 639 |

Chatterjee, Krishnendu, et al. Non-Polynomial Worst Case Analysis of Recursive Programs. Edited by Rupak Majumdar and Viktor Kunčak, vol. 10427, Springer, 2017, pp. 41–63, doi:10.1007/978-3-319-63390-9_3.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2017 | Published | Conference Paper | IST-REx-ID: 949 |

Chatterjee, Krishnendu, et al. JTDec: A Tool for Tree Decompositions in Soot. Edited by Deepak D’Souza, vol. 10482, Springer, 2017, pp. 59–66, doi:10.1007/978-3-319-68167-2_4.
[Submitted Version]
View
| Files available
| DOI
| WoS
2016 | Published | Conference Paper | IST-REx-ID: 1093 |

Daca, Przemyslaw, et al. Linear Distances between Markov Chains. Vol. 59, 20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, doi:10.4230/LIPIcs.CONCUR.2016.20.
[Published Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1234 |

Daca, Przemyslaw, et al. Faster Statistical Model Checking for Unbounded Temporal Properties. Vol. 9636, Springer, 2016, pp. 112–29, doi:10.1007/978-3-662-49674-9_7.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1391 |

Daca, Przemyslaw, et al. Array Folds Logic. Vol. 9780, Springer, 2016, pp. 230–48, doi:10.1007/978-3-319-41540-6_13.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1230 |

Daca, Przemyslaw, et al. Abstraction-Driven Concolic Testing. Vol. 9583, Springer, 2016, pp. 328–47, doi:10.1007/978-3-662-49122-5_16.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2016 | Published | Conference Paper | IST-REx-ID: 1229 |

Abusalah, Hamza M., et al. Offline Witness Encryption. Vol. 9696, Springer, 2016, pp. 285–303, doi:10.1007/978-3-319-39555-5_16.
[Submitted Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1236 |

Abusalah, Hamza M., et al. Constrained PRFs for Unbounded Inputs. Vol. 9610, Springer, 2016, pp. 413–28, doi:10.1007/978-3-319-29485-8_24.
[Submitted Version]
View
| Files available
| DOI
2016 | Published | Conference Paper | IST-REx-ID: 1235 |

Abusalah, Hamza M., and Georg Fuchsbauer. Constrained PRFs for Unbounded Inputs with Short Keys. Vol. 9696, Springer, 2016, pp. 445–63, doi:10.1007/978-3-319-39555-5_24.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2016 | Published | Journal Article | IST-REx-ID: 1358 |

Friedlander, Tamar, et al. “Intrinsic Limits to Gene Regulation by Global Crosstalk.” Nature Communications, vol. 7, 12307, Nature Publishing Group, 2016, doi:10.1038/ncomms12307.
[Published Version]
View
| Files available
| DOI
2016 | Published | Journal Article | IST-REx-ID: 1096
Schwayer, Cornelia, et al. “Actin Rings of Power.” Developmental Cell, vol. 37, no. 6, Cell Press, 2016, pp. 493–506, doi:10.1016/j.devcel.2016.05.024.
View
| Files available
| DOI