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 |

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

G. A. Linneweber et al., “Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching,” Cell, vol. 156, no. 1–2. Elsevier, pp. 69–83, 2014.

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

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

C. Chen, E. Itakura, K. P. Weber, R. S. Hegde, and M. de Bono, “An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism,” PLoS Genetics, vol. 10, no. 3. Public Library of Science (PLoS), 2014.

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

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

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

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

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

R. de la Bretèche and T. D. Browning, “Contre-exemples au principe de Hasse pour certains tores coflasques,” Journal de Théorie des Nombres de Bordeaux, vol. 26, no. 1. Cellule MathDoc/CEDRAM, pp. 25–44, 2014.

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

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

L. Erdös, “Random matrices, log-gases and Hölder regularity,” in Proceedings of the International Congress of Mathematicians, Seoul, Korea, 2014, vol. 3, pp. 214–236.

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

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

G. Bräunlich, C. Hainzl, and R. Seiringer, “On the BCS gap equation for superfluid fermionic gases,” in Proceedings of the QMath12 Conference, Berlin, Germany, 2014, pp. 127–137.

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

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

P. K. Kundu, G. L. Olsen, V. Kiss, and R. Klajn, “Nanoporous frameworks exhibiting multiple stimuli responsiveness,” Nature Communications, vol. 5. Springer Nature, 2014.

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

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

R. Klajn, “Spiropyran-based dynamic materials,” Chemical Society Reviews, vol. 43, no. 1. Royal Society of Chemistry, pp. 148–184, 2014.

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

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

K. Chatterjee, M. H. Henzinger, S. Krinninger, V. Loitzenbauer, and M. Raskin, “Approximating the minimum cycle mean,” Theoretical Computer Science, vol. 547, no. C. Elsevier, pp. 104–116, 2014.

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

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

C. Dragoi, T. A. Henzinger, H. Veith, J. Widder, and D. Zufferey, “A logic-based framework for verifying consensus algorithms,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA, 2014, vol. 8318, pp. 161–181.

[Submitted Version] View | Files available | DOI