Kiltz, Eike, and Krzysztof Z. Pietrzak. On the Security of Padding Based Encryption Schemes Why We Cannot Prove OAEP Secure in the Standard Model. Vol. 5479, Springer, 2009, pp. 389–406, doi:10.1007/978-3-642-01001-9_23.

Pietrzak, Krzysztof Z. A Leakage Resilient Mode of Operation. Vol. 5479, Springer, 2009, pp. 462–82, doi:10.1007/978-3-642-01001-9_27.

Weissman, Daniel, et al. “The Rate at Which Asexual Populations Cross Fitness Valleys.”10.1016/j.tpb.2009.02.006__Theoretical Population Biology, vol. 75, no. 4, Academic Press, 2009, pp. 286–300, doi:10.1016/j.tpb.2009.02.006.

Cabot, Andreu, et al. “Reaction Regimes on the Synthesis of Hollow Particles by the Kirkendall Effect.”10.1021/ja903751p__Journal of the American Chemical Society, vol. 131, no. 32, ACS, 2009, pp. 11326–28, doi:10.1021/ja903751p.

Szymczak, Piotr, and Harald L. Janovjak. “Periodic Forces Trigger a Complex Mechanical Response in Ubiquitin.”10.1016/j.jmb.2009.04.071__Journal of Molecular Biology, vol. 390, no. 3, Elsevier, 2009, pp. 443–56, doi:10.1016/j.jmb.2009.04.071.

Bollenbach, Mark Tobias, and Roy Kishony. “Hydroxyurea Triggers Cellular Responses That Actively Cause Bacterial Cell Death.”10.1016/j.molcel.2009.11.027__Molecular Cell, vol. 36, no. 5, Cell Press, 2009, pp. 728–29, doi:10.1016/j.molcel.2009.11.027.

Chatterjee, Krishnendu, and Thomas A. Henzinger. Probabilistic Systems with Limsup and Liminf Objectives. Vol. 5489, Springer, 2009, pp. 32–45, doi:10.1007/978-3-642-03092-5_4.

Blaschko, Matthew, et al. “Semi-Supervised Analysis of Human FMRI Data.” BBCI: Berlin Brain-Computer Interface Workshop - Advances in Neurotechnology, Berlin Institute of Technology, 2009.

Blaschko, Matthew, and Christoph Lampert. Object Localization with Global and Local Context Kernels. BMVA Press, 2009, pp. 1–11, doi:10.5244/C.23.63.

Lampert, Christoph, et al. Learning to Detect Unseen Object Classes by Between-Class Attribute Transfer. IEEE, 2009, pp. 951–58, doi:10.1109/CVPR.2009.5206594.

Lampert, Christoph, and Jan Peters. Active Structured Learning for High-Speed Object Detection. Vol. 5748, Springer, 2009, pp. 221–31, doi:10.1007/978-3-642-03798-6_23.

Lampert, Christoph, and Jan Peters. “A High-Speed Object Tracker from off-the-Shelf Components.” ICCV: International Conference on Computer Vision, IEEE, 2009.

Tkadik, Gasper, et al. “Optimizing Information Flow in Small Genetic Networks.”10.1103/PhysRevE.80.031920__Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 80, no. 3, American Institute of Physics, 2009, doi:10.1103/PhysRevE.80.031920.

Kryazhimskiy, Sergey, et al. “The Dynamics of Adaptation on Correlated Fitness Landscapes.”10.1073/pnas.0905497106__PNAS, vol. 106, no. 44, National Academy of Sciences, 2009, pp. 18638–43, doi:10.1073/pnas.0905497106.

Tkadik, Gasper, et al. “Spin Glass Models for a Network of Real Neurons.” ArXiv, vol. q-NC, ArXiv, 2009.

Tkadik, Gasper, and William Bialek. “Cell Biology: Networks, Regulation, Pathways.”10.1007/978-0-387-30440-3_48__Encyclopedia of Complexity and Systems Science, edited by R. Meyers, Springer, 2009, pp. 719–41, doi:10.1007/978-0-387-30440-3_48.

Wojtan, Chris, et al. “Deforming Meshes That Split and Merge.”10.1145/1531326.1531382__ACM Transactions on Graphics, vol. 28, no. 3, ACM, 2009, doi:10.1145/1531326.1531382.

Kupczok, Anne, and Arndt Von Haeseler. “Comment on ‘A Congruence Index for Testing Topological Similarity between Trees’.”4199__Bioinformatics, vol. 25, no. 1, Oxford University Press, 2009, pp. 147–49, doi:4199.

Davison, Angus, et al. “The Effect of Chirality Phenotype and Genotype on the Fecundity and Viability of Partula Suturalis and Lymnaea Stagnalis: Implications for the Evolution of Sinistral Snails.”10.1111/j.1420-9101.2009.01770.x__Journal of Evolutionary Biology, vol. 22, no. 8, Wiley, 2009, pp. 1624–35, doi:10.1111/j.1420-9101.2009.01770.x.

Schwenk, Jochen, et al. “Functional Proteomics Identify Cornichon Proteins as Auxiliary Subunits of AMPA Receptors.”10.1126/science.1167852__Science, vol. 323, no. 5919, American Association for the Advancement of Science, 2009, pp. 1313–19, doi:10.1126/science.1167852.

Didier, Frédéric, et al. Fast Adaptive Uniformization of the Chemical Master Equation. Vol. 4, no. 6, IEEE, 2009, pp. 118–27, doi:10.1109/HiBi.2009.23.

Henzinger, Thomas A., et al. Formalisms for Specifying Markovian Population Models. Vol. 5797, Springer, 2009, pp. 3–23, doi:10.1007/978-3-642-04420-5_2.

Henzinger, Thomas A., et al. Distributed, Modular HTL. IEEE, 2009, pp. 171–80, doi:10.1109/RTSS.2009.9.

Chatterjee, Krishnendu, et al. Probabilistic Weighted Automata. Vol. 5710, Springer, 2009, pp. 244–58, doi:10.1007/978-3-642-04081-8_17.

Chatterjee, Krishnendu, et al. “Finitary Winning in Omega-Regular Games.”10.1145/1614431.1614432__ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1, 1, ACM, 2009, doi:10.1145/1614431.1614432.

Chatterjee, Krishnendu, et al. “Qualitative Logics and Equivalences for Probabilistic Systems.”10.2168/LMCS-5(2:7)2009__Logical Methods in Computer Science, vol. 5, no. 2, International Federation of Computational Logic, 2009, doi:10.2168/LMCS-5(2:7)2009.

Cremer, Sylvia, and Michael K. Sixt. “Analogies in the Evolution of Individual and Social Immunity.”10.1098/rstb.2008.0166__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 364, no. 1513, Royal Society, The, 2009, pp. 129–42, doi:10.1098/rstb.2008.0166.

Lämmermann, Tim, et al. “Cd-Dependent Leading Edge Coordination Is Essential for Interstitial Dendritic Cell Migration (Plenary Paper).”10.1182/blood-2008-11-191882__Blood, vol. 113, no. 23, American Society of Hematology, 2009, pp. 5703–10, doi:10.1182/blood-2008-11-191882.

Bauer, Martina, et al. “Integrins Differentially Control Extravasation of Inflammatory Cell Subsets into the CNS during Autoimmunity.”10.1073/pnas.0808909106__PNAS, vol. 106, no. 6, National Academy of Sciences, 2009, pp. 1920–25, doi:10.1073/pnas.0808909106.

Quast, Thomas, et al. “Cytohesin-1 Controls the Activation of RhoA and Modulates Integrin-Dependent Adhesion and Migration of Dendritic Cells.”10.1182/blood-2008-08-176123__Blood, vol. 113, no. 23, American Society of Hematology, 2009, pp. 5801–10, doi:10.1182/blood-2008-08-176123.

Polechova, Jitka, et al. “Species’ Range: Adaptation in Space and Time.”10.1086/605958__American Naturalist, vol. 174, no. 5, University of Chicago Press, 2009, pp. 6–204, doi:10.1086/605958.

Soete, Gwen, and Carl-Philipp J. Heisenberg. “The Role of the Extracellular Matrix in Kupffer’s Vesicle Formation in Zebrafish.”10.1016/j.mod.2009.06.391__Mechanisms of Development, vol. 126, Elsevier, 2009, pp. 8–8, doi:10.1016/j.mod.2009.06.391.

Oates, Andrew, et al. “Quantitative Approaches in Developmental Biology.”10.1038/nrg2548__Nature Reviews Genetics, vol. 10, no. 8, Nature Publishing Group, 2009, pp. 517–30, doi:10.1038/nrg2548.

Kai, Masatake, et al. “Regulation of Planar Cell Polarity Signalling by the Prenylation Pathway.”10.1016/j.mod.2009.06.269__Mechanisms of Development, vol. 126, no. Supplement 1, Elsevier, 2009, pp. 2–2, doi:10.1016/j.mod.2009.06.269.

Swoboda, Jonathan, et al. “Discovery of a Small Molecule That Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus Aureus.”10.1021/cb900151k__ACS Chemical Biology, vol. 4, no. 10, American Chemical Society, 2009, pp. 875–83, doi:10.1021/cb900151k.

Bollenbach, Tobias, et al. “Nonoptimal Microbial Response to Antibiotics Underlies Suppressive Drug Interactions.”10.1016/j.cell.2009.10.025__Cell, vol. 139, no. 4, Cell Press, 2009, pp. 707–18, doi:10.1016/j.cell.2009.10.025.

Barton, Nicholas H., and Maria De Cara. “The Evolution of Strong Reproductive Isolation.”10.1111/j.1558-5646.2009.00622.x__Evolution; International Journal of Organic Evolution, vol. 63, no. 5, Wiley, 2009, pp. 1171–90, doi:10.1111/j.1558-5646.2009.00622.x.

Seghir, Mohamed, et al. Abstraction Refinement for Quantified Array Assertions. Springer, 2009, pp. 3–18, doi:1556.

Titapiwatanakun, Boosaree, et al. “ABC PG Stabilises PIN1 in Membrane Microdomains in Arabidopsis.”10.1111/j.1365-313X.2008.03668.x__Plant Journal, vol. 57, no. 1, Wiley-Blackwell, 2009, pp. 27–44, doi:10.1111/j.1365-313X.2008.03668.x.

Pernisová, Markéta, et al. “Cytokinins Modulate Auxin Induced Organogenesis in Plants via Regulation of the Auxin Efflux.”10.1073/pnas.0811539106__PNAS, vol. 106, no. 9, National Academy of Sciences, 2009, pp. 3609–14, doi:10.1073/pnas.0811539106.

Rfeidka, Kamil, et al. “Cytokinin Regulates Root Meristem Activity via Modulation of the Polar Auxin Transport.”10.1073/pnas.0900060106__PNAS, vol. 106, no. 11, National Academy of Sciences, 2009, pp. 4284–89, doi:10.1073/pnas.0900060106.

Tanaka, Hirokazu, et al. “Fluorescence Imaging Based Screen Identifies ARF GEF Component of Early Endosomal Trafficking.”10.1016/j.cub.2009.01.057__Current Biology, vol. 19, no. 5, Cell Press, 2009, pp. 391–97, doi:10.1016/j.cub.2009.01.057.

Robert, Hélène, and Jií Friml. “Auxin and Other Signals on the Move in Plants.”10.1038/nchembio.170__Nature Chemical Biology, vol. 5, no. 5, Nature Publishing Group, 2009, pp. 325–32, doi:10.1038/nchembio.170.

Vanneste, Steffen, and Jií Friml. “Auxin: A Trigger for Change in Plant Development.”10.1016/j.cell.2009.03.001__Cell, vol. 136, no. 6, Cell Press, 2009, pp. 1005–16, doi:10.1016/j.cell.2009.03.001.

Weijers, Dolf, and Jií Friml. “SnapShot: Auxin Signaling and Transport.”10.1016/j.cell.2009.03.009__Cell, vol. 136, no. 6, Cell Press, 2009, pp. 1172–1172, doi:10.1016/j.cell.2009.03.009.

Benková, Eva, et al. “A Morphogenetic Trigger: Is There an Emerging Concept in Plant Developmental Biology?”10.1016/j.tplants.2009.01.006__Trends in Plant Science, vol. 14, no. 4, Cell Press, 2009, pp. 189–93, doi:10.1016/j.tplants.2009.01.006.

Kumar, M. Pawan, et al. “An Analysis of Convex Relaxations for MAP Estimation of Discrete MRFs.” Journal of Machine Learning Research, vol. 10, Microtome Publishing, 2009, pp. 71–106.

Vicente, Sara, et al. Joint Optimization of Segmentation and Appearance Models. IEEE, 2009, pp. 755–62, doi:10.1109/ICCV.2009.5459287.

Kolmogorov, Vladimir, and Akiyoshi Shioura. “New Algorithms for Convex Cost Tension Problem with Application to Computer Vision.”10.1016/j.disopt.2009.04.006__Discrete Optimization, vol. 6, no. 4, Elsevier, 2009, pp. 378–93, doi:10.1016/j.disopt.2009.04.006.

Engel, Jakob, et al. “A Single UDP Galactofuranose Transporter Is Required for Galactofuranosylation in Aspergillus Fumigatus.”10.1074/jbc.M109.070219 __Journal of Biological Chemistry, vol. 284, no. 49, American Society for Biochemistry and Molecular Biology, 2009, pp. 33859–68, doi:10.1074/jbc.M109.070219 .

Chakraborty Tuhin, Subhra, et al. “Sensory Correlates of Imaginal Conditioning in Drosophila Melanogaster.”10.1080/01677060802491559 __Journal of Neurogenetics, vol. 23, no. 1–2, Informa Healthcare, 2009, pp. 210–19, doi:10.1080/01677060802491559 .

Uhler, Caroline. “Mastitis in Dairy Production: Estimation of Sensitivity, Specificity and Disease Prevalence in the Absence of a Gold Standard.”10.1198/jabes.2009.0005__Journal of Agricultural Biological and Environmental Statistics, vol. 14, no. 1, Springer, 2009, pp. 79–98, doi:10.1198/jabes.2009.0005.

Schmalhorst, Philipp S. Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus Fumigatus. Gottfried Wilhelm Leibniz Universität Hannover, 2009, pp. 1–72.

Bollenbach, Mark Tobias, and Roy Kishony. “Quiet Gene Circuit More Fragile than Its Noisy Peer.”10.1016/j.cell.2009.10.005__Cell, vol. 139, no. 3, Cell Press, 2009, pp. 460–61, doi:10.1016/j.cell.2009.10.005.

Remy, Stefan, et al. “Activity-Dependent Control of Neuronal Output by Local and Global Dendritic Spike Attenuation.”10.1016/j.neuron.2009.01.032__Neuron, vol. 61, no. 6, Elsevier, 2009, pp. 906–16, doi:10.1016/j.neuron.2009.01.032.

Attali, Dominique, et al. “Stability and Computation of Medial Axes: A State-of-the-Art Report.”10.1007/b106657_6__Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration, Springer, 2009, pp. 109–25, doi:10.1007/b106657_6.

Barton, Nicholas H. “Why Sex and Recombination? .”10.1101/sqb.2009.74.030__Cold Spring Harbor Symposia on Quantitative Biology, vol. 74, Cold Spring Harbor Laboratory Press, 2009, pp. 187–95, doi:10.1101/sqb.2009.74.030.

Lampert, Christoph, and Matthew Blaschko. “Structured Prediction by Joint Kernel Support Estimation.”10.1007/s10994-009-5111-0__Machine Learning, vol. 77, no. 2–3, Springer, 2009, pp. 249–69, doi:10.1007/s10994-009-5111-0.

Dhillon, Paramveer, et al. Combining Appearance and Motion for Human Action Classification in Videos. no. 174, IEEE, 2009, pp. 22–29, doi:10.1109/CVPRW.2009.5204237.

Lampert, Christoph, et al. “Efficient Subwindow Search: A Branch and Bound Framework for Object Localization.”10.1109/TPAMI.2009.144__IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 31, no. 12, IEEE, 2009, pp. 2129–42, doi:10.1109/TPAMI.2009.144.

Dhillon, Paramveer, et al. Combining Appearance and Motion for Human Action Classification in Videos. IEEE, 2009, pp. 22–29, doi:10.1109/CVPRW.2009.5204237.

Lampert, Christoph. Kernel Methods in Computer Vision. Vol. 4, now publishers, 2009, doi:10.1561/0600000027.

Nowozin, Sebastian, and Christoph Lampert. Global Connectivity Potentials for Random Field Models. IEEE, 2009, pp. 818–25, doi:10.1109/CVPR.2009.5206567.

Lampert, Christoph. Detecting Objects in Large Image Collections and Videos by Efficient Subimage Retrieval. IEEE, 2009, pp. 987–94, doi:10.1109/ICCV.2009.5459359.

Tkadik, Gasper, and William Bialek. “Diffusion, Dimensionality, and Noise in Transcriptional Regulation.”10.1103/PhysRevE.79.051901__Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 79, no. 5, American Institute of Physics, 2009, doi:10.1103/PhysRevE.79.051901.

Barton, Nicholas H., and Jason Coe. “On the Application of Statistical Physics to Evolutionary Biology.”10.1016/j.jtbi.2009.03.019__Journal of Theoretical Biology, vol. 259, no. 2, Elsevier, 2009, pp. 317–24, doi:10.1016/j.jtbi.2009.03.019.

Tripakis, Stavros, et al. “On Relational Interfaces.”10.1145/1629335.1629346__EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76, doi:10.1145/1629335.1629346.

Bloem, Roderick, et al. Synthesizing Robust Systems. Springer, 2009, pp. 85–92, doi:10.1109/FMCAD.2009.5351139.

Renkawitz, Jörg, et al. “Adaptive Force Transmission in Amoeboid Cell Migration.”10.1038/ncb1992__Nature Cell Biology, vol. 11, no. 12, Nature Publishing Group, 2009, pp. 1438–43, doi:10.1038/ncb1992.

Schymeinsky, Jürgen, et al. “A Fundamental Role of MAb in Neutrophils: Impact on ;2(2) Integrin-Mediated Phagocytosis and Adhesion in Vivo.”10.1182/blood-2009-02-206169__Blood, vol. 114, no. 19, American Society of Hematology, 2009, pp. 4209–20, doi:10.1182/blood-2009-02-206169.

Wolf, Anna, et al. “The Sphingosine 1-Phosphate Receptor Agonist F Potently Inhibits Regulatory T Cell Proliferation in Vitro and in Vivo.”10.4049/jimmunol.0901011__Journal of Immunology, vol. 183, no. 6, American Association of Immunologists, 2009, pp. 3751–60, doi:10.4049/jimmunol.0901011.

Pflicke, Holger, and Michael K. Sixt. “Preformed Portals Facilitate Dendritic Cell Entry into Afferent Lymphatic Vessels.”10.1084/jem.20091739__The Journal of Experimental Medicine, vol. 206, no. 13, Rockefeller University Press, 2009, pp. 2925–35, doi:10.1084/jem.20091739.

Moser, Markus, et al. “Kindlin-3 Is Required for10.1038/nm.1921__Integrin-Mediated Leukocyte Adhesion to Endothelial Cells.”10.1038/nm.1921__Nature Medicine, vol. 15, no. 3, Nature Publishing Group, 2009, pp. 300–05, doi:10.1038/nm.1921.

Lämmermann, Tim, and Michael K. Sixt. “Mechanical Modes of ‘amoeboid’ Cell Migration.”10.1016/j.ceb.2009.05.003__Current Opinion in Cell Biology, vol. 21, no. 5, Elsevier, 2009, pp. 636–44, doi:10.1016/j.ceb.2009.05.003.

Edelsbrunner, Herbert, and John Harer. The Persistent Morse Complex Segmentation of a 3-Manifold. Vol. 5903, Springer, 2009, pp. 36–50, doi:10.1007/978-3-642-10470-1_4.

Cohen Steiner, David, et al. “Extending Persistence Using Poincare and Lefschetz Duality.”10.1007/s10208-008-9027-z__Foundations of Computational Mathematics, vol. 9, no. 1, Springer, 2009, pp. 79–103, doi:10.1007/s10208-008-9027-z.

Cohen Steiner, David, et al. Persistent Homology for Kernels, Images, and Cokernels. SIAM, 2009, pp. 1011–20.

Ulrich, Florian, and Carl-Philipp J. Heisenberg. “Trafficking and Cell Migration.”10.1111/j.1600-0854.2009.00929.x__Traffic, vol. 10, no. 7, Wiley-Blackwell, 2009, pp. 811–18, doi:10.1111/j.1600-0854.2009.00929.x.

Oteíza, Pablo, et al. “Linking Organ Formation to Left-Right Patterning in the Embryonic Zebrafish.”10.1016/j.mod.2009.06.970__Mechanisms of Development, vol. 126, no. Supplement 1, Elsevier, 2009, pp. –, doi:10.1016/j.mod.2009.06.970.

Oteíza, Pablo, et al. “Wnt11/Pk1a-Mediated Planar Cell Polarity Signalling Orchestrates Epithelial Organ Morphogenesis by Regulating N-Cadherin Dependent Cell Adhesion Forces.”10.1016/j.mod.2009.06.098__Mechanisms of Development, vol. 126, no. Supplement 1, Elsevier, 2009, pp. –, doi:10.1016/j.mod.2009.06.098.

Paluch, Ewa, and Carl-Philipp J. Heisenberg. “Biology and Physics of Cell Shape Changes in Development.”10.1016/j.cub.2009.07.029__Current Biology, vol. 19, no. 17, Cell Press, 2009, pp. 0–99, doi:10.1016/j.cub.2009.07.029.

Paluch, Ewa, and Carl-Philipp J. Heisenberg. “Chaos Begets Order: Asynchronous Cell Contractions Drive Epithelial Morphogenesis.”10.1016/j.devcel.2008.12.011__Developmental Cell, vol. 16, no. 1, Cell Press, 2009, pp. 4–6, doi:10.1016/j.devcel.2008.12.011.

Heisenberg, Carl-Philipp J. “Dorsal Closure in Drosophila: Cells Cannot Get out of the Tight Spot.”10.1002/bies.200900109__Bioessaysf: News and Reviews in Molecular, Cellular and Developmental Biology, vol. 31, no. 12, Wiley-Blackwell, 2009, pp. 1284–87, doi:10.1002/bies.200900109.

Carvalho, Lara, et al. “Control of Convergent Yolk Syncytial Layer Nuclear Movement in Zebrafish.”10.1242/dev.026922__Development, vol. 136, no. 8, Company of Biologists, 2009, pp. 1305–15, doi:10.1242/dev.026922.

Barton, Nicholas H., and Harold De Vladar. “Statistical Mechanics and the Evolution of Polygenic Quantitative Traits.”10.1534/genetics.108.099309__Genetics, vol. 181, no. 3, Genetics Society of America, 2009, pp. 997–1011, doi:10.1534/genetics.108.099309.

de Vladar, Harold. Stochasticity and Variability in the Dynamics and Genetics of Populations. Faculty of mathematical and natural sciences, University of Groningen, 2009, doi:3811.

Bollback, Jonathan P., and John Huelsenbeck. “Parallel Genetic Evolution within and between Bacteriophage Species of Varying Degrees of Divergence.”10.1534/genetics.107.085225__Genetics, vol. 181, no. 1, Genetics Society of America, 2009, pp. 225–34, doi:10.1534/genetics.107.085225.

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.