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 |

Multi-task and lifelong learning of kernels
A. Pentina, S. Ben David, in:, Springer, 2015, pp. 194–208.

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

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

Discrete systolic inequalities and decompositions of triangulated surfaces
É. Colin De Verdière, A. Hubard, A.N. de Mesmay, Discrete & Computational Geometry 53 (2015) 587–620.

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

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

Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome
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

Segment abstraction for worst-case execution time analysis
P. Cerny, T.A. Henzinger, L. Kovács, A. Radhakrishna, J. Zwirchmayr, 9032 (2015) 105–131.

View | DOI

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

Assume-guarantee synthesis for concurrent reactive programs with partial information
R. Bloem, K. Chatterjee, S. Jacobs, R. Könighofer, in:, Springer, 2015, pp. 517–532.

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

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

Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives
T. Brázdil, K. Chatterjee, V. Forejt, A. Kučera, 9035 (2015) 181–187.

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

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

Compositionality for quantitative specifications
U. Fahrenberg, J. Kretinsky, A. Legay, L. Traonouez, in:, Springer, 2015, pp. 306–324.

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

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

Phylogenetic relationships of Petrocoptis A. Braun ex Endl. (Caryophyllaceae), a discussed genus from the Iberian Peninsula
E. Cires Rodriguez, J. Prieto, Journal of Plant Research 128 (2015) 223–238.

View | DOI

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

Collective excitations of Bose gases in the mean-field regime
P. Nam, R. Seiringer, Archive for Rational Mechanics and Analysis 215 (2015) 381–417.

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

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

The power of linear programming for general-valued CSPs
V. Kolmogorov, J. Thapper, S. Živný, SIAM Journal on Computing 44 (2015) 1–36.

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

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

Efficient and inexpensive sodium magnesium hybrid battery
M. Walter, K. Kravchyk, M. Ibáñez, M. Kovalenko, Chemistry of Materials 27 (2015) 7452–7458.

View | DOI

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

Improved algorithms for one-pair and k-pair Streett objectives
K. Chatterjee, M.H. Henzinger, V. Loitzenbauer, in:, Proceedings - Symposium on Logic in Computer Science, IEEE, 2015.

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

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

EIN2-directed translational regulation of ethylene signaling in arabidopsis
W. Li, M. Ma, Y. Feng, H. Li, Y. Wang, Y. Ma, M. Li, F. An, H. Guo, Cell 163 (2015) 670–683.

View | DOI

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

Qualitative analysis of concurrent mean payoff games
K. Chatterjee, R. Ibsen-Jensen, Information and Computation 242 (2015) 2–24.

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

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

Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Komarkova, J. Kretinsky, Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes, IST Austria, 2015.