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, Krishnendu, et al. 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, Jana. Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none, 2014.

View | Files available

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

Chatterjee, Krishnendu, et al. 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, Krishnendu, et al. 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, et al. Optimal Cost Almost-Sure Reachability in POMDPs. IST Austria, 2014.

[Published Version] View | Files available

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

Chatterjee, Krishnendu, et al. 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, Krishnendu, et al. 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, Krishnendu, et al. 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, Jan, and Marcin M. Napiórkowski. “Excitation Spectrum of Interacting Bosons in the Mean-Field Infinite-Volume Limit.” Annales Henri Poincaré, vol. 15, no. 12, Springer Nature, 2014, pp. 2409–39, doi:10.1007/s00023-013-0302-4.

[Published Version] View | Files available | DOI

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

Lee, Jongmin, et al. “Many-Atom-Cavity QED System with Homogeneous Atom-Cavity Coupling.” Optics Letters, vol. 39, no. 13, OSA, 2014, pp. 4005–08, doi:10.1364/OL.39.004005.

View | DOI | Download (ext.)

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

Linneweber, Gerit A., et al. “Neuronal Control of Metabolism through Nutrient-Dependent Modulation of Tracheal Branching.” Cell, vol. 156, no. 1–2, Elsevier, 2014, pp. 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, Changchun, et al. “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, e1004082, Public Library of Science (PLoS), 2014, 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., et al. “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, 2014, pp. 16726–38, 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égis de la, and Timothy 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, 2014, pp. 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ászló. “Random Matrices, Log-Gases and Hölder Regularity.” Proceedings of the International Congress of Mathematicians, vol. 3, International Congress of Mathematicians, 2014, pp. 214–36.

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

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

Bräunlich, Gerhard, et al. “On the BCS Gap Equation for Superfluid Fermionic Gases.” Proceedings of the QMath12 Conference, World Scientific Publishing, 2014, pp. 127–37, doi:10.1142/9789814618144_0007.

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

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

Kundu, Pintu K., et al. “Nanoporous Frameworks Exhibiting Multiple Stimuli Responsiveness.” Nature Communications, vol. 5, 3588, Springer Nature, 2014, doi:10.1038/ncomms4588.

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

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

Klajn, Rafal. “Spiropyran-Based Dynamic Materials.” Chemical Society Reviews, vol. 43, no. 1, Royal Society of Chemistry, 2014, pp. 148–84, doi:10.1039/c3cs60181a.

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

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

Chatterjee, Krishnendu, et al. “Approximating the Minimum Cycle Mean.” Theoretical Computer Science, vol. 547, no. C, Elsevier, 2014, pp. 104–16, doi:10.1016/j.tcs.2014.06.031.

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

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

Dragoi, Cezara, et al. A Logic-Based Framework for Verifying Consensus Algorithms. Vol. 8318, Springer, 2014, pp. 161–81, doi:10.1007/978-3-642-54013-4_10.

[Submitted Version] View | Files available | DOI