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 TA, Weißenbacher G. 2017. Preface of the special issue in memoriam Helmut Veith. Formal Methods in System Design. 51(2), 267–269.
View | DOI | WoS
 

2017 | Thesis | IST-REx-ID: 961 | OA
Barone V. 2017. Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 734 | OA
Kennedy P, Baron G, Qiu B, Freitak D, Helantera H, Hunt E, Manfredini F, O’Shea Wheller T, Patalano S, Pull C, Sasaki T, Taylor D, Wyatt C, Sumner S. 2017. Deconstructing superorganisms and societies to address big questions in biology. Trends in Ecology and Evolution. 32(11), 861–872.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Thesis | IST-REx-ID: 819 | OA
Pull C. 2017. Disease defence in garden ants. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 732 | OA
Pull C, Cremer S. 2017. Co-founding ant queens prevent disease by performing prophylactic undertaking behaviour. BMC Evolutionary Biology. 17(1), 219.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 726 | OA
Hannezo EB, Scheele C, Moad M, Drogo N, Heer R, Sampogna R, Van Rheenen J, Simons B. 2017. A unifying theory of branching morphogenesis. Cell. 171(1), 242–255.
[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, Kruse K, Small J, Schmeiser C, Keren K, Hauschild R, Sixt MK. 2017. Load adaptation of lamellipodial actin networks. Cell. 171(1), 188–200.
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. 46, 120–126.
View | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 728
Chan C, Heisenberg C-PJ, Hiiragi T. 2017. Coordination of morphogenesis and cell fate specification in development. Current Biology. 27(18), R1024–R1035.
View | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 729
Spiro ZP, Heisenberg C-PJ. 2017. Regeneration tensed up polyploidy takes the lead. Developmental Cell. 42(6), 559–560.
View | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 548 | OA
De Martino D. 2017. Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes. Physical Review E. 96(6), 060401.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 673 | OA
Altmeyer S, Lueptow R. 2017. Wave propagation reversal for wavy vortices in wide gap counter rotating cylindrical Couette flow. Physical Review E. 95(5), 053103.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 447 | OA
Ferrari P, Nejjar P. 2017. Fluctuations of the competition interface in presence of shocks. Revista Latino-Americana de Probabilidade e Estatística. 9, 299–325.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 557 | OA
Nickells R, Schmitt H, Maes ME, Schlamp C. 2017. AAV2 mediated transduction of the mouse retina after optic nerve injury. Investigative Ophthalmology and Visual Science. 58(14), 6091–6104.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 997 | OA
Yakaboylu E, Deuchert A, Lemeshko M. 2017. Emergence of non-abelian magnetic monopoles in a quantum impurity problem. Physical Review Letters. 119(23), 235301.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2017 | Conference Paper | IST-REx-ID: 911 | OA
Royer A, Kolesnikov A, Lampert C. 2017. Probabilistic image colorization. BMVC: British Machine Vision Conference, 85.1-85.12.
[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. 36(4), 1136–1142.
View | DOI
 

2017 | Book Chapter | IST-REx-ID: 84
Edelsbrunner H, Koehl P. 2017.Computational topology for structural molecular biology. In: Handbook of Discrete and Computational Geometry, Third Edition. , 1709–1735.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 627 | OA
Jiang C, Zhai M-Z, Yan D, Li D, Li C, Zhang Y, Xiao L, Xiong D, Deng Q, Sun W. 2017. Dietary menthol-induced TRPM8 activation enhances WAT “browning” and ameliorates diet-induced obesity. Oncotarget. 8(43), 75114–75126.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1007 | OA
Lang M, Sontag E. 2017. Zeros of nonlinear systems with input invariances. Automatica. 81C, 46–55.
[Published Version] View | Files available | DOI | WoS
 

2017 | Conference Paper | IST-REx-ID: 1108 | OA
Zimin A, Lampert C. 2017. Learning theory for conditional risk minimization. AISTATS: Artificial Intelligence and Statistics, PMLR, vol. 54, 213–222.
[Submitted Version] View | Download Submitted Version (ext.) | WoS
 

2017 | Journal Article | IST-REx-ID: 909 | OA
Akopyan A, Vysotsky V. 2017. On the lengths of curves passing through boundary points of a planar convex shape. The American Mathematical Monthly. 124(7), 588–596.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

2017 | Conference Paper | IST-REx-ID: 431 | OA
Alistarh D-A, Grubic D, Li J, Tomioka R, Vojnović M. 2017. QSGD: Communication-efficient SGD via gradient quantization and encoding. NIPS: Neural Information Processing System, Advances in Neural Information Processing Systems, vol. 2017, 1710–1721.
[Submitted Version] View | Download Submitted Version (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 549 | OA
Finkbeiner B, Kupriyanov A. 2017. Causality-based model checking. Electronic Proceedings in Theoretical Computer Science. CREST: Causal Reasoning for Embedded and Safety-Critical Systems Technologies, EPTCS, vol. 259, 31–38.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 999 | OA
Pentina A, Lampert C. 2017. Multi-task learning with labeled and unlabeled tasks. ICML: International Conference on Machine Learning, PMLR, vol. 70, 2807–2816.
[Submitted Version] View | Download Submitted Version (ext.) | WoS
 

2017 | Conference Paper | IST-REx-ID: 485
Rueda Sanchez AR, Sedlmeir F, Collodo M, Vogl U, Stiller B, Schunk G, Strekalov D, Marquardt C, Fink JM, Painter O, Leuchs G, Schwefel H. 2017. Single sideband microwave to optical photon conversion-an-electro-optic-realization. Optics InfoBase Conference Papers. NLO: Nonlinear Optics vol. F54, 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. 42(10), 1931–1934.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 459 | OA
Cremer S. 2017. Invasive Ameisen in Europa: Wie sie sich ausbreiten und die heimische Fauna verändern. Rundgespräche Forum Ökologie. 46, 105–116.
[Published Version] View | Files available
 

2017 | Conference Paper | IST-REx-ID: 432 | OA
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. Proceedings of Machine Learning Research. ICML: International  Conference  on  Machine Learning, PMLR Press, vol. 70, 4035–4043.
[Submitted Version] View | Files available
 

2017 | Conference Paper | IST-REx-ID: 274 | OA
Kolmogorov V. 2017. A faster approximation algorithm for the Gibbs partition function. Proceedings of the 31st Conference On Learning Theory. COLT: Annual Conference on Learning Theory vol. 75, 228–249.
[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. 13(12), 0632.
View | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1030 | OA
Villányi M. 2017. Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library. Informationspraxis. 3(1).
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 12193 | OA
Walker J, Gao H, Zhang J, Aldridge B, Vickers M, Higgins JD, Feng X. 2017. Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis. Nature Genetics. 50(1), 130–137.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 14308
Praetorius FM, Dietz H. 2017. Genetically encoded DNA-protein hybrid origami. Biophysical Journal. 112(3), 25a.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 14309 | OA
Siavashpouri M, Wachauf C, Zakhary M, Praetorius FM, Dietz H, Dogic Z. 2017. Molecular engineering of chiral colloidal liquid crystals using DNA origami. Nature Materials. 16(8), 849–856.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Conference Abstract | IST-REx-ID: 14310
Siavashpouri M, Wachauf C, Zakhary M, Praetorius FM, Dietz H, Dogic Z. 2017. Molecular engineering of colloidal liquid crystals using DNA origami. APS March Meeting 2017. .
View
 

2017 | Journal Article | IST-REx-ID: 14290
Praetorius FM, Kick B, Behler KL, Honemann MN, Weuster-Botz D, Dietz H. 2017. Biotechnological mass production of DNA origami. Nature. 552(7683), 84–87.
View | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 14286
Kick B, Hensler S, Praetorius FM, 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. 114(4), 777–784.
View | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 14287
Praetorius FM, Dietz H. 2017. Self-assembly of genetically encoded DNA-protein hybrid nanoscale shapes. Science. 355(6331), eaam5488.
View | DOI | PubMed | Europe PMC
 

2017 | Conference Paper | IST-REx-ID: 1194 | OA
Chatterjee K, Novotný P, Zikelic D. 2017. Stochastic invariants for probabilistic termination. POPL: Principles of Programming Languages, ACM SIGPLAN Notices, vol. 52, 145–160.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Book Chapter | IST-REx-ID: 545 | OA
Mazur E, Friml J. 2017.Vascular tissue development and regeneration in the model plant arabidopsis. In: Plant Engineering. Agricultural and Biological Sciences, , 113–140.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 621 | OA
Beattie RJ, Hippenmeyer S. 2017. Mechanisms of radial glia progenitor cell lineage progression. FEBS letters. 591(24), 3993–4008.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

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, 10.15479/AT:ISTA:61.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5561 | OA
Kainmueller D, Jug F, Rother C, Meyers G. 2017. Graph matching problems for annotating C. Elegans, Institute of Science and Technology Austria, 10.15479/AT:ISTA:57.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5563 | OA
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, 10.15479/AT:ISTA:64.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 839 | OA
Hahn D. 2017. Brittle fracture simulation with boundary elements for computer graphics. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 614 | OA
Fraisse C, Picard MAL, Vicoso B. 2017. The deep conservation of the Lepidoptera Z chromosome suggests a non canonical origin of the W. Nature Communications. 8(1), 1486.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Research Data | IST-REx-ID: 5564 | OA
Steinrück M, Guet CC. 2017. Fastq files for ‘Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:65.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5568 | OA
Hahn D. 2017. Source codes: Brittle fracture simulation with boundary elements for computer graphics, Institute of Science and Technology Austria, 10.15479/AT:ISTA:73.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 7163 | OA
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, 10.15479/AT:ISTA:7163.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

year=2017

Search

Filter Publications