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 |

The complexity of ergodic mean payoff games
K. Chatterjee, R. Ibsen-Jensen, in:, Springer, 2014, pp. 122–133.

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

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

The complexity of partial-observation stochastic parity games with finite-memory strategies
K. Chatterjee, L. Doyen, S. Nain, M. Vardi, in:, Springer, 2014, pp. 242–257.

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

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

Perfect-information stochastic mean-payoff parity games
K. Chatterjee, L. Doyen, H. Gimbert, Y. Oualhadj, in:, Springer, 2014, pp. 210–225.

View | Files available | DOI

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

CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, P. Daca, 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 |

Games with a weak adversary
K. Chatterjee, L. Doyen, in:, Lecture Notes in Computer Science, Springer, 2014, pp. 110–121.

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

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

Improved algorithms for reachability and shortest path on low tree-width graphs
K. Chatterjee, R. Ibsen-Jensen, 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 |

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

[Published Version] View | Files available | DOI

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

The value 1 problem for concurrent mean-payoff games
K. Chatterjee, 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 |

Optimal tree-decomposition balancing and reachability on low treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, 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 |

Optimal cost almost-sure reachability in POMDPs
1 Anonymous, 2 Anonymous, 3 Anonymous, 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 |

The complexity of evolution on graphs
K. Chatterjee, R. Ibsen-Jensen, 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 |

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

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

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

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

View | DOI

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

Controlling magnetic order and quantum disorder in molecule-based magnets
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

Aprotic Li–O2 battery: Influence of complexing agents on oxygen reduction in an aprotic solvent
C. Li, O. Fontaine, S.A. Freunberger, L. Johnson, S. Grugeon, S. Laruelle, P.G. Bruce, M. Armand, The Journal of Physical Chemistry C 118 (2014) 3393–3401.

View | DOI

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

Communication-efficient randomized consensus
D.-A. Alistarh, J. Aspnes, V. King, J. Saia, in:, F. Kuhn (Ed.), Springer, 2014, pp. 61–75.

View | DOI

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

Brief announcement: Are lock-free concurrent algorithms practically wait-free?
D.-A. Alistarh, K. Censor Hille, N. Shavit, in:, ACM, 2014, pp. 50–52.

View | DOI

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

Generic fast diffusion for a class of non-convex Hamiltonians with two degrees of freedom
A. Bounemoura, V. Kaloshin, Moscow Mathematical Journal 14 (2014) 181–203.

[Preprint] View | DOI | arXiv

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

Coherent operations and screening in multielectron spin qubits
A.P. Higginbotham, F. Kuemmeth, M. Hanson, A. Gossard, C. Marcus, APS Physics, Physical Review Letters 112 (2014).

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

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

Crossing-over in a hypervariable species preferentially occurs in regions of high local similarity
V. Seplyarskiy, M. Logacheva, A. Penin, M. Baranová, E. Leushkin, N. Demidenko, A. Klepikova, F. Kondrashov, A. Kondrashov, T. James, Molecular Biology and Evolution 31 (2014) 3016–3025.

View | DOI