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.
408 Publications
2015 | Journal Article | IST-REx-ID: 802
J. Engel, P. S. Schmalhorst, A. Kruger, C. Muller, F. Buettner, and F. Routier, “Characterization of an N-acetylglucosaminyltransferase involved in Aspergillus fumigatus zwitterionic glycoinositolphosphoceramide biosynthesis,” Glycobiology, vol. 25, no. 12. Oxford University Press, pp. 1423–1430, 2015.
View
| DOI
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 815
F. K. Schur, R. Dick, W. Hagen, V. Vogt, and J. Briggs, “The structure of immature virus like Rous sarcoma virus gag particles reveals a structural role for the p10 domain in assembly,” Journal of Virology, vol. 89, no. 20. ASM, pp. 10294–10302, 2015.
View
| DOI
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 848
D. Usmanova, L. Ferretti, I. Povolotskaya, P. Vlasov, and F. Kondrashov, “A model of substitution trajectories in sequence space and long-term protein evolution,” Molecular Biology and Evolution, vol. 32, no. 2. Oxford University Press, pp. 542–554, 2015.
View
| DOI
2015 | Journal Article | IST-REx-ID: 473 |

M. Lewin, P. Nam, and N. Rougerie, “Derivation of nonlinear gibbs measures from many-body quantum mechanics,” Journal de l’Ecole Polytechnique - Mathematiques, vol. 2. Ecole Polytechnique, pp. 65–115, 2015.
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 523 |

K. Chatterjee, L. Doyen, M. Randour, and J. Raskin, “Looking at mean-payoff and total-payoff through windows,” Information and Computation, vol. 242, no. 6. Elsevier, pp. 25–52, 2015.
View
| Files available
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 524 |

K. Chatterjee and R. Ibsen-Jensen, “Qualitative analysis of concurrent mean payoff games,” Information and Computation, vol. 242, no. 6. Elsevier, pp. 2–24, 2015.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Technical Report | IST-REx-ID: 5429 |

K. Chatterjee, Z. Komarkova, and J. Kretinsky, Unifying two views on multiple mean-payoff objectives in Markov decision processes. IST Austria, 2015.
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5430 |

K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria, 2015.
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5431 |

K. Chatterjee, R. Ibsen-Jensen, and K. Hansen, The patience of concurrent stochastic games with safety and reachability objectives. IST Austria, 2015.
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5432 |

K. Chatterjee, R. Ibsen-Jensen, and M. Nowak, The complexity of evolutionary games on graphs. IST Austria, 2015.
View
| Files available
| DOI