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 |

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

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

View | Files available

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

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

[Published Version] View | Files available | DOI

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

Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2014. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications, IST Austria, 12p.

[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: 5426 |

Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2014. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications, IST Austria, 10p.

[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: 5428 |

Chatterjee K, Henzinger TA, Otop J, Velner Y. 2014. Quantitative fair simulation games, IST Austria, 26p.

[Published Version] View | Files available | DOI

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

Biswas R, Bhowmick P. 2014. On Finding Spherical Geodesic Paths and Circles in ℤ3. 8668, 396–409.

View | DOI

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

Dereziński J, Napiórkowski MM. 2014. Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit. Annales Henri Poincaré. 15(12), 2409–2439.

[Published Version] View | Files available | DOI

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

Lee J, Vrijsen G, Teper I, Hosten O, Kasevich M. 2014. Many-atom-cavity QED system with homogeneous atom-cavity coupling. Optics Letters. 39(13), 4005–4008.

View | DOI | Download (ext.)

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

Linneweber GA, Jacobson J, Busch KE, Hudry B, Christov CP, Dormann D, Yuan M, Otani T, Knust E, de Bono M, Miguel-Aliaga I. 2014. Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching. Cell. 156(1–2), 69–83.

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

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: 6126 |

Gross E, Soltesz Z, Oda S, Zelmanovich V, Abergel Z, de Bono M. 2014. GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings. Journal of Neuroscience. 34(50), 16726–16738.

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

2014 | Published | Book Chapter | IST-REx-ID: 6178

Smutny M, Behrndt M, Campinho P, Ruprecht V, Heisenberg C-PJ. 2014.UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo. In: Tissue Morphogenesis. vol. 1189, 219–235.

View | DOI | PubMed | Europe PMC

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

Bretèche R de la, Browning TD. 2014. Contre-exemples au principe de Hasse pour certains tores coflasques. Journal de Théorie des Nombres de Bordeaux. 26(1), 25–44.

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

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

Erdös L. 2014. Random matrices, log-gases and Hölder regularity. Proceedings of the International Congress of Mathematicians. ICM: International Congress of Mathematicians vol. 3, 214–236.

[Submitted Version] View | Download Submitted Version (ext.)