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.

6107 Publications


2014 | Journal Article | IST-REx-ID: 2249 | OA
Chen Y, Aung K, Rolčík J, Walicki K, Friml J, Brandizzí F. 2014. Inter-regulation of the unfolded protein response and auxin signaling. Plant Journal. 77(1), 97–107.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2250 | OA
Kuchibhatla D, Sherman W, Chung B, Cook S, Schneider G, Eisenhaber B, Karlin D. 2014. Powerful sequence similarity search methods and in-depth manual analyses can identify remote homologs in many apparently ‘orphan’ viral proteins. Journal of Virology. 88(1), 10–20.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2251 | OA
Csicsvari JL, Dupret D. 2014. Sharp wave/ripple network oscillations and learning-associated hippocampal maps. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 369(1635), 20120528.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2252
Phadke S, Paixao T, Pham T, Pham S, Zufall R. 2014. Genetic background alters dominance relationships between mat alleles in the ciliate Tetrahymena Thermophila. Journal of Heredity. 105(1), 130–135.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2253 | OA
Bailly A, Wang B, Zwiewka M, Pollmann S, Schenck D, Lüthen H, Schulz A, Friml J, Geisler M. 2014. Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth. Plant Journal. 77(1), 108–118.
View | DOI | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2254 | OA
Pernia-Andrade A, Jonas PM. 2014. Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations. Neuron. 81(1), 140–152.
View | Files available | DOI
 

2014 | Book Chapter | IST-REx-ID: 2245
Simon S, Skůpa P, Dobrev P, Petrášek J, Zažímalová E, Friml J. 2014.Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters. In: Plant Chemical Genomics. Methods in Molecular Biology, vol. 1056, 255–264.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2246 | OA
Grinshpun A, Phalitnonkiat P, Rubin S, Tarfulea A. 2014. Alternating traps in Muller and parity games. Theoretical Computer Science. 521, 73–91.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2261 | OA
Zhu F, Gamboa M, Farruggio A, Hippenmeyer S, Tasic B, Schüle B, Chen Tsai Y, Calos M. 2014. DICE, an efficient system for iterative genomic editing in human pluripotent stem cells. Nucleic Acids Research. 42(5), e34.
View | Files available | DOI
 

2014 | Book Chapter | IST-REx-ID: 2265
Hippenmeyer S. 2014.Molecular pathways controlling the sequential steps of cortical projection neuron migration. In: Cellular and Molecular Control of Neuronal Migration. Advances in Experimental Medicine and Biology, vol. 800, 1–24.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2275 | OA
Olsson C, Ulen J, Boykov Y, Kolmogorov V. 2014. Partial enumeration and curvature regularization. ICCV: International Conference on Computer Vision, 2936–2943.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2285 | OA
Hosp J, Strüber M, Yanagawa Y, Obata K, Vida I, Jonas PM, Bartos M. 2014. Morpho-physiological criteria divide dentate gyrus interneurons into classes. Hippocampus. 23(2), 189–203.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2281 | OA
Guo Y, Seiringer R. 2014. On the mass concentration for Bose-Einstein condensates with attractive interactions. Letters in Mathematical Physics. 104(2), 141–156.
View | DOI | Download Preprint (ext.)
 

2014 | Journal Article | IST-REx-ID: 2407 | OA
Lieb É, Seiringer R. 2014. Equivalence of two definitions of the effective mass of a polaron. Journal of Statistical Physics. 154(1–2), 51–57.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 248 | OA
Browning TD, Matthiesen L, Skorobogatov A. 2014. Rational points on pencils of conics and quadrics with many degenerate fibres. Annals of Mathematics. 180(1), 381–402.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 249
Browning TD, Vishe P. 2014. Cubic hypersurfaces and a version of the circle method for number fields. Duke Mathematical Journal. 163(10), 1825–1883.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 252
Browning TD, Jones M. 2014. Counting rational points on del Pezzo surfaces with a conic bundle structure. Acta Arithmetica. 163(3), 271–298.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 254
Browning TD. 2014. The polynomial sieve and equal sums of like polynomials. International Mathematics Research Notices. 2015(7), 1987–2019.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 255
Browning TD, Dietmann R, Heath Brown R. 2014. Rational points on intersections of cubic and quadric hypersurfaces. Journal of the Institute of Mathematics of Jussieu. 14(4), 703–749.
View | DOI
 

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

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

2014 | Journal Article | IST-REx-ID: 2255 | OA
Edelsbrunner H, Pausinger F. 2014. Stable length estimates of tube-like shapes. Journal of Mathematical Imaging and Vision. 50(1), 164–177.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2905 | OA
Edelsbrunner H, Morozovy D. 2014. Persistent homology: Theory and practice. ECM: European Congress of Mathematics, 31–50.
View | Files available | DOI
 

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

2014 | Journal Article | IST-REx-ID: 2141 | OA
Chatterjee K, Henzinger M. 2014. Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition. Journal of the ACM. 61(3), a15.
View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2852
Fischlin M, Lehmann A, Pietrzak KZ. 2014. Robust multi-property combiners for hash functions. Journal of Cryptology. 27(3), 397–428.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 3263 | OA
Tkačik G, Ghosh A, Schneidman E, Segev R. 2014. Adaptation to changes in higher-order stimulus statistics in the salamander retina. PLoS One. 9(1), e85841.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 332
Yu X, Shavel A, An X, Luo Z, Ibáñez M, Cabot A. 2014. Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic water splitting and pollutant degradation. Journal of the American Chemical Society. 136(26), 9236–9239.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2054
Chatterjee K. 2014. Qualitative concurrent parity games: Bounded rationality. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). CONCUR: Concurrency Theory, LNCS, vol. 8704, 544–559.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 355
Yu X, An X, Shavel A, Ibáñez M, Cabot A. 2014. The effect of the Ga content on the photocatalytic hydrogen evolution of CuIn1-xGaxS2 nanocrystals. Journal of Materials Chemistry A. 2(31), 12317–12322.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 356
Yu X, Shavel A, An X, Luo Z, Ibáñez M, Cabot A. 2014. Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au heterostructured nanoparticles for photocatalytic water splitting and pollutant degradation. Journal of the American Chemical Society. 136(26), 9236–9239.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 357
Fairbrother A, Izquierdo Roca V, Fontané X, Ibáñez M, Cabot A, Saucedo E, Pérez Rodríguez A. 2014. ZnS grain size effects on near-resonant Raman scattering: Optical non-destructive grain size estimation. CrystEngComm. 16(20), 4120–4125.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 358
Herranz T, Ibáñez M, Gómez De La Fuente J, Pérez Alonso F, Peña M, Cabot A, Rojas S. 2014. In situ study of ethanol electrooxidation on monodispersed Pt inf 3 inf Sn nanoparticles. ChemElectroChem. 1(5), 885–895.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 359
Zamani R, Ibáñez M, Luysberg M, García Castelló N, Houben L, Prades J, Grillo V, Dunin Borkowski R, Morante J, Cabot A, Arbiol J. 2014. Polarity-driven polytypic branching in Cu-based quaternary chalcogenide nanostructures. ACS Nano. 8(3), 2290–2301.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 349
Ortega S, Ibáñez M, Cadavid D, Cabot A. 2014. Bottom up processing of PbTe PbS thermoelectric nanocomposites. International Journal of Nanotechnology. 11(9–11), 955–970.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 350 | OA
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).
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 348
Cadavid D, Ibáñez M, Anselmi Tamburini U, Durá O, De La Torre M, Cabot A. 2014. Thermoelectric properties of bottom up assembled Bi2S 3-xTex nanocomposites. International Journal of Nanotechnology. 11(9–11), 773–784.
View | DOI
 

2014 | Thesis | IST-REx-ID: 1403
Behrndt M. 2014. Forces driving epithelial spreading in zebrafish epiboly. IST Austria.
View | Files available
 

2014 | Journal Article | IST-REx-ID: 2084 | OA
Grusch M, Schelch K, Riedler R, Gschaider-Reichhart E, Differ C, Berger W, Inglés Prieto Á, Janovjak HL. 2014. Spatio-temporally precise activation of engineered receptor tyrosine kinases by light. EMBO Journal. 33(15), 1713–1726.
View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2157 | OA
Matoušek J, Sedgwick E, Tancer M, Wagner U. 2014. Embeddability in the 3 sphere is decidable. Proceedings of the Annual Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, 78–84.
View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 451 | OA
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.)
 

2014 | Conference Paper | IST-REx-ID: 475 | OA
Aminof B, Rubin S. 2014. First cycle games. Electronic Proceedings in Theoretical Computer Science, EPTCS. SR: Strategic Reasoning, EPTCS, vol. 146, 83–90.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 468 | OA
Cimadom A, Ulloa A, Meidl P, Zöttl M, Zöttl E, Fessl B, Nemeth E, Dvorak M, Cunninghame F, Tebbich S. 2014. Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin’s finches. PLoS One. 9(9), 0107518.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 535 | OA
Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. 2014. Polynomial time algorithms for energy games with special weight structures. Algorithmica. 70(3), 457–492.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 537 | OA
Prizak R, Ezard T, Hoyle R. 2014. Fitness consequences of maternal and grandmaternal effects. Ecology and Evolution. 4(15), 3139–3145.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1903
Chatterjee K. 2014. Partial-observation stochastic reachability and parity games. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 8634, 1–4.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2211 | OA
Chatterjee K, Doyen L. 2014. Partial-observation stochastic games: How to win when belief fails. ACM Transactions on Computational Logic (TOCL). 15(2), 16.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2038 | OA
Boker U, Chatterjee K, Henzinger TA, Kupferman O. 2014. Temporal specifications with accumulative values. ACM Transactions on Computational Logic (TOCL). 15(4), 27.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2162 | OA
Chatterjee K, Ibsen-Jensen R. 2014. The complexity of ergodic mean payoff games. ICST: International Conference on Software Testing, Verification and Validation, LNCS, vol. 8573, 122–133.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2212
Chatterjee K, Doyen L, Gimbert H, Oualhadj Y. 2014. Perfect-information stochastic mean-payoff parity games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 8412, 210–225.
View | Files available | DOI
 

Search

Filter Publications