Wies, Thomas, et al. Combining Theories with Shared Set Operations. Springer, 2009, pp. 366–82, doi:1558.

Singh, Vasu. “Formalizing and Verifying Transactional Memories.” Formalizing and Verifying Transactional Memories, EPFL Lausanne, 2009.

Lahiri, Shuvendu, et al. Intra-Module Inference. Springer, 2009, pp. 493–508, doi:1555.

Hoenicke, Jochen, et al. It’s Doomed; We Can Prove It. Springer, 2009, pp. 338–53, doi:1557.

Guerraoui, Rachid, et al. Software Transactional Memory on Relaxed Memory Models. Vol. 5643, Springer, 2009, pp. 321–36, doi:10.1007/978-3-642-02658-4_26.

Dragojevic, Aleksandar, et al. Preventing versus Curing: Avoiding Conflicts in Transactional Memories. ACM, 2009, pp. 7–16, doi:1533.

Lublinerman, Roberto, et al. Parallel Programming with Object Assemblies. ACM, 2009, pp. 61–80, doi:1546.

Cerny, Pavol, and Rajeev Alur. Automated Analysis of Java Methods for Confidentiality. Springer, 2009, pp. 173–87, doi:1548.

Alur, Rajeev, et al. Algorithmic Analysis of Array-Accessing Programs. Vol. 5771, Springer, 2009, pp. 86–101, doi:10.1007/978-3-642-04027-6_9.

Henzinger, Thomas A., et al. Sliding-Window Abstraction for Infinite Markov Chains. Vol. 5643, Springer, 2009, pp. 337–52, doi:10.1007/978-3-642-02658-4_27.

Didier, Frédéric, et al. Approximation of Event Probabilities in Noisy Cellular Processes. Vol. 5688, Springer, 2009, pp. 173–88, doi:10.1007/978-3-642-03845-7_12.

Chatterjee, Krishnendu, et al. Alternating Weighted Automata. Vol. 5699, Springer, 2009, pp. 3–13, doi:10.1007/978-3-642-03409-1_2.

Chatterjee, Krishnendu, et al. A Survey of Stochastic Games with Limsup and Liminf Objectives. Vol. 5556, Springer, 2009, pp. 1–15, doi:10.1007/978-3-642-02930-1_1.

Chatterjee, Krishnendu, et al. Stochastic Games with Finitary Objectives. Vol. 5734, Springer, 2009, pp. 34–54, doi:10.1007/978-3-642-03816-7_4.

Chatterjee, Krishnendu, et al. Termination Criteria for Solving Concurrent Safety and Reachability Games. SIAM, 2009, pp. 197–206, doi:10.1137/1.9781611973068.23.

Chatterjee, Krishnendu, et al. Expressiveness and Closure Properties for Quantitative Languages. IEEE, 2009, pp. 199–208, doi:10.1109/LICS.2009.16.

Bloem, Roderick, et al. Better Quality in Synthesis through Quantitative Objectives. Vol. 5643, Springer, 2009, pp. 140–56, doi:10.1007/978-3-642-02658-4_14.

Berwanger, Dietmar, et al. Alpaga: A Tool for Solving Parity Games with Imperfect Information. Vol. 5505, Springer, 2009, pp. 58–61, doi:10.1007/978-3-642-00768-2_7.

Chatterjee, Krishnendu, et al. Gist: A Solver for Probabilistic Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0003.

Chatterjee, Krishnendu, et al. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0002.

Chatterjee, Krishnendu. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria, 2009, doi:10.15479/AT:IST-2009-0004.

Chatterjee, Krishnendu, et al. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009, doi:10.15479/AT:IST-2009-0001.

Knuesel, Matthew, et al. “The Human CDK8 Subcomplex Is a Molecular Switch That Controls Mediator Coactivator Function.”10.1101/gad.1767009__Genes and Development, vol. 23, no. 4, Cold Spring Harbor Laboratory Press, 2009, pp. 439–51, doi:10.1101/gad.1767009.

Persson, Annelie, et al. “Natural Variation in a Neural Globin Tunes Oxygen Sensing in Wild Caenorhabditis Elegans.”10.1038/nature07820__Nature, vol. 458, no. 7241, Springer Nature, 2009, pp. 1030–33, doi:10.1038/nature07820.

Cohen, Merav, et al. “Coordinated Regulation of Foraging and Metabolism in C. Elegans by RFamide Neuropeptide Signaling.”10.1016/j.cmet.2009.02.003__Cell Metabolism, vol. 9, no. 4, Elsevier, 2009, pp. 375–85, doi:10.1016/j.cmet.2009.02.003.

Yang, Xiaodong, et al. “Influence of Magnetic Fields on Structural Martensitic Transitions.”10.1088/1742-6596/200/3/032062__Journal of Physics: Conference Series, vol. 200, no. 3, 032062, IOP Publishing, 2009, doi:10.1088/1742-6596/200/3/032062.

Yang, X. D., et al. “Influence of Magnetic Fields on Structural Martensitic Transitions.”10.1080/14786430902865518__Philosophical Magazine, vol. 89, no. 22–24, Taylor &; Francis, 2009, pp. 2083–91, doi:10.1080/14786430902865518.

Reum, Mathias, et al. “Measuring the Current Distribution with Sub-Millimeter Resolution in PEFCs: II. Impact of Operating Parameters.”10.1149/1.3043422__Journal of The Electrochemical Society, vol. 156, no. 3, 1, The Electrochemical Society, 2009, doi:10.1149/1.3043422.

Alistarh, Dan-Adrian, et al. Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement. Vol. 5878 LNCS, Springer, 2009, pp. 943–53, doi:10.1007/978-3-642-10631-6_95.

Robinson, Matthew Richard, et al. “The Impact of Environmental Heterogeneity on Genetic Architecture in a Wild Population of Soay Sheep.”10.1534/genetics.108.086801__Genetics, vol. 181, no. 4, Genetics Society of America, 2009, pp. 1639–48, doi:10.1534/genetics.108.086801.

Vogels, Tim P., and L. F. Abbott. “Gating Multiple Signals through Detailed Balance of Excitation and Inhibition in Spiking Networks.”10.1038/nn.2276__Nature Neuroscience, vol. 12, no. 4, Springer Nature, 2009, pp. 483–91, doi:10.1038/nn.2276.

Higginbotham, Andrew P., et al. “Generation of Mie Size Microdroplet Aerosols with Applications in Laser-Driven Fusion Experiments.”10.1063/1.3155302__Review of Scientific Instruments, vol. 80, no. 6, 063503, American Institute of Physics, 2009, doi:10.1063/1.3155302.

Serbyn, Maksym, et al. Giant Nernst Effect Due to Fluctuating Cooper Pairs in Superconductors. Vol. 1134, American Institute of Physics, 2009, pp. 140–45, doi:10.1063/1.3149485.

Gal, Maayan, et al. “An Improved Ultrafast 2D NMR Experiment: Towards Atom-Resolved Real-Time Studies of Protein Kinetics at Multi-Hz Rates.”10.1007/s10858-008-9284-9__Journal of Biomolecular NMR, vol. 43, Springer Nature, 2009, pp. 1–10, doi:10.1007/s10858-008-9284-9.

Bruschweiler, Sven, et al. “Direct Observation of the Dynamic Process Underlying Allosteric Signal Transmission.”10.1021/ja809947w__Journal of the American Chemical Society, vol. 131, no. 8, American Chemical Society, 2009, pp. 3063–68, doi:10.1021/ja809947w.

Farjon, Jonathan, et al. “Longitudinal-Relaxation-Enhanced NMR Experiments for the Study of Nucleic Acids in Solution.”10.1021/ja901633y__Journal of the American Chemical Society, vol. 131, no. 24, American Chemical Society, 2009, pp. 8571–77, doi:10.1021/ja901633y.

Amero, Carlos, et al. “Fast Two-Dimensional NMR Spectroscopy of High Molecular Weight Protein Assemblies.”10.1021/ja809880p__Journal of the American Chemical Society, vol. 131, no. 10, American Chemical Society, 2009, pp. 3448–49, doi:10.1021/ja809880p.

Schanda, Paul, et al. “Direct Detection of 3hJN’ Hydrogen-Bond Scalar Couplings in Proteins by Solid-State NMR Spectroscopy.”10.1002/anie.200904411__Angewandte Chemie International Edition, vol. 48, no. 49, Wiley, 2009, pp. 9322–25, doi:10.1002/anie.200904411.

Schanda, Paul. “Fast-Pulsing Longitudinal Relaxation Optimized Techniques: Enriching the Toolbox of Fast Biomolecular NMR Spectroscopy.”10.1016/j.pnmrs.2009.05.002__Progress in Nuclear Magnetic Resonance Spectroscopy, vol. 55, no. 3, Elsevier, 2009, pp. 238–65, doi:10.1016/j.pnmrs.2009.05.002.

Gorodetski, Anton, and Vadim Kaloshin. “Conservative Homoclinic Bifurcations and Some Applications.”10.1134/s0081543809040063__Proceedings of the Steklov Institute of Mathematics, vol. 267, no. 1, Springer Nature, 2009, pp. 76–90, doi:10.1134/s0081543809040063.

Alkalaeva, Elena, et al. “Translation Termination in Pyrrolysine-Utilizing Archaea.”10.1016/j.febslet.2009.09.044__FEBS Letters, vol. 583, no. 21, Elsevier, 2009, pp. 3455–60, doi:10.1016/j.febslet.2009.09.044.

Muller, Caroline J., et al. “A Model for the Relationship between Tropical Precipitation and Column Water Vapor.”10.1029/2009gl039667__Geophysical Research Letters, vol. 36, no. 16, L16804, American Geophysical Union, 2009, doi:10.1029/2009gl039667.

Muller, Caroline J., and Oliver Bühler. “Saturation of the Internal Tides and Induced Mixing in the Abyssal Ocean.”10.1175/2009jpo4141.1__Journal of Physical Oceanography, vol. 39, no. 9, American Meteorological Society, 2009, pp. 2077–96, doi:10.1175/2009jpo4141.1.

Hsieh, Tzung-Fu, et al. “Genome-Wide Demethylation of Arabidopsis Endosperm.”10.1126/science.1172417__Science, vol. 324, no. 5933, American Association for the Advancement of Science, 2009, pp. 1451–54, doi:10.1126/science.1172417.

Olson, Mark A., et al. “Assembly of Polygonal Nanoparticle Clusters Directed by Reversible Noncovalent Bonding Interactions.”10.1021/nl901385c__Nano Letters, vol. 9, no. 9, American Chemical Society, 2009, pp. 3185–90, doi:10.1021/nl901385c.

Klajn, Rafal, et al. “Dynamic Hook-and-Eye Nanoparticle Sponges.”10.1038/nchem.432__Nature Chemistry, vol. 1, Springer Nature, 2009, pp. 733–38, doi:10.1038/nchem.432.

Klajn, Rafal, et al. “Writing Self-Erasing Images Using Metastable Nanoparticle ‘Inks.’”10.1002/anie.200901119__Angewandte Chemie International Edition, vol. 48, no. 38, Wiley, 2009, pp. 7035–39, doi:10.1002/anie.200901119.

Browne, Kevin P., et al. “Mechanofabrication of Pancake and Rodlike Nanostructures from Deformable Nanoparticle Aggregates.”10.1002/smll.200900902__Small, vol. 5, no. 23, Wiley, 2009, pp. 2656–58, doi:10.1002/smll.200900902.

Nakanishi, Hideyuki, et al. “Photoconductance and Inverse Photoconductance in Films of Functionalized Metal Nanoparticles.”10.1038/nature08131__Nature, vol. 460, no. 7253, Springer Nature, 2009, pp. 371–75, doi:10.1038/nature08131.

Olson, Mark A., et al. “A Bistable Poly[2]Catenane Forms Nanosuperstructures.”10.1002/anie.200804558__Angewandte Chemie International Edition, vol. 48, no. 10, Wiley, 2009, pp. 1792–97, doi:10.1002/anie.200804558.

Klajn, Rafal, et al. “Metal Nanoparticles Functionalized with Molecular and Supramolecular Switches.”10.1021/ja9001585__Journal of the American Chemical Society, vol. 131, no. 12, American Chemical Society, 2009, pp. 4233–35, doi:10.1021/ja9001585.

Wesson, Paul J., et al. “‘Remote’ Fabrication via Three-Dimensional Reaction-Diffusion: Making Complex Core-and-Shell Particles and Assembling Them into Open-Lattice Crystals.”10.1002/adma.200802964__Advanced Materials, vol. 21, no. 19, Wiley, 2009, pp. 1911–15, doi:10.1002/adma.200802964.