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 |

Chatterjee K, Ibsen-Jensen R. 2014. The complexity of ergodic mean payoff games. ICST: International Conference on Software Testing, Verification and Validation, LNCS, vol. 8573, 122–133.

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

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

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

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

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

Chatterjee K, Doyen L, Gimbert H, Oualhadj Y. 2014. Perfect-information stochastic mean-payoff parity games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 8412, 210–225.

View | Files available | DOI

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

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

[Published Version] View | Files available | DOI

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

Chatterjee K, Doyen L. 2014. Games with a weak adversary. Lecture Notes in Computer Science. ICALP: Automata, Languages and Programming, LNCS, vol. 8573, 110–121.

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

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

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

[Published Version] View | Files available | DOI

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

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

[Published Version] View | Files available | DOI

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

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

[Published Version] View | Files available | DOI

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

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

[Published Version] View | Files available | DOI

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

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

[Published Version] View | Files available

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

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

[Published Version] View | Files available | DOI

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

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

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

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

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

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

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

View | DOI

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

Alistarh D-A, Aspnes J, King V, Saia J. 2014. Communication-efficient randomized consensus. DISC: Distributed Computing, LNCS, vol. 8784, 61–75.

View | DOI

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

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

View | DOI

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

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

[Preprint] View | DOI | arXiv

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

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

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

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

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

View | DOI