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.

5340 Publications


2014 | Journal Article | IST-REx-ID: 5813   OA
Dereziński, Jan, and Marcin M Napiórkowski. “Excitation Spectrum of Interacting Bosons in the Mean-Field Infinite-Volume Limit.” Annales Henri Poincaré 15, no. 12 (2014): 2409–39. https://doi.org/10.1007/s00023-013-0302-4.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 6126   OA
Gross, E., Z. Soltesz, S. Oda, V. Zelmanovich, Z. Abergel, and Mario 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 34, no. 50 (2014): 16726–38. https://doi.org/10.1523/jneurosci.5368-13.2014.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6739   OA
Mondelli, Marco, Hamed Hassani, and Rudiger Urbanke. “From Polar to Reed-Muller Codes: A Technique to Improve the Finite-Length Performance.” IEEE Transactions on Communications 62, no. 9 (2014): 3084–91. https://doi.org/10.1109/tcomm.2014.2345069.
View | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 773
Alistarh, Dan, James Aspnes, Valerie King, and Jared Saia. “Communication-Efficient Randomized Consensus.” edited by Fabian Kuhn, 8784:61–75. Springer, 2014. https://doi.org/10.1007/978-3-662-45174-8_5.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 925
Dong, Bo, Edouard Hannezo, and Shigeo Hayashi. “Balance between Apical Membrane Growth and Luminal Matrix Resistance Determines Epithelial Tubule Shape.” Cell Reports 7, no. 4 (2014): 941–50. https://doi.org/10.1016/j.celrep.2014.03.066.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1912
Compagnon, Julien, Vanessa Barone, Srivarsha Rajshekar, Rita Kottmeier, Kornelija Pranjic-Ferscha, Martin Behrndt, and Carl-Philipp J Heisenberg. “The Notochord Breaks Bilateral Symmetry by Controlling Cell Shapes in the Zebrafish Laterality Organ.” Developmental Cell 31, no. 6 (2014): 774–83. https://doi.org/10.1016/j.devcel.2014.11.003.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 1392   OA
Dragoi, Cezara, Thomas A Henzinger, Helmut Veith, Josef Widder, and Damien Zufferey. “A Logic-Based Framework for Verifying Consensus Algorithms,” 8318:161–81. Springer, 2014. https://doi.org/10.1007/978-3-642-54013-4_10.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5426
Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-305-v2-1.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2167
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. Springer, 2014. https://doi.org/10.1109/ICST.2014.50.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2218   OA
Cerny, Pavol, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, and Thorsten Tarrach. “Regression-Free Synthesis for Concurrency,” 8559:568–84. Springer, 2014. https://doi.org/10.1007/978-3-319-08867-9_38.
View | Files available | DOI | Download (ext.)
 

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: 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
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed