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 K. Robustness of structurally equivalent concurrent parity games. In: Vol 7213. Springer; 2012:270-285. 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 K, Tracol M. Decidable problems for probabilistic automata on infinite words. In: Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. 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 P, Henzinger TA, Radhakrishna A. Simulation distances. Theoretical Computer Science. 2012;413(1):21-35. doi:10.1016/j.tcs.2011.08.002
View
| Files available
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 3124 |
Korc F, Kolmogorov V, Lampert C. Approximating marginals using discrete energy minimization. In: ICML; 2012.
[Submitted Version]
View
| Files available
2012 |Published| Technical Report | IST-REx-ID: 5396 |
Korc F, Kolmogorov V, Lampert C. 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 J. Actual State of Research Data @ ISTAustria. IST Austria; 2012.
[Published Version]
View
| Files available
2012 |Published| Journal Article | IST-REx-ID: 5839 |
Biswas R, Sil J. An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets. Procedia Technology. 2012;4:820-824. doi:10.1016/j.protcy.2012.05.134
[Published Version]
View
| Files available
| DOI
2012 |Published| Journal Article | IST-REx-ID: 596 |
Bernecky C, Taatjes D. Activator-mediator binding stabilizes RNA polymerase II orientation within the human mediator-RNA polymerase II-TFIIF assembly. Journal of Molecular Biology. 2012;417(5):387-394. doi:10.1016/j.jmb.2012.02.014
View
| DOI
| Download None (ext.)
2012 |Published| Journal Article | IST-REx-ID: 6136 |
Busch KE, Laurent P, Soltesz Z, et al. Tonic signaling from O2 sensors sets neural circuit activity and behavioral state. Nature Neuroscience. 2012;15(4):581-591. 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 D-A, Guerraoui R, Kuznetsov P, Losa G. On the cost of composing shared-memory algorithms. In: ACM; 2012:298-307. doi:10.1145/2312005.2312057
View
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 763
Alistarh D-A, Attiya H, Guerraoui R, Travers C. Early deciding synchronous renaming in O(log f) rounds or less. In: Vol 7355 LNCS. Springer; 2012:195-206. doi:10.1007/978-3-642-31104-8_17
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 764
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. Of choices, failures and asynchrony: the many faces of set agreement. Algorithmica (New York). 2012;62(1-2):595-629. doi:10.1007/s00453-011-9581-7
View
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 766
Alistarh D-A, Bender M, Gilbert S, Guerraoui R. How to allocate tasks asynchronously. In: IEEE; 2012:331-340. doi:10.1109/FOCS.2012.41
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 767
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. Generating Fast Indulgent Algorithms. Theory of Computing Systems. 2012;51(4):404-424. doi:10.1007/s00224-012-9407-2
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 801
Engel J, Schmalhorst PS, Routier F. Biosynthesis of the fungal cell wall polysaccharide galactomannan requires intraluminal GDP-mannose. Journal of Biological Chemistry. 2012;287(53):44418-44424. doi:10.1074/jbc.M112.398321
View
| DOI
| PubMed | Europe PMC
2012 |Published| Journal Article | IST-REx-ID: 808 |
Vinzenz M, Nemethova M, Schur FK, et al. Actin branching in the initiation and maintenance of lamellipodia. Journal of Cell Science. 2012;125(11):2775-2785. doi:10.1242/jcs.107623
View
| Files available
| DOI
2012 |Published| Journal Article | IST-REx-ID: 8246
Dengler V, Meier PS, Heusser R, et al. Deletion of hypothetical wall teichoic acid ligases in Staphylococcus aureus activates the cell wall stress response. FEMS Microbiology Letters. 2012;333(2):109-120. doi:10.1111/j.1574-6968.2012.02603.x
View
| DOI
| PubMed | Europe PMC
2012 |Published| Journal Article | IST-REx-ID: 826
Vanstraelen M, Benková E. Hormonal interactions in the regulation of plant development. Annual Review of Cell and Developmental Biology. 2012;28:463-487. doi:10.1146/annurev-cellbio-101011-155741
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 829
Bielach A, Podlesakova K, Marhavý P, et al. Spatiotemporal regulation of lateral root organogenesis in Arabidopsis by cytokinin. The Plant Cell. 2012;24(10):3967-3981. doi:10.1105/tpc.112.103044
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 846
Soylemez O, Kondrashov F. Estimating the rate of irreversibility in protein evolution. Genome Biology and Evolution. 2012;4(12):1213-1222. doi:10.1093/gbe/evs096
View
| DOI