ISTA Research Explorer

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

407 Publications

2017 | Journal Article | IST-REx-ID: 9506 |

Zilberman, D. (2017). An evolutionary case for functional gene body methylation in plants and animals. Genome Biology. Springer Nature. https://doi.org/10.1186/s13059-017-1230-2

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2017 | Research Data Reference | IST-REx-ID: 9707 |

Riccio, P., Cebrián, C., Zong, H., Hippenmeyer, S., & Costantini, F. (2017). Data from: Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis. Dryad. https://doi.org/10.5061/dryad.pk16b

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2017 | Thesis | IST-REx-ID: 821 |

Pavlogiannis, A. (2017). Algorithmic advances in program analysis and their applications. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_854

[Published Version] View | Files available | DOI

2017 | Journal Article | IST-REx-ID: 1407 |

Svoreňová, M., Kretinsky, J., Chmelik, M., Chatterjee, K., Cěrná, I., & Belta, C. (2017). Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. Elsevier. https://doi.org/10.1016/j.nahs.2016.04.006

2017 | Journal Article | IST-REx-ID: 1337 |

Ajanki, O. H., Erdös, L., & Krüger, T. H. (2017). Universality for general Wigner-type matrices. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s00440-016-0740-2

[Published Version] View | Files available | DOI | WoS

2017 | Journal Article | IST-REx-ID: 1152 |

Gajda-Zagorska, E. P., Schaefer, R., Smołka, M., Pardo, D., & Alvarez Aramberri, J. (2017). A multi objective memetic inverse solver reinforced by local optimization methods. Journal of Computational Science. Elsevier. https://doi.org/10.1016/j.jocs.2016.06.007

[Submitted Version] View | Files available | DOI | WoS

2017 | Journal Article | IST-REx-ID: 1120 |

Li, X., Seiringer, R., & Lemeshko, M. (2017). Angular self-localization of impurities rotating in a bosonic bath. Physical Review A. American Physical Society. https://doi.org/10.1103/PhysRevA.95.033608

[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS

2017 | Journal Article | IST-REx-ID: 1110 |

Kuhn, B., Nodzyński, T., Errafi, S., Bucher, R., Gupta, S., Aryal, B., … Ringli, C. (2017). Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep41906

[Published Version] View | Files available | DOI | WoS

2017 | Journal Article | IST-REx-ID: 1104 |

Deny, S., Ferrari, U., Mace, E., Yger, P., Caplette, R., Picaud, S., … Marre, O. (2017). Multiplexed computations in retinal ganglion cells of a single type. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/s41467-017-02159-y

[Published Version] View | Files available | DOI | WoS

2017 | Journal Article | IST-REx-ID: 1063 |

Uecker, H. (2017). Evolutionary rescue in randomly mating, selfing, and clonal populations. Evolution. Wiley-Blackwell. https://doi.org/10.1111/evo.13191

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

2017 | Journal Article | IST-REx-ID: 1017 |

Breuss, M., Leca, I., Gstrein, T., Hansen, A. H., & Keays, D. (2017). Tubulins and brain development: The origins of functional specification. Molecular and Cellular Neuroscience. Academic Press. https://doi.org/10.1016/j.mcn.2017.03.002

[Published Version] View | Files available | DOI | WoS

2017 | Journal Article | IST-REx-ID: 736 |

Rubio, M., Matsui, K., Fukazawa, Y., Kamasawa, N., Harada, H., Itakura, M., … Shigemoto, R. (2017). The number and distribution of AMPA receptor channels containing fast kinetic GluA3 and GluA4 subunits at auditory nerve synapses depend on the target cells. Brain Structure and Function. Springer. https://doi.org/10.1007/s00429-017-1408-0

[Published Version] View | Files available | DOI | WoS

2017 | Conference Paper | IST-REx-ID: 917 |

Swoboda, P., Kuske, J., & Savchynskyy, B. (2017). A dual ascent framework for Lagrangean decomposition of combinatorial problems (Vol. 2017, pp. 4950–4960). Presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA, United States: IEEE. https://doi.org/10.1109/CVPR.2017.526

[Submitted Version] View | Files available | DOI | WoS

2017 | Journal Article | IST-REx-ID: 744 |

Priklopil, T., Chatterjee, K., & Nowak, M. (2017). Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2017.08.025

2017 | Journal Article | IST-REx-ID: 747 |

Brǎiloiu, E., Mcguire, M., Shuler, S., Deliu, E., Barr, J., Abood, M., & Brailoiu, G. (2017). Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus. Neuroscience. Elsevier. https://doi.org/10.1016/j.neuroscience.2017.09.034

2017 | Journal Article | IST-REx-ID: 627 |

Jiang, C., Zhai, M.-Z., Yan, D., Li, D., Li, C., Zhang, Y., … Sun, W. (2017). Dietary menthol-induced TRPM8 activation enhances WAT “browning” and ameliorates diet-induced obesity. Oncotarget. Impact Journals. https://doi.org/10.18632/oncotarget.20540

[Published Version] View | Files available | DOI

2017 | Conference Paper | IST-REx-ID: 432 |

Zhang, H., Li, J., Kara, K., Alistarh, D.-A., Liu, J., & Zhang, C. (2017). ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning. In Proceedings of Machine Learning Research (Vol. 70, pp. 4035–4043). Sydney, Australia: ML Research Press.

[Submitted Version] View | Files available

2017 | Book Chapter | IST-REx-ID: 424 |

Goaoc, X., Paták, P., Patakova, Z., Tancer, M., & Wagner, U. (2017). Bounding helly numbers via betti numbers. In M. Loebl, J. Nešetřil, & R. Thomas (Eds.), A Journey through Discrete Mathematics: A Tribute to Jiri Matousek (pp. 407–447). Springer. https://doi.org/10.1007/978-3-319-44479-6_17

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2016 | Journal Article | IST-REx-ID: 1083

Booker, S., Althof, D., Gross, A., Loreth, D., Müller, J., Unger, A., … Kulik, Á. (2016). KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons. Cerebral Cortex. Oxford University Press. https://doi.org/10.1093/cercor/bhw090

View | DOI

2016 | Conference Paper | IST-REx-ID: 1095 |

Haas, A., Henzinger, T. A., Holzer, A., Kirsch, C., Lippautz, M., Payer, H., … Veith, H. (2016). Local linearizability for concurrent container-type data structures. In Leibniz International Proceedings in Informatics (Vol. 59). Quebec City; Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2016.6

[Published Version] View | Files available | DOI

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

407 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

407 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

Export Options