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.

5630 Publications


2014 | Journal Article | IST-REx-ID: 355
X. Yu, X. An, A. Shavel, M. Ibanez, and A. Cabot, “The effect of the Ga content on the photocatalytic hydrogen evolution of CuIn1-xGaxS2 nanocrystals,” Journal of Materials Chemistry A, vol. 2, no. 31, pp. 12317–12322, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 348
D. Cadavid, M. Ibanez, U. Anselmi Tamburini, O. Durá, M. De La Torre, and A. Cabot, “Thermoelectric properties of bottom up assembled Bi2S 3-xTex nanocomposites,” International Journal of Nanotechnology, vol. 11, no. 9–11, pp. 773–784, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 350   OA
W. Li et al., “Colloidal synthesis and functional properties of quaternary Cu based semiconductors: Cu2HgGeSe4,” Journal of Nanoparticle Research, vol. 16, no. 3, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 451   OA
P. Pilarczyk and P. Real, “Computation of cubical homology, cohomology, and (co)homological operations via chain contraction,” Advances in Computational Mathematics, vol. 41, no. 1, pp. 253–275, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 468   OA
A. Cimadom et al., “Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin’s finches,” PLoS One, vol. 9, no. 9, 2014.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5419   OA
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Improved algorithms for reachability and shortest path on low tree-width graphs. IST Austria, 2014.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5421
K. Chatterjee, R. Ibsen-Jensen, and M. Nowak, The complexity of evolution on graphs. IST Austria, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 5813   OA
J. Dereziński and M. M. Napiórkowski, “Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit,” Annales Henri Poincaré, vol. 15, no. 12, pp. 2409–2439, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 6126   OA
E. Gross, Z. Soltesz, S. Oda, V. Zelmanovich, Z. Abergel, and M. de Bono, “GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings,” Journal of Neuroscience, vol. 34, no. 50, pp. 16726–16738, 2014.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6739   OA
M. Mondelli, H. Hassani, and R. Urbanke, “From polar to Reed-Muller codes: A technique to improve the finite-length performance,” IEEE Transactions on Communications, vol. 62, no. 9, pp. 3084–3091, 2014.
View | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 773
D. Alistarh, J. Aspnes, V. King, and J. Saia, “Communication-efficient randomized consensus,” presented at the DISC: Distributed Computing, Austin, USA, 2014, vol. 8784, pp. 61–75.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 925
B. Dong, E. Hannezo, and S. Hayashi, “Balance between apical membrane growth and luminal matrix resistance determines epithelial tubule shape,” Cell Reports, vol. 7, no. 4, pp. 941–950, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1912
J. Compagnon et al., “The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ,” Developmental Cell, vol. 31, no. 6, pp. 774–783, 2014.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 1392   OA
C. Dragoi, T. A. Henzinger, H. Veith, J. Widder, and D. Zufferey, “A logic-based framework for verifying consensus algorithms,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA, 2014, vol. 8318, pp. 161–181.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5426
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2218   OA
P. Cerny, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, and T. Tarrach, “Regression-free synthesis for concurrency,” presented at the CAV: Computer Aided Verification, Vienna, Austria, 2014, vol. 8559, pp. 568–584.
View | Files available | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2213   OA
K. Chatterjee, L. Doyen, S. Nain, and M. Vardi, “The complexity of partial-observation stochastic parity games with finite-memory strategies,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France, 2014, vol. 8412, pp. 242–257.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2162   OA
K. Chatterjee and R. Ibsen-Jensen, “The complexity of ergodic mean payoff games,” presented at the ICST: International Conference on Software Testing, Verification and Validation, Copenhagen, Denmark, 2014, vol. 8573, no. Part 2, pp. 122–133.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Technical Report | IST-REx-ID: 5414
K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.
View | Files available | DOI
 

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

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

2014 | Journal Article | IST-REx-ID: 7302
A. Dunst, V. Epp, I. Hanzu, S. A. Freunberger, and M. Wilkening, “Short-range Li diffusion vs. long-range ionic conduction in nanocrystalline lithium peroxide Li2O2—the discharge product in lithium-air batteries,” Energy & Environmental Science, vol. 7, no. 8, pp. 2739–2752, 2014.
View | DOI
 

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

2014 | Journal Article | IST-REx-ID: 7744
M. R. Robinson, N. R. Wray, and P. M. Visscher, “Explaining additional genetic variation in complex traits,” Trends in Genetics, vol. 30, no. 4, pp. 124–132, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7768
M. A. Lohr et al., “Vibrational and structural signatures of the crossover between dense glassy and sparse gel-like attractive colloidal packings,” Physical Review E, vol. 90, no. 6, p. 062305, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7770
C. P. Goodrich, A. J. Liu, and S. R. Nagel, “Contact nonlinearities and linear response in jammed particulate packings,” Physical Review E, vol. 90, no. 2, p. 022201, 2014.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2167   OA
P. Daca, T. A. Henzinger, W. Krenn, and D. Nickovic, “Compositional specifications for IOCO testing,” in IEEE 7th International Conference on Software Testing, Verification and Validation, Cleveland, USA, 2014, p. 6823899.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1917   OA
T. Xu et al., “Cell surface ABP1-TMK auxin sensing complex activates ROP GTPase signaling,” Science, vol. 343, no. 6174, pp. 1025–1028, 2014.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1312
J. L. Fischer, “Upper bounds on waiting times for the Thin-film equation: The case of weak slippage,” Archive for Rational Mechanics and Analysis, vol. 211, no. 3, pp. 771–818, 2014.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 1507   OA
L. Erdös, “Random matrices, log-gases and Hölder regularity,” presented at the ICM: International Congress of Mathematicians, Seoul, Korea, 2014, vol. 3, pp. 214–236.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1761   OA
M. Mongillo et al., “PtSi clustering in silicon probed by transport spectroscopy,” Physical Review X, vol. 3, no. 4, 2014.
View | DOI | Download (ext.)
 

2014 | Book Chapter | IST-REx-ID: 1829
K. Muelling, O. Kroemer, C. Lampert, and B. Schölkopf, “Movement templates for learning of hitting and batting,” in Learning Motor Skills, vol. 97, J. Kober and J. Peters, Eds. Springer, 2014, pp. 69–82.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1994
T. Viaene et al., “Directional auxin transport mechanisms in early diverging land plants,” Current Biology, vol. 24, no. 23, pp. 2786–2791, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1862   OA
X. Chen et al., “Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules,” Nature, vol. 516, no. 729, pp. 90–93, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1893   OA
P. Nováková et al., “SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis,” PNAS, vol. 111, no. 7, pp. 2818–2823, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1898
A. Ritzau Jost et al., “Ultrafast action potentials mediate kilohertz signaling at a central synapse,” Neuron, vol. 84, no. 1, pp. 152–163, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1901
H. Tian et al., “WOX5-IAA17 feedback circuit-mediated cellular auxin response is crucial for the patterning of root stem cell niches in arabidopsis,” Molecular Plant, vol. 7, no. 2, pp. 277–289, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1918   OA
J. Bellazzini, R. Frank, É. Lieb, and R. Seiringer, “Existence of ground states for negative ions at the binding threshold,” Reviews in Mathematical Physics, vol. 26, no. 1, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1920   OA
W. Wang et al., “Distinct cerebellar engrams in short-term and long-term motor learning,” PNAS, vol. 111, no. 1, pp. E188–E193, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1932   OA
M. Trotter, D. Weissman, G. Peterson, K. Peck, and J. Masel, “Cryptic genetic variation can make "irreducible complexity" a common mode of adaptation in sexual populations,” Evolution, vol. 68, no. 12, pp. 3357–3367, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1937   OA
P. Bourgade, L. Erdös, and H. Yau, “Edge universality of beta ensembles,” Communications in Mathematical Physics, vol. 332, no. 1, pp. 261–353, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2005
D. Dupret and J. L. Csicsvari, “Turning heads to remember places,” Nature Neuroscience, vol. 17, no. 5, pp. 643–644, 2014.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2012   OA
M. Iglesias Ham, M. Kerber, and C. Uhler, “Sphere packing with limited overlap,” presented at the CCCG: Canadian Conference on Computational Geometry, Halifax, Canada, 2014, pp. 155–161.
View | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2043   OA
U. Bauer, M. Kerber, and J. Reininghaus, “Distributed computation of persistent homology,” in Proceedings of the Workshop on Algorithm Engineering and Experiments, Portland, USA, 2014, pp. 31–38.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2050   OA
J. Kühnen, M. Holzner, B. Hof, and H. Kuhlmann, “Experimental investigation of transitional flow in a toroidal pipe,” Journal of Fluid Mechanics, vol. 738, pp. 463–491, 2014.
View | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2081
M. Skouras et al., “Designing inflatable structures,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, 2014, vol. 33, no. 4.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2029   OA
M. Correggi, A. Giuliani, and R. Seiringer, “Validity of spin-wave theory for the quantum Heisenberg model,” EPL, vol. 108, no. 2, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2036   OA
M. Lagator, N. Colegrave, and P. Neve, “Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 281, no. 1794, 2014.
View | DOI | Download (ext.)
 

2014 | Preprint | IST-REx-ID: 2017   OA
C. Uhler, A. Lenkoski, and D. Richards, “ Exact formulas for the normalizing constants of Wishart distributions for graphical models,” ArXiv. ArXiv, 2014.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2024   OA
J. Toshima et al., “Bifurcation of the endocytic pathway into Rab5-dependent and -independent transport to the vacuole,” Nature Communications, vol. 5, 2014.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed