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.
1621 Publications
2015 |Published| Journal Article | IST-REx-ID: 1730 | 
Colin De Verdière É, Hubard A, de Mesmay AN. Discrete systolic inequalities and decompositions of triangulated surfaces. Discrete & Computational Geometry. 2015;53(3):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 P, Henzinger TA, Kovács L, Radhakrishna A, Zwirchmayr J. Segment abstraction for worst-case execution time analysis. 2015;9032:105-131. doi:10.1007/978-3-662-46669-8_5
View
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1838 |
Bloem R, Chatterjee K, Jacobs S, Könighofer R. Assume-guarantee synthesis for concurrent reactive programs with partial information. In: Vol 9035. Springer; 2015:517-532. 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 T, Chatterjee K, Forejt V, Kučera A. Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. 2015;9035:181-187. doi:10.1007/978-3-662-46681-0_12
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Conference Paper | IST-REx-ID: 1882 |
Fahrenberg U, Kretinsky J, Legay A, Traonouez L. Compositionality for quantitative specifications. In: Vol 8997. Springer; 2015:306-324. doi:10.1007/978-3-319-15317-9_19
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 2271 |
Kolmogorov V, Thapper J, Živný S. The power of linear programming for general-valued CSPs. SIAM Journal on Computing. 2015;44(1):1-36. doi:10.1137/130945648
[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. Efficient and inexpensive sodium magnesium hybrid battery. Chemistry of Materials. 2015;27(21):7452-7458. doi:10.1021/acs.chemmater.5b03531
View
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1661 |
Chatterjee K, Henzinger MH, Loitzenbauer V. Improved algorithms for one-pair and k-pair Streett objectives. In: Proceedings - Symposium on Logic in Computer Science. Vol 2015-July. 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 W, Ma M, Feng Y, et al. EIN2-directed translational regulation of ethylene signaling in arabidopsis. Cell. 2015;163(3):670-683. doi:10.1016/j.cell.2015.09.037
View
| DOI
2015 |Published| Journal Article | IST-REx-ID: 524 |
Chatterjee K, Ibsen-Jensen R. Qualitative analysis of concurrent mean payoff games. Information and Computation. 2015;242(6):2-24. doi:10.1016/j.ic.2015.03.009
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Conference Paper | IST-REx-ID: 1610 |
Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. Edit distance for pushdown automata. In: 42nd International Colloquium. Vol 9135. Springer Nature; 2015:121-133. doi:10.1007/978-3-662-47666-6_10
View
| Files available
| DOI
| Download None (ext.)
| arXiv
2015 |Published| Technical Report | IST-REx-ID: 5437 |
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria; 2015. doi:10.15479/AT:IST-2015-330-v2-1
[Published Version]
View
| Files available
| DOI
2015 |Published| Technical Report | IST-REx-ID: 5430 |
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria; 2015. doi:10.15479/AT:IST-2015-319-v1-1
[Published Version]
View
| Files available
| DOI
2015 |Published| Journal Article | IST-REx-ID: 5808
Biswas R, Bhowmick P. Layer the sphere. The Visual Computer. 2015;31(6-8):787-797. doi:10.1007/s00371-015-1101-3
View
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1511 |
Goaoc X, Mabillard I, Paták P, Patakova Z, Tancer M, Wagner U. On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result. In: Vol 34. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2015:476-490. doi:10.4230/LIPIcs.SOCG.2015.476
[Published Version]
View
| Files available
| DOI
2015 |Published| Journal Article | IST-REx-ID: 7457
Parizi SS, Conley G, Costanzo T, Howell B, Mellinger A, Caruntu G. Fabrication of barium titanate/acrylonitrile-butadiene styrene/poly(methyl methacrylate) nanocomposite films for hybrid ferroelectric capacitors. RSC Advances. 2015;5(93):76356-76362. doi:10.1039/c5ra11347d
[Submitted Version]
View
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 778 |
Alistarh D-A, Kopinsky J, Kuznetsov P, Ravi S, Shavit N. Inherent limitations of hybrid transactional memory. In: Vol 9363. Springer; 2015:185-199. doi:10.1007/978-3-662-48653-5_13
View
| DOI
| Download None (ext.)
| arXiv
2015 |Published| Conference Paper | IST-REx-ID: 780 |
Alistarh D-A, Gelashvili R. Polylogarithmic-time leader election in population protocols. In: Vol 9135. Springer; 2015:479-491. doi:10.1007/978-3-662-47666-6_38
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 |Published| Conference Paper | IST-REx-ID: 784
Alistarh D-A, Ballani H, Costa P, et al. A high-radix, low-latency optical switch for data centers. In: ACM; 2015:367-368. doi:10.1145/2785956.2790035
View
| DOI