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.
600 Publications
2017 | Journal Article | IST-REx-ID: 743
Gottlob, G., Henzinger, T. A., & Weißenbacher, G. (2017). Preface of the special issue in memoriam Helmut Veith. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-017-0307-6
View
| DOI
| WoS
2017 | Thesis | IST-REx-ID: 961 |
Barone, V. (2017). Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_825
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 734 |
Kennedy, P., Baron, G., Qiu, B., Freitak, D., Helantera, H., Hunt, E., … Sumner, S. (2017). Deconstructing superorganisms and societies to address big questions in biology. Trends in Ecology and Evolution. Cell Press. https://doi.org/10.1016/j.tree.2017.08.004
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Thesis | IST-REx-ID: 819 |
Pull, C. (2017). Disease defence in garden ants. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_861
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 732 |
Pull, C., & Cremer, S. (2017). Co-founding ant queens prevent disease by performing prophylactic undertaking behaviour. BMC Evolutionary Biology. BioMed Central. https://doi.org/10.1186/s12862-017-1062-4
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 726 |
Hannezo, E. B., Scheele, C., Moad, M., Drogo, N., Heer, R., Sampogna, R., … Simons, B. (2017). A unifying theory of branching morphogenesis. Cell. Cell Press. https://doi.org/10.1016/j.cell.2017.08.026
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 727
Mueller, J., Szep, G., Nemethova, M., de Vries, I., Lieber, A., Winkler, C., … Sixt, M. K. (2017). Load adaptation of lamellipodial actin networks. Cell. Cell Press. https://doi.org/10.1016/j.cell.2017.07.051
View
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 730
Savin, C., & Tkačik, G. (2017). Maximum entropy models as a tool for building precise neural controls. Current Opinion in Neurobiology. Elsevier. https://doi.org/10.1016/j.conb.2017.08.001
View
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 728
Chan, C., Heisenberg, C.-P. J., & Hiiragi, T. (2017). Coordination of morphogenesis and cell fate specification in development. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2017.07.010
View
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 729
Spiro, Z. P., & Heisenberg, C.-P. J. (2017). Regeneration tensed up polyploidy takes the lead. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2017.09.008
View
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 548 |
De Martino, D. (2017). Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes. Physical Review E. American Physical Society. https://doi.org/10.1103/PhysRevE.96.060401
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 | 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
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 447 |
Ferrari, P., & Nejjar, P. (2017). Fluctuations of the competition interface in presence of shocks. Revista Latino-Americana de Probabilidade e Estatística. Instituto Nacional de Matematica Pura e Aplicada. https://doi.org/10.30757/ALEA.v14-17
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 557 |
Nickells, R., Schmitt, H., Maes, M. E., & Schlamp, C. (2017). AAV2 mediated transduction of the mouse retina after optic nerve injury. Investigative Ophthalmology and Visual Science. Association for Research in Vision and Ophthalmology. https://doi.org/10.1167/iovs.17-22634
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 997 |
Yakaboylu, E., Deuchert, A., & Lemeshko, M. (2017). Emergence of non-abelian magnetic monopoles in a quantum impurity problem. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.119.235301
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2017 | Conference Paper | IST-REx-ID: 911 |
Royer, A., Kolesnikov, A., & Lampert, C. (2017). Probabilistic image colorization (p. 85.1-85.12). Presented at the BMVC: British Machine Vision Conference, London, United Kingdom: BMVA Press. https://doi.org/10.5244/c.31.85
[Published Version]
View
| Files available
| DOI
| arXiv
2017 | Journal Article | IST-REx-ID: 1146
Sun, W., Zhai, M.-Z., Li, D., Zhou, Y., Chen, N., Guo, M., & Zhou, S. (2017). Comparison of the effects of nicotinic acid and nicotinamide degradation on plasma betaine and choline levels. Clinical Nutrition. Elsevier. https://doi.org/10.1016/j.clnu.2016.07.016
View
| DOI
2017 | Book Chapter | IST-REx-ID: 84
Edelsbrunner, H., & Koehl, P. (2017). Computational topology for structural molecular biology. In C. Toth, J. O’Rourke, & J. Goodman (Eds.), Handbook of Discrete and Computational Geometry, Third Edition (pp. 1709–1735). Taylor & Francis. https://doi.org/10.1201/9781315119601
View
| DOI
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 | Journal Article | IST-REx-ID: 1007 |
Lang, M., & Sontag, E. (2017). Zeros of nonlinear systems with input invariances. Automatica. International Federation of Automatic Control. https://doi.org/10.1016/j.automatica.2017.03.030
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Conference Paper | IST-REx-ID: 1108 |
Zimin, A., & Lampert, C. (2017). Learning theory for conditional risk minimization (Vol. 54, pp. 213–222). Presented at the AISTATS: Artificial Intelligence and Statistics, Fort Lauderdale, FL, United States: ML Research Press.
[Submitted Version]
View
| Download Submitted Version (ext.)
| WoS
2017 | Journal Article | IST-REx-ID: 909 |
Akopyan, A., & Vysotsky, V. (2017). On the lengths of curves passing through boundary points of a planar convex shape. The American Mathematical Monthly. Mathematical Association of America. https://doi.org/10.4169/amer.math.monthly.124.7.588
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2017 | Conference Paper | IST-REx-ID: 431 |
Alistarh, D.-A., Grubic, D., Li, J., Tomioka, R., & Vojnović, M. (2017). QSGD: Communication-efficient SGD via gradient quantization and encoding (Vol. 2017, pp. 1710–1721). Presented at the NIPS: Neural Information Processing System, Long Beach, CA, United States: Neural Information Processing Systems Foundation.
[Submitted Version]
View
| Download Submitted Version (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 549 |
Finkbeiner, B., & Kupriyanov, A. (2017). Causality-based model checking. In Electronic Proceedings in Theoretical Computer Science (Vol. 259, pp. 31–38). Uppsala, Sweden: Open Publishing Association. https://doi.org/10.4204/EPTCS.259.3
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 999 |
Pentina, A., & Lampert, C. (2017). Multi-task learning with labeled and unlabeled tasks (Vol. 70, pp. 2807–2816). Presented at the ICML: International Conference on Machine Learning, Sydney, Australia: ML Research Press.
[Submitted Version]
View
| Download Submitted Version (ext.)
| WoS
2017 | Conference Paper | IST-REx-ID: 485
Rueda Sanchez, A. R., Sedlmeir, F., Collodo, M., Vogl, U., Stiller, B., Schunk, G., … Schwefel, H. (2017). Single sideband microwave to optical photon conversion-an-electro-optic-realization. In Optics InfoBase Conference Papers (Vol. F54). Waikoloa, HI, United States: Optica Publishing Group. https://doi.org/10.1364/NLO.2017.NM3A.1
View
| DOI
2017 | Journal Article | IST-REx-ID: 675
Haase, J., Bagiante, S., Sigg, H., & Van Bokhoven, J. (2017). Surface enhanced infrared absorption of chemisorbed carbon monoxide using plasmonic nanoantennas. Optics Letters. Optica Publishing Group. https://doi.org/10.1364/OL.42.001931
View
| DOI
2017 | Journal Article | IST-REx-ID: 459 |
Cremer, S. (2017). Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern. Rundgespräche Forum Ökologie. Verlag Dr. Friedrich Pfeil.
[Published Version]
View
| Files available
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 | Conference Paper | IST-REx-ID: 274 |
Kolmogorov, V. (2017). A faster approximation algorithm for the Gibbs partition function. In Proceedings of the 31st Conference On Learning Theory (Vol. 75, pp. 228–249). ML Research Press.
[Published Version]
View
| Files available
| arXiv
2017 | Journal Article | IST-REx-ID: 558
Futo, M., Sell, M., Kutzer, M., & Kurtz, J. (2017). Specificity of oral immune priming in the red flour beetle Tribolium castaneum. Biology Letters. The Royal Society. https://doi.org/10.1098/rsbl.2017.0632
View
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 1030 |
Villányi, M. (2017). Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library. Informationspraxis. Verein Informationspraxis . https://doi.org/10.11588/ip.2017.1.35227
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 12193 |
Walker, J., Gao, H., Zhang, J., Aldridge, B., Vickers, M., Higgins, J. D., & Feng, X. (2017). Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis. Nature Genetics. Nature Research. https://doi.org/10.1038/s41588-017-0008-5
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 14308
Praetorius, F. M., & Dietz, H. (2017). Genetically encoded DNA-protein hybrid origami. Biophysical Journal. Elsevier. https://doi.org/10.1016/j.bpj.2016.11.171
View
| DOI
2017 | Journal Article | IST-REx-ID: 14309 |
Siavashpouri, M., Wachauf, C., Zakhary, M., Praetorius, F. M., Dietz, H., & Dogic, Z. (2017). Molecular engineering of chiral colloidal liquid crystals using DNA origami. Nature Materials. Springer Nature. https://doi.org/10.1038/nmat4909
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2017 | Conference Abstract | IST-REx-ID: 14310
Siavashpouri, M., Wachauf, C., Zakhary, M., Praetorius, F. M., Dietz, H., & Dogic, Z. (2017). Molecular engineering of colloidal liquid crystals using DNA origami. In APS March Meeting 2017. APS.
View
2017 | Journal Article | IST-REx-ID: 14290
Praetorius, F. M., Kick, B., Behler, K. L., Honemann, M. N., Weuster-Botz, D., & Dietz, H. (2017). Biotechnological mass production of DNA origami. Nature. Springer Nature. https://doi.org/10.1038/nature24650
View
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 14286
Kick, B., Hensler, S., Praetorius, F. M., Dietz, H., & Weuster-Botz, D. (2017). Specific growth rate and multiplicity of infection affect high-cell-density fermentation with bacteriophage M13 for ssDNA production. Biotechnology and Bioengineering. Wiley. https://doi.org/10.1002/bit.26200
View
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 14287
Praetorius, F. M., & Dietz, H. (2017). Self-assembly of genetically encoded DNA-protein hybrid nanoscale shapes. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.aam5488
View
| DOI
| PubMed | Europe PMC
2017 | Conference Paper | IST-REx-ID: 1194 |
Chatterjee, K., Novotný, P., & Zikelic, D. (2017). Stochastic invariants for probabilistic termination (Vol. 52, pp. 145–160). Presented at the POPL: Principles of Programming Languages, Paris, France: ACM. https://doi.org/10.1145/3009837.3009873
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Book Chapter | IST-REx-ID: 545 |
Mazur, E., & Friml, J. (2017). Vascular tissue development and regeneration in the model plant arabidopsis. In S. Jurić (Ed.), Plant Engineering (pp. 113–140). InTech. https://doi.org/10.5772/intechopen.69712
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 621 |
Beattie, R. J., & Hippenmeyer, S. (2017). Mechanisms of radial glia progenitor cell lineage progression. FEBS Letters. Wiley-Blackwell. https://doi.org/10.1002/1873-3468.12906
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Research Data | IST-REx-ID: 5562 |
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 | Research Data | IST-REx-ID: 5561 |
Kainmueller, D., Jug, F., Rother, C., & Meyers, G. (2017). Graph matching problems for annotating C. Elegans. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:57
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5563 |
Lukacisin, M. (2017). MATLAB analysis code for “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:64
[Published Version]
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 839 |
Hahn, D. (2017). Brittle fracture simulation with boundary elements for computer graphics. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_855
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 614 |
Fraisse, C., Picard, M. A. L., & Vicoso, B. (2017). The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/s41467-017-01663-5
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Research Data | IST-REx-ID: 5564 |
Steinrück, M., & Guet, C. C. (2017). Fastq files for “Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:65
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 5568 |
Hahn, D. (2017). Source codes: Brittle fracture simulation with boundary elements for computer graphics. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:73
[Published Version]
View
| Files available
| DOI
2017 | Research Data | IST-REx-ID: 7163 |
Fraisse, C. (2017). Supplementary Files for “The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7163
[Published Version]
View
| Files available
| DOI