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.
6158 Publications
2017 | Published | Journal Article | IST-REx-ID: 466 | 
Chatterjee K, Křetínská Z, Kretinsky J. Unifying two views on multiple mean-payoff objectives in Markov decision processes. Logical Methods in Computer Science. 2017;13(2). doi:10.23638/LMCS-13(2:15)2017
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Research Data | IST-REx-ID: 5562 |
Marre O, Tkačik G, Amodei D, Schneidman E, Bialek W, Berry M. Multi-electrode array recording from salamander retinal ganglion cells. 2017. doi:10.15479/AT:ISTA:61
[Published Version]
View
| Files available
| DOI
2017 | Published | Thesis | IST-REx-ID: 1155 |
Daca P. Statistical and logical methods for property checking. 2017. doi:10.15479/AT:ISTA:TH_730
[Published Version]
View
| Files available
| DOI
2017 | Published | Thesis | IST-REx-ID: 818 |
Mitosch K. Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics. 2017. doi:10.15479/AT:ISTA:th_862
[Published Version]
View
| Files available
| DOI
2017 | Published | Thesis | IST-REx-ID: 821 |
Pavlogiannis A. Algorithmic advances in program analysis and their applications. 2017. doi:10.15479/AT:ISTA:th_854
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 481 |
Biedl T, Huber S, Palfrader P. Planar matchings for weighted straight skeletons. International Journal of Computational Geometry and Applications. 2017;26(3-4):211-229. doi:10.1142/S0218195916600050
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 1294 |
Brázdil T, Chatterjee K, Forejt V, Kučera A. Trading performance for stability in Markov decision processes. Journal of Computer and System Sciences. 2017;84:144-170. doi:10.1016/j.jcss.2016.09.009
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Thesis | IST-REx-ID: 961 |
Barone V. Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. 2017. doi:10.15479/AT:ISTA:th_825
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 1433 |
Bauer U, Kerber M, Reininghaus J, Wagner H. Phat - Persistent homology algorithms toolbox. Journal of Symbolic Computation. 2017;78:76-90. doi:10.1016/j.jsc.2016.03.008
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1029 |
Lukacisin M, Landon M, Jajoo R. Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast. PLoS One. 2017;12(3). doi:10.1371/journal.pone.0174066
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1028 |
Kainrath S, Stadler M, Gschaider-Reichhart E, Distel M, Janovjak HL. Green-light-induced inactivation of receptor signaling using cobalamin-binding domains. Angewandte Chemie - International Edition. 2017;56(16):4608-4611. doi:10.1002/anie.201611998
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1024 |
Hurny A, Benková E. Methodological advances in auxin and cytokinin biology. Auxins and Cytokinins in Plant Biology. 2017;1569: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 AH, Düllberg CF, Mieck C, Loose M, Hippenmeyer S. Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks. Frontiers in Cellular Neuroscience. 2017;11. doi:10.3389/fncel.2017.00176
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 682 |
Ukai H, Kawahara A, Hirayama K, et al. PirB regulates asymmetries in hippocampal circuitry. PLoS One. 2017;12(6). doi:10.1371/journal.pone.0179377
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 664
Assen FP, Sixt MK. The dynamic cytokine niche. Immunity. 2017;46(4):519-520. doi:10.1016/j.immuni.2017.04.006
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 735
Barone V, Lang M, Krens G, et al. An effective feedback loop between cell-cell contact duration and morphogen signaling determines cell fate. Developmental Cell. 2017;43(2):198-211. doi:10.1016/j.devcel.2017.09.014
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 696 |
Lukacisinova M, Novak S, Paixao T. Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes. PLoS Computational Biology. 2017;13(7). doi:10.1371/journal.pcbi.1005609
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1027 |
Lukacisinova M, Bollenbach MT. Toward a quantitative understanding of antibiotic resistance evolution. Current Opinion in Biotechnology. 2017;46:90-97. doi:10.1016/j.copbio.2017.02.013
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 704 |
Steinrück M, Guet CC. Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection. eLife. 2017;6. doi:10.7554/eLife.25100
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 676 |
Krens G, Veldhuis J, Barone V, et al. Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation. Development. 2017;144(10):1798-1806. doi:10.1242/dev.144964
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC