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.
643 Publications
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 | Journal Article | IST-REx-ID: 1066 |
Chatterjee K, Henzinger TA, Otop J, Velner Y. Quantitative fair simulation games. Information and Computation. 2017;254(2):143-166. doi:10.1016/j.ic.2016.10.006
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2017 | Published | Journal Article | IST-REx-ID: 673
Altmeyer S, Lueptow R. Wave propagation reversal for wavy vortices in wide gap counter rotating cylindrical Couette flow. Physical Review E. 2017;95(5). doi:10.1103/PhysRevE.95.053103
[Submitted Version]
View
| DOI
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 1338 |
Cerny P, Clarke E, Henzinger TA, et al. From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods in System Design. 2017;50(2-3):97-139. doi: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 K, Doyen L, Filiot E, Raskin J. Doomsday equilibria for omega-regular games. Information and Computation. 2017;254:296-315. doi: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 J, Sixt MK. Cell migration: Making the waves. Current Biology. 2017;27(1):R24-R25. doi:10.1016/j.cub.2016.11.035
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 8129 |
Costa RP, Assael YM, Shillingford B, Freitas N de, Vogels TP. Cortical microcircuits as gated-recurrent neural networks. In: Advances in Neural Information Processing Systems. Vol 30. Neural Information Processing Systems Foundation; 2017:272-283.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
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 K, Goharshady AK, Pavlogiannis A. JTDec: A tool for tree decompositions in soot. In: D’Souza D, ed. Vol 10482. Springer; 2017:59-66. doi:10.1007/978-3-319-68167-2_4
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 639 |
Chatterjee K, Fu H, Goharshady AK. Non-polynomial worst case analysis of recursive programs. In: Majumdar R, Kunčak V, eds. Vol 10427. Springer; 2017:41-63. doi: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 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
| 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 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: 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