Please note that IST 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.

495 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
 

2017 | Journal Article | IST-REx-ID: 744 | OA
Priklopil T, Chatterjee K, Nowak M. 2017. Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma. Journal of Theoretical Biology. 433, 64–72.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 745 | OA
Xu D, Warnecke S, Song B, Ma X, Hof B. 2017. Transition to turbulence in pulsating pipe flow. Journal of Fluid Mechanics. 831, 418–432.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 746 | OA
Aloisi E, Le Corf K, Dupuis J, Zhang P, Ginger M, Labrousse V, Spatuzza M, Georg Haberl M, Costa L, Shigemoto R, Tappe Theodor A, Drago F, Vincenzo Piazza P, Mulle C, Groc L, Ciranna L, Catania M, Frick A. 2017. Altered surface mGluR5 dynamics provoke synaptic NMDAR dysfunction and cognitive defects in Fmr1 knockout mice. Nature Communications. 8(1), 1103.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 747 | OA
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. 365, 23–32.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Book Chapter | IST-REx-ID: 748
Wenzl B. 2017.‘...beyond the invisible barrier at Portage and Main’: Liminality in John Marlyn’s Under the Ribs of Death. In: In-Between - Liminal Spaces in Canadian Literature and Culture. Canadiana, , 91–100.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 749 | OA
Chen C, Satterfield R, Young S, Jonas PM. 2017. Triple function of Synaptotagmin 7 ensures efficiency of high-frequency transmission at central GABAergic synapses. Cell Reports. 21(8), 2082–2089.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 750
Pielorz J, Prandtstetter M, Straub M, Lampert C. 2017. Optimal geospatial volunteer allocation needs realistic distances. 2017 IEEE International Conference on Big Data. Big Data, 3760–3763.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 751 | OA
Matsubayashi Y, Louani A, Dragu A, Sanchez Sanchez B, Serna Morales E, Yolland L, György A, Vizcay G, Fleck R, Heddleston J, Chew T, Siekhaus DE, Stramer B. 2017. A moving source of matrix components is essential for De Novo basement membrane formation. Current Biology. 27(22), 3526–3534e.4.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 7725
Reger J, Lind MI, Robinson MR, Beckerman AP. 2017. Predation drives local adaptation of phenotypic plasticity. Nature Ecology & Evolution. 2, 100–107.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 7727
Burger D, Thomas S, Aepli H, Dreyer M, Fabre G, Marti E, Sieme H, Robinson MR, Wedekind C. 2017. Major histocompatibility complex-linked social signalling affects female fertility. Proceedings of the Royal Society B: Biological Sciences. 284(1868), 20171824.
View | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 7728
Tropf FC, Lee SH, Verweij RM, Stulp G, van der Most PJ, de Vlaming R, Bakshi A, Briley DA, Rahal C, Hellpap R, Iliadou AN, Esko T, Metspalu A, Medland SE, Martin NG, Barban N, Snieder H, Robinson MR, Mills MC. 2017. Hidden heritability due to heterogeneity across seven populations. Nature Human Behaviour. 1(10), 757–765.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 7729
Yengo L, Zhu Z, Wray NR, Weir BS, Yang J, Robinson MR, Visscher PM. 2017. Detection and quantification of inbreeding depression for complex traits from SNP data. Proceedings of the National Academy of Sciences. 114(32), 8602–8607.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 7731
Lloyd-Jones LR, Robinson MR, Moser G, Zeng J, Beleza S, Barsh GS, Tang H, Visscher PM. 2017. Inference on the genetic basis of eye and skin color in an admixed population via Bayesian linear mixed models. Genetics. 206(2), 1113–1126.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 7733 | OA
Garton FC, Benyamin B, Zhao Q, Liu Z, Gratten J, Henders AK, Zhang Z-H, Edson J, Furlong S, Morgan S, Heggie S, Thorpe K, Pfluger C, Mather KA, Sachdev PS, McRae AF, Robinson MR, Shah S, Visscher PM, Mangelsdorf M, Henderson RD, Wray NR, McCombe PA. 2017. Whole exome sequencing and DNA methylation analysis in a clinical amyotrophic lateral sclerosis cohort. Molecular Genetics & Genomic Medicine. 5(4), 418–428.
View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 7755 | OA
Sethna JP, Bierbaum MK, Dahmen KA, Goodrich CP, Greer JR, Hayden LX, Kent-Dobias JP, Lee ED, Liarte DB, Ni X, Quinn KN, Raju A, Rocklin DZ, Shekhawat A, Zapperi S. 2017. Deformation of crystals: Connections with statistical physics. Annual Review of Materials Research. 47, 217–246.
View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 7756
Baity-Jesi M, Goodrich CP, Liu AJ, Nagel SR, Sethna JP. 2017. Emergent SO(3) symmetry of the frictionless shear jamming transition. Journal of Statistical Physics. 167(3–4), 735–748.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 7757
Rocks JW, Pashine N, Bischofberger I, Goodrich CP, Liu AJ, Nagel SR. 2017. Designing allostery-inspired response in mechanical networks. Proceedings of the National Academy of Sciences. 114(10), 2520–2525.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 7758
Goodrich CP, Brenner MP. 2017. Using active colloids as machines to weave and braid on the micrometer scale. Proceedings of the National Academy of Sciences. 114(2), 257–262.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 787 | OA
Alistarh D-A, Aspnes J, Eisenstat D, Rivest R, Gelashvili R. 2017. Time-space trade-offs in population protocols. SODA: Symposium on Discrete Algorithms, 2560–2579.
View | DOI | Download None (ext.)
 

2017 | Conference Paper | IST-REx-ID: 788 | OA
Alistarh D-A, Dudek B, Kosowski A, Soloveichik D, Uznański P. 2017. Robust detection in leak-prone population protocols. DNA Computing and Molecular Programming, LNCS, vol. 10467 LNCS, 155–171.
View | DOI | Download None (ext.)
 

2017 | Conference Paper | IST-REx-ID: 789
Alistarh D-A, Leiserson W, Matveev A, Shavit N. 2017. Forkscan: Conservative memory reclamation for modern operating systems. EuroSys: European Conference on Computer Systems, 483–498.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 790
Kara K, Alistarh D-A, Alonso G, Mutlu O, Zhang C. 2017. FPGA-accelerated dense linear machine learning: A precision-convergence trade-off. FCCM: Field-Programmable Custom Computing Machines, 160–167.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 791 | OA
Alistarh D-A, Kopinsky J, Li J, Nadiradze G. 2017. The power of choice in priority scheduling. Proceedings of the ACM Symposium on Principles of Distributed Computing. PODC: Principles of Distributed Computing vol. Part F129314, 283–292.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 792 | OA
Budanur NB, Short K, Farazmand M, Willis A, Cvitanović P. 2017. Relative periodic orbits form the backbone of turbulent pipe flow. Journal of Fluid Mechanics. 833, 274–301.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 793 | OA
Fulek R, Mojarrad H, Naszódi M, Solymosi J, Stich S, Szedlák M. 2017. On the existence of ordinary triangles. Computational Geometry: Theory and Applications. 66, 28–31.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 794 | OA
Fulek R. 2017. C-planarity of embedded cyclic c-graphs. Computational Geometry: Theory and Applications. 66, 1–13.
View | Files available | DOI | Download Preprint (ext.)
 

2017 | Journal Article | IST-REx-ID: 795 | OA
Fulek R, Kynčl J, Pálvölgyi D. 2017. Unified Hanani Tutte theorem. Electronic Journal of Combinatorics. 24(3), P3.18.
View | Files available
 

2017 | Journal Article | IST-REx-ID: 463 | OA
Altmeyer S, Do Y, Ryu S. 2017. Transient behavior between multi-cell flow states in ferrofluidic Taylor-Couette flow. Chaos. 27(11), 113112.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 464 | OA
Chatterjee K, Henzinger M, Loitzenbauer V. 2017. Improved algorithms for parity and Streett objectives. Logical Methods in Computer Science. 13(3), 26.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 465 | OA
Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. 2017. Edit distance for pushdown automata. Logical Methods in Computer Science. 13(3).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 466 | OA
Chatterjee K, Křetínská Z, Kretinsky J. 2017. Unifying two views on multiple mean-payoff objectives in Markov decision processes. Logical Methods in Computer Science. 13(2), 15.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 467 | OA
Chatterjee K, Henzinger TA, Otop J. 2017. Nested weighted automata. ACM Transactions on Computational Logic (TOCL). 18(4), 31.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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

2017 | Journal Article | IST-REx-ID: 471 | OA
Daca P, Henzinger TA, Kretinsky J, Petrov T. 2017. Faster statistical model checking for unbounded temporal properties. ACM Transactions on Computational Logic (TOCL). 18(2), 12.
View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 472
Eguchi K, Taoufiq Z, Thorn Seshold O, Trauner D, Hasegawa M, Takahashi T. 2017. Wild-type monomeric α-synuclein can impair vesicle endocytosis and synaptic fidelity via tubulin polymerization at the calyx of held. European Journal of Neuroscience. 37(25), 6043–6052.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 481 | OA
Biedl T, Huber S, Palfrader P. 2017. Planar matchings for weighted straight skeletons. International Journal of Computational Geometry and Applications. 26(3–4), 211–229.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 483 | OA
Bourgade P, Erdös L, Yau H, Yin J. 2017. Universality for a class of random band matrices. Advances in Theoretical and Mathematical Physics. 21(3), 739–800.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 484 | OA
Nam P, Napiórkowski MM. 2017. Bogoliubov correction to the mean-field dynamics of interacting bosons. Advances in Theoretical and Mathematical Physics. 21(3), 683–738.
View | DOI | Download Submitted Version (ext.)
 

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. NLO: Nonlinear Optics, Optics InfoBase Conference Papers, vol. F54, NM3A.1.
View | DOI
 

2017 | 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.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 487
Baig G, Radunovic B, Alistarh D-A, Balkwill M, Karagiannis T, Qiu L. 2017. Towards unlicensed cellular networks in TV white spaces. Proceedings of the 2017 13th International Conference on emerging Networking EXperiments and Technologies. CoNEXT: Conference on emerging Networking EXperiments and Technologies, 2–14.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 512 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2017. Amplification on undirected population structures: Comets beat stars. Scientific Reports. 7(1), 82.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 513 | OA
Klotz L, Lemoult GM, Frontczak I, Tuckerman L, Wesfreid J. 2017. Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence. Physical Review Fluids. 2(4), 043904.
View | DOI | Download Preprint (ext.)
 

2017 | Journal Article | IST-REx-ID: 514 | OA
Simonnet J, Nassar M, Stella F, Cohen I, Mathon B, Boccara CN, Miles R, Fricker D. 2017. Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum. Nature Communications. 8, 16032.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 515 | OA
Letts JA, Sazanov LA. 2017. Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain. Nature Structural and Molecular Biology. 24(10), 800–808.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 520
Du W, Angermayr A, Jongbloets J, Molenaar D, Bachmann H, Hellingwerf K, Branco Dos Santos F. 2017. Nonhierarchical flux regulation exposes the fitness burden associated with lactate production in Synechocystis sp. PCC6803. ACS Synthetic Biology. 6(3), 395–401.
View | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 521 | OA
Austin K, Virk Z. 2017. Higson compactification and dimension raising. Topology and its Applications. 215, 45–57.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 525 | OA
von Wangenheim D, Goh T, Dietrich D, Bennett M. 2017. Plant biology: Building barriers… in roots. Current Biology. 27(5), R172–R174.
View | Files available | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 529
Gherghina F, Tica A, Deliu E, Abood M, Brailoiu G, Brǎiloiu E. 2017. Effects of VPAC1 activation in nucleus ambiguus neurons. Brain Research. 1657, 297–303.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 534 | OA
Burton B, de Mesmay AN, Wagner U. 2017. Finding non-orientable surfaces in 3-Manifolds. Discrete & Computational Geometry. 58(4), 871–888.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | 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.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 540 | OA
Khamina K, Lercher A, Caldera M, Schliehe C, Vilagos B, Sahin M, Kosack L, Bhattacharya A, Májek P, Stukalov A, Sacco R, James L, Pinschewer D, Bennett K, Menche J, Bergthaler A. 2017. Characterization of host proteins interacting with the lymphocytic choriomeningitis virus L protein. PLoS Pathogens. 13(12), e1006758.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 541 | OA
Nikolic N, Schreiber F, Dal Co A, Kiviet D, Bergmiller T, Littmann S, Kuypers M, Ackermann M. 2017. Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations. PLoS Genetics. 13(12), e1007122.
View | Files available | DOI
 

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.
View | Files available | DOI
 

2017 | Report | IST-REx-ID: 5450 | OA
Petritsch B. 2017. Implementing the institutional data repository IST DataRep, IST Austria,p.
View | Files available | Download (ext.)
 

2017 | Technical Report | IST-REx-ID: 5455 | OA
Chatterjee K, Choudhary B, Pavlogiannis A. 2017. Optimal Dyck reachability for data-dependence and alias analysis, IST Austria, 37p.
View | Files available | DOI
 

2017 | Technical Report | IST-REx-ID: 5456 | OA
Chalupa M, Chatterjee K, Pavlogiannis A, Sinha N, Vaidya K. 2017. Data-centric dynamic partial order reduction, IST Austria, 36p.
View | Files available | DOI
 

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.
View | DOI | Download Submitted Version (ext.)
 

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.
View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 550 | OA
Alt J. 2017. Singularities of the density of states of random Gram matrices. Electronic Communications in Probability. 22, 63.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 551 | OA
Chatterjee K, Ibsen-Jensen R, Nowak M. 2017. Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs. Leibniz International Proceedings in Informatics. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 83, 61.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 552 | OA
Chatterjee K, Henzinger M, Svozil A. 2017. Faster algorithms for mean payoff parity games. Leibniz International Proceedings in Informatics. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 83, 39.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 553 | OA
Chatterjee K, Hansen K, Ibsen-Jensen R. 2017. Strategy complexity of concurrent safety games. Leibniz International Proceedings in Informatics. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 83, 55.
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Research Data | IST-REx-ID: 5559 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2017. Strong amplifiers of natural selection, IST Austria, 10.15479/AT:ISTA:51.
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, IST Austria, doi:10.15479/AT:ISTA:53.
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, IST Austria, 10.15479/AT:ISTA:57.
View | Files available | DOI
 

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, IST Austria, 10.15479/AT:ISTA:61.
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’, IST Austria, 10.15479/AT:ISTA:64.
View | Files available | DOI
 

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’, IST Austria, 10.15479/AT:ISTA:65.
View | Files available | DOI
 

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, IST Austria, 10.15479/AT:ISTA:66.
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, IST Austria, 10.15479/AT:ISTA:69.
View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5567 | OA
Leithner AF. 2017. Immunological synapse DC-Tcells, IST Austria, 10.15479/AT:ISTA:71.
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, IST Austria, 10.15479/AT:ISTA:73.
View | Files available | DOI
 

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.
View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5570 | OA
Hauschild R. 2017. Forward migration indexes, IST Austria, 10.15479/AT:ISTA:75.
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’, IST Austria, 10.15479/AT:ISTA:78.
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’, IST Austria, 10.15479/AT:ISTA:79 .
View | Files available | DOI
 

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
 

2017 | Conference Paper | IST-REx-ID: 559 | OA
Abusalah HM, Alwen JF, Cohen B, Khilko D, Pietrzak KZ, Reyzin L. 2017. Beyond Hellman’s time-memory trade-offs with applications to proofs of space. ASIACRYPT: Theory and Applications of Cryptology and Information Security, LNCS, vol. 10625, 357–379.
View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 560 | OA
Gerencser M, Jentzen A, Salimova D. 2017. On stochastic differential equations with arbitrarily slow convergence rates for strong approximation in two space dimensions. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 473(2207), 0104.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 561
Pleska M, Guet CC. 2017. Effects of mutations in phage restriction sites during escape from restriction–modification. Biology Letters. 13(12), 20170646.
View | Files available | DOI
 

2017 | Book | IST-REx-ID: 567
Erdös L, Yau H. 2017. A dynamical approach to random matrix theory, American Mathematical Society, 226p.
View
 

2017 | Journal Article | IST-REx-ID: 568 | OA
Franek P, Krcál M. 2017. Persistence of zero sets. Homology, Homotopy and Applications. 19(2), 313–342.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 569 | OA
Spira F, Cuylen Haering S, Mehta S, Samwer M, REVERSAT A, Verma A, Oldenbourg R, Sixt MK, Gerlich D. 2017. Cytokinesis in vertebrate cells initiates by contraction of an equatorial actomyosin network composed of randomly oriented filaments. eLife. 6, e30867.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 570 | OA
Lagator M, Sarikas S, Acar H, Bollback JP, Guet CC. 2017. Regulatory network structure determines patterns of intermolecular epistasis. eLife. 6, e28921.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 571
Gärtner FR, Ahmad Z, Rosenberger G, Fan S, Nicolai L, Busch B, Yavuz G, Luckner M, Ishikawa Ankerhold H, Hennel R, Benechet A, Lorenz M, Chandraratne S, Schubert I, Helmer S, Striednig B, Stark K, Janko M, Böttcher R, Verschoor A, Leon C, Gachet C, Gudermann T, Mederos Y Schnitzler M, Pincus Z, Iannacone M, Haas R, Wanner G, Lauber K, Sixt MK, Massberg S. 2017. Migrating platelets are mechano scavengers that collect and bundle bacteria. Cell Press. 171(6), 1368–1382.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 572 | OA
Olatunji D, Geelen D, Verstraeten I. 2017. Control of endogenous auxin levels in plant root development. International Journal of Molecular Sciences. 18(12), 2587.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 5799
Biswas R, Bhowmick P, Brimkov VE. 2017. On the polyhedra of graceful spheres and circular geodesics. Discrete Applied Mathematics. 216, 362–375.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 5800
Biswas R, Bhowmick P. 2017. On the functionality and usefulness of Quadraginta octants of naive sphere. Journal of Mathematical Imaging and Vision. 59(1), 69–83.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 5801
Dwivedi S, Gupta A, Roy S, Biswas R, Bhowmick P. 2017. Fast and Efficient Incremental Algorithms for Circular and Spherical Propagation in Integer Space. 10502, 347–359.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 5802
Andres E, Biswas R, Bhowmick P. 2017. Digital Primitives Defined by Weighted Focal Set. 10502, 388–398.
View | DOI
 

2017 | Book Chapter | IST-REx-ID: 5803
Biswas R, Bhowmick P. 2017.Construction of Persistent Voronoi Diagram on 3D Digital Plane. In: Combinatorial image analysis. vol. 10256, 93–104.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 593
Engelsen N, Krishnakumar R, Hosten O, Kasevich M. 2017. Bell correlations in spin-squeezed states of 500 000 atoms. Physical Review Letters. 118(14).
View | DOI
 

2017 | Journal Article | IST-REx-ID: 600
Engel C, Gubbey T, Neyer S, Sainsbury S, Oberthuer C, Baejen C, Bernecky C, Cramer P. 2017. Structural basis of RNA polymerase I transcription initiation. Cell. 169(1), 120–131.e22.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 601 | OA
Xu Y, Bernecky C, Lee C, Maier K, Schwalb B, Tegunov D, Plitzko J, Urlaub H, Cramer P. 2017. Architecture of the RNA polymerase II-Paf1C-TFIIS transcription elongation complex. Nature Communications. 8, 15741.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 6013 | OA
Camus N, Yakaboylu E, Fechner L, Klaiber M, Laux M, Mi Y, Hatsagortsyan KZ, Pfeifer T, Keitel CH, Moshammer R. 2017. Experimental evidence for quantum tunneling time. Physical Review Letters. 119(2), 023201.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 603
Bernecky C, Plitzko J, Cramer P. 2017. Structure of a transcribing RNA polymerase II-DSIF complex reveals a multidentate DNA-RNA clamp. Nature Structural and Molecular Biology. 24(10), 809–815.
View | DOI
 

2017 | Book Chapter | IST-REx-ID: 604 | OA
Lemeshko M, Schmidt R. 2017.Molecular impurities interacting with a many-particle environment: From ultracold gases to helium nanodroplets. In: Cold Chemistry: Molecular Scattering and Reactivity Near Absolute Zero . Theoretical and Computational Chemistry Series, vol. 11, 444–495.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 605 | OA
Brody J, Dziembowski S, Faust S, Pietrzak KZ. 2017. Position based cryptography and multiparty communication complexity. TCC: Theory of Cryptography Conference, LNCS, vol. 10677, 56–81.
View | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

year=2017

Search

Filter Publications