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.

9005 Publications


2012 | Technical Report | IST-REx-ID: 5377 | OA
Chatterjee, Krishnendu, and Yaron Velner. Mean-Payoff Pushdown Games. IST Austria, 2012. https://doi.org/10.15479/AT:IST-2012-0002.
[Published Version] View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5378 | OA
Chatterjee, Krishnendu, Siddhesh Chaubal, and Pritish Kamath. Faster Algorithms for Alternating Refinement Relations. IST Austria, 2012. https://doi.org/10.15479/AT:IST-2012-0001.
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2955 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic Games: How to Win When Belief Fails.” In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE, 2012. https://doi.org/10.1109/LICS.2012.28.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 3341 | OA
Chatterjee, Krishnendu. “Robustness of Structurally Equivalent Concurrent Parity Games,” 7213:270–85. Springer, 2012. https://doi.org/10.1007/978-3-642-28729-9_18.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 2957 | OA
Chatterjee, Krishnendu, and Mathieu Tracol. “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. https://doi.org/10.1109/LICS.2012.29.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3249
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances.” Theoretical Computer Science. Elsevier, 2012. https://doi.org/10.1016/j.tcs.2011.08.002.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3124 | OA
Korc, Filip, Vladimir Kolmogorov, and Christoph Lampert. “Approximating Marginals Using Discrete Energy Minimization.” ICML, 2012.
[Submitted Version] View | Files available
 

2012 | Technical Report | IST-REx-ID: 5396 | OA
Korc, Filip, Vladimir Kolmogorov, and Christoph Lampert. Approximating Marginals Using Discrete Energy Minimization. IST Austria, 2012. https://doi.org/10.15479/AT:IST-2012-0003.
[Published Version] View | Files available | DOI
 

2012 | Report | IST-REx-ID: 5398 | OA
Porsche, Jana. Actual State of Research Data @ ISTAustria. IST Austria, 2012.
[Published Version] View | Files available
 

2012 | Journal Article | IST-REx-ID: 5839 | OA
Biswas, Ranita, and Jaya Sil. “An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets.” Procedia Technology. Elsevier, 2012. https://doi.org/10.1016/j.protcy.2012.05.134.
[Published Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 596 | OA
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. Elsevier, 2012. https://doi.org/10.1016/j.jmb.2012.02.014.
View | DOI | Download None (ext.)
 

2012 | Journal Article | IST-REx-ID: 6136 | OA
Busch, Karl Emanuel, Patrick Laurent, Zoltan Soltesz, Robin Joseph Murphy, Olivier Faivre, Berthold Hedwig, Martin Thomas, Heather L Smith, and Mario de Bono. “Tonic Signaling from O2 Sensors Sets Neural Circuit Activity and Behavioral State.” Nature Neuroscience. Springer Nature, 2012. https://doi.org/10.1038/nn.3061.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 6746
Mondelli, Marco, Qi Zhou, Xiaoli Ma, and Vincenzo Lottici. “A Cooperative Approach for Amplify-and-Forward Differential Transmitted Reference IR-UWB Relay Systems.” In 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2905–8. IEEE, 2012. https://doi.org/10.1109/icassp.2012.6288524.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7074
Lukas, K. C., G. Joshi, Kimberly A Modic, Z. F. Ren, and C. P. Opeil. “Thermoelectric Properties of Ho-Doped Bi0.88Sb0.12.” Journal of Materials Science. Springer Nature, 2012. https://doi.org/10.1007/s10853-012-6463-6.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7308
Ottakam Thotiyl, Muhammed M., Stefan Alexander Freunberger, Zhangquan Peng, and Peter G. Bruce. “The Carbon Electrode in Nonaqueous Li–O2 Cells.” Journal of the American Chemical Society. ACS, 2012. https://doi.org/10.1021/ja310258x.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7309
Choi, Nam-Soon, Zonghai Chen, Stefan Alexander Freunberger, Xiulei Ji, Yang-Kook Sun, Khalil Amine, Gleb Yushin, Linda F. Nazar, Jaephil Cho, and Peter G. Bruce. “Challenges Facing Lithium Batteries and Electrical Double-Layer Capacitors.” Angewandte Chemie International Edition. Wiley, 2012. https://doi.org/10.1002/anie.201201429.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7310
Peng, Z., Stefan Alexander Freunberger, Y. Chen, and P. G. Bruce. “A Reversible and Higher-Rate Li-O2 Battery.” Science. AAAS, 2012. https://doi.org/10.1126/science.1223985.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7311
Chen, Yuhui, Stefan Alexander Freunberger, Zhangquan Peng, Fanny Bardé, and Peter G. Bruce. “Li–O2 Battery with a Dimethylformamide Electrolyte.” Journal of the American Chemical Society. ACS, 2012. https://doi.org/10.1021/ja302178w.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 762
Alistarh, Dan-Adrian, Rachid Guerraoui, Petr Kuznetsov, and Giuliano Losa. “On the Cost of Composing Shared-Memory Algorithms,” 298–307. ACM, 2012. https://doi.org/10.1145/2312005.2312057.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 763
Alistarh, Dan-Adrian, Hagit Attiya, Rachid Guerraoui, and Corentin Travers. “Early Deciding Synchronous Renaming in O(Log f) Rounds or Less,” 7355 LNCS:195–206. Springer, 2012. https://doi.org/10.1007/978-3-642-31104-8_17.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 764
Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Corentin Travers. “Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement.” Algorithmica (New York). Springer, 2012. https://doi.org/10.1007/s00453-011-9581-7.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 766
Alistarh, Dan-Adrian, Michael Bender, Seth Gilbert, and Rachid Guerraoui. “How to Allocate Tasks Asynchronously,” 331–40. IEEE, 2012. https://doi.org/10.1109/FOCS.2012.41.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 767
Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Corentin Travers. “Generating Fast Indulgent Algorithms.” Theory of Computing Systems. Elsevier, 2012. https://doi.org/10.1007/s00224-012-9407-2.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7749
Robinson, Matthew Richard, Khyne U Mar, and Virpi Lummaa. “Senescence and Age-Specific Trade-Offs between Reproduction and Survival in Female Asian Elephants.” Ecology Letters. Wiley, 2012. https://doi.org/10.1111/j.1461-0248.2011.01735.x.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7748
Robinson, Matthew Richard, G. Sander van Doorn, Lars Gustafsson, and Anna Qvarnström. “Environment-Dependent Selection on Mate Choice in a Natural Population of Birds.” Ecology Letters. Wiley, 2012. https://doi.org/10.1111/j.1461-0248.2012.01780.x.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7776
Goodrich, Carl Peter, Andrea J. Liu, and Sidney R. Nagel. “Finite-Size Scaling at the Jamming Transition.” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/physrevlett.109.095704.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 801
Engel, Jakob, Philipp S Schmalhorst, and Françoise Routier. “Biosynthesis of the Fungal Cell Wall Polysaccharide Galactomannan Requires Intraluminal GDP-Mannose.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2012. https://doi.org/10.1074/jbc.M112.398321.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 8024
Hennequin, Guillaume, Tim P Vogels, and Wulfram Gerstner. “Non-Normal Amplification in Random Balanced Neuronal Networks.” Physical Review E. American Physical Society, 2012. https://doi.org/10.1103/physreve.86.011909.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 808 | OA
Vinzenz, Marlene, Maria Nemethova, Florian KM Schur, Jan Mueller, Akihiro Narita, Edit Urban, Christoph Winkler, et al. “Actin Branching in the Initiation and Maintenance of Lamellipodia.” Journal of Cell Science. Company of Biologists, 2012. https://doi.org/10.1242/jcs.107623.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 8246
Dengler, Vanina, Patricia Stutzmann Meier, Ronald Heusser, Peter Kupferschmied, Judit Singer, Sarah Friebe, Sibylle Burger Staufer, et al. “Deletion of Hypothetical Wall Teichoic Acid Ligases in Staphylococcus Aureus Activates the Cell Wall Stress Response.” FEMS Microbiology Letters. Oxford University Press, 2012. https://doi.org/10.1111/j.1574-6968.2012.02603.x.
View | DOI | PubMed | Europe PMC
 

2012 | 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. Annual Reviews, 2012. https://doi.org/10.1146/annurev-cellbio-101011-155741.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 829
Bielach, Agnieszka, Katerina Podlesakova, Peter Marhavý, Jérôme Duclercq, Candela Cuesta, Bruno Muller, Wim Grunewald, Petr Tarkowski, and Eva Benková. “Spatiotemporal Regulation of Lateral Root Organogenesis in Arabidopsis by Cytokinin.” The Plant Cell. American Society of Plant Biologists, 2012. https://doi.org/10.1105/tpc.112.103044.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 846
Soylemez, Onuralp, and Fyodor Kondrashov. “Estimating the Rate of Irreversibility in Protein Evolution.” Genome Biology and Evolution. Oxford University Press, 2012. https://doi.org/10.1093/gbe/evs096.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8463
Asami, Sam, Kathrin Szekely, Paul Schanda, Beat H. Meier, and Bernd Reif. “Optimal Degree of Protonation for 1H Detection of Aliphatic Sites in Randomly Deuterated Proteins as a Function of the MAS Frequency.” Journal of Biomolecular NMR. Springer Nature, 2012. https://doi.org/10.1007/s10858-012-9659-9.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8465
Tollinger, Martin, Astrid C. Sivertsen, Beat H. Meier, Matthias Ernst, and Paul Schanda. “Site-Resolved Measurement of Microsecond-to-Millisecond Conformational-Exchange Processes in Proteins by Solid-State NMR Spectroscopy.” Journal of the American Chemical Society. American Chemical Society, 2012. https://doi.org/10.1021/ja303591y.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8466
Rennella, Enrico, Thomas Cutuil, Paul Schanda, Isabel Ayala, Vincent Forge, and Bernhard Brutscher. “Real-Time NMR Characterization of Structure and Dynamics in a Transiently Populated Protein Folding Intermediate.” Journal of the American Chemical Society. American Chemical Society, 2012. https://doi.org/10.1021/ja302598j.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8467
Huber, Matthias, Oliver With, Paul Schanda, René Verel, Matthias Ernst, and Beat H. Meier. “A Supplementary Coil for 2H Decoupling with Commercial HCN MAS Probes.” Journal of Magnetic Resonance. Elsevier, 2012. https://doi.org/10.1016/j.jmr.2011.10.010.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 8502
Kaloshin, Vadim, and Maria Saprykina. “An Example of a Nearly Integrable Hamiltonian System with a Trajectory Dense in a Set of Maximal Hausdorff Dimension.” Communications in Mathematical Physics. Springer Nature, 2012. https://doi.org/10.1007/s00220-012-1532-x.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 858
Povolotskaya, Inna, Fyodor Kondrashov, Alice Ledda, and Peter Vlasov. “Stop Codons in Bacteria Are Not Selectively Equivalent.” Biology Direct. BioMed Central, 2012. https://doi.org/10.1186/1745-6150-7-30.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 900
Breen, Michael, Carsten Kemena, Peter Vlasov, Cédric Notredame, and Fyodor Kondrashov. “Epistasis as the Primary Factor in Molecular Evolution.” Nature. Nature Publishing Group, 2012. https://doi.org/10.1038/nature11510.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 9014 | OA
Theurkauff, I., C. Cottin-Bizonne, Jérémie A Palacci, C. Ybert, and L. Bocquet. “Dynamic Clustering in Active Colloidal Suspensions with Chemical Signaling.” Physical Review Letters. American Physical Society , 2012. https://doi.org/10.1103/physrevlett.108.268303.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2012 | Journal Article | IST-REx-ID: 91
Higginbotham, Andrew P, Jacqueline Cole, Martin Blood Forsythe, and Daniel Hickstein. “Identifying and Evaluating Organic Nonlinear Optical Materials via Molecular Moments.” Journal of Applied Physics. American Institute of Physics, 2012. https://doi.org/10.1063/1.3678593.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 9142 | OA
Muller, Caroline J, and Isaac M. Held. “Detailed Investigation of the Self-Aggregation of Convection in Cloud-Resolving Simulations.” Journal of the Atmospheric Sciences. American Meteorological Society, 2012. https://doi.org/10.1175/jas-d-11-0257.1.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 9451 | OA
Ibarra, Christian A., Xiaoqi Feng, Vera K. Schoft, Tzung-Fu Hsieh, Rie Uzawa, Jessica A. Rodrigues, Assaf Zemach, et al. “Active DNA Demethylation in Plant Companion Cells Reinforces Transposon Methylation in Gametes.” Science. American Association for the Advancement of Science, 2012. https://doi.org/10.1126/science.1224839.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 9535 | OA
Coleman-Derr, D., and Daniel Zilberman. “DNA Methylation, H2A.Z, and the Regulation of Constitutive Expression.” Cold Spring Harbor Symposia on Quantitative Biology. Cold Spring Harbor Laboratory Press, 2012. https://doi.org/10.1101/sqb.2012.77.014944.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3242 | OA
Konrad, Matthias, Meghan Vyleta, Fabian Theis, Miriam Stock, Simon Tragust, Martina Klatt, Verena Drescher, Carsten Marr, Line V Ugelvig, and Sylvia Cremer. “Social Transfer of Pathogenic Fungus Promotes Active Immunisation in Ant Colonies.” PLoS Biology. Public Library of Science, 2012. https://doi.org/10.1371/journal.pbio.1001300.
[Published Version] View | Files available | DOI
 

2012 | Research Data Reference | IST-REx-ID: 9755 | OA
Konrad, Matthias, Meghan Vyleta, Fabian Theis, Miriam Stock, Martina Klatt, Verena Drescher, Carsten Marr, Line V Ugelvig, and Sylvia Cremer. “Data from: Social Transfer of Pathogenic Fungus Promotes Active Immunisation in Ant Colonies.” Dryad, 2012. https://doi.org/10.5061/dryad.sv37s.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2012 | Research Data Reference | IST-REx-ID: 9758 | OA
Aeschbacher, Simon, Andreas Futschik, and Mark Beaumont. “Data from: Approximate Bayesian Computation for Modular Inference Problems with Many Parameters: The Example of Migration Rates.” Dryad, 2012. https://doi.org/10.5061/dryad.274b1.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2012 | Research Data Reference | IST-REx-ID: 9757 | OA
Tragust, Simon, Barbara Mitteregger, Vanessa Barone, Matthias Konrad, Line V Ugelvig, and Sylvia Cremer. “Data from: Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison.” Dryad, 2012. https://doi.org/10.5061/dryad.61649.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 8504
Kaloshin, Vadim, and O. S. KOZLOVSKI. “A Cr Unimodal Map with an Arbitrary Fast Growth of the Number of Periodic Points.” Ergodic Theory and Dynamical Systems. Cambridge University Press, 2012. https://doi.org/10.1017/s0143385710000817.
View | DOI
 

Search

Filter Publications