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.

7223 Publications


2017 | Thesis | IST-REx-ID: 961 | OA
Barone V. 2017. Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. IST Austria.
View | Files available | DOI
 

2017 | 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
 

2017 | Conference Paper | IST-REx-ID: 963 | OA
Avni G, Guha S, Kupferman O. 2017. Timed network games with clocks. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 83, 37.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 9660 | OA
Cheng B, Tribello GA, Ceriotti M. 2017. The Gibbs free energy of homogeneous nucleation: From atomistic nuclei to the planar limit. The Journal of Chemical Physics. 147(10), 104707.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Journal Article | IST-REx-ID: 9661 | OA
Cheng B, Ceriotti M. 2017. Bridging the gap between atomistic and macroscopic models of homogeneous nucleation. The Journal of Chemical Physics. 146(3), 034106.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2017 | Research Data Reference | IST-REx-ID: 9707
Riccio P, Cebrián C, Zong H, Hippenmeyer S, Costantini F. 2017. Data from: Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis, Dryad, 10.5061/dryad.pk16b.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9709 | OA
Prentice J, Marre O, Ioffe M, Loback A, Tkačik G, Berry M. 2017. Data from: Error-robust modes of the retinal population code, Dryad, 10.5061/dryad.1f1rc.
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Research Data Reference | IST-REx-ID: 9842
Etheridge A, Barton NH. 2017. Data for: Establishment in a new habitat by polygenic adaptation, Mendeley Data, 10.17632/nw68fxzjpm.1.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9844
Nikolic N, Schreiber F, Dal Co A, Kiviet D, Bergmiller T, Littmann S, Kuypers M, Ackermann M. 2017. Source data for figures and tables, Public Library of Science, 10.1371/journal.pgen.1007122.s018.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9845
Nikolic N, Schreiber F, Dal Co A, Kiviet D, Bergmiller T, Littmann S, Kuypers M, Ackermann M. 2017. Mathematical model, Public Library of Science, 10.1371/journal.pgen.1007122.s017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9846
Nikolic N, Schreiber F, Dal Co A, Kiviet D, Bergmiller T, Littmann S, Kuypers M, Ackermann M. 2017. Supplementary methods, Public Library of Science, 10.1371/journal.pgen.1007122.s016.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9847
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.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9849
Lukacisinova M, Novak S, Paixao T. 2017. Modelling and simulation details, Public Library of Science, 10.1371/journal.pcbi.1005609.s001.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9850
Lukacisinova M, Novak S, Paixao T. 2017. Extensions of the model, Public Library of Science, 10.1371/journal.pcbi.1005609.s002.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9851
Lukacisinova M, Novak S, Paixao T. 2017. Heuristic prediction for multiple stresses, Public Library of Science, 10.1371/journal.pcbi.1005609.s003.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9852
Lukacisinova M, Novak S, Paixao T. 2017. Resistance frequencies for different combination strategies, Public Library of Science, 10.1371/journal.pcbi.1005609.s004.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9853
Giehr J, Grasse AV, Cremer S, Heinze J, Schrempf A. 2017. Raw data from ant queens increase their reproductive efforts after pathogen infection, The Royal Society, 10.6084/m9.figshare.5117788.v1.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9855
Chalk MJ, Masset P, Gutkin B, Denève S. 2017. Supplementary appendix, Public Library of Science, 10.1371/journal.pcbi.1005582.s001.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9856
Schmidt T, Barton NH, Rasic G, Turley A, Montgomery B, Iturbe Ormaetxe I, Cook P, Ryan P, Ritchie S, Hoffmann A, O’Neill S, Turelli M. 2017. Supporting Information concerning additional likelihood analyses and results, Public Library of Science, 10.1371/journal.pbio.2001894.s014.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9857
Schmidt T, Barton NH, Rasic G, Turley A, Montgomery B, Iturbe Ormaetxe I, Cook P, Ryan P, Ritchie S, Hoffmann A, O’Neill S, Turelli M. 2017. Supporting information concerning observed wMel frequencies and analyses of habitat variables, Public Library of Science , 10.1371/journal.pbio.2001894.s015.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9858
Schmidt T, Barton NH, Rasic G, Turley A, Montgomery B, Iturbe Ormaetxe I, Cook P, Ryan P, Ritchie S, Hoffmann A, O’Neill S, Turelli M. 2017. Excel file with data on mosquito densities, Wolbachia infection status and housing characteristics, Public Library of Science, 10.1371/journal.pbio.2001894.s016.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9859
Greenwood J, Milutinovic B, Peuß R, Behrens S, Essar D, Rosenstiel P, Schulenburg H, Kurtz J. 2017. Additional file 1: Table S1. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae, Springer Nature, 10.6084/m9.figshare.c.3756974_d1.v1.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9860
Greenwood J, Milutinovic B, Peuß R, Behrens S, Essar D, Rosenstiel P, Schulenburg H, Kurtz J. 2017. Additional file 5: Table S3. of Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae, Springer Nature, 10.6084/m9.figshare.c.3756974_d5.v1.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9861
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.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 988 | OA
Nanda G, Aguilera Servin JL, Rakyta P, Kormányos A, Kleiner R, Koelle D, Watanabe K, Taniguchi T, Vandersypen L, Goswami S. 2017. Current-phase relation of ballistic graphene Josephson junctions. Nano Letters. 17(6), 3396–3401.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 989
Maas J, Rumpf M, Simon S. 2017. Transport based image morphing with intensity modulation. SSVM:  Scale Space and Variational Methods in Computer Vision, LNCS, vol. 10302, 563–577.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 990 | OA
Sachdeva H, Barton NH. 2017. Divergence and evolution of assortative mating in a polygenic trait model of speciation with gene flow. Evolution; International Journal of Organic Evolution. 71(6), 1478–1493.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 991
Chen C, Jonas PM. 2017. Synaptotagmins: That’s why so many. Neuron. 94(4), 694–696.
View | DOI
 

2017 | Thesis | IST-REx-ID: 992 | OA
Rolinek M. 2017. Complexity of constraint satisfaction. IST Austria.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 993 | OA
Levina (Martius) A, Priesemann V. 2017. Subsampling scaling. Nature Communications. 8, 15140.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 994 | OA
Cherepanov I, Lemeshko M. 2017. Fingerprints of angulon instabilities in the spectra of matrix-isolated molecules. Physical Review Materials. 1(3).
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 995 | OA
Bighin G, Lemeshko M. 2017. Diagrammatic approach to orbital quantum impurities interacting with a many-particle environment. Physical Review B - Condensed Matter and Materials Physics. 96(8), 085410.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 996 | OA
Shepperson B, Chatterley A, Søndergaard A, Christiansen L, Lemeshko M, Stapelfeldt H. 2017. Strongly aligned molecules inside helium droplets in the near-adiabatic regime. The Journal of Chemical Physics. 147(1), 013946.
View | DOI | Download Submitted Version (ext.)
 

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. APS Physics, Physical Review Letters. 119(23), 235301.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 998 | OA
Rebuffi SA, Kolesnikov A, Sperl G, Lampert C. 2017. iCaRL: Incremental classifier and representation learning. CVPR: Computer Vision and Pattern Recognition vol. 2017, 5533–5542.
View | 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.
View | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 373
Coughlan C, Ibáñez M, Dobrozhan O, Singh A, Cabot A, Ryan K. 2017. Compound copper chalcogenide nanocrystals. Chemical Reviews. 117(9), 5865–6109.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 374
Ortega S, Ibáñez M, Liu Y, Zhang Y, Kovalenko M, Cadavid D, Cabot A. 2017. Bottom up engineering of thermoelectric nanomaterials and devices from solution processed nanoparticle building blocks. Chemical Society Reviews. 46(12), 3510–3528.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 375
Berestok T, Guardia P, Blanco J, Nafria R, Torruella P, López Conesa L, Estradé S, Ibáñez M, De Roo J, Luo Z, Cadavid D, Martins J, Kovalenko M, Peiró F, Cabot A. 2017. Tuning branching in ceria nanocrystals. Chemistry of Materials. 29(10), 4418–4424.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 391
Xu Y, Chiu J, Miao L, He H, Alpichshev Z, Kapitulnik A, Biswas R, Wray L. 2017. Disorder enabled band structure engineering of a topological insulator surface. Nature Communications. 8.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 392 | OA
Vishik I, Mahmood F, Alpichshev Z, Gedik N, Higgins J, Greene R. 2017. Ultrafast dynamics in the presence of antiferromagnetic correlations in electron doped cuprate La2 xCexCuO4±δ. Physical Review B. 95(11).
View | DOI | Download None (ext.)
 

2017 | Journal Article | IST-REx-ID: 393 | OA
Alpichshev Z, Sie E, Mahmood F, Cao G, Gedik N. 2017. Origin of the exciton mass in the frustrated Mott insulator Na2IrO3. Physical Review B. 96(23).
View | DOI | Download None (ext.)
 

2017 | Book Chapter | IST-REx-ID: 424 | OA
Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. 2017.Bounding helly numbers via betti numbers. In: A Journey through Discrete Mathematics: A Tribute to Jiri Matousek. , 407–447.
View | Files available | DOI | Download Published Version (ext.)
 

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

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

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: 681 | OA
Chatterjee K, Doyen L, Filiot E, Raskin J. 2017. Doomsday equilibria for omega-regular games. Information and Computation. 254, 296–315.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 682 | OA
Ukai H, Kawahara A, Hirayama K, Case MJ, Aino S, Miyabe M, Wakita K, Oogi R, Kasayuki M, Kawashima S, Sugimoto S, Chikamatsu K, Nitta N, Koga T, Shigemoto R, Takai T, Ito I. 2017. PirB regulates asymmetries in hippocampal circuitry. PLoS One. 12(6), e0179377.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 735
Barone V, Lang M, Krens G, Pradhan S, Shamipour S, Sako K, Sikora MK, Guet CC, Heisenberg C-PJ. 2017. An effective feedback loop between cell-cell contact duration and morphogen signaling determines cell fate. Developmental Cell. 43(2), 198–211.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 664
Assen FP, Sixt MK. 2017. The dynamic cytokine niche. Immunity. 46(4), 519–520.
View | Files available | DOI
 

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: 1029 | OA
Lukacisin M, Landon M, Jajoo R. 2017. Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast. PLoS One. 12(3), e0174066.
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: 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: 1028 | OA
Kainrath S, Stadler M, Gschaider-Reichhart E, Distel M, Janovjak HL. 2017. Green-light-induced inactivation of receptor signaling using cobalamin-binding domains. Angewandte Chemie - International Edition. 56(16), 4608–4611.
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 | 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 | 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
 

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

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

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
 

Search

Filter Publications