Kolmogorov, Vladimir. “Generalized Roof Duality and Bisubmodular Functions.”10.1016/j.dam.2011.10.026__Discrete Applied Mathematics, vol. 160, no. 4–5, Elsevier, 2012, pp. 416–26, doi:10.1016/j.dam.2011.10.026.

de Vladar, Harold, and Julian Chela Flores. “Can the Evolution of Multicellularity Be Anticipated in the Exploration of the Solar System?”10.1007/978-94-007-4966-5_22__Life on Earth and Other Planetary Bodies, vol. 24, Springer, 2012, pp. 387–405, doi:10.1007/978-94-007-4966-5_22.

Jain, Abhishek, et al. Hardness Preserving Constructions of Pseudorandom Functions. Vol. 7194, Springer, 2012, pp. 369–82, doi:10.1007/978-3-642-28914-9_21.

Rieckh, Georg, et al. “A 2.5D-Fourier-BEM Model for Vibrations in a Tunnel Running through Layered Anisotropic Soil.”10.1016/j.enganabound.2011.12.014__10.1016/j.enganabound.2011.12.014__Engineering Analysis with Boundary Elements, vol. 36, no. 6, Elsevier, 2012, pp. 960–67, doi:10.1016/j.enganabound.2011.12.014.

Pereira, Anna, et al. “A Vaccinia Virus-Driven Interplay between the MKK4/7-JNK1/2 Pathway and Cytoskeleton Reorganization.”10.1128/JVI.05638-11__Journal of Virology, vol. 86, no. 1, ASM, 2012, pp. 172–84, doi:10.1128/JVI.05638-11.

Bendich, Paul, et al. “A Point Calculus for Interlevel Set Homology.”10.1016/j.patrec.2011.10.007__Pattern Recognition Letters, vol. 33, no. 11, Elsevier, 2012, pp. 1436–44, doi:10.1016/j.patrec.2011.10.007.

Ibáñez, Maria, et al. “Extending the Nanocrystal Synthesis Control to Quaternary Compositions.”10.1021/cg201709c__Crystal Growth and Design , vol. 12, no. 3, American Chemical Society (ACS), 2012, pp. 1085–90, doi:10.1021/cg201709c.

Ibáñez, Maria, et al. “Composition Control and Thermoelectric Properties of Quaternary Chalcogenide Nanocrystals: The Case of Stannite Cu2CdSnSe4.”10.1021/cm2031812__Chemistry of Materials, vol. 24, no. 3, American Chemical Society, 2012, pp. 562–70, doi:10.1021/cm2031812.

Shavel, Alexey, et al. “Continuous Production of Cu Inf 2 Inf ZnSnS Inf 4 Inf Nanocrystals in a Flow Reactor.”10.1021/ja209688a__Journal of the American Chemical Society, vol. 134, no. 3, ACS, 2012, pp. 1438–41, doi:10.1021/ja209688a.

Cadavid, Doris, et al. “Bottom-up Processing of Thermoelectric Nanocomposites from Colloidal Nanocrystal Building Blocks: The Case of ATe–PbTe.”10.1007/s11051-012-1328-0__Journal of Nanoparticle Research, vol. 14, no. 12, Kluwer, 2012, doi:10.1007/s11051-012-1328-0.

Ibáñez, Maria, et al. “Cu 2ZnGeSe 4 Nanocrystals: Synthesis and Thermoelectric Properties.”10.1021/ja211952z__Journal of the American Chemical Society, vol. 134, no. 9, ACS, 2012, pp. 4060–63, doi:10.1021/ja211952z.

Ghosal, Arkadeb, et al. “Separate Compilation of Hierarchical Real-Time Programs into Linear-Bounded Embedded Machine Code.”10.1016/j.scico.2010.06.004__Science of Computer Programming, vol. 77, no. 2, Elsevier, 2012, pp. 96–112, doi:10.1016/j.scico.2010.06.004.

Chatterjee, Krishnendu, and Laurent Doyen. “Energy Parity Games.”10.1016/j.tcs.2012.07.038__Theoretical Computer Science, vol. 458, Elsevier, 2012, pp. 49–60, doi:10.1016/j.tcs.2012.07.038.

Alur, Rajeev, et al. “Algorithmic Analysis of Array-Accessing Programs.”10.1145/2287718.2287727__ACM Transactions on Computational Logic (TOCL), vol. 13, no. 3, 27, ACM, 2012, doi:10.1145/2287718.2287727.

Galkovskyi, Taras, et al. “GiA Roots: Software for the High Throughput Analysis of Plant Root System Architecture.”10.1186/1471-2229-12-116__BMC Plant Biology, vol. 12, 116, BioMed Central, 2012, doi:10.1186/1471-2229-12-116.

Tangermann, Michael, et al. “Review of the BCI Competition IV.”10.3389/fnins.2012.00055__Frontiers in Neuroscience, vol. 6, 55, Frontiers Research Foundation, 2012, doi:10.3389/fnins.2012.00055.

Kruckman, Alex, et al. “A Myhill Nerode Theorem for Automata with Advice.”10.4204/EPTCS.96.18__Proceedings GandALF 2012, vol. 96, Open Publishing Association, 2012, pp. 238–46, doi:10.4204/EPTCS.96.18.

Pickup, Melinda, et al. “Predicting Local Adaptation in Fragmented Plant Populations: Implications for Restoration Genetics.”10.1111/j.1752-4571.2012.00284.x__Evolutionary Applications, vol. 5, no. 8, Wiley-Blackwell, 2012, pp. 913–24, doi:10.1111/j.1752-4571.2012.00284.x.

Rabinovich, Alexander, and Sasha Rubin. Interpretations in Trees with Countably Many Branches. 6280474, IEEE, 2012, doi:10.1109/LICS.2012.65.

Boker, Udi, and Orna Kupferman. “Translating to Co-Büchi Made Tight, Unified, and Useful.”10.1145/2362355.2362357__ACM Transactions on Computational Logic (TOCL), vol. 13, no. 4, 29, ACM, 2012, doi:10.1145/2362355.2362357.

Sixt, Michael K. “Cell Migration: Fibroblasts Find a New Way to Get Ahead.”10.1083/jcb.201204039__Journal of Cell Biology, vol. 197, no. 3, Rockefeller University Press, 2012, pp. 347–49, doi:10.1083/jcb.201204039.

Chatterjee, Krishnendu, et al. Faster Algorithms for Alternating Refinement Relations. Vol. 16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 167–82, doi:10.4230/LIPIcs.CSL.2012.167.

Chatterjee, Krishnendu, and Monika H. Henzinger. “An O(N2) Time Algorithm for Alternating Büchi Games.”10.1137/1.9781611973099.109__Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2012, pp. 1386–99, doi:10.1137/1.9781611973099.109.

Chatterjee, Krishnendu, and Yaron Velner. “Mean Payoff Pushdown Games.”10.1109/LICS.2012.30__Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, 6280438, IEEE, 2012, doi:10.1109/LICS.2012.30.

Chatterjee, Krishnendu, and Yaron Velner. Mean-Payoff Pushdown Games. IST Austria, 2012, doi:10.15479/AT:IST-2012-0002.

Chatterjee, Krishnendu, et al. Faster Algorithms for Alternating Refinement Relations. IST Austria, 2012, doi:10.15479/AT:IST-2012-0001.

Chatterjee, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic Games: How to Win When Belief Fails.”10.1109/LICS.2012.28__Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, 6280436, IEEE, 2012, doi:10.1109/LICS.2012.28.

Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. Vol. 7213, Springer, 2012, pp. 270–85, doi:10.1007/978-3-642-28729-9_18.

Chatterjee, Krishnendu, and Mathieu Tracol. “Decidable Problems for Probabilistic Automata on Infinite Words.”10.1109/LICS.2012.29__Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, 6280437, IEEE, 2012, doi:10.1109/LICS.2012.29.

Cerny, Pavol, et al. “Simulation Distances.”10.1016/j.tcs.2011.08.002__Theoretical Computer Science, vol. 413, no. 1, Elsevier, 2012, pp. 21–35, doi:10.1016/j.tcs.2011.08.002.

Korc, Filip, et al. Approximating Marginals Using Discrete Energy Minimization. ICML, 2012.

Korc, Filip, et al. Approximating Marginals Using Discrete Energy Minimization. IST Austria, 2012, doi:10.15479/AT:IST-2012-0003.

Porsche, Jana. Actual State of Research Data @ ISTAustria. IST Austria, 2012.

Biswas, Ranita, and Jaya Sil. “An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets.”10.1016/j.protcy.2012.05.134__Procedia Technology, vol. 4, Elsevier, 2012, pp. 820–24, doi:10.1016/j.protcy.2012.05.134.

Bernecky, Carrie, and Dylan Taatjes. “Activator-Mediator Binding Stabilizes RNA Polymerase II Orientation within the Human Mediator-RNA Polymerase II-TFIIF Assembly.”10.1016/j.jmb.2012.02.014__Journal of Molecular Biology, vol. 417, no. 5, Elsevier, 2012, pp. 387–94, doi:10.1016/j.jmb.2012.02.014.

Busch, Karl Emanuel, et al. “Tonic Signaling from O2 Sensors Sets Neural Circuit Activity and Behavioral State.”10.1038/nn.3061__Nature Neuroscience, vol. 15, no. 4, Springer Nature, 2012, pp. 581–91, doi:10.1038/nn.3061.

Mondelli, Marco, et al. “A Cooperative Approach for Amplify-and-Forward Differential Transmitted Reference IR-UWB Relay Systems.”10.1109/icassp.2012.6288524__2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), IEEE, 2012, pp. 2905–08, doi:10.1109/icassp.2012.6288524.

Lukas, K. C., et al. “Thermoelectric Properties of Ho-Doped Bi0.88Sb0.12.”10.1007/s10853-012-6463-6__Journal of Materials Science, vol. 47, no. 15, Springer Nature, 2012, pp. 5729–34, doi:10.1007/s10853-012-6463-6.

Ottakam Thotiyl, Muhammed M., et al. “The Carbon Electrode in Nonaqueous Li–O2 Cells.”10.1021/ja310258x__Journal of the American Chemical Society, vol. 135, no. 1, ACS, 2012, pp. 494–500, doi:10.1021/ja310258x.

Choi, Nam-Soon, et al. “Challenges Facing Lithium Batteries and Electrical Double-Layer Capacitors.”10.1002/anie.201201429__Angewandte Chemie International Edition, vol. 51, no. 40, Wiley, 2012, pp. 9994–10024, doi:10.1002/anie.201201429.

Peng, Z., et al. “A Reversible and Higher-Rate Li-O2 Battery.”10.1126/science.1223985__Science, vol. 337, no. 6094, AAAS, 2012, pp. 563–66, doi:10.1126/science.1223985.

Chen, Yuhui, et al. “Li–O2 Battery with a Dimethylformamide Electrolyte.”10.1021/ja302178w__Journal of the American Chemical Society, vol. 134, no. 18, ACS, 2012, pp. 7952–57, doi:10.1021/ja302178w.

Alistarh, Dan-Adrian, et al. On the Cost of Composing Shared-Memory Algorithms. ACM, 2012, pp. 298–307, doi:10.1145/2312005.2312057.

Alistarh, Dan-Adrian, et al. Early Deciding Synchronous Renaming in O(Log f) Rounds or Less. Vol. 7355 LNCS, Springer, 2012, pp. 195–206, doi:10.1007/978-3-642-31104-8_17.

Alistarh, Dan-Adrian, et al. “Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement.”10.1007/s00453-011-9581-7__Algorithmica (New York), vol. 62, no. 1–2, Springer, 2012, pp. 595–629, doi:10.1007/s00453-011-9581-7.

Alistarh, Dan-Adrian, et al. How to Allocate Tasks Asynchronously. IEEE, 2012, pp. 331–40, doi:10.1109/FOCS.2012.41.

Alistarh, Dan-Adrian, et al. “Generating Fast Indulgent Algorithms.”10.1007/s00224-012-9407-2__Theory of Computing Systems, vol. 51, no. 4, Elsevier, 2012, pp. 404–24, doi:10.1007/s00224-012-9407-2.

Robinson, Matthew Richard, et al. “Senescence and Age-Specific Trade-Offs between Reproduction and Survival in Female Asian Elephants.”10.1111/j.1461-0248.2011.01735.x__Ecology Letters, vol. 15, no. 3, Wiley, 2012, pp. 260–66, doi:10.1111/j.1461-0248.2011.01735.x.

Robinson, Matthew Richard, et al. “Environment-Dependent Selection on Mate Choice in a Natural Population of Birds.”10.1111/j.1461-0248.2012.01780.x__Ecology Letters, vol. 15, no. 6, Wiley, 2012, pp. 611–18, doi:10.1111/j.1461-0248.2012.01780.x.

Goodrich, Carl Peter, et al. “Finite-Size Scaling at the Jamming Transition.”10.1103/physrevlett.109.095704__Physical Review Letters, vol. 109, no. 9, 095704, American Physical Society, 2012, doi:10.1103/physrevlett.109.095704.

Engel, Jakob, et al. “Biosynthesis of the Fungal Cell Wall Polysaccharide Galactomannan Requires Intraluminal GDP-Mannose.”10.1074/jbc.M112.398321__Journal of Biological Chemistry, vol. 287, no. 53, American Society for Biochemistry and Molecular Biology, 2012, pp. 44418–24, doi:10.1074/jbc.M112.398321.

Hennequin, Guillaume, et al. “Non-Normal Amplification in Random Balanced Neuronal Networks.”10.1103/physreve.86.011909__Physical Review E, vol. 86, no. 1, 011909, American Physical Society, 2012, doi:10.1103/physreve.86.011909.

Vinzenz, Marlene, et al. “Actin Branching in the Initiation and Maintenance of Lamellipodia.”10.1242/jcs.107623__Journal of Cell Science, vol. 125, no. 11, Company of Biologists, 2012, pp. 2775–85, doi:10.1242/jcs.107623.

Dengler, Vanina, et al. “Deletion of Hypothetical Wall Teichoic Acid Ligases in Staphylococcus Aureus Activates the Cell Wall Stress Response.”10.1111/j.1574-6968.2012.02603.x__FEMS Microbiology Letters, vol. 333, no. 2, Oxford University Press, 2012, pp. 109–20, doi:10.1111/j.1574-6968.2012.02603.x.

Vanstraelen, Marleen, and Eva Benková. “Hormonal Interactions in the Regulation of Plant Development.”10.1146/annurev-cellbio-101011-155741__Annual Review of Cell and Developmental Biology, vol. 28, Annual Reviews, 2012, pp. 463–87, doi:10.1146/annurev-cellbio-101011-155741.

Bielach, Agnieszka, et al. “Spatiotemporal Regulation of Lateral Root Organogenesis in Arabidopsis by Cytokinin.”10.1105/tpc.112.103044__The Plant Cell, vol. 24, no. 10, American Society of Plant Biologists, 2012, pp. 3967–81, doi:10.1105/tpc.112.103044.

Soylemez, Onuralp, and Fyodor Kondrashov. “Estimating the Rate of Irreversibility in Protein Evolution.”10.1093/gbe/evs096__Genome Biology and Evolution, vol. 4, no. 12, Oxford University Press, 2012, pp. 1213–22, doi:10.1093/gbe/evs096.

Asami, Sam, et al. “Optimal Degree of Protonation for 1H Detection of Aliphatic Sites in Randomly Deuterated Proteins as a Function of the MAS Frequency.”10.1007/s10858-012-9659-9__Journal of Biomolecular NMR, vol. 54, no. 2, Springer Nature, 2012, pp. 155–68, doi:10.1007/s10858-012-9659-9.

Tollinger, Martin, et al. “Site-Resolved Measurement of Microsecond-to-Millisecond Conformational-Exchange Processes in Proteins by Solid-State NMR Spectroscopy.”10.1021/ja303591y__Journal of the American Chemical Society, vol. 134, no. 36, American Chemical Society, 2012, pp. 14800–07, doi:10.1021/ja303591y.

Rennella, Enrico, et al. “Real-Time NMR Characterization of Structure and Dynamics in a Transiently Populated Protein Folding Intermediate.”10.1021/ja302598j__Journal of the American Chemical Society, vol. 134, no. 19, American Chemical Society, 2012, pp. 8066–69, doi:10.1021/ja302598j.

Huber, Matthias, et al. “A Supplementary Coil for 2H Decoupling with Commercial HCN MAS Probes.”10.1016/j.jmr.2011.10.010__Journal of Magnetic Resonance, vol. 214, Elsevier, 2012, pp. 76–80, doi:10.1016/j.jmr.2011.10.010.

Kaloshin, Vadim, and Maria Saprykina. “An Example of a Nearly Integrable Hamiltonian System with a Trajectory Dense in a Set of Maximal Hausdorff Dimension.”10.1007/s00220-012-1532-x__Communications in Mathematical Physics, vol. 315, no. 3, Springer Nature, 2012, pp. 643–97, doi:10.1007/s00220-012-1532-x.

Povolotskaya, Inna, et al. “Stop Codons in Bacteria Are Not Selectively Equivalent.”10.1186/1745-6150-7-30__Biology Direct, vol. 7, BioMed Central, 2012, doi:10.1186/1745-6150-7-30.

Breen, Michael, et al. “Epistasis as the Primary Factor in Molecular Evolution.”10.1038/nature11510__Nature, vol. 490, no. 7421, Nature Publishing Group, 2012, pp. 535–38, doi:10.1038/nature11510.

Theurkauff, I., et al. “Dynamic Clustering in Active Colloidal Suspensions with Chemical Signaling.”10.1103/physrevlett.108.268303__Physical Review Letters, vol. 108, no. 26, 268303, American Physical Society , 2012, doi:10.1103/physrevlett.108.268303.

Higginbotham, Andrew P., et al. “Identifying and Evaluating Organic Nonlinear Optical Materials via Molecular Moments.”10.1063/1.3678593__Journal of Applied Physics, vol. 111, no. 3, 033512, American Institute of Physics, 2012, doi:10.1063/1.3678593.

Muller, Caroline J., and Isaac M. Held. “Detailed Investigation of the Self-Aggregation of Convection in Cloud-Resolving Simulations.”10.1175/jas-d-11-0257.1__Journal of the Atmospheric Sciences, vol. 69, no. 8, American Meteorological Society, 2012, pp. 2551–65, doi:10.1175/jas-d-11-0257.1.

Ibarra, Christian A., et al. “Active DNA Demethylation in Plant Companion Cells Reinforces Transposon Methylation in Gametes.”10.1126/science.1224839__Science, vol. 337, no. 6100, American Association for the Advancement of Science, 2012, pp. 1360–64, doi:10.1126/science.1224839.

Coleman-Derr, D., and Daniel Zilberman. “DNA Methylation, A.Z, and the Regulation of Constitutive Expression.”10.1101/sqb.2012.77.014944__Cold Spring Harbor Symposia on Quantitative Biology, vol. 77, Cold Spring Harbor Laboratory Press, 2012, pp. 147–54, doi:10.1101/sqb.2012.77.014944.

Konrad, Matthias, et al. “Social Transfer of Pathogenic Fungus Promotes Active Immunisation in Ant Colonies.”10.1371/journal.pbio.1001300__PLoS Biology, vol. 10, no. 4, e1001300, Public Library of Science, 2012, doi:10.1371/journal.pbio.1001300.

Konrad, Matthias, et al. Data from: Social Transfer of Pathogenic Fungus Promotes Active Immunisation in Ant Colonies. Dryad, 2012, doi:10.5061/dryad.sv37s.

Aeschbacher, Simon, et al. Data from: Approximate Bayesian Computation for Modular Inference Problems with Many Parameters: The Example of Migration Rates. Dryad, 2012, doi:10.5061/dryad.274b1.

Tragust, Simon, et al. Data from: Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison. Dryad, 2012, doi:10.5061/dryad.61649.

Kaloshin, Vadim, and O. S. KOZLOVSKI. “A Cr Unimodal Map with an Arbitrary Fast Growth of the Number of Periodic Points.”10.1017/s0143385710000817__Ergodic Theory and Dynamical Systems, vol. 32, no. 1, Cambridge University Press, 2012, pp. 159–65, doi:10.1017/s0143385710000817.

Albouy, Alain, and Vadim Kaloshin. “Finiteness of Central Configurations of Five Bodies in the Plane.”10.4007/annals.2012.176.1.10__Annals of Mathematics, vol. 176, no. 1, Princeton University Press, 2012, pp. 535–88, doi:10.4007/annals.2012.176.1.10.

Kondrashov, Fyodor. “Gene Duplication as a Mechanism of Genomic Adaptation to a Changing Environment.”10.1098/rspb.2012.1108__Proceedings of the Royal Society of London Series B Biological Sciences, vol. 279, no. 1749, Royal Society, The, 2012, pp. 5048–57, doi:10.1098/rspb.2012.1108.

Palacci, Jérémie A., et al. “Osmotic Traps for Colloids and Macromolecules Based on Logarithmic Sensing in Salt Taxis.”10.1039/c1sm06395b__Soft Matter, vol. 8, no. 4, Royal Society of Chemistry, 2012, pp. 980–94, doi:10.1039/c1sm06395b.

Hannezo, Edouard B., et al. “Mechanical Instabilities of Biological Tubes.”10.1103/PhysRevLett.109.018101__Physical Review Letters, vol. 109, no. 1, American Physical Society, 2012, doi:10.1103/PhysRevLett.109.018101.

Kim, Sang Yeol, et al. “EM and PR Cooperate to Repress Key Regulators of Arabidopsis Development.”10.1371/journal.pgen.1002512__PLoS Genetics, vol. 8, no. 3, e1002512, Public Library of Science, 2012, doi:10.1371/journal.pgen.1002512.

Coleman-Derr, Devin, and Daniel Zilberman. “Deposition of Histone Variant A.Z within Gene Bodies Regulates Responsive Genes.”10.1371/journal.pgen.1002988__PLoS Genetics, vol. 8, no. 10, e1002988, Public Library of Science, 2012, doi:10.1371/journal.pgen.1002988.

Huff, Jason T., and Daniel Zilberman. “Regulation of Biological Accuracy, Precision, and Memory by Plant Chromatin Organization.”10.1016/j.gde.2012.01.007__Current Opinion in Genetics and Development, vol. 22, no. 2, Elsevier, 2012, pp. 132–38, doi:10.1016/j.gde.2012.01.007.

Bieri, Samuel, et al. “Paired Chiral Spin Liquid with a Fermi Surface in S=1 Model on the Triangular Lattice.”10.1103/PhysRevB.86.224409__Physical Review B - Condensed Matter and Materials Physics, vol. 86, no. 22, American Physical Society, 2012, doi:10.1103/PhysRevB.86.224409.

Lohse, Konrad, et al. “A Likelihood Based Comparison of Population Histories in a Parasitoid Guild.”10.1111/j.1365-294X.2012.05700.x__Molecular Ecology, vol. 21, no. 18, Wiley-Blackwell, 2012, pp. 4605–17, doi:10.1111/j.1365-294X.2012.05700.x.

Lohse, Konrad, et al. Data from: A Likelihood-Based Comparison of Population Histories in a Parasitoid Guild. Dryad, 2012, doi:10.5061/DRYAD.0G0FS.

Chovnik, Olga, et al. “Dynamically Self-Assembling Carriers Enable Guiding of Diamagnetic Particles by Weak Magnets.”10.1021/ja309633v__Journal of the American Chemical Society, vol. 134, no. 48, American Chemical Society, 2012, pp. 19564–67, doi:10.1021/ja309633v.

Ridelman, Yonatan, et al. “Metallic Nanobowls by Galvanic Replacement Reaction on Heterodimeric Nanoparticles.”10.1002/smll.201101882__Small, vol. 8, no. 5, Wiley, 2012, pp. 654–60, doi:10.1002/smll.201101882.

Bouajjani, Ahmed, et al. “Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data.”10.1007/978-3-642-33386-6_14__Automated Technology for Verification and Analysis, vol. 7561, Springer, 2012, pp. 167–82, doi:10.1007/978-3-642-33386-6_14.

Chatterjee, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.”10.1007/978-3-642-33090-2_27__Algorithms – ESA 2012, vol. 7501, Springer, 2012, pp. 301–12, doi:10.1007/978-3-642-33090-2_27.

Grebenshchikov, Sergey, et al. “HSF(C): A Software Verifier Based on Horn Clauses.”10.1007/978-3-642-28756-5_46__Tools and Algorithms for the Construction and Analysis of Systems, edited by Cormac Flanagan and Barbara König, vol. 7214, Springer, 2012, pp. 549–51, doi:10.1007/978-3-642-28756-5_46.

Gupta, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof Reduction.”10.1007/978-3-642-33386-6_10__Automated Technology for Verification and Analysis, vol. 7561, Springer Berlin Heidelberg, 2012, pp. 107–21, doi:10.1007/978-3-642-33386-6_10.

Zufferey, Damien, et al. Ideal Abstractions for Well Structured Transition Systems. Vol. 7148, Springer, 2012, pp. 445–60, doi:10.1007/978-3-642-27940-9_29.

Diaz Jr, Luis, et al. “The Molecular Evolution of Acquired Resistance to Targeted EGFR Blockade in Colorectal Cancers.”10.1038/nature11219__Nature, vol. 486, no. 7404, Nature Publishing Group, 2012, pp. 537–40, doi:10.1038/nature11219.

Chatterjee, Krishnendu, et al. “Evolutionary Dynamics of Biological Auctions.”10.1016/j.tpb.2011.11.003__Theoretical Population Biology, vol. 81, no. 1, Academic Press, 2012, pp. 69–80, doi:10.1016/j.tpb.2011.11.003.

Kim, Sooyun, et al. “Active Dendrites Support Efficient Initiation of Dendritic Spikes in Hippocampal C Pyramidal Neurons.”10.1038/nn.3060__Nature Neuroscience, vol. 15, no. 4, Nature Publishing Group, 2012, pp. 600–06, doi:10.1038/nn.3060.

Kim, Sooyun. Active Properties of Hippocampal C Pyramidal Neuron Dendrites. Institute of Science and Technology Austria, 2012.

Barone, Vanessa, and Carl-Philipp J. Heisenberg. “Cell Adhesion in Embryo Morphogenesis.”10.1016/j.ceb.2011.11.006__Current Opinion in Cell Biology, vol. 24, no. 1, Elsevier, 2012, pp. 148–53, doi:10.1016/j.ceb.2011.11.006.

Ibarra, Christian A., et al. “Active DNA Demethylation in Plant Companion Cells Reinforces Transposon Methylation in Gametes.”10.1126/science.1224839__Science, vol. 337, no. 6100, American Association for the Advancement of Science, 2012, pp. 1360–64, doi:10.1126/science.1224839.

Pausinger, Florian. “Elementary Solutions of the Bernstein Problem on Two Intervals.” Journal of Mathematical Physics, Analysis, Geometry, vol. 8, no. 1, B. Verkin Institute for Low Temperature Physics and Engineering, 2012, pp. 63–78.

Yu, Jihun, et al. “Explicit Mesh Surfaces for Particle Based Fluids.”10.1111/j.1467-8659.2012.03062.x__Computer Graphics Forum, vol. 31, no. 2, Wiley, 2012, pp. 815–24, doi:10.1111/j.1467-8659.2012.03062.x.

Danowski, Patrick. “Die Zeit des Abwartens ist vorbei!” BuB - Forum Bibliothek und Information, vol. 64, no. 4, Fachzeitschrift des BIB – Berufsverband Information Bibliothek, 2012, p. 284.