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.

303 Publications


2012 | Journal Article | IST-REx-ID: 2202 | OA
Sensitive imaging of electromagnetic fields with paramagnetic polar molecules
S. Alyabyshev, M. Lemeshko, R. Krems, Physical Review A - Atomic, Molecular, and Optical Physics 86 (2012).
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2203 | OA View | DOI | Download (ext.)
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

2012 | Journal Article | IST-REx-ID: 492 | OA
GiA Roots: Software for the high throughput analysis of plant root system architecture
T. Galkovskyi, Y. Mileyko, A. Bucksch, B. Moore, O. Symonova, C. Price, C. Topp, A. Iyer Pascuzzi, P. Zurek, S. Fang, J. Harer, P. Benfey, J. Weitz, BMC Plant Biology 12 (2012).
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 493 | OA
Review of the BCI competition IV
M. Tangermann, K. Müller, A. Aertsen, N. Birbaumer, C. Braun, C. Brunner, R. Leeb, C. Mehring, K. Miller, G. Müller Putz, G. Nolte, G. Pfurtscheller, H. Preissl, G. Schalk, A. Schlögl, C. Vidaurre, S. Waldert, B. Blankertz, Frontiers in Neuroscience 6 (2012).
View | Files available | DOI
 

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
 

2012 | Conference Paper | IST-REx-ID: 495 | OA
A Myhill Nerode theorem for automata with advice
A. Kruckman, S. Rubin, J. Sheridan, B. Zax, in:, Proceedings GandALF 2012, Open Publishing Association, 2012, pp. 238–246.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 496 | OA
Interpretations in trees with countably many branches
A. Rabinovich, S. Rubin, in:, IEEE, 2012.
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 497 | OA
Faster algorithms for alternating refinement relations
K. Chatterjee, S. Chaubal, P. Kamath, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 167–182.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 498 | OA
Predicting local adaptation in fragmented plant populations: Implications for restoration genetics
M. Pickup, D. Field, D. Rowell, A. Young, Evolutionary Applications 5 (2012) 913–924.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 506 | OA
Cell migration: Fibroblasts find a new way to get ahead
M.K. Sixt, Journal of Cell Biology 197 (2012) 347–349.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5377 | OA
Mean-payoff pushdown games
K. Chatterjee, Y. Velner, Mean-Payoff Pushdown Games, IST Austria, 2012.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5378 | OA
Faster algorithms for alternating refinement relations
K. Chatterjee, S. Chaubal, P. Kamath, Faster Algorithms for Alternating Refinement Relations, IST Austria, 2012.
View | Files available | DOI
 

2012 | Technical Report | IST-REx-ID: 5396 | OA
Approximating marginals using discrete energy minimization
F. Korc, V. Kolmogorov, C. Lampert, Approximating Marginals Using Discrete Energy Minimization, IST Austria, 2012.
View | Files available | DOI
 

2012 | Report | IST-REx-ID: 5398 | OA
Actual state of research data @ ISTAustria
J. Porsche, Actual State of Research Data @ ISTAustria, IST Austria, 2012.
View | Files available
 

2012 | Book Chapter | IST-REx-ID: 5745 | OA
Improved Single Pass Algorithms for Resolution Proof Reduction
A. Gupta, in:, Automated Technology for Verification and Analysis, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 107–121.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 5839 | OA
An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets
R. Biswas, J. Sil, Procedia Technology 4 (2012) 820–824.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 596 | OA View | DOI | Download None (ext.)
 

2012 | Journal Article | IST-REx-ID: 6136 | OA
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.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 6588 | OA
Elementary solutions of the Bernstein problem on two intervals
F. Pausinger, Journal of Mathematical Physics, Analysis, Geometry 8 (2012) 63–78.
View | Download Published Version (ext.) | WoS
 

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
 

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
 

2012 | Conference Paper | IST-REx-ID: 1384 | OA
Conditional model checking: A technique to pass information between verifiers
D. Beyer, T.A. Henzinger, M. Keremoglu, P. Wendler, in:, Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, ACM, 2012.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 1471 | OA
Prym varieties of spectral covers
T. Hausel, C. Pauly, Geometry and Topology 16 (2012) 1609–1638.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1472 | OA
Topology of hitchin systems and Hodge theory of character varieties: The case A 1
M. De Cataldo, T. Hausel, L. Migliorini, Annals of Mathematics 175 (2012) 1329–1407.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1055
Bulla in the lung
B. Erne, M. Graff, W. Klemm, J.G. Danzl, G. Leschber, The Lancet 380 (2012).
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1056 | OA
Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions
M. Mark, E. Haller, K. Lauber, J.G. Danzl, A. Janisch, H. Büchler, A. Daley, H. Nägerl, Physical Review Letters 108 (2012).
View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 113
Impact-activated solidification of dense suspensions via dynamic jamming fronts
S.R. Waitukaitis, H. Jaeger, Nature 487 (2012) 205–209.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 114 | OA
Solidification of a cornstarch and water suspension
S.R. Waitukaitis, H. Jaeger, Revista Cubana de Fisica 29 (2012) 1E31-1E33.
View | Files available
 

2012 | Journal Article | IST-REx-ID: 887
Gene duplication as a mechanism of genomic adaptation to a changing environment
F. Kondrashov, Proceedings of the Royal Society of London Series B Biological Sciences 279 (2012) 5048–5057.
View | DOI
 

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
 

2012 | Journal Article | IST-REx-ID: 9014 | OA
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).
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2012 | Journal Article | IST-REx-ID: 9049
Osmotic traps for colloids and macromolecules based on logarithmic sensing in salt taxis
J.A. Palacci, C. Cottin-Bizonne, C. Ybert, L. Bocquet, Soft Matter 8 (2012) 980–994.
View | DOI
 

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
 

2012 | Journal Article | IST-REx-ID: 9142 | OA
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.
View | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 922 | OA
Mechanical instabilities of biological tubes
E.B. Hannezo, J. Prost, J. Joanny, Physical Review Letters 109 (2012).
View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 966 | OA
Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice
S. Bieri, M. Serbyn, T. Senthil, P. Lee, Physical Review B - Condensed Matter and Materials Physics 86 (2012).
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 377
Crystallographic control at the nanoscale to enhance functionality: Polytypic Cu2GeSe3 nanoparticles as thermoelectric materials
M. Ibáñez, R. Zamani, W. Li, D. Cadavid, S. Gorse, N. Katchoi, A. Shavel, A. López, J. Morante, J. Arbiol, A. Cabot, Chemistry of Materials 24 (2012) 4615–4622.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3836
Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code
A. Ghosal, D. Iercan, C. Kirsch, T.A. Henzinger, A. Sangiovanni Vincentelli, Science of Computer Programming 77 (2012) 96–112.
View | DOI
 

Filters and Search Terms

year=2012

Search

Filter Publications