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 | OA
Marre, O., Tkačik, G., Amodei, D., Schneidman, E., Bialek, W., & Berry, M. (2017). Multi-electrode array recording from salamander retinal ganglion cells. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:61
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 1066 | OA
Chatterjee, K., Henzinger, T. A., Otop, J., & Velner, Y. (2017). Quantitative fair simulation games. Information and Computation. Elsevier. https://doi.org/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. (2017). Wave propagation reversal for wavy vortices in wide gap counter rotating cylindrical Couette flow. Physical Review E. American Physical Society. https://doi.org/10.1103/PhysRevE.95.053103
[Submitted Version] View | DOI | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 1338 | OA
Cerny, P., Clarke, E., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., Samanta, R., & Tarrach, T. (2017). From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods in System Design. Springer. 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 | OA
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 | OA
Chatterjee, K., Doyen, L., Filiot, E., & Raskin, J. (2017). Doomsday equilibria for omega-regular games. Information and Computation. Elsevier. 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 | OA
Müller, J., & Sixt, M. K. (2017). Cell migration: Making the waves. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2016.11.035
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 8129 | OA
Costa, R. P., Assael, Y. M., Shillingford, B., Freitas, N. de, & Vogels, T. P. (2017). Cortical microcircuits as gated-recurrent neural networks. In Advances in Neural Information Processing Systems (Vol. 30, pp. 272–283). Long Beach, CA, United States: Neural Information Processing Systems Foundation.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 1028 | OA
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 | OA
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 | OA
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 | OA
Chatterjee, K., Goharshady, A. K., & Pavlogiannis, A. (2017). JTDec: A tool for tree decompositions in soot. In D. D’Souza (Ed.) (Vol. 10482, pp. 59–66). Presented at the ATVA: Automated Technology for Verification and Analysis, Pune, India: Springer. 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 | OA
Chatterjee, K., Fu, H., & Goharshady, A. K. (2017). Non-polynomial worst case analysis of recursive programs. In R. Majumdar & V. Kunčak (Eds.) (Vol. 10427, pp. 41–63). Presented at the CAV: Computer Aided Verification, Heidelberg, Germany: Springer. 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 | OA
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 | OA
Krens, G., Veldhuis, J., Barone, V., Capek, D., Maître, J.-L., Brodland, W., & Heisenberg, C.-P. J. (2017). Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation. Development. Company of Biologists. https://doi.org/10.1242/dev.144964
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 696 | OA
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 | OA
Lukacisinova, M., & Bollenbach, M. T. (2017). Toward a quantitative understanding of antibiotic resistance evolution. Current Opinion in Biotechnology. Elsevier. 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 | OA
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 | OA
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
 

Filters and Search Terms

year=2017

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed