Bansal, Kshitij, et al. Structural Counter Abstraction. Edited by Nir Piterman and Scott Smolka, vol. 7795, Springer, 2013, pp. 62–77, doi:10.1007/978-3-642-36742-7_5.

Zagorsky, Benjamin, et al. “Forgiver Triumphs in Alternating Prisoner’s Dilemma .”10.1371/journal.pone.0080814__PLoS One, vol. 8, no. 12, e80814, Public Library of Science, 2013, doi:10.1371/journal.pone.0080814.

Reiter, Johannes, et al. “The Effect of One Additional Driver Mutation on Tumor Progression.”10.1111/eva.12020__Evolutionary Applications, vol. 6, no. 1, Wiley-Blackwell, 2013, pp. 34–45, doi:10.1111/eva.12020.

Boei, Ivana, et al. “Evolutionary Dynamics of Cancer in Response to Targeted Combination Therapy.”10.7554/eLife.00747__ELife, vol. 2, e00747, eLife Sciences Publications, 2013, doi:10.7554/eLife.00747.

Reiter, Johannes, et al. “TTP: Tool for Tumor Progression.”10.1007/978-3-642-39799-8_6__Proceedings of 25th Int. Conf. on Computer Aided Verification, vol. 8044, Springer, 2013, pp. 101–06, doi:10.1007/978-3-642-39799-8_6.

Cerny, Pavol, et al. Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. Vol. 8044, Springer, 2013, pp. 951–67, doi:10.1007/978-3-642-39799-8_68.

Brázdil, Tomás, et al. “Trading Performance for Stability in Markov Decision Processes.”10.1109/LICS.2013.39__28th Annual ACM/IEEE Symposium, IEEE, 2013, pp. 331–40, doi:10.1109/LICS.2013.39.

Takhanov, Rustem, and Vladimir Kolmogorov. “Inference Algorithms for Pattern-Based CRFs on Sequence Data.” ICML’13 Proceedings of the 30th International Conference on International, vol. 28, no. 3, ML Research Press, 2013, pp. 145–53.

Remy, Estelle, et al. “ZIFL1.1 Transporter Modulates Polar Auxin Transport by Stabilizing Membrane Abundance of Multiple PINs in Arabidopsis Root Tip.”10.4161/psb.25688__Plant Signaling &; Behavior, vol. 8, no. 10, e25688, Taylor &; Francis, 2013, doi:10.4161/psb.25688.

Refardt, Dominik, et al. “Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection.”10.1098/rspb.2012.3035__Proceedings of the Royal Society of London Series B Biological Sciences, vol. 280, no. 1759, The Royal Society, 2013, doi:10.1098/rspb.2012.3035.

Refardt, Dominik, et al. Data from: Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection. Dryad, 2013, doi:10.5061/dryad.b1q2n.

Dziembowski, Stefan, et al. Proofs of Space. IST Austria, 2013.

Sari, Anela, and Angelo Cacciuto. “Mechanism of Membrane Tube Formation Induced by Adhesive Nanocomponents.”10.1103/physrevlett.109.188101__Physical Review Letters, vol. 109, no. 18, 188101, American Physical Society, 2012, doi:10.1103/physrevlett.109.188101.

Sari, Anela, and Angelo Cacciuto. “Fluid Membranes Can Drive Linear Aggregation of Adsorbed Spherical Nanoparticles.”10.1103/physrevlett.108.118101__Physical Review Letters, vol. 108, no. 11, 118101, American Physical Society, 2012, doi:10.1103/physrevlett.108.118101.

Mark, Manfred, et al. “Preparation and Spectroscopy of a Metastable Mott-Insulator State with Attractive Interactions.”10.1103/PhysRevLett.108.215302__Physical Review Letters, vol. 108, no. 21, American Physical Society, 2012, doi:10.1103/PhysRevLett.108.215302.

Polshyn, Hryhoriy, and Raffi Budakian. “Cantilever Torque Magnetometry Study of Multiply Connected BSCCO Arrays near Tc.” APS March Meeting 2012, vol. 57, no. 1, .00008, American Physical Society, 2012.

D’Angelo, Maximiliano A., et al. “A Change in Nuclear Pore Complex Composition Regulates Cell Differentiation.”10.1016/j.devcel.2011.11.021__Developmental Cell, vol. 22, no. 2, Elsevier, 2012, pp. 446–58, doi:10.1016/j.devcel.2011.11.021.

Hatch, Emily M., and Martin Hetzer. “RNP Export by Nuclear Envelope Budding.”10.1016/j.cell.2012.04.018__Cell, vol. 149, no. 4, Elsevier, 2012, pp. 733–35, doi:10.1016/j.cell.2012.04.018.

Waitukaitis, Scott R., and Heinrich Jaeger. “Solidification of a Cornstarch and Water Suspension.” Revista Cubana de Fisica, vol. 29, no. 1E, Universidad de La Habana, 2012, p. 1-1.

Dütting, Paul, et al. “Auctions with Heterogeneous Items and Budget Limits.”10.1007/978-3-642-35311-6_4__8th International Workshop on Internet and Network Economics, vol. 7695, Springer Nature, 2012, pp. 44–57, doi:10.1007/978-3-642-35311-6_4.

Ragettli, S., and Francesca Pellicciotti. “Calibration of a Physically Based, Spatially Distributed Hydrological Model in a Glacierized Basin: On the Use of Knowledge from Glaciometeorological Processes to Constrain Model Parameters.”10.1029/2011wr010559__Water Resources Research, vol. 48, no. 3, 509, American Geophysical Union, 2012, doi:10.1029/2011wr010559.

Pellicciotti, Francesca, et al. “Challenges and Uncertainties in Hydrological Modeling of Remote Hindu Kush–Karakoram–Himalayan (HKH) Basins: Suggestions for Calibration Strategies.”10.1659/mrd-journal-d-11-00092.1__Mountain Research and Development, vol. 32, no. 1, International Mountain Society, 2012, pp. 39–50, doi:10.1659/mrd-journal-d-11-00092.1.

Immerzeel, Walter Willem, et al. “Glaciers as a Proxy to Quantify the Spatial Distribution of Precipitation in the Hunza Basin.”10.1659/mrd-journal-d-11-00097.1__Mountain Research and Development, vol. 32, no. 1, International Mountain Society, 2012, pp. 30–38, doi:10.1659/mrd-journal-d-11-00097.1.

Reid, T. D., et al. “Including Debris Cover Effects in a Distributed Model of Glacier Ablation.”10.1029/2012jd017795__Journal of Geophysical Research: Atmospheres, vol. 117, no. , 105, American Geophysical Union, 2012, doi:10.1029/2012jd017795.

Beyer, Dirk, et al. “Conditional Model Checking: A Technique to Pass Information between Verifiers.”10.1145/2393596.2393664__Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, 57, ACM, 2012, doi:10.1145/2393596.2393664.

De Cataldo, Mark, et al. “Topology of Hitchin Systems and Hodge Theory of Character Varieties: The Case A 1.”10.4007/annals.2012.175.3.7__Annals of Mathematics, vol. 175, no. 3, Princeton University Press, 2012, pp. 1329–407, doi:10.4007/annals.2012.175.3.7.

Hausel, Tamás, and Christian Pauly. “Prym Varieties of Spectral Covers.”10.2140/gt.2012.16.1609__Geometry and Topology, vol. 16, no. 3, University of Warwick, 2012, pp. 1609–38, doi:10.2140/gt.2012.16.1609.

Browning, Timothy D., and Stephan Baier. “Inhomogeneous Cubic Congruences and Rational Points on Del Pezzo Surfaces.”https://doi.org/10.1515/crelle.2012.039__Journal Fur Die Reine Und Angewandte Mathematik, vol. 2013, no. 680, Walter de Gruyter, 2012, pp. 1–65, doi:https://doi.org/10.1515/crelle.2012.039.

Zhang, Jianjun, et al. “Monolithic Growth of Ultrathin Ge Nanowires on Si(001) .”10.1103/PhysRevLett.109.085502__Physical Review Letters, vol. 109, no. 8, American Physical Society, 2012, doi:10.1103/PhysRevLett.109.085502.

Lee, Eduardo, et al. “Zero-Bias Anomaly in a Nanowire Quantum Dot Coupled to Superconductors.”10.1103/PhysRevLett.109.186802__Physical Review Letters, vol. 109, no. 18, American Physical Society, 2012, doi:10.1103/PhysRevLett.109.186802.

Mongillo, Massimo, et al. “Multifunctional Devices and Logic Gates with Undoped Silicon Nanowires.”10.1021/nl300930m__Nano Letters, vol. 12, no. 6, American Chemical Society, 2012, pp. 3074–79, doi:10.1021/nl300930m.

Mlynek, Jonas, et al. “Demonstrating W-Type Entanglement of Dicke States in Resonant Cavity Quantum Electrodynamics.”10.1103/PhysRevA.86.053838__Physical Review A - Atomic, Molecular, and Optical Physics, vol. 86, no. 5, American Physical Society, 2012, doi:10.1103/PhysRevA.86.053838.

Pechal, M., et al. “Geometric Phase and Nonadiabatic Effects in an Electronic Harmonic Oscillator.”10.1103/PhysRevLett.108.170401__Physical Review Letters, vol. 108, no. 17, American Physical Society, 2012, doi:10.1103/PhysRevLett.108.170401.

Faust, Sebastian, et al. “Practical Leakage-Resilient Symmetric Cryptography.”10.1007/978-3-642-33027-8_13__10.1007/978-3-642-33027-8_13__Conference Proceedings CHES 2012, vol. 7428, Springer, 2012, pp. 213–32, doi:10.1007/978-3-642-33027-8_13.

Heyse, Stefan, et al. “Lapin: An Efficient Authentication Protocol Based on Ring-LPN.”10.1007/978-3-642-34047-5_20__10.1007/978-3-642-34047-5_20__Conference Proceedings FSE 2012, vol. 7549, Springer, 2012, pp. 346–65, doi:10.1007/978-3-642-34047-5_20.

Hairer, Martin, and Jan Maas. “A Spatial Version of the Itô-Stratonovich Correction.”10.1214/11-AOP662__Annals of Probability, vol. 40, no. 4, Institute of Mathematical Statistics, 2012, pp. 1675–714, doi:10.1214/11-AOP662.

Erbar, Matthias, and Jan Maas. “Ricci Curvature of Finite Markov Chains via Convexity of the Entropy.”10.1007/s00205-012-0554-z__Archive for Rational Mechanics and Analysis, vol. 206, no. 3, Springer, 2012, pp. 997–1038, doi:10.1007/s00205-012-0554-z.

Maas, Jan, et al. “Whitney Coverings and the Tent Spaces T 1,q (;3) for the Gaussian Measure.”10.1007/s11512-010-0143-z__Arkiv För Matematik, vol. 50, no. 2, Springer, 2012, pp. 379–95, doi:10.1007/s11512-010-0143-z.

Lemeshko, Mikhail, and Betislav Friedrich. “Interaction between Polar Molecules Subject to a Far-off-Resonant Optical Field: Entangled Dipoles up- or down-Holding Each Other.”10.1080/00268976.2012.689868__Molecular Physics, vol. 110, no. 15–16, Taylor &; Francis, 2012, pp. 1873–81, doi:10.1080/00268976.2012.689868.

Lemeshko, Mikhail, et al. “Nonadiabatic Preparation of Spin Crystals with Ultracold Polar Molecules.”10.1103/PhysRevLett.109.035301__Physical Review Letters, vol. 109, no. 3, American Physical Society, 2012, doi:10.1103/PhysRevLett.109.035301.

Alyabyshev, Sergey, et al. “Sensitive Imaging of Electromagnetic Fields with Paramagnetic Polar Molecules.”10.1103/PhysRevA.86.013409__Physical Review A - Atomic, Molecular, and Optical Physics, vol. 86, no. 1, American Physical Society, 2012, doi:10.1103/PhysRevA.86.013409.

Liang, Huixuan, et al. “A Nestin-Cre Transgenic Mouse Is Insufficient for Recombination in Early Embryonic Neural Progenitors.”10.1242/bio.20122287__Biology Open, vol. 1, no. 12, The Company of Biologists, 2012, pp. 1200–03, doi:10.1242/bio.20122287.

Preiner, Reinhold, et al. Auto Splats: Dynamic Point Cloud Visualization on the GPU. Eurographics Association, 2012, pp. 139–48, doi:10.2312/EGPGV/EGPGV12/139-148.

Auzinger, Thomas, et al. Analytic Anti-Aliasing of Linear Functions on Polytopes. Vol. 31, no. 121, Wiley-Blackwell, 2012, pp. 335–44, doi:http://dx.doi.org/10.1111/j.1467-8659.2012.03012.x.

Seiringer, Robert. “Absence of Bound States Implies Non-Negativity of the Scattering Length.”10.4171/JST/31__Journal of Spectral Theory, vol. 2, no. 3, European Mathematical Society, 2012, pp. 321–28, doi:10.4171/JST/31.

Frank, Rupert, et al. Microscopic Derivation of the Ginzburg-Landau Model. World Scientific Publishing, 2012, pp. 575–83, doi:10.1142/9789814449243_0060.

Frank, Rupert, et al. Ground State Properties of Multi-Polaron Systems. World Scientific Publishing, 2012, pp. 477–85, doi:10.1142/9789814449243_0045.

Frank, Rupert, et al. “Microscopic Derivation of Ginzburg-Landau Theory.”10.1090/S0894-0347-2012-00735-8__Journal of the American Mathematical Society, vol. 25, no. 3, American Mathematical Society, 2012, pp. 667–713, doi:10.1090/S0894-0347-2012-00735-8.

Landon, Benjamin, and Robert Seiringer. “The Scattering Length at Positive Temperature.”10.1007/s11005-012-0566-5__Letters in Mathematical Physics, vol. 100, no. 3, Springer, 2012, pp. 237–43, doi:10.1007/s11005-012-0566-5.

Jaksi, Vojkan, et al. “Quantum Hypothesis Testing and Non-Equilibrium Statistical Mechanics.”10.1142/S0129055X12300026__Reviews in Mathematical Physics, vol. 24, no. 6, World Scientific Publishing, 2012, doi:10.1142/S0129055X12300026.

Hainzl, Christian, and Robert Seiringer. “Low Density Limit of BCS Theory and Bose-Einstein Condensation of Fermion Pairs.”10.1007/s11005-011-0535-4__Letters in Mathematical Physics, vol. 100, no. 2, Springer, 2012, pp. 119–38, doi:10.1007/s11005-011-0535-4.

Frank, Rupert, et al. “Binding of Polarons and Atoms at Threshold.”10.1007/s00220-012-1436-9__Communications in Mathematical Physics, vol. 313, no. 2, Springer, 2012, pp. 405–24, doi:10.1007/s00220-012-1436-9.

Seiringer, Robert, et al. “Disordered Bose-Einstein Condensates with Interaction in One Dimension.”10.1088/1742-5468/2012/11/P11007__Journal of Statistical Mechanics Theory and Experiment, vol. 2012, no. 11, IOP Publishing Ltd., 2012, doi:10.1088/1742-5468/2012/11/P11007.

Frank, Rupert, and Robert Seiringer. “Lieb-Thirring Inequality for a Model of Particles with Point Interactions.”10.1063/1.3697416__Journal of Mathematical Physics, vol. 53, no. 9, American Institute of Physics, 2012, doi:10.1063/1.3697416.

Lieb, Élliott, and Robert Seiringer. “Further Implications of the Bessis-Moussa-Villani Conjecture.”10.1007/s10955-012-0585-8__Journal of Statistical Physics, vol. 149, no. 1, Springer, 2012, pp. 86–91, doi:10.1007/s10955-012-0585-8.

Ebersberger, Ingo, et al. “A Consistent Phylogenetic Backbone for the Fungi.”10.1093/molbev/msr285__Molecular Biology and Evolution, vol. 29, no. 5, Oxford University Press, 2012, pp. 1319–34, doi:10.1093/molbev/msr285.

Baier, Stephan, et al. “Averages of Shifted Convolutions of10.1017/S001309151100037X__(N).”10.1017/S001309151100037X__Proceedings of the Edinburgh Mathematical Society, vol. 55, no. 3, Cambridge University Press, 2012, pp. 551–76, doi:10.1017/S001309151100037X.

Browning, Timothy D., and Alan Haynes. “Incomplete Kloosterman Sums and Multiplicative Inverses in Short Intervals.” https://doi.org/10.1142/S1793042112501448__International Journal of Number Theory, vol. 9, no. 2, World Scientific Publishing, 2012, pp. 481–86, doi: https://doi.org/10.1142/S1793042112501448.

Zwiewka, Marta, and Jií Friml. “Fluorescence Imaging-Based Forward Genetic Screens to Identify Trafficking Regulators in Plants.”10.3389/fpls.2012.00097__Frontiers in Plant Science, vol. 3, no. May, 97, Frontiers Research Foundation, 2012, doi:10.3389/fpls.2012.00097.

Erdös, László. “Universality for Random Matrices and Log-Gases.” ArXiv, ArXiv, 2012.

Erdös, László. Lecture Notes on Quantum Brownian Motion. Vol. 95, Oxford University Press, 2012, pp. 3–98.

Chatterjee, Krishnendu, et al. Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives. Vol. 18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 461–73, doi:10.4230/LIPIcs.FSTTCS.2012.461.

Chatterjee, Krishnendu, et al. “Evolutionary Game Dynamics in Populations with Different Learners.”10.1016/j.jtbi.2012.02.021__Journal of Theoretical Biology, vol. 301, Elsevier, 2012, pp. 161–73, doi:10.1016/j.jtbi.2012.02.021.

Edelsbrunner, Herbert, and Nataliya Strelkova. “On the Configuration Space of Steiner Minimal Trees.”10.1070/RM2012v067n06ABEH004820__Russian Mathematical Surveys, vol. 67, no. 6, IOP Publishing Ltd., 2012, pp. 1167–68, doi:10.1070/RM2012v067n06ABEH004820.

Bielach, Agnieszka, et al. “Genetic Approach towards the Identification of Auxin - Cytokinin Crosstalk Components Involved in Root Development.”10.1098/rstb.2011.0233__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 367, no. 1595, Royal Society, The, 2012, pp. 1469–78, doi:10.1098/rstb.2011.0233.

Boker, Udi, and Thomas A. Henzinger. “Approximate Determinization of Quantitative Automata.”10.4230/LIPIcs.FSTTCS.2012.362__Leibniz International Proceedings in Informatics, vol. 18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–73, doi:10.4230/LIPIcs.FSTTCS.2012.362.

Edelsbrunner, Herbert, and Olga Symonova. The Adaptive Topology of a Digital Image. IEEE, 2012, pp. 41–48, doi:10.1109/ISVD.2012.11.

Cerny, Pavol, et al. “Interface Simulation Distances.”10.4204/EPTCS.96.3__Electronic Proceedings in Theoretical Computer Science, vol. 96, EPTCS, 2012, pp. 29–42, doi:10.4204/EPTCS.96.3.

Huber, Anna, and Vladimir Kolmogorov. Towards Minimizing K-Submodular Functions. Vol. 7422, Springer, 2012, pp. 451–62, doi:10.1007/978-3-642-32147-4_40.

Kolmogorov, Vladimir, and Thomas Schoenemann. “Generalized Sequential Tree-Reweighted Message Passing.” ArXiv, ArXiv, 2012.

Kolmogorov, Vladimir. The Power of Linear Programming for Valued CSPs: A Constructive Characterization. Unknown, 2012.

Almeida, José, et al. “Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols.”10.1145/2382196.2382249__Proceedings of the 2012 ACM Conference on Computer and Communications Security, ACM, 2012, pp. 488–500, doi:10.1145/2382196.2382249.

Chatterjee, Krishnendu, et al. “Finite Automata with Time Delay Blocks.”10.1145/2380356.2380370__Roceedings of the Tenth ACM International Conference on Embedded Software, ACM, 2012, pp. 43–52, doi:10.1145/2380356.2380370.

Hadizadeh Yazdi, Nastaran, et al. “Variation of the Folding and Dynamics of the Escherichia Coli Chromosome with Growth Conditions.”10.1111/mmi.12071__Molecular Microbiology, vol. 86, no. 6, Wiley-Blackwell, 2012, pp. 1318–33, doi:10.1111/mmi.12071.

Dolbilin, Nikolai, et al. “On the Optimality of Functionals over Triangulations of Delaunay Sets.”10.1070/RM2012v067n04ABEH004807__Russian Mathematical Surveys, vol. 67, no. 4, IOP Publishing, 2012, pp. 781–83, doi:10.1070/RM2012v067n04ABEH004807.

Dueck, Anne, et al. “MicroRNAs Associated with the Different Human Argonaute Proteins.”10.1093/nar/gks705__Nucleic Acids Research, vol. 40, no. 19, Oxford University Press, 2012, pp. 9850–62, doi:10.1093/nar/gks705.

Chatterjee, Krishnendu, et al. Equivalence of Games with Probabilistic Uncertainty and Partial Observation Games. Vol. 7561, Springer, 2012, pp. 385–99, doi:10.1007/978-3-642-33386-6_30.

Pernia-Andrade, Alejandro, et al. “A Deconvolution Based Method with High Sensitivity and Temporal Resolution for Detection of Spontaneous Synaptic Currents in Vitro and in Vivo.”10.1016/j.bpj.2012.08.039__Biophysical Journal, vol. 103, no. 7, Biophysical, 2012, pp. 1429–39, doi:10.1016/j.bpj.2012.08.039.

Allen, Kevin, et al. “Hippocampal Place Cells Can Encode Multiple Trial-Dependent Features through Rate Remapping.”10.1523/JNEUROSCI.6175-11.2012__Journal of Neuroscience, vol. 32, no. 42, Society for Neuroscience, 2012, pp. 14752–66, doi:10.1523/JNEUROSCI.6175-11.2012.

Uhler, Caroline. “Geometry of Maximum Likelihood Estimation in Gaussian Graphical Models.”10.1214/11-AOS957__Annals of Statistics, vol. 40, no. 1, Institute of Mathematical Statistics, 2012, pp. 238–61, doi:10.1214/11-AOS957.

Cremer, Sylvia, et al. “The Dynamics of Male-Male Competition in Cardiocondyla Obscurior Ants.”10.1186/1472-6785-12-7__BMC Ecology, vol. 12, 7, BioMed Central, 2012, doi:10.1186/1472-6785-12-7.

Aeschbacher, Simon, et al. “A Novel Approach for Choosing Summary Statistics in Approximate Bayesian Computation.”10.1534/genetics.112.143164__Genetics, vol. 192, no. 3, Genetics Society of America, 2012, pp. 1027–47, doi:10.1534/genetics.112.143164.

Danowski, Patrick. “Kontext Open Access: Creative Commons.” Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen &; Bibliothekare, vol. 65, no. 2, VÖB, 2012, pp. 200–12.

Jain, Abhishek, et al. Commitments and Efficient Zero Knowledge Proofs from Learning Parity with Noise. Edited by Xiaoyun Wang and Kazue Sako, vol. 7658, Springer, 2012, pp. 663–80, doi:10.1007/978-3-642-34961-4_40.

Goswami, Sarit, et al. “Miniature IPSCs in Hippocampal Granule Cells Are Triggered by Voltage-Gated Ca^(2+) Channels via Microdomain Coupling.”10.1523/JNEUROSCI.6104-11.2012__Journal of Neuroscience, vol. 32, no. 41, Society for Neuroscience, 2012, pp. 14294–304, doi:10.1523/JNEUROSCI.6104-11.2012.

Raveendran, Karthik, et al. “Controlling Liquids Using Meshes.” Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, ACM, 2012, pp. 255–64.

Bojsen-Hansen, Morten, et al. “Tracking Surfaces with Evolving Topology.”10.1145/2185520.2185549__ACM Transactions on Graphics, vol. 31, no. 4, 53, ACM, 2012, doi:10.1145/2185520.2185549.

Williams, Courtney, et al. “Coactivation of Multiple Tightly Coupled Calcium Channels Triggers Spontaneous Release of GABA.”10.1038/nn.3162__Nature Neuroscience, vol. 15, no. 9, Nature Publishing Group, 2012, pp. 1195–97, doi:10.1038/nn.3162.

Brown, Gavin, et al. “Fano 3 Folds in Codimension 4 Tom and Jerry Part I.”10.1112/S0010437X11007226__Compositio Mathematica, vol. 148, no. 4, Cambridge University Press, 2012, pp. 1171–94, doi:10.1112/S0010437X11007226.

Kolmogorov, Vladimir. “Minimizing a Sum of Submodular Functions.”10.1016/j.dam.2012.05.025__Discrete Applied Mathematics, vol. 160, no. 15, Elsevier, 2012, pp. 2246–58, doi:10.1016/j.dam.2012.05.025.

Weissman, Daniel, and Nicholas H. Barton. “Limits to the Rate of Adaptive Substitution in Sexual Populations.”10.1371/journal.pgen.1002740__PLoS Genetics, vol. 8, no. 6, e1002740, Public Library of Science, 2012, doi:10.1371/journal.pgen.1002740.

Bergmiller, Tobias, et al. “Patterns of Evolutionary Conservation of Essential Genes Correlate with Their Compensability.”10.1371/journal.pgen.1002803__PLoS Genetics, vol. 8, no. 6, e1002803, Public Library of Science, 2012, doi:10.1371/journal.pgen.1002803.

Brázdil, Brázdil, et al. Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. Vol. 7358, Springer, 2012, pp. 23–38, doi:10.1007/978-3-642-31424-7_8.

Edelsbrunner, Herbert, and Michael Kerber. “Alexander Duality for Functions: The Persistent Behavior of Land and Water and Shore.”10.1145/2261250.2261287__Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry , ACM, 2012, pp. 249–58, doi:10.1145/2261250.2261287.

Vyleta, Meghan, et al. “Suppression of Ribosomal Function Triggers Innate Immune Signaling through Activation of the NLR Inflammasome.”10.1371/journal.pone.0036044__PLoS One, vol. 7, no. 5, e36044, Public Library of Science, 2012, doi:10.1371/journal.pone.0036044.

Asarin, Eugene, et al. Parametric Identification of Temporal Properties. Vol. 7186, Springer, 2012, pp. 147–60, doi:10.1007/978-3-642-29860-8_12.

de Vladar, Harold. “Amino Acid Fermentation at the Origin of the Genetic Code.”10.1186/1745-6150-7-6__Biology Direct, vol. 7, 6, BioMed Central, 2012, doi:10.1186/1745-6150-7-6.

Chatterjee, Krishnendu, and Vishwanath Raman. Synthesizing Protocols for Digital Contract Signing. Vol. 7148, Springer, 2012, pp. 152–68, doi:10.1007/978-3-642-27940-9_11.

Chatterjee, Krishnendu, and Laurent Doyen. Games and Markov Decision Processes with Mean Payoff Parity and Energy Parity Objectives. Vol. 7119, Springer, 2012, pp. 37–46, doi:10.1007/978-3-642-25929-6_3.

Edelsbrunner, Herbert, and Michael Kerber. “Dual Complexes of Cubical Subdivisions of dn.”10.1007/s00454-011-9382-4__Discrete &; Computational Geometry, vol. 47, no. 2, Springer, 2012, pp. 393–414, doi:10.1007/s00454-011-9382-4.