Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
10784 Publications
2017 | Published | Journal Article | IST-REx-ID: 1065 |

Chatterjee K, Osang GF. Pushdown reachability with constant treewidth. Information Processing Letters. 2017;122:25-29. doi:10.1016/j.ipl.2017.02.003
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1077 |

Fernandes Redondo RA, de Vladar H, Włodarski T, Bollback JP. Evolutionary interplay between structure, energy and epistasis in the coat protein of the ϕX174 phage family. Journal of the Royal Society Interface. 2017;14(126). doi:10.1098/rsif.2016.0139
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1080 |

Reiter J, Makohon Moore A, Gerold J, et al. Reconstructing metastatic seeding patterns of human cancers. Nature Communications. 2017;8. doi:10.1038/ncomms14114
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1110 |

Kuhn B, Nodzyński T, Errafi S, et al. Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity. Scientific Reports. 2017;7. doi:10.1038/srep41906
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1104 |

Deny S, Ferrari U, Mace E, et al. Multiplexed computations in retinal ganglion cells of a single type. Nature Communications. 2017;8(1). doi:10.1038/s41467-017-02159-y
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1085 |

Wright A, Darolti I, Bloch N, et al. Convergent recombination suppression suggests role of sexual selection in guppy sex chromosome formation. Nature Communications. 2017;8. doi:10.1038/ncomms14251
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1111 |

Heredia J, Trubenova B, Sudholt D, Paixao T. Selection limits to adaptive walks on correlated landscapes. Genetics. 2017;205(2):803-825. doi:10.1534/genetics.116.189340
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 1117 |

Chen C, Arai itaru, Satterield R, Young S, Jonas PM. Synaptotagmin 2 is the fast Ca2+ sensor at a central inhibitory synapse. Cell Reports. 2017;18(3):723-736. doi:10.1016/j.celrep.2016.12.067
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1132 |

O’Neill J, Boccara CN, Stella F, Schönenberger P, Csicsvari JL. Superficial layers of the medial entorhinal cortex replay independently of the hippocampus. Science. 2017;355(6321):184-188. doi:10.1126/science.aag2787
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1114 |

Fink JM, Dombi A, Vukics A, Wallraff A, Domokos P. Observation of the photon blockade breakdown phase transition. Physical Review X. 2017;7(1). doi:10.1103/PhysRevX.7.011012
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 1175 |

Alwen JF, De Rezende S, Nordstrom J, Vinyals M. Cumulative space in black-white pebbling and resolution. In: Papadimitriou C, ed. Vol 67. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017:38:1-38-21. doi:10.4230/LIPIcs.ITCS.2017.38
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 1169 |

Novak S, Kollár R. Spatial gene frequency waves under genotype dependent dispersal. Genetics. 2017;205(1):367-374. doi:10.1534/genetics.116.193946
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 1174 |

Skórski M. Lower bounds on key derivation for square-friendly applications. In: Vol 66. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.STACS.2017.57
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1160 |

Altmeyer S, Do Y, Lai Y. Dynamics of ferrofluidic flow in the Taylor-Couette system with a small aspect ratio. Scientific Reports. 2017;7. doi:10.1038/srep40012
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1152 |

Gajda-Zagorska EP, Schaefer R, Smołka M, Pardo D, Alvarez Aramberri J. A multi objective memetic inverse solver reinforced by local optimization methods. Journal of Computational Science. 2017;18:85-94. doi:10.1016/j.jocs.2016.06.007
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Book Chapter | IST-REx-ID: 1213
Baranova NS, Loose M. Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers. In: Echard A, ed. Cytokinesis. Vol 137. Academic Press; 2017:355-370. doi:10.1016/bs.mcb.2016.03.036
View
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1207 |

Bao Z, Erdös L, Schnelli K. Local law of addition of random matrices on optimal scale. Communications in Mathematical Physics. 2017;349(3):947-990. doi:10.1007/s00220-016-2805-6
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 12193 |

Walker J, Gao H, Zhang J, et al. Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis. Nature Genetics. 2017;50(1):130-137. doi:10.1038/s41588-017-0008-5
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 1351 |

Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. Model checking the evolution of gene regulatory networks. Acta Informatica. 2017;54(8):765-787. doi:10.1007/s00236-016-0278-x
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 1194 |

Chatterjee K, Novotný P, Zikelic D. Stochastic invariants for probabilistic termination. In: Vol 52. ACM; 2017:145-160. doi:10.1145/3009837.3009873
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv