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: 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: 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: 460 |

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 |

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: 480 |

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 | Journal Article | IST-REx-ID: 510 |

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 | Technical Report | IST-REx-ID: 5445 |

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

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 |

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 |

1 Anonymous, 2 Anonymous, 3 Anonymous, and 4 Anonymous, Data-centric dynamic partial order reduction. IST Austria, 2016.
View
| Files available
| arXiv