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.
7668 Publications
2014 |
Published |
Technical Report |
IST-REx-ID: 5423 |
Chatterjee K, Kössler A, Pavlogiannis A, Schmid U. 2014. A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks, IST Austria, 14p.
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5424 |
Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2014. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications, IST Austria, 12p.
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5425 |
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. 2014. Optimal cost almost-sure reachability in POMDPs, IST Austria, 22p.
[Published Version]
View
| Files available
2014 |
Published |
Technical Report |
IST-REx-ID: 5426 |
Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2014. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications, IST Austria, 10p.
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5427 |
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2014. Optimal tree-decomposition balancing and reachability on low treewidth graphs, IST Austria, 24p.
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5428 |
Chatterjee K, Henzinger TA, Otop J, Velner Y. 2014. Quantitative fair simulation games, IST Austria, 26p.
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Journal Article |
IST-REx-ID: 5813 |
Dereziński J, Napiórkowski MM. 2014. Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit. Annales Henri Poincaré. 15(12), 2409–2439.
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Journal Article |
IST-REx-ID: 589 |
Lee J, Vrijsen G, Teper I, Hosten O, Kasevich M. 2014. Many-atom-cavity QED system with homogeneous atom-cavity coupling. Optics Letters. 39(13), 4005–4008.
View
| DOI
| Download (ext.)
2014 |
Published |
Journal Article |
IST-REx-ID: 6122 |
Linneweber GA, Jacobson J, Busch KE, Hudry B, Christov CP, Dormann D, Yuan M, Otani T, Knust E, de Bono M, Miguel-Aliaga I. 2014. Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching. Cell. 156(1–2), 69–83.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 |
Published |
Journal Article |
IST-REx-ID: 6124 |
Chen C, Itakura E, Weber KP, Hegde RS, de Bono M. 2014. An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism. PLoS Genetics. 10(3), e1004082.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 |
Published |
Journal Article |
IST-REx-ID: 6126 |
Gross E, Soltesz Z, Oda S, Zelmanovich V, Abergel Z, de Bono M. 2014. GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings. Journal of Neuroscience. 34(50), 16726–16738.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 |
Published |
Journal Article |
IST-REx-ID: 6319 |
Bretèche R de la, Browning TD. 2014. Contre-exemples au principe de Hasse pour certains tores coflasques. Journal de Théorie des Nombres de Bordeaux. 26(1), 25–44.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |
Published |
Journal Article |
IST-REx-ID: 6739 |
Mondelli M, Hassani H, Urbanke R. 2014. From polar to Reed-Muller codes: A technique to improve the finite-length performance. IEEE Transactions on Communications. 62(9), 3084–3091.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |
Published |
Conference Paper |
IST-REx-ID: 6740 |
Mondelli M, Urbanke R, Hassani H. 2014. How to achieve the capacity of asymmetric channels. 52nd Annual Allerton Conference on Communication, Control, and Computing. Allerton Conference on Communication, Control, and Computing, 789–796.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 |
Draft |
Working Paper |
IST-REx-ID: 7038 |
Huszár K, Rolinek M. Playful Math - An introduction to mathematical games, IST Austria, 5p.
[Published Version]
View
| Files available
2014 |
Published |
Journal Article |
IST-REx-ID: 7071 |
Modic KA, Smidt TE, Kimchi I, Breznay NP, Biffin A, Choi S, Johnson RD, Coldea R, Watkins-Curry P, McCandless GT, Chan JY, Gandara F, Islam Z, Vishwanath A, Shekhter A, McDonald RD, Analytis JG. 2014. Realization of a three-dimensional spin–anisotropic harmonic honeycomb iridate. Nature Communications. 5, 4203.
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Journal Article |
IST-REx-ID: 7598 |
Tan S, Xue H-W. 2014. Casein kinase 1 regulates ethylene synthesis by phosphorylating and promoting the turnover of ACS5. Cell Reports. 9(5), 1692–1702.
[Published Version]
View
| Files available
| DOI
2014 |
Research Data Reference |
IST-REx-ID: 9932 |
Dhar R, Bergmiller T, Wagner A. 2014. Data from: Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes, Dryad, 10.5061/dryad.jc402.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 |
Published |
Journal Article |
IST-REx-ID: 350 |
Li W, Ibáñez M, Cadavid D, Zamani R, Rubio Garcia J, Gorsse S, Morante J, Arbiol J, Cabot A. 2014. Colloidal synthesis and functional properties of quaternary Cu based semiconductors: Cu2HgGeSe4. Journal of Nanoparticle Research. 16(3).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |
Published |
Journal Article |
IST-REx-ID: 451 |
Pilarczyk P, Real P. 2014. Computation of cubical homology, cohomology, and (co)homological operations via chain contraction. Advances in Computational Mathematics. 41(1), 253–275.
View
| DOI
| Download (ext.)