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, Olivier, et al. Multi-Electrode Array Recording from Salamander Retinal Ganglion Cells. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:61.
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 1066 |
Chatterjee, Krishnendu, et al. “Quantitative Fair Simulation Games.” Information and Computation, vol. 254, no. 2, Elsevier, 2017, pp. 143–66, 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, Sebastian, and Richard Lueptow. “Wave Propagation Reversal for Wavy Vortices in Wide Gap Counter Rotating Cylindrical Couette Flow.” Physical Review E, vol. 95, no. 5, 053103, American Physical Society, 2017, doi:10.1103/PhysRevE.95.053103.
[Submitted Version]
View
| DOI
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 1338 |
Cerny, Pavol, et al. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.” Formal Methods in System Design, vol. 50, no. 2–3, Springer, 2017, pp. 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, Krishnendu, et al. “Doomsday Equilibria for Omega-Regular Games.” Information and Computation, vol. 254, Elsevier, 2017, pp. 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, Jan, and Michael K. Sixt. “Cell Migration: Making the Waves.” Current Biology, vol. 27, no. 1, Cell Press, 2017, pp. R24–25, 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, Rui Ponte, et al. “Cortical Microcircuits as Gated-Recurrent Neural Networks.” Advances in Neural Information Processing Systems, vol. 30, Neural Information Processing Systems Foundation, 2017, pp. 272–83.
[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, 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
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 | 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, Gabriel, et al. “Interstitial Fluid Osmolarity Modulates the Action of Differential Tissue Surface Tension in Progenitor Cell Segregation during Gastrulation.” Development, vol. 144, no. 10, Company of Biologists, 2017, pp. 1798–806, 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, 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: 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