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.

416 Publications

Search / Filter

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: 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: 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: 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 | Report | IST-REx-ID: 5422 |

J. Porsche, Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none, 2014.

View | Files available

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

K. Chatterjee, A. Kössler, A. Pavlogiannis, and U. Schmid, A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. IST Austria, 2014.

[Published Version] View | Files available | DOI

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

K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. 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: 5426 |

K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. 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: 5428 |

K. Chatterjee, T. A. Henzinger, J. Otop, and Y. Velner, Quantitative fair simulation games. IST Austria, 2014.

[Published Version] View | Files available | DOI

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

R. Biswas and P. Bhowmick, “On Finding Spherical Geodesic Paths and Circles in ℤ3,” vol. 8668. Springer, Berlin, Heidelberg, pp. 396–409, 2014.

View | DOI

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

J. Dereziński and M. M. Napiórkowski, “Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit,” Annales Henri Poincaré, vol. 15, no. 12. Springer Nature, pp. 2409–2439, 2014.

[Published Version] View | Files available | DOI

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

J. Lee, G. Vrijsen, I. Teper, O. Hosten, and M. Kasevich, “Many-atom-cavity QED system with homogeneous atom-cavity coupling,” Optics Letters, vol. 39, no. 13. OSA, pp. 4005–4008, 2014.

View | DOI | Download (ext.)

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

S. Tan and H.-W. Xue, “Casein kinase 1 regulates ethylene synthesis by phosphorylating and promoting the turnover of ACS5,” Cell Reports, vol. 9, no. 5. Elsevier, pp. 1692–1702, 2014.

[Published Version] View | Files available | DOI

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

D.-A. Alistarh, J. Aspnes, M. Bender, R. Gelashvili, and S. Gilbert, “Dynamic task allocation in asynchronous shared memory,” presented at the SODA: Symposium on Discrete Algorithms, 2014, pp. 416–435.

View | DOI

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

D.-A. Alistarh, J. Aspnes, K. Censor Hillel, S. Gilbert, and R. Guerraoui, “Tight bounds for asynchronous renaming,” Journal of the ACM, vol. 61, no. 3. ACM, 2014.

View | DOI

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

L. B. Sweeney and D. B. Kelley, “Harnessing vocal patterns for social communication,” Current Opinion in Neurobiology, vol. 28, no. 10. Elsevier, pp. 34–41, 2014.

View | DOI

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

D.-A. Alistarh, P. Eugster, M. Herlihy, A. Matveev, and N. Shavit, “StackTrack: An automated transactional approach to concurrent memory reclamation,” presented at the EuroSys: European Conference on Computer Systems, 2014.

View | DOI

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

D.-A. Alistarh, O. Denysyuk, L. Rodrígues, and N. Shavit, “Balls-into-Leaves: Sub-logarithmic renaming in synchronous message-passing systems,” presented at the PODC: Principles of Distributed Computing, 2014, pp. 232–241.

View | DOI