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.

10717 Publications


2017 | Published | Journal Article | IST-REx-ID: 12193 | OA
Walker, James, Sexual-lineage-specific DNA methylation regulates meiosis in Arabidopsis. Nature Genetics 50 (1). 2017
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Published | Report | IST-REx-ID: 5450 | OA
Petritsch, Barbara, Implementing the institutional data repository IST DataRep. 2017
[Published Version] View | Files available
 

2017 | Published | Journal Article | IST-REx-ID: 952 | OA
Turelli, Michael, Deploying dengue-suppressing Wolbachia: Robust models predict slow but effective spatial spread in Aedes aegypti. Theoretical Population Biology 115. 2017
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 1019
Argyridou, Eliza, X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster. Heredity 119 (1). 2017
View | Files available | DOI | WoS
 

2017 | Research Data Reference | IST-REx-ID: 9861 | OA
Argyridou E, Huylmans AK, Königer A, Parsch J. 2017. Data from: X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster, Dryad, 10.5061/dryad.02f6r.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 1025
Heisenberg, Carl-Philipp J, Cell biology: Stretched divisions. Nature 543 (7643). 2017
View | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 611
Bradley, Desmond, Evolution of flower color pattern through selection on regulatory small RNAs. Science 358 (6365). 2017
View | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 799 | OA
Kitakura, Saeko, BEN3/BIG2 ARF GEF is involved in brefeldin a-sensitive trafficking at the trans-Golgi network/early endosome in Arabidopsis thaliana. Plant and Cell Physiology 58 (10). 2017
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 803 | OA
Samwer, Matthias, DNA cross-bridging shapes a single nucleus from a set of mitotic chromosomes. Cell 170 (5). 2017
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 651
Hof, Björn, Fluid dynamics: Water flows out of touch. Nature 541 (7636). 2017
View | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 668 | OA
Horsthemke, Markus, Multiple roles of filopodial dynamics in particle capture and phagocytosis and phenotypes of Cdc42 and Myo10 deletion. Journal of Biological Chemistry 292 (17). 2017
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 669 | OA
Synek, Lukáš, EXO70C2 is a key regulatory factor for optimal tip growth of pollen. Plant Physiology 174 (1). 2017
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 693 | OA
Miki, Takafumi, Numbers of presynaptic Ca2+ channel clusters match those of functionally defined vesicular docking sites in single central synapses. PNAS 114 (26). 2017
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 657 | OA
Möller, Barbara, Auxin response cell autonomously controls ground tissue initiation in the early arabidopsis embryo. PNAS 114 (12). 2017
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 660 | OA
Rickman, Jamie, Steady state EB cap size fluctuations are determined by stochastic microtubule growth and maturation. PNAS 114 (13). 2017
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 726 | OA
Hannezo, Edouard B, A unifying theory of branching morphogenesis. Cell 171 (1). 2017
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 694 | OA
Veß, Astrid, A dual phenotype of MDA MB 468 cancer cells reveals mutual regulation of tensin3 and adhesion plasticity. Journal of Cell Science 130 (13). 2017
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 725 | OA
Harpaz, Roy, Discrete modes of social information processing predict individual behavior of fish in a group. PNAS 114 (38). 2017
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 699 | OA
Veller, Carl, The red queen and king in finite populations. PNAS 114 (27). 2017
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 719
Chatterjee, Krishnendu, Special issue: Synthesis and SYNT 2014. Acta Informatica 54 (6). 2017
View | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 663 | OA
Kong, Hui, Safety verification of nonlinear hybrid systems based on invariant clusters. Proceedings of the 20th International Conference on Hybrid Systems. 2017
[Submitted Version] View | Files available | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 432 | OA
Zhang, Hantian, ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning. Proceedings of Machine Learning Research 70. 2017
[Submitted Version] View | Files available
 

2017 | Published | Conference Paper | IST-REx-ID: 551 | OA
Chatterjee, Krishnendu, Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs. Leibniz International Proceedings in Informatics 83. 2017
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 470 | OA
Jeschke S, Wojtan C. 2017. Water wave packets. ACM Transactions on Graphics. 36(4), 103.
[Published Version] View | Files available | DOI
 

2017 | Published | 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 | 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: 5560 | OA
Bergmiller T, Andersson AM, Tomasek K, Balleza E, Kiviet D, Hauschild R, Tkačik G, Guet CC. 2017. Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity, Institute of Science and Technology Austria, 10.15479/AT:ISTA:53.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 665
Bergmiller, Tobias, Biased partitioning of the multidrug efflux pump AcrAB TolC underlies long lived phenotypic heterogeneity. Science 356 (6335). 2017
View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 685 | OA
Briscoe J, Kicheva A. 2017. The physics of development 100 years after D’Arcy Thompson’s “on growth and form”. Mechanisms of Development. 145, 26–31.
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 654 | OA
Kicheva A, Rivron N. 2017. Creating to understand – developmental biology meets engineering in Paris. Development. 144(5), 733–736.
[Submitted Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 670 | OA
Schreck C, Rohmer D, Hahmann S. 2017. Interactive paper tearing. Computer Graphics Forum. 36(2), 95–106.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Published | Thesis | IST-REx-ID: 992 | OA
Rolinek M. 2017. Complexity of constraint satisfaction. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 915 | OA
Swoboda P, Andres B. 2017. A message passing algorithm for the minimum cost multicut problem. CVPR: Computer Vision and Pattern Recognition vol. 2017, 4990–4999.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 916 | OA
Swoboda P, Rother C, Abu Alhaija C, Kainmueller D, Savchynskyy B. 2017. A study of lagrangean decompositions and dual ascent solvers for graph matching. CVPR: Computer Vision and Pattern Recognition vol. 2017, 7062–7071.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 917 | OA
Swoboda P, Kuske J, Savchynskyy B. 2017. A dual ascent framework for Lagrangean decomposition of combinatorial problems. CVPR: Computer Vision and Pattern Recognition vol. 2017, 4950–4960.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | 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 | Published | Journal Article | IST-REx-ID: 1004 | OA
Ötvös K, Benková E. 2017. Spatiotemporal mechanisms of root branching. Current Opinion in Genetics & Development. 45, 82–89.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 1163
Wysokiński M, Kaczmarczyk J. 2017. Unconventional superconductivity in generalized Hubbard model role of electron–hole symmetry breaking terms. Journal of Physics: Condensed Matter. 29(8), 085604.
View | DOI | WoS
 

2017 | Published | 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 | Published | Journal Article | IST-REx-ID: 1113 | OA
Fulek R, Pelsmajer M, Schaefer M. 2017. Hanani-Tutte for radial planarity. Journal of Graph Algorithms and Applications. 21(1), 135–154.
[Published Version] View | Files available | DOI | arXiv
 

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

2017 | Published | Journal Article | IST-REx-ID: 674
Schwarz J, Bierbaum V, Vaahtomeri K, Hauschild R, Brown M, de Vries I, Leithner AF, Reversat A, Merrin J, Tarrant T, Bollenbach MT, Sixt MK. 2017. Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6. Current Biology. 27(9), 1314–1325.
View | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 943 | OA
Zagórski, Marcin P, Decoding of position in the developing neural tube from antiparallel morphogen gradients. Science 356 (6345). 2017
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2017 | Published | Conference Paper | IST-REx-ID: 6517 | OA
Fulek R. 2017. Embedding graphs into embedded graphs. ISAAC: International Symposium on Algorithms and Computation vol. 92, 34.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 722 | OA
Morris E, Griffiths M, Golebiowska A, Mairhofer S, Burr Hersey J, Goh T, von Wangenheim D, Atkinson B, Sturrock C, Lynch J, Vissenberg K, Ritz K, Wells D, Mooney S, Bennett M. 2017. Shaping 3D root system architecture. Current Biology. 27(17), R919–R930.
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Published | 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 | Published | Conference Paper | IST-REx-ID: 683 | OA
Lubiw A, Masárová Z, Wagner U. 2017. A proof of the orbit conjecture for flipping edge labelled triangulations. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 77, 49.
[Published Version] View | Files available | DOI
 

2017 | Published | 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 | Published | Conference Paper | IST-REx-ID: 1000 | OA
Kolesnikov A, Lampert C. 2017. PixelCNN models with auxiliary variables for natural image modeling. 34th International Conference on Machine Learning. ICML: International Conference on Machine Learning vol. 70, 1905–1914.
[Submitted Version] View | Download Submitted Version (ext.) | WoS | arXiv
 

2017 | Published | 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 | Published | Conference Paper | IST-REx-ID: 6841 | OA
Martius GS, Lampert C. 2017. Extrapolation and learning equations. 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings. ICLR: International Conference on Learning Representations.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 626 | OA
Barton, Nicholas H, The infinitesimal model: Definition derivation and implications. Theoretical Population Biology 118. 2017
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 1074 | OA
Ringbauer, Harald, Inferring recent demography from isolation by distance of long shared sequence blocks. Genetics 205 (3). 2017
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1063 | OA
Uecker, Hildegard, Evolutionary rescue in randomly mating, selfing, and clonal populations. Evolution 71 (4). 2017
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1199 | OA
Barton NH. 2017. How does epistasis influence the response to selection? Heredity. 118, 96–109.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Research Data Reference | IST-REx-ID: 9842 | OA
Etheridge A, Barton NH. 2017. Data for: Establishment in a new habitat by polygenic adaptation, Mendeley Data, 10.17632/nw68fxzjpm.1.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 990 | OA
Sachdeva, Himani, Divergence and evolution of assortative mating in a polygenic trait model of speciation with gene flow. Evolution; International Journal of Organic Evolution 71 (6). 2017
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 486 | OA
Elek O, Sumin D, Zhang R, Weyrich T, Myszkowski K, Bickel B, Wilkie A, Krivanek J. 2017. Scattering-aware texture reproduction for 3D printing. ACM Transactions on Graphics. 36(6), 241.
[Submitted Version] View | Files available | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 1002 | OA
Zhang R, Auzinger T, Ceylan D, Li W, Bickel B. 2017. Functionality-aware retargeting of mechanisms to 3D shapes. SIGGRAPH: Computer Graphics and Interactive Techniques, ACM Transactions on Graphics, vol. 36, 81.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 571
Gärtner, Florian R, Migrating platelets are mechano scavengers that collect and bundle bacteria. Cell Press 171 (6). 2017
View | DOI
 

2017 | Published | Thesis | IST-REx-ID: 837 | OA
Xu H. 2017. Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 1132 | OA
O'Neill, Joseph, Superficial layers of the medial entorhinal cortex replay independently of the hippocampus. Science 355 (6321). 2017
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 727
Mueller, Jan, Load adaptation of lamellipodial actin networks. Cell 171 (1). 2017
View | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 1116 | OA
Avni G, Goel S, Henzinger TA, Rodríguez Navas G. 2017. Computing scores of forwarding schemes in switched networks with probabilistic faults. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10206, 169–187.
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 942
Le X, Chu DH, Lo D, Le Goues C, Visser W. 2017. S3: Syntax- and semantic-guided repair synthesis via programming by examples. FSE: Foundations of Software Engineering vol. F130154, 593–604.
View | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 962
Trinh M, Chu DH, Jaffar J. 2017. Model counting for recursively-defined strings. CAV: Computer Aided Verification, LNCS, vol. 10427, 399–418.
View | DOI | WoS
 

2017 | Published | Conference Paper | IST-REx-ID: 647 | OA
Bogomolov S, Giacobbe M, Henzinger TA, Kong H. 2017. Conic abstractions for hybrid systems. FORMATS: Formal Modelling and Analysis of Timed Systems, LNCS, vol. 10419, 116–132.
[Submitted Version] View | Files available | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 631 | OA
Bogomolov S, Frehse G, Giacobbe M, Henzinger TA. 2017. Counterexample guided refinement of template polyhedra. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10205, 589–606.
[Submitted Version] View | Files available | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 636 | OA
Bakhirkin A, Ferrere T, Maler O, Ulus D. 2017. On the quantitative semantics of regular expressions over real-valued signals. FORMATS: Formal Modelling and Analysis of Timed Systems, LNCS, vol. 10419, 189–206.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Published | Conference Paper | IST-REx-ID: 633
Bak S, Bogomolov S, Henzinger TA, Kumar A. 2017. Challenges and tool implementation of hybrid rapidly exploring random trees. NSV: Numerical Software Verification, LNCS, vol. 10381, 83–89.
View | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 538 | OA
Kainrath S, Stadler M, Gschaider-Reichhart E, Distel M, Janovjak HL. 2017. Grünlicht-induzierte Rezeptorinaktivierung durch Cobalamin-bindende Domänen. Angewandte Chemie. 129(16), 4679–4682.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 1026
Agus V, Janovjak HL. 2017. Optogenetic methods in drug screening: Technologies and applications. Current Opinion in Biotechnology. 48, 8–14.
View | DOI | WoS
 

2017 | Published | Thesis | IST-REx-ID: 202 | OA
Pleska M. 2017. Biology of restriction-modification systems at the single-cell and population level. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 561 | OA
Pleska M, Guet CC. 2017. Effects of mutations in phage restriction sites during escape from restriction–modification. Biology Letters. 13(12), 20170646.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Research Data Reference | IST-REx-ID: 9847 | OA
Pleska M, Guet CC. 2017. Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification, The Royal Society, 10.6084/m9.figshare.5633917.v1.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Published | Journal Article | IST-REx-ID: 1118 | OA
Gan J, Weng S-M, Pernia-Andrade A, Csicsvari JL, Jonas PM. 2017. Phase-locked inhibition, but not excitation, underlies hippocampal ripple oscillations in awake mice in vivo. Neuron. 93(2), 308–314.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Thesis | IST-REx-ID: 1127 | OA
Prat T. 2017. Identification of novel regulators of PIN polarity and development of novel auxin sensor. Institute of Science and Technology Austria.
[Published Version] View | Files available
 

2017 | Published | Journal Article | IST-REx-ID: 1159 | OA
Steenackers W, Klíma P, Quareshy M, Cesarino I, Kumpf R, Corneillie S, Araújo P, Viaene T, Goeminne G, Nowack M, Ljung K, Friml J, Blakeslee J, Novák O, Zažímalová E, Napier R, Boerjan W, Vanholme B. 2017. Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation. Plant Physiology. 173(1), 552–565.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 946 | OA
von Wangenheim D, Hauschild R, Fendrych M, Barone V, Benková E, Friml J. 2017. Live tracking of moving samples in confocal microscopy for vertically grown roots. eLife. 6, e26792.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1078 | OA
von Wangenheim D, Hauschild R, Friml J. 2017. Light sheet fluorescence microscopy of plant roots growing on the surface of a gel. Journal of visualized experiments JoVE. 2017(119), e55044.
[Published Version] View | Files available | DOI | WoS
 

2017 | Research Data | IST-REx-ID: 5565 | OA
von Wangenheim D, Hauschild R, Friml J. 2017. Light Sheet Fluorescence microscopy of plant roots growing on the surface of a gel, Institute of Science and Technology Austria, 10.15479/AT:ISTA:66.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5566 | OA
Hauschild R. 2017. Live tracking of moving samples in confocal microscopy for vertically grown roots, Institute of Science and Technology Austria, 10.15479/AT:ISTA:69.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5571 | OA
Vicoso B. 2017. Data for ‘The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:78.
[Submitted Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5572 | OA
Vicoso B. 2017. Code for ‘The genomic characterization of the t-haplotype, a mouse meiotic driver, highlights its complex history and specialized biology’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:79 .
[Submitted Version] View | Files available | DOI
 

2017 | Published | Conference Paper | IST-REx-ID: 552 | OA
Chatterjee, Krishnendu, Faster algorithms for mean-payoff parity games. Leibniz International Proceedings in Informatics 83. 2017
[Published Version] View | Files available | DOI
 

2017 | Published | Journal Article | IST-REx-ID: 744 | OA
Priklopil, Tadeas, Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma. Journal of Theoretical Biology 433. 2017
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 | Published | Conference Paper | IST-REx-ID: 1009 | OA
Chatterjee K, Novotný P, Pérez G, Raskin J, Zikelic D. 2017. Optimizing expectation with guarantees in POMDPs. Proceedings of the 31st AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 5, 3725–3732.
[Submitted Version] View | Download Submitted Version (ext.) | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 671 | OA
Hilbe, Christian, Memory-n strategies of direct reciprocity. PNAS 114 (18). 2017
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Published | Journal Article | IST-REx-ID: 716 | OA
Chatterjee, Krishnendu, The complexity of mean-payoff pushdown games. Journal of the ACM 64 (5). 2017
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Published | Journal Article | IST-REx-ID: 1065 | OA
Chatterjee, Krishnendu, Pushdown reachability with constant treewidth. Information Processing Letters 122. 2017
[Submitted Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1294 | OA
Brázdil T, Chatterjee K, Forejt V, Kučera A. 2017. Trading performance for stability in Markov decision processes. Journal of Computer and System Sciences. 84, 144–170.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Book Chapter | IST-REx-ID: 625 | OA
Chatterjee K, Doyen L, Henzinger TA. 2017.The cost of exactness in quantitative reachability. In: Models, Algorithms, Logics and Tools. LNCS, vol. 10460, 367–381.
[Submitted Version] View | Files available | DOI
 

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

2017 | Published | Journal Article | IST-REx-ID: 944
Beattie RJ, Postiglione MP, Burnett L, Laukoter S, Streicher C, Pauler F, Xiao G, Klezovitch O, Vasioukhin V, Ghashghaei T, Hippenmeyer S. 2017. Mosaic analysis with double markers reveals distinct sequential functions of Lgl1 in neural stem cells. Neuron. 94(3), 517–533.e3.
View | DOI | WoS
 

2017 | Published | 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 | Published | Journal Article | IST-REx-ID: 1207 | OA
Bao, Zhigang, Local law of addition of random matrices on optimal scale. Communications in Mathematical Physics 349 (3). 2017
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Book | IST-REx-ID: 567
Erdös L, Yau H. 2017. A Dynamical Approach to Random Matrix Theory, American Mathematical Society, 226p.
View | DOI
 

2017 | Published | 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 | Published | Journal Article | IST-REx-ID: 1528 | OA
Bao Z, Erdös L. 2017. Delocalization for a class of random block band matrices. Probability Theory and Related Fields. 167(3–4), 673–776.
[Published Version] View | Files available | DOI | WoS
 

2017 | Published | Journal Article | IST-REx-ID: 1337 | OA
Ajanki OH, Erdös L, Krüger TH. 2017. Universality for general Wigner-type matrices. Probability Theory and Related Fields. 169(3–4), 667–727.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed