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.

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.

Interpretations in trees with countably many branches
A. Rabinovich, S. Rubin, in:, IEEE, 2012.

Translating to Co-Büchi made tight, unified, and useful
U. Boker, O. Kupferman, ACM Transactions on Computational Logic (TOCL) 13 (2012).

Cell migration: Fibroblasts find a new way to get ahead
M.K. Sixt, Journal of Cell Biology 197 (2012) 347–349.

Faster algorithms for alternating refinement relations
K. Chatterjee, S. Chaubal, P. Kamath, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 167–182.

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.

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.

Mean-payoff pushdown games
K. Chatterjee, Y. Velner, Mean-Payoff Pushdown Games, IST Austria, 2012.

Faster algorithms for alternating refinement relations
K. Chatterjee, S. Chaubal, P. Kamath, Faster Algorithms for Alternating Refinement Relations, IST Austria, 2012.

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.

Robustness of structurally equivalent concurrent parity games
K. Chatterjee, in:, Springer, 2012, pp. 270–285.

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.

Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 413 (2012) 21–35.

Approximating marginals using discrete energy minimization
F. Korc, V. Kolmogorov, C. Lampert, in:, ICML, 2012.

Approximating marginals using discrete energy minimization
F. Korc, V. Kolmogorov, C. Lampert, Approximating Marginals Using Discrete Energy Minimization, IST Austria, 2012.

Actual state of research data @ ISTAustria
J. Porsche, Actual State of Research Data @ ISTAustria, IST Austria, 2012.

An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets
R. Biswas, J. Sil, Procedia Technology 4 (2012) 820–824.

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.

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.

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.

Thermoelectric properties of Ho-doped Bi0.88S.12
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.

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.

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.

A reversible and higher-rate Li-O2 battery
Z. Peng, S.A. Freunberger, Y. Chen, P.G. Bruce, Science 337 (2012) 563–566.

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.

On the cost of composing shared-memory algorithms
D.-A. Alistarh, R. Guerraoui, P. Kuznetsov, G. Losa, in:, ACM, 2012, pp. 298–307.

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.

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.

How to allocate tasks asynchronously
D.-A. Alistarh, M. Bender, S. Gilbert, R. Guerraoui, in:, IEEE, 2012, pp. 331–340.

Generating Fast Indulgent Algorithms
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, Theory of Computing Systems 51 (2012) 404–424.

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.

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.

Finite-size scaling at the jamming transition
C.P. Goodrich, A.J. Liu, S.R. Nagel, Physical Review Letters 109 (2012).

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.

Non-normal amplification in random balanced neuronal networks
G. Hennequin, T.P. Vogels, W. Gerstner, Physical Review E 86 (2012).

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.

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.

Hormonal interactions in the regulation of plant development
M. Vanstraelen, E. Benková, Annual Review of Cell and Developmental Biology 28 (2012) 463–487.

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.

Estimating the rate of irreversibility in protein evolution
O. Soylemez, F. Kondrashov, Genome Biology and Evolution 4 (2012) 1213–1222.

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.

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.

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.

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.

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.

Stop codons in bacteria are not selectively equivalent
I. Povolotskaya, F. Kondrashov, A. Ledda, P. Vlasov, Biology Direct 7 (2012).

Epistasis as the primary factor in molecular evolution
M. Breen, C. Kemena, P. Vlasov, C. Notredame, F. Kondrashov, Nature 490 (2012) 535–538.

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).

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).

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.

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.

DNA methylation, A.Z, and the regulation of constitutive expression
D. Coleman-Derr, D. Zilberman, Cold Spring Harbor Symposia on Quantitative Biology 77 (2012) 147–154.

Social transfer of pathogenic fungus promotes active immunisation in ant colonies
M. Konrad, M. Vyleta, F. Theis, M. Stock, S. Tragust, M. Klatt, V. Drescher, C. Marr, L.V. Ugelvig, S. Cremer, PLoS Biology 10 (2012).

Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies
M. Konrad, M. Vyleta, F. Theis, M. Stock, M. Klatt, V. Drescher, C. Marr, L.V. Ugelvig, S. Cremer, (2012).

Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates
S. Aeschbacher, A. Futschik, M. Beaumont, (2012).

Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison
S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L.V. Ugelvig, S. Cremer, (2012).

A Cr unimodal map with an arbitrary fast growth of the number of periodic points
V. Kaloshin, O.S. KOZLOVSKI, Ergodic Theory and Dynamical Systems 32 (2012) 159–165.

Finiteness of central configurations of five bodies in the plane
A. Albouy, V. Kaloshin, Annals of Mathematics 176 (2012) 535–588.

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.

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.

Mechanical instabilities of biological tubes
E.B. Hannezo, J. Prost, J. Joanny, Physical Review Letters 109 (2012).

EM and PR cooperate to repress key regulators of Arabidopsis development
S.Y. Kim, J. Lee, L. Eshed-Williams, D. Zilberman, Z.R. Sung, PLoS Genetics 8 (2012).

Deposition of histone variant A.Z within gene bodies regulates responsive genes
D. Coleman-Derr, D. Zilberman, PLoS Genetics 8 (2012).

Regulation of biological accuracy, precision, and memory by plant chromatin organization
J.T. Huff, D. Zilberman, Current Opinion in Genetics and Development 22 (2012) 132–138.

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).

A likelihood based comparison of population histories in a parasitoid guild
K. Lohse, N.H. Barton, G. Melika, G. Stone, Molecular Ecology 21 (2012) 4605–4617.

Data from: A likelihood-based comparison of population histories in a parasitoid guild
K. Lohse, N.H. Barton, G. Stone, G. Melika, (2012).

Dynamically self-assembling carriers enable guiding of diamagnetic particles by weak magnets
O. Chovnik, R. Balgley, J.R. Goldman, R. Klajn, Journal of the American Chemical Society 134 (2012) 19564–19567.

Metallic nanobowls by galvanic replacement reaction on heterodimeric nanoparticles
Y. Ridelman, G. Singh, R. Popovitz-Biro, S.G. Wolf, S. Das, R. Klajn, Small 8 (2012) 654–660.

Accurate invariant checking for programs manipulating lists and arrays with infinite data
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Automated Technology for Verification and Analysis, Springer, Berlin, Heidelberg, 2012, pp. 167–182.

Polynomial-time algorithms for energy games with special weight structures
K. Chatterjee, M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms – ESA 2012, Springer, 2012, pp. 301–312.

HSF(C): A software verifier based on Horn clauses
S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.

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.

Ideal abstractions for well structured transition systems
D. Zufferey, T. Wies, T.A. Henzinger, in:, Springer, 2012, pp. 445–460.

The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers
L. Diaz Jr, R. Williams, J. Wu, I. Kinde, J. Hecht, J. Berlin, B. Allen, I. Boei, J. Reiter, M. Nowak, K. Kinzler, K. Oliner, B. Vogelstein, Nature 486 (2012) 537–540.

Evolutionary dynamics of biological auctions
K. Chatterjee, J. Reiter, M. Nowak, Theoretical Population Biology 81 (2012) 69–80.

Active dendrites support efficient initiation of dendritic spikes in hippocampal C pyramidal neurons
S. Kim, J. Guzmán, H. Hu, P.M. Jonas, Nature Neuroscience 15 (2012) 600–606.

Active properties of hippocampal C pyramidal neuron dendrites
S. Kim, Active Properties of Hippocampal C Pyramidal Neuron Dendrites, Institute of Science and Technology Austria, 2012.

Cell adhesion in embryo morphogenesis
V. Barone, C.-P.J. Heisenberg, Current Opinion in Cell Biology 24 (2012) 148–153.

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.

Elementary solutions of the Bernstein problem on two intervals
F. Pausinger, Journal of Mathematical Physics, Analysis, Geometry 8 (2012) 63–78.

Explicit mesh surfaces for particle based fluids
J. Yu, C. Wojtan, G. Turk, C. Yap, in:, Computer Graphics Forum, Wiley, 2012, pp. 815–824.

Die Zeit des Abwartens ist vorbei!
P. Danowski, BuB - Forum Bibliothek und Information 64 (2012) 284.

Zwischen Technologie und Information
P. Danowski, Büchereiperspektiven 2012 (2012) 11.

Multi-modal learning for dynamic tactile sensing
O. Kroemer, C. Lampert, J. Peters, in:, Deutsches Zentrum für Luft und Raumfahrt, 2012.

On the configuration space for the shortest networks
H. Edelsbrunner, N. Strelkova, Russian Mathematical Surveys 67 (2012) 1167–1168.

The most persistent soft-clique in a set of sampled graphs
N. Quadrianto, C. Lampert, C. Chen, in:, Proceedings of the 29th International Conference on Machine Learning, ML Research Press, 2012, pp. 211–218.

Weak multipliers for generalized van der Corput sequences
F. Pausinger, Journal de Theorie Des Nombres Des Bordeaux 24 (2012) 729–749.

Fractal and computational geometry for generalizing cartographic objects
H. Edelsbrunner, O. Musin, A. Ukhalov, O. Yakimova, V. Alexeev, V. Bogaevskaya, A. Gorohov, M. Preobrazhenskaya, Modeling and Analysis of Information Systems 19 (2012) 152–160.

Soft elastic surfaces as a platform for particle self-assembly
A. Sari, A. Cacciuto, Soft Matter 7 (2011).

Global analysis of data on the spin-orbit-coupled A 1:3u+ and b 3:0u inf states of C
J. Bai, E. Ahmed, B. Beser, Y. Guan, S. Kotochigova, M. Lyyra, S. Ashman, C. Wolfe, J. Huennekens, F. Xie, D. Li, L. Li, M. Tamanis, R. Ferber, A. Drozdova, E. Pazyuk, A. Stolyarov, J.G. Danzl, H. Nägerl, N. Bouloufa, O. Dulieu, C. Amiot, H. Salami, T. Bergeman,  Physical Review A - Atomic, Molecular, and Optical Physics 83 (2011).

Ultracold and dense samples of ground-state molecules in lattice potentials
H. Nägerl, M. Mark, E. Haller, M. Gustavsson, R. Hart, J.G. Danzl, Journal of Physics: Conference Series 264 (2011).

Optimal trapping wavelengths of Cs 2 molecules in an optical lattice
R. Vexiau, N. Bouloufa, M. Aymar, J.G. Danzl, M. Mark, H. Nägerl, O. Dulieu, European Physical Journal D 65 (2011) 243–250.

Demonstration of the temporal matter-wave Talbot effect for trapped matter waves
M. Mark, E. Haller, J.G. Danzl, K. Lauber, M. Gustavsson, H. Nägerl, New Journal of Physics 13 (2011).

Precision measurements on a tunable Mott insulator of ultracold atoms
M. Mark, E. Haller, K. Lauber, J.G. Danzl, A. Daley, H. Nägerl, Physical Review Letters 107 (2011).

Three-body correlation functions and recombination rates for bosons in three dimensions and one dimension
E. Haller, M. Rabie, M. Mark, J.G. Danzl, R. Hart, K. Lauber, G. Pupillo, H. Nägerl, Physical Review Letters 107 (2011).

POM121 and Sun1 play a role in early steps of interphase NPC assembly
J.A. Talamas, M. Hetzer, Journal of Cell Biology 194 (2011) 27–37.

Functional interactions between nucleoporins and chromatin
Y. Liang, M. Hetzer, Current Opinion in Cell Biology 23 (2011) 65–70.

Editorial overview
M. Hetzer, G. Cavalli, Current Opinion in Cell Biology 23 (2011) 255–257.