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 A, Ben David S. 2015. Multi-task and lifelong learning of kernels. ALT: Algorithmic Learning Theory, LNCS, vol. 9355, 194–208.

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

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

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

[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 P, Henzinger TA, Kovács L, Radhakrishna A, Zwirchmayr J. 2015. Segment abstraction for worst-case execution time analysis. 9032, 105–131.

View | DOI

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

Bloem R, Chatterjee K, Jacobs S, Könighofer R. 2015. Assume-guarantee synthesis for concurrent reactive programs with partial information. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 9035, 517–532.

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

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

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

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

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

Fahrenberg U, Kretinsky J, Legay A, Traonouez L. 2015. Compositionality for quantitative specifications. FACS: Formal Aspects of Component Software, LNCS, vol. 8997, 306–324.

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

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

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

View | DOI

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

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

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

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

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

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

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

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

View | DOI

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

Chatterjee K, Henzinger MH, Loitzenbauer V. 2015. Improved algorithms for one-pair and k-pair Streett objectives. Proceedings - Symposium on Logic in Computer Science. LICS: Logic in Computer Science vol. 2015–July, 7174888.

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

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

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

View | DOI

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

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

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

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

Chatterjee K, Komarkova Z, Kretinsky J. 2015. Unifying two views on multiple mean-payoff objectives in Markov decision processes, IST Austria, 41p.