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.

7224 Publications


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
 

Search

Filter Publications