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.
332 Publications
2012 | Journal Article | IST-REx-ID: 494
Translating to Co-Büchi made tight, unified, and useful
U. Boker, O. Kupferman, ACM Transactions on Computational Logic (TOCL) 13 (2012).
View
| DOI
U. Boker, O. Kupferman, ACM Transactions on Computational Logic (TOCL) 13 (2012).
2012 | Journal Article | IST-REx-ID: 506 |
Cell migration: Fibroblasts find a new way to get ahead
M.K. Sixt, Journal of Cell Biology 197 (2012) 347–349.
[Published Version]
View
| Files available
| DOI
M.K. Sixt, Journal of Cell Biology 197 (2012) 347–349.
2012 | Conference Paper | IST-REx-ID: 497 |
Faster algorithms for alternating refinement relations
K. Chatterjee, S. Chaubal, P. Kamath, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 167–182.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, S. Chaubal, P. Kamath, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 167–182.
2012 | Conference Paper | IST-REx-ID: 3165 |
An O(n2) time algorithm for alternating Büchi games
K. Chatterjee, M.H. Henzinger, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2012, pp. 1386–1399.
View
| Files available
| DOI
| Download None (ext.)
| arXiv
K. Chatterjee, M.H. Henzinger, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2012, pp. 1386–1399.
2012 | Conference Paper | IST-REx-ID: 2956
Mean payoff pushdown games
K. Chatterjee, Y. Velner, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.
View
| Files available
| DOI
K. Chatterjee, Y. Velner, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.
2012 | Technical Report | IST-REx-ID: 5377 |
Mean-payoff pushdown games
K. Chatterjee, Y. Velner, Mean-Payoff Pushdown Games, IST Austria, 2012.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, Y. Velner, Mean-Payoff Pushdown Games, IST Austria, 2012.
2012 | Technical Report | IST-REx-ID: 5378 |
Faster algorithms for alternating refinement relations
K. Chatterjee, S. Chaubal, P. Kamath, Faster Algorithms for Alternating Refinement Relations, IST Austria, 2012.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, S. Chaubal, P. Kamath, Faster Algorithms for Alternating Refinement Relations, IST Austria, 2012.
2012 | Conference Paper | IST-REx-ID: 2955 |
Partial-observation stochastic games: How to win when belief fails
K. Chatterjee, L. Doyen, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, L. Doyen, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.
2012 | Conference Paper | IST-REx-ID: 3341 |
Robustness of structurally equivalent concurrent parity games
K. Chatterjee, in:, Springer, 2012, pp. 270–285.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, in:, Springer, 2012, pp. 270–285.
2012 | Conference Paper | IST-REx-ID: 2957 |
Decidable problems for probabilistic automata on infinite words
K. Chatterjee, M. Tracol, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Tracol, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.
2012 | Journal Article | IST-REx-ID: 3249
Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 413 (2012) 21–35.
View
| Files available
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 413 (2012) 21–35.
2012 | Conference Paper | IST-REx-ID: 3124 |
Approximating marginals using discrete energy minimization
F. Korc, V. Kolmogorov, C. Lampert, in:, ICML, 2012.
[Submitted Version]
View
| Files available
F. Korc, V. Kolmogorov, C. Lampert, in:, ICML, 2012.
2012 | Technical Report | IST-REx-ID: 5396 |
Approximating marginals using discrete energy minimization
F. Korc, V. Kolmogorov, C. Lampert, Approximating Marginals Using Discrete Energy Minimization, IST Austria, 2012.
[Published Version]
View
| Files available
| DOI
F. Korc, V. Kolmogorov, C. Lampert, Approximating Marginals Using Discrete Energy Minimization, IST Austria, 2012.
2012 | Report | IST-REx-ID: 5398 |
Actual state of research data @ ISTAustria
J. Porsche, Actual State of Research Data @ ISTAustria, IST Austria, 2012.
[Published Version]
View
| Files available
J. Porsche, Actual State of Research Data @ ISTAustria, IST Austria, 2012.
2012 | Journal Article | IST-REx-ID: 5839 |
An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets
R. Biswas, J. Sil, Procedia Technology 4 (2012) 820–824.
[Published Version]
View
| Files available
| DOI
R. Biswas, J. Sil, Procedia Technology 4 (2012) 820–824.
2012 | Journal Article | IST-REx-ID: 596 |
Activator-mediator binding stabilizes RNA polymerase II orientation within the human mediator-RNA polymerase II-TFIIF assembly
C. Bernecky, D. Taatjes, Journal of Molecular Biology 417 (2012) 387–394.
View
| DOI
| Download None (ext.)
C. Bernecky, D. Taatjes, Journal of Molecular Biology 417 (2012) 387–394.
2012 | Journal Article | IST-REx-ID: 6136 |
Tonic signaling from O2 sensors sets neural circuit activity and behavioral state
K.E. Busch, P. Laurent, Z. Soltesz, R.J. Murphy, O. Faivre, B. Hedwig, M. Thomas, H.L. Smith, M. de Bono, Nature Neuroscience 15 (2012) 581–591.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
K.E. Busch, P. Laurent, Z. Soltesz, R.J. Murphy, O. Faivre, B. Hedwig, M. Thomas, H.L. Smith, M. de Bono, Nature Neuroscience 15 (2012) 581–591.
2012 | Conference Paper | IST-REx-ID: 6746
A cooperative approach for amplify-and-forward differential transmitted reference IR-UWB relay systems
M. Mondelli, Q. Zhou, X. Ma, V. Lottici, in:, 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), IEEE, 2012, pp. 2905–2908.
View
| DOI
M. Mondelli, Q. Zhou, X. Ma, V. Lottici, in:, 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), IEEE, 2012, pp. 2905–2908.
2012 | Journal Article | IST-REx-ID: 7074
Thermoelectric properties of Ho-doped Bi0.88Sb0.12
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
View
| DOI
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
2012 | Journal Article | IST-REx-ID: 7308
The carbon electrode in nonaqueous Li–O2 cells
M.M. Ottakam Thotiyl, S.A. Freunberger, Z. Peng, P.G. Bruce, Journal of the American Chemical Society 135 (2012) 494–500.
View
| DOI
M.M. Ottakam Thotiyl, S.A. Freunberger, Z. Peng, P.G. Bruce, Journal of the American Chemical Society 135 (2012) 494–500.
2012 | Journal Article | IST-REx-ID: 7309
Challenges facing Lithium batteries and electrical double-layer capacitors
N.-S. Choi, Z. Chen, S.A. Freunberger, X. Ji, Y.-K. Sun, K. Amine, G. Yushin, L.F. Nazar, J. Cho, P.G. Bruce, Angewandte Chemie International Edition 51 (2012) 9994–10024.
View
| DOI
N.-S. Choi, Z. Chen, S.A. Freunberger, X. Ji, Y.-K. Sun, K. Amine, G. Yushin, L.F. Nazar, J. Cho, P.G. Bruce, Angewandte Chemie International Edition 51 (2012) 9994–10024.
2012 | Journal Article | IST-REx-ID: 7310
A reversible and higher-rate Li-O2 battery
Z. Peng, S.A. Freunberger, Y. Chen, P.G. Bruce, Science 337 (2012) 563–566.
View
| DOI
Z. Peng, S.A. Freunberger, Y. Chen, P.G. Bruce, Science 337 (2012) 563–566.
2012 | Journal Article | IST-REx-ID: 7311
Li–O2 battery with a dimethylformamide electrolyte
Y. Chen, S.A. Freunberger, Z. Peng, F. Bardé, P.G. Bruce, Journal of the American Chemical Society 134 (2012) 7952–7957.
View
| DOI
Y. Chen, S.A. Freunberger, Z. Peng, F. Bardé, P.G. Bruce, Journal of the American Chemical Society 134 (2012) 7952–7957.
2012 | Conference Paper | IST-REx-ID: 762
On the cost of composing shared-memory algorithms
D.-A. Alistarh, R. Guerraoui, P. Kuznetsov, G. Losa, in:, ACM, 2012, pp. 298–307.
View
| DOI
D.-A. Alistarh, R. Guerraoui, P. Kuznetsov, G. Losa, in:, ACM, 2012, pp. 298–307.
2012 | Conference Paper | IST-REx-ID: 763
Early deciding synchronous renaming in O(log f) rounds or less
D.-A. Alistarh, H. Attiya, R. Guerraoui, C. Travers, in:, Springer, 2012, pp. 195–206.
View
| DOI
D.-A. Alistarh, H. Attiya, R. Guerraoui, C. Travers, in:, Springer, 2012, pp. 195–206.
2012 | Journal Article | IST-REx-ID: 764
Of choices, failures and asynchrony: the many faces of set agreement
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, Algorithmica (New York) 62 (2012) 595–629.
View
| DOI
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, Algorithmica (New York) 62 (2012) 595–629.
2012 | Conference Paper | IST-REx-ID: 766
How to allocate tasks asynchronously
D.-A. Alistarh, M. Bender, S. Gilbert, R. Guerraoui, in:, IEEE, 2012, pp. 331–340.
View
| DOI
D.-A. Alistarh, M. Bender, S. Gilbert, R. Guerraoui, in:, IEEE, 2012, pp. 331–340.
2012 | Journal Article | IST-REx-ID: 767
Generating Fast Indulgent Algorithms
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, Theory of Computing Systems 51 (2012) 404–424.
View
| DOI
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, Theory of Computing Systems 51 (2012) 404–424.
2012 | Journal Article | IST-REx-ID: 7749
Senescence and age-specific trade-offs between reproduction and survival in female Asian elephants
M.R. Robinson, K.U. Mar, V. Lummaa, Ecology Letters 15 (2012) 260–266.
View
| DOI
M.R. Robinson, K.U. Mar, V. Lummaa, Ecology Letters 15 (2012) 260–266.
2012 | Journal Article | IST-REx-ID: 7748
Environment-dependent selection on mate choice in a natural population of birds
M.R. Robinson, G. Sander van Doorn, L. Gustafsson, A. Qvarnström, Ecology Letters 15 (2012) 611–618.
View
| DOI
M.R. Robinson, G. Sander van Doorn, L. Gustafsson, A. Qvarnström, Ecology Letters 15 (2012) 611–618.
2012 | Journal Article | IST-REx-ID: 7776
Finite-size scaling at the jamming transition
C.P. Goodrich, A.J. Liu, S.R. Nagel, Physical Review Letters 109 (2012).
View
| DOI
C.P. Goodrich, A.J. Liu, S.R. Nagel, Physical Review Letters 109 (2012).
2012 | Journal Article | IST-REx-ID: 801
Biosynthesis of the fungal cell wall polysaccharide galactomannan requires intraluminal GDP-mannose
J. Engel, P.S. Schmalhorst, F. Routier, Journal of Biological Chemistry 287 (2012) 44418–44424.
View
| DOI
| PubMed | Europe PMC
J. Engel, P.S. Schmalhorst, F. Routier, Journal of Biological Chemistry 287 (2012) 44418–44424.
2012 | Journal Article | IST-REx-ID: 8024
Non-normal amplification in random balanced neuronal networks
G. Hennequin, T.P. Vogels, W. Gerstner, Physical Review E 86 (2012).
View
| DOI
| PubMed | Europe PMC
G. Hennequin, T.P. Vogels, W. Gerstner, Physical Review E 86 (2012).
2012 | Journal Article | IST-REx-ID: 808 |
Actin branching in the initiation and maintenance of lamellipodia
M. Vinzenz, M. Nemethova, F.K. Schur, J. Mueller, A. Narita, E. Urban, C. Winkler, C. Schmeiser, S. Koestler, K. Rottner, G. Resch, Y. Maéda, J. Small, Journal of Cell Science 125 (2012) 2775–2785.
View
| Files available
| DOI
M. Vinzenz, M. Nemethova, F.K. Schur, J. Mueller, A. Narita, E. Urban, C. Winkler, C. Schmeiser, S. Koestler, K. Rottner, G. Resch, Y. Maéda, J. Small, Journal of Cell Science 125 (2012) 2775–2785.
2012 | Journal Article | IST-REx-ID: 8246
Deletion of hypothetical wall teichoic acid ligases in Staphylococcus aureus activates the cell wall stress response
V. Dengler, P.S. Meier, R. Heusser, P. Kupferschmied, J. Singer, S. Friebe, S.B. Staufer, P.A. Majcherczyk, P. Moreillon, B. Berger-Bächi, N. McCallum, FEMS Microbiology Letters 333 (2012) 109–120.
View
| DOI
| PubMed | Europe PMC
V. Dengler, P.S. Meier, R. Heusser, P. Kupferschmied, J. Singer, S. Friebe, S.B. Staufer, P.A. Majcherczyk, P. Moreillon, B. Berger-Bächi, N. McCallum, FEMS Microbiology Letters 333 (2012) 109–120.
2012 | Journal Article | IST-REx-ID: 826
Hormonal interactions in the regulation of plant development
M. Vanstraelen, E. Benková, Annual Review of Cell and Developmental Biology 28 (2012) 463–487.
View
| DOI
M. Vanstraelen, E. Benková, Annual Review of Cell and Developmental Biology 28 (2012) 463–487.
2012 | Journal Article | IST-REx-ID: 829
Spatiotemporal regulation of lateral root organogenesis in Arabidopsis by cytokinin
A. Bielach, K. Podlesakova, P. Marhavý, J. Duclercq, C. Cuesta, B. Muller, W. Grunewald, P. Tarkowski, E. Benková, The Plant Cell 24 (2012) 3967–3981.
View
| DOI
A. Bielach, K. Podlesakova, P. Marhavý, J. Duclercq, C. Cuesta, B. Muller, W. Grunewald, P. Tarkowski, E. Benková, The Plant Cell 24 (2012) 3967–3981.
2012 | Journal Article | IST-REx-ID: 846
Estimating the rate of irreversibility in protein evolution
O. Soylemez, F. Kondrashov, Genome Biology and Evolution 4 (2012) 1213–1222.
View
| DOI
O. Soylemez, F. Kondrashov, Genome Biology and Evolution 4 (2012) 1213–1222.
2012 | Journal Article | IST-REx-ID: 8463
Optimal degree of protonation for 1H detection of aliphatic sites in randomly deuterated proteins as a function of the MAS frequency
S. Asami, K. Szekely, P. Schanda, B.H. Meier, B. Reif, Journal of Biomolecular NMR 54 (2012) 155–168.
View
| DOI
S. Asami, K. Szekely, P. Schanda, B.H. Meier, B. Reif, Journal of Biomolecular NMR 54 (2012) 155–168.
2012 | Journal Article | IST-REx-ID: 8465
Site-resolved measurement of microsecond-to-millisecond conformational-exchange processes in proteins by solid-state NMR spectroscopy
M. Tollinger, A.C. Sivertsen, B.H. Meier, M. Ernst, P. Schanda, Journal of the American Chemical Society 134 (2012) 14800–14807.
View
| DOI
M. Tollinger, A.C. Sivertsen, B.H. Meier, M. Ernst, P. Schanda, Journal of the American Chemical Society 134 (2012) 14800–14807.
2012 | Journal Article | IST-REx-ID: 8466
Real-time NMR characterization of structure and dynamics in a transiently populated protein folding intermediate
E. Rennella, T. Cutuil, P. Schanda, I. Ayala, V. Forge, B. Brutscher, Journal of the American Chemical Society 134 (2012) 8066–8069.
View
| DOI
E. Rennella, T. Cutuil, P. Schanda, I. Ayala, V. Forge, B. Brutscher, Journal of the American Chemical Society 134 (2012) 8066–8069.
2012 | Journal Article | IST-REx-ID: 8467
A supplementary coil for 2H decoupling with commercial HCN MAS probes
M. Huber, O. With, P. Schanda, R. Verel, M. Ernst, B.H. Meier, Journal of Magnetic Resonance 214 (2012) 76–80.
View
| DOI
M. Huber, O. With, P. Schanda, R. Verel, M. Ernst, B.H. Meier, Journal of Magnetic Resonance 214 (2012) 76–80.
2012 | Journal Article | IST-REx-ID: 8502
An example of a nearly integrable Hamiltonian system with a trajectory dense in a set of maximal Hausdorff dimension
V. Kaloshin, M. Saprykina, Communications in Mathematical Physics 315 (2012) 643–697.
View
| DOI
V. Kaloshin, M. Saprykina, Communications in Mathematical Physics 315 (2012) 643–697.
2012 | Journal Article | IST-REx-ID: 858
Stop codons in bacteria are not selectively equivalent
I. Povolotskaya, F. Kondrashov, A. Ledda, P. Vlasov, Biology Direct 7 (2012).
View
| DOI
I. Povolotskaya, F. Kondrashov, A. Ledda, P. Vlasov, Biology Direct 7 (2012).
2012 | Journal Article | IST-REx-ID: 900
Epistasis as the primary factor in molecular evolution
M. Breen, C. Kemena, P. Vlasov, C. Notredame, F. Kondrashov, Nature 490 (2012) 535–538.
View
| DOI
M. Breen, C. Kemena, P. Vlasov, C. Notredame, F. Kondrashov, Nature 490 (2012) 535–538.
2012 | Journal Article | IST-REx-ID: 9014 |
Dynamic clustering in active colloidal suspensions with chemical signaling
I. Theurkauff, C. Cottin-Bizonne, J.A. Palacci, C. Ybert, L. Bocquet, Physical Review Letters 108 (2012).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
I. Theurkauff, C. Cottin-Bizonne, J.A. Palacci, C. Ybert, L. Bocquet, Physical Review Letters 108 (2012).
2012 | Journal Article | IST-REx-ID: 91
Identifying and evaluating organic nonlinear optical materials via molecular moments
A.P. Higginbotham, J. Cole, M. Blood Forsythe, D. Hickstein, Journal of Applied Physics 111 (2012).
View
| DOI
A.P. Higginbotham, J. Cole, M. Blood Forsythe, D. Hickstein, Journal of Applied Physics 111 (2012).
2012 | Journal Article | IST-REx-ID: 9142 |
Detailed investigation of the self-aggregation of convection in cloud-resolving simulations
C.J. Muller, I.M. Held, Journal of the Atmospheric Sciences 69 (2012) 2551–2565.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C.J. Muller, I.M. Held, Journal of the Atmospheric Sciences 69 (2012) 2551–2565.
2012 | Journal Article | IST-REx-ID: 9451 |
Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes
C.A. Ibarra, X. Feng, V.K. Schoft, T.-F. Hsieh, R. Uzawa, J.A. Rodrigues, A. Zemach, N. Chumak, A. Machlicova, T. Nishimura, D. Rojas, R.L. Fischer, H. Tamaru, D. Zilberman, Science 337 (2012) 1360–1364.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
C.A. Ibarra, X. Feng, V.K. Schoft, T.-F. Hsieh, R. Uzawa, J.A. Rodrigues, A. Zemach, N. Chumak, A. Machlicova, T. Nishimura, D. Rojas, R.L. Fischer, H. Tamaru, D. Zilberman, Science 337 (2012) 1360–1364.
2012 | Journal Article | IST-REx-ID: 9535 |
DNA methylation, H2A.Z, and the regulation of constitutive expression
D. Coleman-Derr, D. Zilberman, Cold Spring Harbor Symposia on Quantitative Biology 77 (2012) 147–154.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Coleman-Derr, D. Zilberman, Cold Spring Harbor Symposia on Quantitative Biology 77 (2012) 147–154.