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.

7217 Publications


2017 | Book Chapter | IST-REx-ID: 958
J. Mitchell et al., “Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment,” in Synthetic Protein Switches, vol. 1596, V. Stein, Ed. Springer, 2017, pp. 89–99.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 9588 | OA
A. S. Bandeira, A. Ferber, and M. A. Kwan, “Resilience for the Littlewood–Offord problem,” Advances in Mathematics, vol. 319. Elsevier, pp. 292–312, 2017.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 9589 | OA
C. Greenhill, M. Isaev, M. A. Kwan, and B. D. McKay, “The average number of spanning trees in sparse graphs with given degrees,” European Journal of Combinatorics, vol. 63. Elsevier, pp. 6–25, 2017.
View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 959 | OA
D. De Martino, “Scales and multimodal flux distributions in stationary metabolic network models via thermodynamics,” Physical Review E Statistical Nonlinear and Soft Matter Physics , vol. 95, no. 6. American Institute of Physics, p. 062419, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 9590 | OA
M. Krivelevich, M. A. Kwan, and B. Sudakov, “Bounded-degree spanning trees in randomly perturbed graphs,” SIAM Journal on Discrete Mathematics, vol. 31, no. 1. Society for Industrial & Applied Mathematics, pp. 155–171, 2017.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 960 | OA
A. H. Hansen, C. F. Düllberg, C. Mieck, M. Loose, and S. Hippenmeyer, “Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks,” Frontiers in Cellular Neuroscience, vol. 11. Frontiers Research Foundation, 2017.
View | Files available | DOI
 

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

2017 | Conference Paper | IST-REx-ID: 962
M. Trinh, D. H. Chu, and J. Jaffar, “Model counting for recursively-defined strings,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10427, pp. 399–418.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 963 | OA
G. Avni, S. Guha, and O. Kupferman, “Timed network games with clocks,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Aalborg, Denmark, 2017, vol. 83.
View | Files available | DOI
 

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

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

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

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

2017 | Research Data Reference | IST-REx-ID: 9842
A. Etheridge and N. H. Barton, “Data for: Establishment in a new habitat by polygenic adaptation.” Mendeley Data, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9844
N. Nikolic et al., “Source data for figures and tables.” Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9845
N. Nikolic et al., “Mathematical model.” Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9846
N. Nikolic et al., “Supplementary methods.” Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9847
M. Pleska and C. C. Guet, “Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification.” The Royal Society, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9849
M. Lukacisinova, S. Novak, and T. Paixao, “Modelling and simulation details.” Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9850
M. Lukacisinova, S. Novak, and T. Paixao, “Extensions of the model.” Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9851
M. Lukacisinova, S. Novak, and T. Paixao, “Heuristic prediction for multiple stresses.” Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9852
M. Lukacisinova, S. Novak, and T. Paixao, “Resistance frequencies for different combination strategies.” Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9853
J. Giehr, A. V. Grasse, S. Cremer, J. Heinze, and A. Schrempf, “Raw data from ant queens increase their reproductive efforts after pathogen infection.” The Royal Society, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9855
M. J. Chalk, P. Masset, B. Gutkin, and S. Denève, “Supplementary appendix.” Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9856
T. Schmidt et al., “Supporting Information concerning additional likelihood analyses and results.” Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9857
T. Schmidt et al., “Supporting information concerning observed wMel frequencies and analyses of habitat variables.” Public Library of Science , 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9858
T. Schmidt et al., “Excel file with data on mosquito densities, Wolbachia infection status and housing characteristics.” Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9859
J. Greenwood et al., “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, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9860
J. Greenwood et al., “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, 2017.
View | Files available | DOI
 

2017 | Research Data Reference | IST-REx-ID: 9861
E. Argyridou, A. K. Huylmans, A. Königer, and J. Parsch, “Data from: X-linkage is not a general inhibitor of tissue-specific gene expression in Drosophila melanogaster.” Dryad, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 988 | OA
G. Nanda et al., “Current-phase relation of ballistic graphene Josephson junctions,” Nano Letters, vol. 17, no. 6. American Chemical Society, pp. 3396–3401, 2017.
View | Files available | DOI
 

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

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

2017 | Journal Article | IST-REx-ID: 991
C. Chen and P. M. Jonas, “Synaptotagmins: That’s why so many,” Neuron, vol. 94, no. 4. Elsevier, pp. 694–696, 2017.
View | DOI
 

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

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

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

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

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

2017 | Journal Article | IST-REx-ID: 997 | OA
E. Yakaboylu, A. Deuchert, and M. Lemeshko, “Emergence of non-abelian magnetic monopoles in a quantum impurity problem,” APS Physics, Physical Review Letters, vol. 119, no. 23. American Physiological Society, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 998 | OA
S. A. Rebuffi, A. Kolesnikov, G. Sperl, and C. Lampert, “iCaRL: Incremental classifier and representation learning,” presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA, United States, 2017, vol. 2017, pp. 5533–5542.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 999 | OA
A. Pentina and C. Lampert, “Multi-task learning with labeled and unlabeled tasks,” presented at the ICML: International Conference on Machine Learning, Sydney, Australia, 2017, vol. 70, pp. 2807–2816.
View | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 373
C. Coughlan, M. Ibáñez, O. Dobrozhan, A. Singh, A. Cabot, and K. Ryan, “Compound copper chalcogenide nanocrystals,” Chemical Reviews, vol. 117, no. 9. American Chemical Society, pp. 5865–6109, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 374
S. Ortega et al., “Bottom up engineering of thermoelectric nanomaterials and devices from solution processed nanoparticle building blocks,” Chemical Society Reviews, vol. 46, no. 12. Royal Society of Chemistry, pp. 3510–3528, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 375
T. Berestok et al., “Tuning branching in ceria nanocrystals,” Chemistry of Materials, vol. 29, no. 10. American Chemical Society, pp. 4418–4424, 2017.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 391
Y. Xu et al., “Disorder enabled band structure engineering of a topological insulator surface,” Nature Communications, vol. 8. Nature Publishing Group, 2017.
View | DOI
 

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

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

2017 | Book Chapter | IST-REx-ID: 424 | OA
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “Bounding helly numbers via betti numbers,” in A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, M. Loebl, J. Nešetřil, and R. Thomas, Eds. Springer, 2017, pp. 407–447.
View | Files available | DOI | Download Published Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 431 | OA
D.-A. Alistarh, D. Grubic, J. Li, R. Tomioka, and M. Vojnović, “QSGD: Communication-efficient SGD via gradient quantization and encoding,” presented at the NIPS: Neural Information Processing System, Long Beach, CA, United States, 2017, vol. 2017, pp. 1710–1721.
View | Download Submitted Version (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 432 | OA
H. Zhang, J. Li, K. Kara, D.-A. Alistarh, J. Liu, and C. Zhang, “ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning,” in Proceedings of Machine Learning Research, Sydney, Australia, 2017, vol. 70, pp. 4035–4043.
View | Files available
 

2017 | Journal Article | IST-REx-ID: 682 | OA
H. Ukai et al., “PirB regulates asymmetries in hippocampal circuitry,” PLoS One, vol. 12, no. 6. Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 735
V. Barone et al., “An effective feedback loop between cell-cell contact duration and morphogen signaling determines cell fate,” Developmental Cell, vol. 43, no. 2. Cell Press, pp. 198–211, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 664
F. P. Assen and M. K. Sixt, “The dynamic cytokine niche,” Immunity, vol. 46, no. 4. Cell Press, pp. 519–520, 2017.
View | Files available | DOI
 

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

2017 | Journal Article | IST-REx-ID: 1029 | OA
M. Lukacisin, M. Landon, and R. Jajoo, “Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast,” PLoS One, vol. 12, no. 3. Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 676 | OA
G. Krens et al., “Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation,” Development, vol. 144, no. 10. Company of Biologists, pp. 1798–1806, 2017.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 661 | OA
M. Smutny et al., “Friction forces position the neural anlage,” Nature Cell Biology, vol. 19. Nature Publishing Group, pp. 306–317, 2017.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 696 | OA
M. Lukacisinova, S. Novak, and T. Paixao, “Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes,” PLoS Computational Biology, vol. 13, no. 7. Public Library of Science, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1028 | OA
S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, and H. L. Janovjak, “Green-light-induced inactivation of receptor signaling using cobalamin-binding domains,” Angewandte Chemie - International Edition, vol. 56, no. 16. Wiley-Blackwell, pp. 4608–4611, 2017.
View | Files available | DOI
 

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

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

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

2017 | Conference Paper | IST-REx-ID: 639 | OA
K. Chatterjee, H. Fu, and A. K. Goharshady, “Non-polynomial worst case analysis of recursive programs,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10427, pp. 41–63.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

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

2017 | Journal Article | IST-REx-ID: 681 | OA
K. Chatterjee, L. Doyen, E. Filiot, and J. Raskin, “Doomsday equilibria for omega-regular games,” Information and Computation, vol. 254. Elsevier, pp. 296–315, 2017.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

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

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

2016 | Journal Article | IST-REx-ID: 8020 | OA
H. C. Barron et al., “Unmasking latent inhibitory connections in human cortex to reveal dormant cortical memories,” Neuron, vol. 90, no. 1. Elsevier, pp. 191–203, 2016.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 8094 | OA
G. S. Martius, R. Hostettler, A. Knoll, and R. Der, “Self-organized control of an tendon driven arm by differential extrinsic plasticity,” in Proceedings of the Artificial Life Conference 2016, Cancun, Mexico, 2016, vol. 28, pp. 142–143.
View | Files available | DOI
 

2016 | Preprint | IST-REx-ID: 8128 | OA
C. Clopath, T. P. Vogels, R. C. Froemke, and H. Sprekeler, “Receptive field formation by interacting excitatory and inhibitory synaptic plasticity,” bioRxiv. Cold Spring Harbor Laboratory, 2016.
View | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 813
T. Füzik et al., “Nucleic acid binding by Mason-Pfizer monkey virus CA promotes virus assembly and genome packaging,” Journal of Virology, vol. 90, no. 9. ASM, pp. 4593–4603, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 816
F. K. Schur et al., “An atomic model of HIV-1 capsid-SP1 reveals structures regulating assembly and maturation,” Science, vol. 353, no. 6298. American Association for the Advancement of Science, pp. 506–508, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8241 | OA
J. Singer et al., “Proof of concept study with an HER-2 mimotope anticancer vaccine deduced from a novel AAV-mimotope library platform,” OncoImmunology, vol. 5, no. 7. Taylor & Francis, 2016.
View | DOI | Download Published Version (ext.)
 

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

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

2016 | Journal Article | IST-REx-ID: 8452
C. D. A. Rodrigues et al., “A ring-shaped conduit connects the mother cell and forespore during sporulation in Bacillus subtilis,” Proceedings of the National Academy of Sciences, vol. 113, no. 41. National Academy of Sciences, pp. 11585–11590, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8453
V. Kurauskas, E. Weber, A. Hessel, I. Ayala, D. Marion, and P. Schanda, “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, vol. 120, no. 34. American Chemical Society, pp. 8905–8913, 2016.
View | DOI
 

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

2016 | Journal Article | IST-REx-ID: 8455
V. Kurauskas et al., “Sensitive proton-detected solid-state NMR spectroscopy of large proteins with selective CH3labelling: Application to the 50S ribosome subunit,” Chemical Communications, vol. 52, no. 61. Royal Society of Chemistry, pp. 9558–9561, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 849
A. Saint Léger et al., “Saturation of recognition elements blocks evolution of new tRNA identities,” Science advances, vol. 2, no. 4. American Association for the Advancement of Science, pp. e1501860–e1501860, 2016.
View | DOI
 

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

2016 | Journal Article | IST-REx-ID: 8494
P. Bernard, V. Kaloshin, and K. Zhang, “Arnold diffusion in arbitrary degrees of freedom and normally hyperbolic invariant cylinders,” Acta Mathematica, vol. 217, no. 1. Institut Mittag-Leffler, pp. 1–79, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8496
A. Avila, J. De Simoi, and V. Kaloshin, “An integrable deformation of an ellipse of small eccentricity is an ellipse,” Annals of Mathematics, vol. 184, no. 2. Princeton University Press, pp. 527–558, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 8497
J. Féjoz, M. Guàrdia, V. Kaloshin, and P. Roldán, “Kirkwood gaps and diffusion along mean motion resonances in the restricted planar three-body problem,” Journal of the European Mathematical Society, vol. 18, no. 10. European Mathematical Society Publishing House, pp. 2315–2403, 2016.
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
E. Rivkina et al., “Metagenomic analyses of the late Pleistocene permafrost - Additional tools for reconstruction of environmental conditions,” Biogeosciences, vol. 13, no. 7. European Geosciences Union, pp. 2207–2219, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 460 | OA
K. Willmann et al., “Expanding the interactome of the noncanonical NF-κB signaling pathway,” Journal of Proteome Research, vol. 15, no. 9. American Chemical Society, pp. 2900–2909, 2016.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 478 | OA
K. Chatterjee and R. Ibsen-Jensen, “The complexity of deciding legality of a single step of magic: The gathering,” presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands, 2016, vol. 285, pp. 1432–1439.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 479
Y. Jiang et al., “Use runtime verification to improve the quality of medical care practice,” in Proceedings of the 38th International Conference on Software Engineering Companion , Austin, TX, USA, 2016, pp. 112–121.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 480 | OA
K. Chatterjee and L. Doyen, “Perfect-information stochastic games with generalized mean-payoff objectives,” presented at the LICS: Logic in Computer Science, New York, NY, USA, 2016, vol. 05-08-July-2016, pp. 247–256.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 482
A. Rueda et al., “Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator,” presented at the NP: Nonlinear Photonics, Sydney, Australia, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 510 | OA
Z. Liu et al., “The CLE gene family in Populus trichocarpa,” Plant Signaling & Behavior, vol. 11, no. 6. Landes Bioscience, 2016.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 526
D. von Wangenheim et al., “Rules and self-organizing properties of post-embryonic plant organ cell division patterns,” Current Biology, vol. 26, no. 4. Cell Press, pp. 439–449, 2016.
View | DOI
 

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

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

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

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

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

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

Search

Filter Publications