Please note that IST 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.

3014 Publications


2014 | Technical Report | IST-REx-ID: 5418 | OA
Chatterjee K, Doyen L. Games with a Weak Adversary. IST Austria; 2014. doi:10.15479/AT:IST-2014-176-v1-1
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5419 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs. IST Austria; 2014. doi:10.15479/AT:IST-2014-187-v1-1
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5420 | OA
Chatterjee K, Ibsen-Jensen R. The Value 1 Problem for Concurrent Mean-Payoff Games. IST Austria; 2014. doi:10.15479/AT:IST-2014-191-v1-1
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5421 | OA
Chatterjee K, Ibsen-Jensen R, Nowak M. The Complexity of Evolution on Graphs. IST Austria; 2014. doi:10.15479/AT:IST-2014-190-v2-2
View | Files available | DOI
 

2014 | Report | IST-REx-ID: 5422 | OA
Porsche J. Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none; 2014.
View | Files available
 

2014 | Technical Report | IST-REx-ID: 5423 | OA
Chatterjee K, Kössler A, Pavlogiannis A, Schmid U. A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks. IST Austria; 2014. doi:10.15479/AT:IST-2014-300-v1-1
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5424 | OA
Chatterjee K, Chmelik M, Gupta R, Kanodia A. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria; 2014. doi:10.15479/AT:IST-2014-305-v1-1
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5425 | OA
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. Optimal Cost Almost-Sure Reachability in POMDPs. IST Austria; 2014.
View | Files available
 

2014 | Technical Report | IST-REx-ID: 5426 | OA
Chatterjee K, Chmelik M, Gupta R, Kanodia A. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria; 2014. doi:10.15479/AT:IST-2014-305-v2-1
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5427 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria; 2014. doi:10.15479/AT:IST-2014-314-v1-1
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5428 | OA
Chatterjee K, Henzinger TA, Otop J, Velner Y. Quantitative Fair Simulation Games. IST Austria; 2014. doi:10.15479/AT:IST-2014-315-v1-1
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 5813 | OA
Dereziński J, Napiórkowski MM. Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit. Annales Henri Poincaré. 2014;15(12):2409-2439. doi:10.1007/s00023-013-0302-4
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 589 | OA
Lee J, Vrijsen G, Teper I, Hosten O, Kasevich M. Many-atom-cavity QED system with homogeneous atom-cavity coupling. Optics Letters. 2014;39(13):4005-4008. doi:10.1364/OL.39.004005
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 6122 | OA
Linneweber GA, Jacobson J, Busch KE, et al. Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching. Cell. 2014;156(1-2):69-83. doi:10.1016/j.cell.2013.12.008
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6124 | OA
Chen C, Itakura E, Weber KP, Hegde RS, de Bono M. An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism. PLoS Genetics. 2014;10(3). doi:10.1371/journal.pgen.1004082
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6126 | OA
Gross E, Soltesz Z, Oda S, Zelmanovich V, Abergel Z, de Bono M. GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings. Journal of Neuroscience. 2014;34(50):16726-16738. doi:10.1523/jneurosci.5368-13.2014
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2699 | OA
Erdös L, Bourgade P, Yau H. Universality of general β-ensembles. Duke Mathematical Journal. 2014;163(6):1127-1190. doi:10.1215/00127094-2649752
View | DOI | Download Preprint (ext.)
 

2014 | Journal Article | IST-REx-ID: 2716 | OA
Chatterjee K, Randour M, Raskin J. Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica. 2014;51(3-4):129-163. doi:10.1007/s00236-013-0182-6
View | DOI | Download Preprint (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2905 | OA
Edelsbrunner H, Morozovy D. Persistent homology: Theory and practice. In: European Mathematical Society Publishing House; 2014:31-50. doi:10.4171/120-1/3
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 6319 | OA
Bretèche R de la, Browning TD. Contre-exemples au principe de Hasse pour certains tores coflasques. Journal de Théorie des Nombres de Bordeaux. 2014;26(1):25-44. doi:10.5802/jtnb.857
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 6739 | OA
Mondelli M, Hassani H, Urbanke R. From polar to Reed-Muller codes: A technique to improve the finite-length performance. IEEE Transactions on Communications. 2014;62(9):3084-3091. doi:10.1109/tcomm.2014.2345069
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 6740 | OA
Mondelli M, Urbanke R, Hassani H. How to achieve the capacity of asymmetric channels. In: 52nd Annual Allerton Conference on Communication, Control, and Computing. IEEE; 2014:789-796. doi:10.1109/allerton.2014.7028535
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Working Paper | IST-REx-ID: 7038 | OA
Huszár K, Rolinek M. Playful Math - An Introduction to Mathematical Games. IST Austria
View | Files available
 

2014 | Journal Article | IST-REx-ID: 7071 | OA
Modic KA, Smidt TE, Kimchi I, et al. Realization of a three-dimensional spin–anisotropic harmonic honeycomb iridate. Nature Communications. 2014;5. doi:10.1038/ncomms5203
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1629 | OA
Guerrero P, Jeschke S, Wimmer M, Wonka P. Edit propagation using geometric relationship functions. ACM Transactions on Graphics. 2014;33(2). doi:10.1145/2591010
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1643 | OA
Fuchsbauer G. Constrained Verifiable Random Functions . In: Abdalla M, De Prisco R, eds. SCN 2014. Vol 8642. Springer; 2014:95-114. doi:10.1007/978-3-319-10879-7_7
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1702 | OA
Gupta A, Popeea C, Rybalchenko A. Generalised interpolation by solving recursion free-horn clauses. In: Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol 169. Open Publishing; 2014:31-38. doi:10.4204/EPTCS.169.5
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1733 | OA
Cerny P, Chmelik M, Henzinger TA, Radhakrishna A. Interface simulation distances. Theoretical Computer Science. 2014;560(3):348-363. doi:10.1016/j.tcs.2014.08.019
View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1761 | OA
Mongillo M, Spathis P, Katsaros G, et al. PtSi clustering in silicon probed by transport spectroscopy. Physical Review X. 2014;3(4). doi:10.1103/PhysRevX.3.041025
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1816 | OA
Huber S, Held M, Meerwald P, Kwitt R. Topology-preserving watermarking of vector graphics. International Journal of Computational Geometry and Applications. 2014;24(1):61-86. doi:10.1142/S0218195914500034
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1821 | OA
Seiringer R. Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation. Journal of Mathematical Physics. 2014;55(7). doi:10.1063/1.4881536
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1842 | OA
Cibulka J, Gao P, Krcál M, Valla T, Valtr P. On the geometric ramsey number of outerplanar graphs. Discrete & Computational Geometry. 2014;53(1):64-79. doi:10.1007/s00454-014-9646-x
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1844 | OA
Risso V, Manssour Triedo F, Delgado Delgado A, et al. Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history. Molecular Biology and Evolution. 2014;32(2):440-455. doi:10.1093/molbev/msu312
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1852 | OA
Sassi M, Ali O, Boudon F, et al. An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis. Current Biology. 2014;24(19):2335-2342. doi:10.1016/j.cub.2014.08.036
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1854 | OA
Guerrero P, Auzinger T, Wimmer M, Jeschke S. Partial shape matching using transformation parameter similarity. Computer Graphics Forum. 2014;34(1):239-252. doi:10.1111/cgf.12509
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1862 | OA
Chen X, Grandont L, Li H, et al. Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules. Nature. 2014;516(729):90-93. doi:10.1038/nature13889
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1870 | OA
Henzinger TA, Otop J, Samanta R. Lipschitz robustness of finite-state transducers. In: Leibniz International Proceedings in Informatics, LIPIcs. Vol 29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2014:431-443. doi:10.4230/LIPIcs.FSTTCS.2014.431
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1872 | OA
Gupta A, Kovács L, Kragl B, Voronkov A. Extensional crisis and proving identity. In: Cassez F, Raskin J-F, eds. ATVA 2014. Vol 8837. Springer; 2014:185-200. doi:10.1007/978-3-319-11936-6_14
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1875 | OA
Samanta R, Olivo O, Allen E. Cost-aware automatic program repair. In: Müller-Olm M, Seidl H, eds. Vol 8723. Springer; 2014:268-284. doi:10.1007/978-3-319-10936-7_17
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1876 | OA
Dolbilin N, Edelsbrunner H, Glazyrin A, Musin O. Functionals on triangulations of delaunay sets. Moscow Mathematical Journal. 2014;14(3):491-504.
View | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1886 | OA
Hermundstad A, Briguglio J, Conte M, Victor J, Balasubramanian V, Tkačik G. Variance predicts salience in central sensory processing. eLife. 2014;(November). doi:10.7554/eLife.03722
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1889 | OA
Bräunlich G, Hainzl C, Seiringer R. Translation-invariant quasi-free states for fermionic systems and the BCS approximation. Reviews in Mathematical Physics. 2014;26(7). doi:10.1142/S0129055X14500123
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1890 | OA
Körner C, Braunstein V, Stangl M, Schlögl A, Neuper C, Ischebeck A. Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection. Psychophysiology. 2014;51(4):385-395. doi:10.1111/psyp.12062
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1892 | OA
Ocana S, Meidl P, Bonfils D, Taborsky M. Y-linked Mendelian inheritance of giant and dwarf male morphs in shell-brooding cichlids. Proceedings of the Royal Society of London Series B Biological Sciences. 2014;281(1794). doi:10.1098/rspb.2014.0253
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1893 | OA
Nováková P, Hirsch S, Feraru E, et al. SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis. PNAS. 2014;111(7):2818-2823. doi:10.1073/pnas.1324264111
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1894 | OA
Grabowska A, Wywiał E, Dunin Horkawicz S, et al. Functional and bioinformatics analysis of two Campylobacter jejuni homologs of the thiol-disulfide oxidoreductase, DsbA. PLoS One. 2014;9(9). doi:10.1371/journal.pone.0106247
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1895 | OA
Edamura M, Murakami G, Meng H, et al. Functional deficiency of MHC class i enhances LTP and abolishes LTD in the nucleus accumbens of mice. PLoS One. 2014;9(9). doi:10.1371/journal.pone.0107099
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1896 | OA
Kollár R, Bod’ová K, Nosek J, Tomáška Ľ. Mathematical model of alternative mechanism of telomere length maintenance. Physical Review E Statistical Nonlinear and Soft Matter Physics. 2014;89(3). doi:10.1103/PhysRevE.89.032701
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1897 | OA
Naramoto S, Otegui M, Kutsuna N, et al. Insights into the localization and function of the membrane trafficking regulator GNOM ARF-GEF at the Golgi apparatus in Arabidopsis. Plant Cell. 2014;26(7):3062-3076. doi:10.1105/tpc.114.125880
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1899 | OA
Williams S, Ratliff L, Postiglione MP, Knoblich J, Fuchs E. Par3-mInsc and Gα i3 cooperate to promote oriented epidermal cell divisions through LGN. Nature Cell Biology. 2014;16(8):758-769. doi:10.1038/ncb3001
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

Search

Filter Publications