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, Laurent Doyen, Sumit Nain, and Moshe Vardi. “The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies,” 8412:242–57. Springer, 2014. https://doi.org/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,” 8573:122–33. Springer, 2014. https://doi.org/10.1007/978-3-662-43951-7_11.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Technical Report | IST-REx-ID: 5414
Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014. https://doi.org/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.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), edited by Paolo Baldan and Daniele Gorla, 8704:544–59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014. https://doi.org/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.” In Electronic Proceedings in Theoretical Computer Science, EPTCS, 146:83–90. Open Publishing Association, 2014. https://doi.org/10.4204/EPTCS.146.11.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7302
Dunst, A., V. Epp, I. Hanzu, Stefan Alexander 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 7, no. 8 (2014): 2739–52. https://doi.org/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 369, no. 1635 (2014): 20120528. https://doi.org/10.1098/rstb.2012.0528.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 7744
Robinson, Matthew Richard, Naomi R. Wray, and Peter M. Visscher. “Explaining Additional Genetic Variation in Complex Traits.” Trends in Genetics 30, no. 4 (2014): 124–32. https://doi.org/10.1016/j.tig.2014.02.003.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7768
Lohr, Matthew A., Tim Still, Raman Ganti, Matthew D. Gratale, Zoey S. Davidson, Kevin B. Aptowicz, Carl Peter Goodrich, Daniel M. Sussman, and A. G. Yodh. “Vibrational and Structural Signatures of the Crossover between Dense Glassy and Sparse Gel-like Attractive Colloidal Packings.” Physical Review E 90, no. 6 (2014): 062305. https://doi.org/10.1103/physreve.90.062305.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7770
Goodrich, Carl Peter, Andrea J. Liu, and Sidney R. Nagel. “Contact Nonlinearities and Linear Response in Jammed Particulate Packings.” Physical Review E 90, no. 2 (2014): 022201. https://doi.org/10.1103/physreve.90.022201.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2167   OA
Daca, Przemyslaw, Thomas A Henzinger, Willibald Krenn, and Dejan Nickovic. “Compositional Specifications for IOCO Testing.” In IEEE 7th International Conference on Software Testing, Verification and Validation, 6823899. IEEE, 2014. https://doi.org/10.1109/ICST.2014.50.
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1917   OA
Xu, Tongda, Ning Dai, Jisheng Chen, Shingo Nagawa, Min Cao, Hongjiang Li, Zimin Zhou, et al. “Cell Surface ABP1-TMK Auxin Sensing Complex Activates ROP GTPase Signaling.” Science 343, no. 6174 (2014): 1025–28. https://doi.org/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 211, no. 3 (2014): 771–818. https://doi.org/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,” 3:214–36. Kyung Moon SA Co. Ltd., 2014.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1761   OA
Mongillo, Massimo, Panayotis Spathis, Georgios Katsaros, Silvano De Franceschi, Pascal Gentile, Riccardo Rurali, and Xavier Cartoixà. “PtSi Clustering in Silicon Probed by Transport Spectroscopy.” Physical Review X 3, no. 4 (2014). https://doi.org/10.1103/PhysRevX.3.041025.
View | DOI | Download (ext.)
 

2014 | Book Chapter | IST-REx-ID: 1829
Muelling, Katharina, Oliver Kroemer, Christoph Lampert, and Bernhard Schölkopf. “Movement Templates for Learning of Hitting and Batting.” In Learning Motor Skills, edited by Jens Kober and Jan Peters, 97:69–82. From Algorithms to Robot Experiments. Springer, 2014. https://doi.org/10.1007/978-3-319-03194-1_3.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1994
Viaene, Tom, Katarina Landberg, Mattias Thelander, Eva Medvecka, Eric Pederson, Elena Feraru, Endymion Cooper, et al. “Directional Auxin Transport Mechanisms in Early Diverging Land Plants.” Current Biology 24, no. 23 (2014): 2786–91. https://doi.org/10.1016/j.cub.2014.09.056.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1862   OA
Chen, Xu, Laurie Grandont, Hongjiang Li, Robert Hauschild, Sébastien Paque, Anas Abuzeineh, Hana Rakusová, Eva Benková, Catherine Perrot Rechenmann, and Jirí Friml. “Inhibition of Cell Expansion by Rapid ABP1-Mediated Auxin Effect on Microtubules.” Nature 516, no. 729 (2014): 90–93. https://doi.org/10.1038/nature13889.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1893   OA
Nováková, Petra, Sibylle Hirsch, Elena Feraru, Ricardo Tejos, Ringo Van Wijk, Tom Viaene, Mareike Heilmann, et al. “SAC Phosphoinositide Phosphatases at the Tonoplast Mediate Vacuolar Function in Arabidopsis.” PNAS 111, no. 7 (2014): 2818–23. https://doi.org/10.1073/pnas.1324264111.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1898
Ritzau Jost, Andreas, Igor Delvendahl, Annika Rings, Niklas Byczkowicz, Harumi Harada, Ryuichi Shigemoto, Johannes Hirrlinger, Jens Eilers, and Stefan Hallermann. “Ultrafast Action Potentials Mediate Kilohertz Signaling at a Central Synapse.” Neuron 84, no. 1 (2014): 152–63. https://doi.org/10.1016/j.neuron.2014.08.036.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed