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.

5611 Publications

Search / Filter

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

Chatterjee K, Ibsen-Jensen R, Nowak M. The Complexity of Evolution on Graphs. IST Austria; 2014. doi:10.15479/AT:IST-2014-190-v2-2

[Published Version] View | Files available | DOI

2014 | Report | IST-REx-ID: 5422 |

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

View | Files available

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

Chatterjee K, Kössler A, Pavlogiannis A, Schmid U. A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks. IST Austria; 2014. doi:10.15479/AT:IST-2014-300-v1-1

[Published Version] View | Files available | DOI

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

Chatterjee K, Chmelik M, Gupta R, Kanodia A. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria; 2014. doi:10.15479/AT:IST-2014-305-v1-1

[Published Version] View | Files available | DOI

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

Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. Optimal Cost Almost-Sure Reachability in POMDPs. IST Austria; 2014.

[Published Version] View | Files available

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

Chatterjee K, Chmelik M, Gupta R, Kanodia A. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria; 2014. doi:10.15479/AT:IST-2014-305-v2-1

[Published Version] View | Files available | DOI

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

Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria; 2014. doi:10.15479/AT:IST-2014-314-v1-1

[Published Version] View | Files available | DOI

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

Chatterjee K, Henzinger TA, Otop J, Velner Y. Quantitative Fair Simulation Games. IST Austria; 2014. doi:10.15479/AT:IST-2014-315-v1-1

[Published Version] View | Files available | DOI

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

Dereziński J, Napiórkowski MM. Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit. Annales Henri Poincaré. 2014;15(12):2409-2439. doi:10.1007/s00023-013-0302-4

[Published Version] View | Files available | DOI

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

Lee J, Vrijsen G, Teper I, Hosten O, Kasevich M. Many-atom-cavity QED system with homogeneous atom-cavity coupling. Optics Letters. 2014;39(13):4005-4008. doi:10.1364/OL.39.004005

View | DOI | Download (ext.)

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

Linneweber GA, Jacobson J, Busch KE, et al. Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching. Cell. 2014;156(1-2):69-83. doi:10.1016/j.cell.2013.12.008

[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. An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism. PLoS Genetics. 2014;10(3). doi:10.1371/journal.pgen.1004082

[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. GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings. Journal of Neuroscience. 2014;34(50):16726-16738. doi:10.1523/jneurosci.5368-13.2014

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

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

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

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

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

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

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

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

Bräunlich G, Hainzl C, Seiringer R. On the BCS gap equation for superfluid fermionic gases. In: Proceedings of the QMath12 Conference. World Scientific Publishing; 2014:127-137. doi:10.1142/9789814618144_0007

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

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

Kundu PK, Olsen GL, Kiss V, Klajn R. Nanoporous frameworks exhibiting multiple stimuli responsiveness. Nature Communications. 2014;5. doi:10.1038/ncomms4588

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

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

Klajn R. Spiropyran-based dynamic materials. Chemical Society Reviews. 2014;43(1):148-184. doi:10.1039/c3cs60181a

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

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

Chatterjee K, Henzinger MH, Krinninger S, Loitzenbauer V, Raskin M. Approximating the minimum cycle mean. Theoretical Computer Science. 2014;547(C):104-116. doi:10.1016/j.tcs.2014.06.031

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

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

Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. A logic-based framework for verifying consensus algorithms. In: Vol 8318. Springer; 2014:161-181. doi:10.1007/978-3-642-54013-4_10

[Submitted Version] View | Files available | DOI