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.

1488 Publications

Search / Filter

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

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

Increased grooming after repeated brood care provides sanitary benefits in a clonal ant
C. Westhus, L.V. Ugelvig, E. Tourdot, J. Heinze, C. Doums, S. Cremer, Behavioral Ecology and Sociobiology 68 (2014) 1701–1710.

View | Files available | DOI

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

Changes of glaciers in the Andes of Chile and priorities for future work
F. Pellicciotti, S. Ragettli, M. Carenzo, J. McPhee, Science of The Total Environment 493 (2014) 1197–1210.

View | DOI

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

The cyclopropene radical cation: Rovibrational level structure at low energies from high-resolution photoelectron spectra
K. Vasilatou, J.M. Michaud, D.R. Baykusheva, G. Grassi, F. Merkt, The Journal of Chemical Physics 141 (2014).

View | DOI | PubMed | Europe PMC