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.

358 Publications


2015 | Journal Article | IST-REx-ID: 1812   OA
Lahrz, Martin, Mikhail Lemeshko, and Ludwig Mathey. “ Exotic Roton Excitations in Quadrupolar Bose–Einstein Condensates .” New Journal of Physics 17, no. 4 (2015): 045005. https://doi.org/10.1088/1367-2630/17/4/045005.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1817   OA
Porazinski, Sean, Huijia Wang, Yoichi Asaoka, Martin Behrndt, Tatsuo Miyamoto, Hitoshi Morita, Shoji Hata, et al. “YAP Is Essential for Tissue Tension to Ensure Vertebrate 3D Body Shape.” Nature 521, no. 7551 (2015): 217–21. https://doi.org/10.1038/nature14215.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1944
Rakusová, Hana, Matyas Fendrych, and Jirí Friml. “Intracellular Trafficking and PIN-Mediated Cell Polarity during Tropic Responses in Plants.” Current Opinion in Plant Biology 23, no. 2 (2015): 116–23. https://doi.org/10.1016/j.pbi.2014.12.002.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1836
Cerny, Pavol, Thomas A Henzinger, Laura Kovács, Arjun Radhakrishna, and Jakob Zwirchmayr. “Segment Abstraction for Worst-Case Execution Time Analysis.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-46669-8_5.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1843
Bod’ová, Katarína, David Paydarfar, and Daniel Forger. “Erratum to: Characterizing Spiking in Noisy Type II Neurons [J. Theor. Biol. 365 (2015) 40–54].” Journal of Theoretical Biology 373 (2015). https://doi.org/10.1016/j.jtbi.2015.03.013.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 2271
Kolmogorov, Vladimir, Johan Thapper, and Stanislav Živný. “The Power of Linear Programming for General-Valued CSPs.” SIAM Journal on Computing 44, no. 1 (2015): 1–36. https://doi.org/10.1137/130945648.
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1805
Attali, Dominique, Ulrich Bauer, Olivier Devillers, Marc Glisse, and André Lieutier. “Homological Reconstruction and Simplification in R3.” Computational Geometry: Theory and Applications 48, no. 8 (2015): 606–21. https://doi.org/10.1016/j.comgeo.2014.08.010.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1610
Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. “Edit Distance for Pushdown Automata.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-47666-6_10.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5439   OA
Boker, Udi, Thomas A Henzinger, and Jan Otop. The Target Discounted-Sum Problem. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-335-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5434   OA
Anonymous, 1, and 2 Anonymous. Optimal Cost Indefinite-Horizon Reachability in Goal DEC-POMDPs. IST Austria, 2015.
View | Files available
 

2015 | Conference Paper | IST-REx-ID: 1603
Brázdil, Tomáš, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, and Jan Kretinsky. “Counterexample Explanation by Learning Small Strategies in Markov Decision Processes,” 9206:158–77. Springer, 2015. https://doi.org/10.1007/978-3-319-21690-4_10.
View | Files available | DOI | Download (ext.)
 

2015 | Technical Report | IST-REx-ID: 5441
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Amir Goharshady, and Andreas Pavlogiannis. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-340-v1-1.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 5807
Biswas, Ranita, and Partha Bhowmick. “On Different Topological Classes of Spherical Geodesic Paths and Circles InZ3.” Theoretical Computer Science 605, no. 11 (2015): 146–63. https://doi.org/10.1016/j.tcs.2015.09.003.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 5749   OA
Wielgoss, Sébastien, Tobias Bergmiller, Anna M. Bischofberger, and Alex R. Hall. “Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Nonmutator Bacteria.” Molecular Biology and Evolution 33, no. 3 (2015): 770–82. https://doi.org/10.1093/molbev/msv270.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 779
Alistarh, Dan, Alexander Matveev, William Leiserson, and Nir Shavit. “ThreadScan: Automatic and Scalable Memory Reclamation,” 2015–June:123–32. ACM, 2015. https://doi.org/10.1145/2755573.2755600.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 6507
Zhou, Long, J. M. Hinerman, M. Blaszczyk, J. L. C. Miller, D. G. Conrady, A. D. Barrow, D. Y. Chirgadze, D. Bihan, R. W. Farndale, and A. B. Herr. “Structural Basis for Collagen Recognition by the Immune Receptor OSCAR.” Blood 127, no. 5 (2015): 529–37. https://doi.org/10.1182/blood-2015-08-667055.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1576
Cepeda Humerez, Sarah A, Georg Rieckh, and Gasper Tkacik. “Stochastic Proofreading Mechanism Alleviates Crosstalk in Transcriptional Regulation.” Physical Review Letters 115, no. 24 (2015). https://doi.org/10.1103/PhysRevLett.115.248101.
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 933   OA
García, Simón, Edouard B Hannezo, Jens Elgeti, Jean Joanny, Pascal Silberzan, and Nir Gov. “Physics of Active Jamming during Collective Cellular Motion in a Monolayer.” PNAS 112, no. 50 (2015): 15314–19. https://doi.org/10.1073/pnas.1510973112.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed