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.

5703 Publications


2014 | Conference Paper | IST-REx-ID: 2213   OA
Chatterjee, Krishnendu, et al. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. Vol. 8412, Springer, 2014, pp. 242–57, doi:10.1007/978-3-642-54830-7_16.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2162   OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Ergodic Mean Payoff Games. Vol. 8573, no. Part 2, Springer, 2014, pp. 122–33, doi:10.1007/978-3-662-43951-7_11.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Technical Report | IST-REx-ID: 5414
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v3-1.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2054
Chatterjee, Krishnendu. “Qualitative Concurrent Parity Games: Bounded Rationality.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Paolo Baldan and Daniele Gorla, vol. 8704, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 544–59, doi:10.1007/978-3-662-44584-6_37.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 475   OA
Aminof, Benjamin, and Sasha Rubin. “First Cycle Games.” Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 146, Open Publishing Association, 2014, pp. 83–90, doi:10.4204/EPTCS.146.11.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7302
Dunst, A., et al. “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, RSC, 2014, pp. 2739–52, doi:10.1039/c4ee00496e.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2251   OA
Csicsvari, Jozsef L., and David 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, Royal Society, The, 2014, p. 20120528, doi:10.1098/rstb.2012.0528.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 7744
Robinson, Matthew Richard, et al. “Explaining Additional Genetic Variation in Complex Traits.” Trends in Genetics, vol. 30, no. 4, Elsevier, 2014, pp. 124–32, doi:10.1016/j.tig.2014.02.003.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7768
Lohr, Matthew A., 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, American Physical Society, 2014, p. 062305, doi:10.1103/physreve.90.062305.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7770
Goodrich, Carl Peter, et al. “Contact Nonlinearities and Linear Response in Jammed Particulate Packings.” Physical Review E, vol. 90, no. 2, American Physical Society, 2014, p. 022201, doi:10.1103/physreve.90.022201.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2167   OA
Daca, Przemyslaw, et al. “Compositional Specifications for IOCO Testing.” IEEE 7th International Conference on Software Testing, Verification and Validation, IEEE, 2014, p. 6823899, doi:10.1109/ICST.2014.50.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1917   OA
Xu, Tongda, et al. “Cell Surface ABP1-TMK Auxin Sensing Complex Activates ROP GTPase Signaling.” Science, vol. 343, no. 6174, American Association for the Advancement of Science, 2014, pp. 1025–28, doi:10.1126/science.1245125.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1312
Fischer, Julian L. “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, Springer, 2014, pp. 771–818, doi:10.1007/s00205-013-0690-0.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 1507   OA
Erdös, László. Random Matrices, Log-Gases and Hölder Regularity. Vol. 3, Kyung Moon SA Co. Ltd., 2014, pp. 214–36.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1761   OA
Mongillo, Massimo, et al. “PtSi Clustering in Silicon Probed by Transport Spectroscopy.” Physical Review X, vol. 3, no. 4, American Physical Society, 2014, doi:10.1103/PhysRevX.3.041025.
View | DOI | Download (ext.)
 

2014 | Book Chapter | IST-REx-ID: 1829
Muelling, Katharina, et al. “Movement Templates for Learning of Hitting and Batting.” Learning Motor Skills, edited by Jens Kober and Jan Peters, vol. 97, Springer, 2014, pp. 69–82, doi:10.1007/978-3-319-03194-1_3.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1994
Viaene, Tom, et al. “Directional Auxin Transport Mechanisms in Early Diverging Land Plants.” Current Biology, vol. 24, no. 23, Cell Press, 2014, pp. 2786–91, doi:10.1016/j.cub.2014.09.056.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1862   OA
Chen, Xu, et al. “Inhibition of Cell Expansion by Rapid ABP1-Mediated Auxin Effect on Microtubules.” Nature, vol. 516, no. 729, Nature Publishing Group, 2014, pp. 90–93, doi:10.1038/nature13889.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1893   OA
Nováková, Petra, et al. “SAC Phosphoinositide Phosphatases at the Tonoplast Mediate Vacuolar Function in Arabidopsis.” PNAS, vol. 111, no. 7, National Academy of Sciences, 2014, pp. 2818–23, doi:10.1073/pnas.1324264111.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1898
Ritzau Jost, Andreas, et al. “Ultrafast Action Potentials Mediate Kilohertz Signaling at a Central Synapse.” Neuron, vol. 84, no. 1, Elsevier, 2014, pp. 152–63, doi:10.1016/j.neuron.2014.08.036.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed