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.

7642 Publications


2017 | Journal Article | IST-REx-ID: 1024 | OA
Hurny A, Benková E. 2017. Methodological advances in auxin and cytokinin biology. Auxins and Cytokinins in Plant Biology. 1569, 1–29.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 676 | OA
Krens G, Veldhuis J, Barone V, Capek D, Maître J-L, Brodland W, Heisenberg C-PJ. 2017. Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation. Development. 144(10), 1798–1806.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 661 | OA
Smutny M, Ákos Z, Grigolon S, Shamipour S, Ruprecht V, Capek D, Behrndt M, Papusheva E, Tada M, Hof B, Vicsek T, Salbreux G, Heisenberg C-PJ. 2017. Friction forces position the neural anlage. Nature Cell Biology. 19, 306–317.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 704 | OA
Steinrück M, Guet CC. 2017. Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection. eLife. 6, e25100.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 696 | OA
Lukacisinova M, Novak S, Paixao T. 2017. Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes. PLoS Computational Biology. 13(7), e1005609.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1027 | OA
Lukacisinova M, Bollenbach MT. 2017. Toward a quantitative understanding of antibiotic resistance evolution. Current Opinion in Biotechnology. 46, 90–97.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 949 | OA
Chatterjee K, Goharshady AK, Pavlogiannis A. 2017. JTDec: A tool for tree decompositions in soot. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 10482, 59–66.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 639 | OA
Chatterjee K, Fu H, Goharshady AK. 2017. Non-polynomial worst case analysis of recursive programs. CAV: Computer Aided Verification, LNCS, vol. 10427, 41–63.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 785
Haider S, Hasenplaugh W, Alistarh D-A. 2016. Lease/Release: Architectural support for scaling contended data structures. PPoPP: Principles and Practice of Parallel Pogramming vol. 12-16-March-2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 786 | OA
Alistarh D-A, Censor Hillel K, Shavit N. 2016. Are lock free concurrent algorithms practically wait free . Journal of the ACM. 63(4).
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 8020 | OA
Barron HC, Vogels TP, Emir UE, Makin TR, O’Shea J, Clare S, Jbabdi S, Dolan RJ, Behrens TEJ. 2016. Unmasking latent inhibitory connections in human cortex to reveal dormant cortical memories. Neuron. 90(1), 191–203.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 8094 | OA
Martius GS, Hostettler R, Knoll A, Der R. 2016. Self-organized control of an tendon driven arm by differential extrinsic plasticity. Proceedings of the Artificial Life Conference 2016. ALIFE 2016: 15th International Conference on the Synthesis and Simulation of Living Systems vol. 28, 142–143.
View | Files available | DOI
 

2016 | Preprint | IST-REx-ID: 8128 | OA
Clopath C, Vogels TP, Froemke RC, Sprekeler H. 2016. Receptive field formation by interacting excitatory and inhibitory synaptic plasticity. bioRxiv, .
View | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 813
Füzik T, Píchalová R, Schur FK, Strohalmová K, Křížová I, Hadravová R, Rumlová M, Briggs J, Ulbrich P, Ruml T. 2016. Nucleic acid binding by Mason-Pfizer monkey virus CA promotes virus assembly and genome packaging. Journal of Virology. 90(9), 4593–4603.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 816
Schur FK, Obr M, Hagen W, Wan W, Jakobi A, Kirkpatrick J, Sachse C, Kraüsslich H, Briggs J. 2016. An atomic model of HIV-1 capsid-SP1 reveals structures regulating assembly and maturation. Science. 353(6298), 506–508.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8241 | OA
Singer J, Manzano-Szalai K, Singer J, Thell K, Bentley-Lukschal A, Stremnitzer C, Roth-Walter F, Weghofer M, Ritter M, Pino Tossi K, Hörer M, Michaelis U, Jensen-Jarolim E. 2016. Proof of concept study with an HER-2 mimotope anticancer vaccine deduced from a novel AAV-mimotope library platform. OncoImmunology. 5(7), e1171446.
View | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 8300
Kokoris Kogias E, Voutyras O, Varvarigou T. 2016. TRM-SIoT: A scalable hybrid trust & reputation model for the social Internet of Things. 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation. ETFA: Conference on Emerging Technologies and Factory Automation, 7733612.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 8302 | OA
Kokoris Kogias E, Jovanovic P, Gailly N, Khoffi I, Gasser L, Ford B. 2016. Enhancing bitcoin security and performance with strong consistency via collective signing. Proceedings of the 25th USENIX Conference on Security Symposium. SEC: Security Symposium, 279–296.
View | Download Published Version (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 8452
Rodrigues CDA, Henry X, Neumann E, Kurauskas V, Bellard L, Fichou Y, Schanda P, Schoehn G, Rudner DZ, Morlot C. 2016. A ring-shaped conduit connects the mother cell and forespore during sporulation in Bacillus subtilis. Proceedings of the National Academy of Sciences. 113(41), 11585–11590.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8453
Kurauskas V, Weber E, Hessel A, Ayala I, Marion D, Schanda P. 2016. Cross-correlated relaxation of dipolar coupling and chemical-shift anisotropy in magic-angle spinning R1ρ NMR measurements: Application to protein backbone dynamics measurements. The Journal of Physical Chemistry B. 120(34), 8905–8913.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8454
Schanda P, Ernst M. 2016. Studying dynamics by magic-angle spinning solid-state NMR spectroscopy: Principles and applications to biomolecules. Progress in Nuclear Magnetic Resonance Spectroscopy. 96(8), 1–46.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8455
Kurauskas V, Crublet E, Macek P, Kerfah R, Gauto DF, Boisbouvier J, Schanda P. 2016. Sensitive proton-detected solid-state NMR spectroscopy of large proteins with selective CH3labelling: Application to the 50S ribosome subunit. Chemical Communications. 52(61), 9558–9561.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 849
Saint Léger A, Bello C, Dans P, Torres A, Novoa E, Camacho N, Orozco M, Kondrashov F, Ribas De Pouplana L. 2016. Saturation of recognition elements blocks evolution of new tRNA identities. Science advances. 2(4), e1501860–e1501860.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8493
Guardia M, Kaloshin V, Zhang J. 2016. A second order expansion of the separatrix map for trigonometric perturbations of a priori unstable systems. Communications in Mathematical Physics. 348, 321–361.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8494
Bernard P, Kaloshin V, Zhang K. 2016. Arnold diffusion in arbitrary degrees of freedom and normally hyperbolic invariant cylinders. Acta Mathematica. 217(1), 1–79.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8496
Avila A, De Simoi J, Kaloshin V. 2016. An integrable deformation of an ellipse of small eccentricity is an ellipse. Annals of Mathematics. 184(2), 527–558.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8497
Féjoz J, Guàrdia M, Kaloshin V, Roldán P. 2016. Kirkwood gaps and diffusion along mean motion resonances in the restricted planar three-body problem. Journal of the European Mathematical Society. 18(10), 2315–2403.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 850
Sarkisyan K, Bolotin D, Meer M, Usmanova D, Mishin A, Sharonov G, Ivankov D, Bozhanova N, Baranov M, Soylemez O, Bogatyreva N, Vlasov P, Egorov E, Logacheva M, Kondrashov A, Chudakov D, Putintseva E, Mamedov I, Tawfik D, Lukyanov K, Kondrashov F. 2016. Local fitness landscape of the green fluorescent protein. Nature. 533, 397–401.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 853
Rivkina E, Petrovskaya L, Vishnivetskaya T, Krivushin K, Shmakova L, Tutukina M, Meyers A, Kondrashov F. 2016. Metagenomic analyses of the late Pleistocene permafrost - Additional tools for reconstruction of environmental conditions. Biogeosciences. 13(7), 2207–2219.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 460 | OA
Willmann K, Sacco R, Martins R, Garncarz W, Krolo A, Knapp S, Bennett K, Boztug K. 2016. Expanding the interactome of the noncanonical NF-κB signaling pathway. Journal of Proteome Research. 15(9), 2900–2909.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 478 | OA
Chatterjee K, Ibsen-Jensen R. 2016. The complexity of deciding legality of a single step of magic: The gathering. ECAI: European Conference on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications, vol. 285, 1432–1439.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 479
Jiang Y, Liu H, Kong H, Wang R, Hosseini M, Sun J, Sha L. 2016. Use runtime verification to improve the quality of medical care practice. Proceedings of the 38th International Conference on Software Engineering Companion . ICSE: International Conference on Software Engineering, Proceedings International Conference on Software Engineering, , 112–121.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 480 | OA
Chatterjee K, Doyen L. 2016. Perfect-information stochastic games with generalized mean-payoff objectives. LICS: Logic in Computer Science, Proceedings Symposium on Logic in Computer Science, vol. 05-08-July-2016, 247–256.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 482
Rueda A, Sedlmeir F, Collodo M, Vogl U, Stiller B, Schunk G, Strekalov D, Marquardt C, Fink JM, Painter O, Leuchs G, Schwefel H. 2016. Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator. NP: Nonlinear Photonics, Optics InfoBase Conference Papers, .
View | DOI
 

2016 | Journal Article | IST-REx-ID: 510 | OA
Liu Z, Yang N, Lv Y, Pan L, Lv S, Han H, Wang G. 2016. The CLE gene family in Populus trichocarpa. Plant Signaling & Behavior. 11(6), e1191734.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 526
von Wangenheim D, Fangerau J, Schmitz A, Smith R, Leitte H, Stelzer E, Maizel A. 2016. Rules and self-organizing properties of post-embryonic plant organ cell division patterns. Current Biology. 26(4), 439–449.
View | DOI
 

2016 | Technical Report | IST-REx-ID: 5445 | OA
Chatterjee K, Pavlogiannis A, Velner Y. 2016. Quantitative interprocedural analysis, IST Austria, 33p.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5446 | OA
Anonymous 1, Anonymous 2, Anonymous 3. 2016. Termination and worst-case analysis of recursive programs, IST Austria, 26p.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5447 | OA
Anonymous 1, Anonymous 2, Anonymous 3. 2016. Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds, IST Austria, 20p.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5448 | OA
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. 2016. Data-centric dynamic partial order reduction, IST Austria, 20p.
View | Files available | arXiv
 

2016 | Technical Report | IST-REx-ID: 5449 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Amplification on undirected population structures: Comets beat stars, IST Austria, 22p.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5451 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Strong amplifiers of natural selection, IST Austria, 34p.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5452 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Arbitrarily strong amplifiers of natural selection, IST Austria, 32p.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5453 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Arbitrarily strong amplifiers of natural selection, IST Austria, 34p.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5550 | OA
Ellis T, Field D. 2016. Flower colour data and phylogeny (NEXUS) files, IST Austria, 10.15479/AT:ISTA:34.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5551 | OA
Ellis T. 2016. Data on pollinator observations and offpsring phenotypes, IST Austria, 10.15479/AT:ISTA:35.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5552 | OA
Ellis T. 2016. Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data., IST Austria, 10.15479/AT:ISTA:36.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5553 | OA
Field D, Ellis T. 2016. Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012, IST Austria, 10.15479/AT:ISTA:37.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5554 | OA
Tugrul M. 2016. Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase, IST Austria, 10.15479/AT:ISTA:43.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5555 | OA
Hauschild R. 2016. Fiji script to determine average speed and direction of migration of cells, IST Austria, 10.15479/AT:ISTA:44.
View | Files available | DOI
 

Search

Filter Publications