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.

1953 Publications

2015 |Published| Conference Paper | IST-REx-ID: 1706 |

Pentina, Anastasia, and Shai Ben David. Multi-Task and Lifelong Learning of Kernels. Vol. 9355, Springer, 2015, pp. 194–208, doi:10.1007/978-3-319-24486-0_13.

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

2015 |Published| Journal Article | IST-REx-ID: 1730 |

Colin De Verdière, Éric, et al. “Discrete Systolic Inequalities and Decompositions of Triangulated Surfaces.” Discrete & Computational Geometry, vol. 53, no. 3, Springer, 2015, pp. 587–620, doi:10.1007/s00454-015-9679-9.

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

2015 |Published| Journal Article | IST-REx-ID: 1789 |

Kuechler A, Zink A, Wieland T, Lüdecke H, Cremer K, Salviati L, Magini P, Najafi K, Zweier C, Czeschik J, Aretz S, Endele S, Tamburrino F, Pinato C, Clementi M, Gundlach J, Maylahn C, Mazzanti L, Wohlleber E, Schwarzmayr T, Kariminejad R, Schlessinger A, Wieczorek D, Strom T, Novarino G, Engels H. 2015. Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome. European Journal of Human Genetics. 23(6), 753–760.

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

2015 |Published| Conference Paper | IST-REx-ID: 1836

Cerny, Pavol, et al. Segment Abstraction for Worst-Case Execution Time Analysis. Vol. 9032, Springer, 2015, pp. 105–31, doi:10.1007/978-3-662-46669-8_5.

View | DOI

2015 |Published| Conference Paper | IST-REx-ID: 1838 |

Bloem, Roderick, et al. Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. Vol. 9035, Springer, 2015, pp. 517–32, doi:10.1007/978-3-662-46681-0_50.

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

2015 |Published| Conference Paper | IST-REx-ID: 1839 |

Brázdil, Tomáš, et al. Multigain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. Vol. 9035, Springer, 2015, pp. 181–87, doi:10.1007/978-3-662-46681-0_12.

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

2015 |Published| Conference Paper | IST-REx-ID: 1882 |

Fahrenberg, Uli, et al. Compositionality for Quantitative Specifications. Vol. 8997, Springer, 2015, pp. 306–24, doi:10.1007/978-3-319-15317-9_19.

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

2015 |Published| Journal Article | IST-REx-ID: 1878

Cires Rodriguez, Eduardo, and José Prieto. “Phylogenetic Relationships of Petrocoptis A. Braun Ex Endl. (Caryophyllaceae), a Discussed Genus from the Iberian Peninsula.” Journal of Plant Research, vol. 128, no. 2, Springer, 2015, pp. 223–38, doi:10.1007/s10265-014-0691-6.

View | DOI

2015 |Published| Journal Article | IST-REx-ID: 2085 |

Nam, Phan, and Robert Seiringer. “Collective Excitations of Bose Gases in the Mean-Field Regime.” Archive for Rational Mechanics and Analysis, vol. 215, no. 2, Springer, 2015, pp. 381–417, doi:10.1007/s00205-014-0781-6.

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

2015 |Published| Journal Article | IST-REx-ID: 2271 |

Kolmogorov, Vladimir, et al. “The Power of Linear Programming for General-Valued CSPs.” SIAM Journal on Computing, vol. 44, no. 1, SIAM, 2015, pp. 1–36, doi:10.1137/130945648.

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

2015 |Published| Journal Article | IST-REx-ID: 333

Walter, Marc, et al. “Efficient and Inexpensive Sodium Magnesium Hybrid Battery.” Chemistry of Materials, vol. 27, no. 21, ACS, 2015, pp. 7452–58, doi:10.1021/acs.chemmater.5b03531.

View | DOI

2015 |Published| Conference Paper | IST-REx-ID: 1661 |

Chatterjee, Krishnendu, et al. “Improved Algorithms for One-Pair and k-Pair Streett Objectives.” Proceedings - Symposium on Logic in Computer Science, vol. 2015–July, 7174888, IEEE, 2015, doi:10.1109/LICS.2015.34.

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)

2015 |Published| Journal Article | IST-REx-ID: 532

Li, Wenyang, et al. “EIN2-Directed Translational Regulation of Ethylene Signaling in Arabidopsis.” Cell, vol. 163, no. 3, Cell Press, 2015, pp. 670–83, doi:10.1016/j.cell.2015.09.037.

View | DOI

2015 |Published| Journal Article | IST-REx-ID: 524 |

Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “Qualitative Analysis of Concurrent Mean Payoff Games.” Information and Computation, vol. 242, no. 6, Elsevier, 2015, pp. 2–24, doi:10.1016/j.ic.2015.03.009.

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

2015 |Published| Technical Report | IST-REx-ID: 5429 |

Chatterjee, Krishnendu, et al. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015, doi:10.15479/AT:IST-2015-318-v1-1.