Please note that ISTA 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.
7006 Publications
2012 |Published| Conference Paper | IST-REx-ID: 3341 | 
Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. Vol. 7213, Springer, 2012, pp. 270–85, doi:10.1007/978-3-642-28729-9_18.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 |Published| Conference Paper | IST-REx-ID: 2957 |
Chatterjee, Krishnendu, and Mathieu Tracol. “Decidable Problems for Probabilistic Automata on Infinite Words.” Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, 6280437, IEEE, 2012, doi:10.1109/LICS.2012.29.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 |Published| Journal Article | IST-REx-ID: 3249
Cerny, Pavol, et al. “Simulation Distances.” Theoretical Computer Science, vol. 413, no. 1, Elsevier, 2012, pp. 21–35, doi:10.1016/j.tcs.2011.08.002.
View
| Files available
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 3124 |
Korc, Filip, et al. Approximating Marginals Using Discrete Energy Minimization. ICML, 2012.
[Submitted Version]
View
| Files available
2012 |Published| Technical Report | IST-REx-ID: 5396 |
Korc, Filip, et al. Approximating Marginals Using Discrete Energy Minimization. IST Austria, 2012, doi:10.15479/AT:IST-2012-0003.
[Published Version]
View
| Files available
| DOI
2012 |Published| Report | IST-REx-ID: 5398 |
Porsche, Jana. Actual State of Research Data @ ISTAustria. IST Austria, 2012.
[Published Version]
View
| Files available
2012 |Published| Journal Article | IST-REx-ID: 5839 |
Biswas, Ranita, and Jaya Sil. “An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets.” Procedia Technology, vol. 4, Elsevier, 2012, pp. 820–24, doi:10.1016/j.protcy.2012.05.134.
[Published Version]
View
| Files available
| DOI
2012 |Published| Journal Article | IST-REx-ID: 596 |
Bernecky, Carrie, and Dylan Taatjes. “Activator-Mediator Binding Stabilizes RNA Polymerase II Orientation within the Human Mediator-RNA Polymerase II-TFIIF Assembly.” Journal of Molecular Biology, vol. 417, no. 5, Elsevier, 2012, pp. 387–94, doi:10.1016/j.jmb.2012.02.014.
View
| DOI
| Download None (ext.)
2012 |Published| Journal Article | IST-REx-ID: 6136 |
Busch, Karl Emanuel, et al. “Tonic Signaling from O2 Sensors Sets Neural Circuit Activity and Behavioral State.” Nature Neuroscience, vol. 15, no. 4, Springer Nature, 2012, pp. 581–91, doi:10.1038/nn.3061.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 |Published| Conference Paper | IST-REx-ID: 762
Alistarh, Dan-Adrian, et al. On the Cost of Composing Shared-Memory Algorithms. ACM, 2012, pp. 298–307, doi:10.1145/2312005.2312057.
View
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 763
Alistarh, Dan-Adrian, et al. Early Deciding Synchronous Renaming in O(Log f) Rounds or Less. Vol. 7355 LNCS, Springer, 2012, pp. 195–206, doi:10.1007/978-3-642-31104-8_17.
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 764
Alistarh, Dan-Adrian, et al. “Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement.” Algorithmica (New York), vol. 62, no. 1–2, Springer, 2012, pp. 595–629, doi:10.1007/s00453-011-9581-7.
View
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 766
Alistarh, Dan-Adrian, et al. How to Allocate Tasks Asynchronously. IEEE, 2012, pp. 331–40, doi:10.1109/FOCS.2012.41.
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 767
Alistarh, Dan-Adrian, et al. “Generating Fast Indulgent Algorithms.” Theory of Computing Systems, vol. 51, no. 4, Elsevier, 2012, pp. 404–24, doi:10.1007/s00224-012-9407-2.
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 801
Engel, Jakob, et al. “Biosynthesis of the Fungal Cell Wall Polysaccharide Galactomannan Requires Intraluminal GDP-Mannose.” Journal of Biological Chemistry, vol. 287, no. 53, American Society for Biochemistry and Molecular Biology, 2012, pp. 44418–24, doi:10.1074/jbc.M112.398321.
View
| DOI
| PubMed | Europe PMC
2012 |Published| Journal Article | IST-REx-ID: 808 |
Vinzenz, Marlene, et al. “Actin Branching in the Initiation and Maintenance of Lamellipodia.” Journal of Cell Science, vol. 125, no. 11, Company of Biologists, 2012, pp. 2775–85, doi:10.1242/jcs.107623.
View
| Files available
| DOI
2012 |Published| Journal Article | IST-REx-ID: 8246
Dengler, Vanina, et al. “Deletion of Hypothetical Wall Teichoic Acid Ligases in Staphylococcus Aureus Activates the Cell Wall Stress Response.” FEMS Microbiology Letters, vol. 333, no. 2, Oxford University Press, 2012, pp. 109–20, doi:10.1111/j.1574-6968.2012.02603.x.
View
| DOI
| PubMed | Europe PMC
2012 |Published| Journal Article | IST-REx-ID: 826
Vanstraelen, Marleen, and Eva Benková. “Hormonal Interactions in the Regulation of Plant Development.” Annual Review of Cell and Developmental Biology, vol. 28, Annual Reviews, 2012, pp. 463–87, doi:10.1146/annurev-cellbio-101011-155741.
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 829
Bielach, Agnieszka, et al. “Spatiotemporal Regulation of Lateral Root Organogenesis in Arabidopsis by Cytokinin.” The Plant Cell, vol. 24, no. 10, American Society of Plant Biologists, 2012, pp. 3967–81, doi:10.1105/tpc.112.103044.
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 846
Soylemez, Onuralp, and Fyodor Kondrashov. “Estimating the Rate of Irreversibility in Protein Evolution.” Genome Biology and Evolution, vol. 4, no. 12, Oxford University Press, 2012, pp. 1213–22, doi:10.1093/gbe/evs096.
View
| DOI