ISTA Research Explorer

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.

1481 Publications

Search / Filter

2014 |Published| Conference Paper | IST-REx-ID: 2162 |

K. Chatterjee and R. Ibsen-Jensen, “The complexity of ergodic mean payoff games,” presented at the ICST: International Conference on Software Testing, Verification and Validation, Copenhagen, Denmark, 2014, vol. 8573, no. Part 2, pp. 122–133.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2014 |Published| Conference Paper | IST-REx-ID: 2213 |

K. Chatterjee, L. Doyen, S. Nain, and M. Vardi, “The complexity of partial-observation stochastic parity games with finite-memory strategies,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France, 2014, vol. 8412, pp. 242–257.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2014 |Published| Conference Paper | IST-REx-ID: 2212

K. Chatterjee, L. Doyen, H. Gimbert, and Y. Oualhadj, “Perfect-information stochastic mean-payoff parity games,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France, 2014, vol. 8412, pp. 210–225.

View | Files available | DOI

2014 |Published| Technical Report | IST-REx-ID: 5413 |

K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 |Published| Conference Paper | IST-REx-ID: 2163 |

K. Chatterjee and L. Doyen, “Games with a weak adversary,” in Lecture Notes in Computer Science, Copenhagen, Denmark, 2014, vol. 8573, no. Part 2, pp. 110–121.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2014 |Published| Technical Report | IST-REx-ID: 5419 |

K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Improved algorithms for reachability and shortest path on low tree-width graphs. IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 |Published| Technical Report | IST-REx-ID: 5418 |

K. Chatterjee and L. Doyen, Games with a weak adversary. IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 |Published| Technical Report | IST-REx-ID: 5420 |

K. Chatterjee and R. Ibsen-Jensen, The value 1 problem for concurrent mean-payoff games. IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 |Published| Technical Report | IST-REx-ID: 5427 |

K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Optimal tree-decomposition balancing and reachability on low treewidth graphs. IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 |Published| Technical Report | IST-REx-ID: 5425 |

1 Anonymous, 2 Anonymous, 3 Anonymous, and 4 Anonymous, Optimal cost almost-sure reachability in POMDPs. IST Austria, 2014.

[Published Version] View | Files available

2014 |Published| Technical Report | IST-REx-ID: 5421 |

K. Chatterjee, R. Ibsen-Jensen, and M. Nowak, The complexity of evolution on graphs. IST Austria, 2014.

[Published Version] View | Files available | DOI

2014 |Published| Journal Article | IST-REx-ID: 6124 |

C. Chen, E. Itakura, K. P. Weber, R. S. Hegde, and M. de Bono, “An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism,” PLoS Genetics, vol. 10, no. 3. Public Library of Science (PLoS), 2014.

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2014 |Published| Journal Article | IST-REx-ID: 6744

M. Mondelli, Q. Zhou, V. Lottici, and X. Ma, “Joint power allocation and path selection for multi-hop noncoherent decode and forward UWB communications,” IEEE Transactions on Wireless Communications, vol. 13, no. 3. IEEE, pp. 1397–1409, 2014.

View | DOI

2014 |Published| Journal Article | IST-REx-ID: 7072

Lancaster T, Goddard PA, Blundell SJ, Foronda FR, Ghannadzadeh S, Möller JS, Baker PJ, Pratt FL, Baines C, Huang L, Wosnitza J, McDonald RD, Modic KA, Singleton J, Topping CV, Beale TAW, Xiao F, Schlueter JA, Barton AM, Cabrera RD, Carreiro KE, Tran HE, Manson JL. 2014. Controlling magnetic order and quantum disorder in molecule-based magnets. Physical Review Letters. 112(20), 207201.

View | DOI

2014 |Published| Journal Article | IST-REx-ID: 7301

C. Li et al., “Aprotic Li–O2 battery: Influence of complexing agents on oxygen reduction in an aprotic solvent,” The Journal of Physical Chemistry C, vol. 118, no. 7. ACS, pp. 3393–3401, 2014.

View | DOI

2014 |Published| Conference Paper | IST-REx-ID: 773

D.-A. Alistarh, J. Aspnes, V. King, and J. Saia, “Communication-efficient randomized consensus,” presented at the DISC: Distributed Computing, Austin, USA, 2014, vol. 8784, pp. 61–75.

View | DOI

2014 |Published| Conference Paper | IST-REx-ID: 774

D.-A. Alistarh, K. Censor Hille, and N. Shavit, “Brief announcement: Are lock-free concurrent algorithms practically wait-free?,” presented at the PODC: Principles of Distributed Computing, 2014, pp. 50–52.

View | DOI

2014 |Published| Journal Article | IST-REx-ID: 8501

A. Bounemoura and V. Kaloshin, “Generic fast diffusion for a class of non-convex Hamiltonians with two degrees of freedom,” Moscow Mathematical Journal, vol. 14, no. 2. Independent University of Moscow, pp. 181–203, 2014.

[Preprint] View | DOI | arXiv

2014 |Published| Journal Article | IST-REx-ID: 96 |

A. P. Higginbotham, F. Kuemmeth, M. Hanson, A. Gossard, and C. Marcus, “Coherent operations and screening in multielectron spin qubits,” APS Physics, Physical Review Letters, vol. 112, no. 2. American Physiological Society, 2014.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2014 |Published| Journal Article | IST-REx-ID: 845

V. Seplyarskiy et al., “Crossing-over in a hypervariable species preferentially occurs in regions of high local similarity,” Molecular Biology and Evolution, vol. 31, no. 11. Oxford University Press, pp. 3016–3025, 2014.

View | DOI