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


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

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

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

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

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

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

2016 | Journal Article | IST-REx-ID: 850
Local fitness landscape of the green fluorescent protein
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
Metagenomic analyses of the late Pleistocene permafrost - Additional tools for reconstruction of environmental conditions
E. Rivkina, L. Petrovskaya, T. Vishnivetskaya, K. Krivushin, L. Shmakova, M. Tutukina, A. Meyers, F. Kondrashov, Biogeosciences 13 (2016) 2207–2219.
View | DOI
 

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

2016 | Conference Paper | IST-REx-ID: 478 | OA
The complexity of deciding legality of a single step of magic: The gathering
K. Chatterjee, R. Ibsen-Jensen, in:, IOS Press, 2016, pp. 1432–1439.
View | Files available | DOI
 

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

2016 | Conference Paper | IST-REx-ID: 480 | OA
Perfect-information stochastic games with generalized mean-payoff objectives
K. Chatterjee, L. Doyen, in:, IEEE, 2016, pp. 247–256.
View | DOI | Download Preprint (ext.)
 

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

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

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

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

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

2016 | Technical Report | IST-REx-ID: 5447 | OA
Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds
1 Anonymous, 2 Anonymous, 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
Data-centric dynamic partial order reduction
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2016.
View | Files available | arXiv
 

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

Search

Filter Publications