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.

7219 Publications


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

2016 | Journal Article | IST-REx-ID: 8455
Kurauskas V, Crublet E, Macek P, et al. Sensitive proton-detected solid-state NMR spectroscopy of large proteins with selective CH3labelling: Application to the 50S ribosome subunit. Chemical Communications. 2016;52(61):9558-9561. doi:10.1039/c6cc04484k
View | DOI
 

2016 | Journal Article | IST-REx-ID: 849
Saint Léger A, Bello C, Dans P, et al. Saturation of recognition elements blocks evolution of new tRNA identities. Science advances. 2016;2(4):e1501860-e1501860. doi:10.1126/sciadv.1501860
View | DOI
 

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

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

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

2016 | Journal Article | IST-REx-ID: 8497
Féjoz J, Guàrdia M, Kaloshin V, Roldán P. Kirkwood gaps and diffusion along mean motion resonances in the restricted planar three-body problem. Journal of the European Mathematical Society. 2016;18(10):2315-2403. doi:10.4171/jems/642
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, et al. Metagenomic analyses of the late Pleistocene permafrost - Additional tools for reconstruction of environmental conditions. Biogeosciences. 2016;13(7):2207-2219. doi:10.5194/bg-13-2207-2016
View | DOI
 

2016 | Journal Article | IST-REx-ID: 460 | OA
Willmann K, Sacco R, Martins R, et al. Expanding the interactome of the noncanonical NF-κB signaling pathway. Journal of Proteome Research. 2016;15(9):2900-2909. doi:10.1021/acs.jproteome.5b01004
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 478 | OA
Chatterjee K, Ibsen-Jensen R. The complexity of deciding legality of a single step of magic: The gathering. In: Vol 285. IOS Press; 2016:1432-1439. doi:10.3233/978-1-61499-672-9-1432
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 479
Jiang Y, Liu H, Kong H, et al. Use runtime verification to improve the quality of medical care practice. In: Proceedings of the 38th International Conference on Software Engineering Companion . IEEE; 2016:112-121. doi:10.1145/2889160.2889233
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 480 | OA
Chatterjee K, Doyen L. Perfect-information stochastic games with generalized mean-payoff objectives. In: Vol 05-08-July-2016. IEEE; 2016:247-256. doi:10.1145/2933575.2934513
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 482
Rueda A, Sedlmeir F, Collodo M, et al. Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator. In: OSA; 2016. doi:10.1364/NP.2016.NTh3A.6
View | DOI
 

2016 | Journal Article | IST-REx-ID: 510 | OA
Liu Z, Yang N, Lv Y, et al. The CLE gene family in Populus trichocarpa. Plant Signaling & Behavior. 2016;11(6). doi:10.1080/15592324.2016.1191734
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 526
von Wangenheim D, Fangerau J, Schmitz A, et al. Rules and self-organizing properties of post-embryonic plant organ cell division patterns. Current Biology. 2016;26(4):439-449. doi:10.1016/j.cub.2015.12.047
View | DOI
 

2016 | Technical Report | IST-REx-ID: 5445 | OA
Chatterjee K, Pavlogiannis A, Velner Y. Quantitative Interprocedural Analysis. IST Austria; 2016. doi:10.15479/AT:IST-2016-523-v1-1
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5446 | OA
Anonymous 1, Anonymous 2, Anonymous 3. Termination and Worst-Case Analysis of Recursive Programs. IST Austria; 2016.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5447 | OA
Anonymous 1, Anonymous 2, Anonymous 3. 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
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. Data-Centric Dynamic Partial Order Reduction. IST Austria; 2016.
View | Files available | arXiv
 

Search

Filter Publications