Kolmogorov, V. (2011). Submodularity on a tree: Unifying Submodularity on a tree: Unifying L-convex and bisubmodular functions convex and bisubmodular functions (Vol. 6907, pp. 400–411). Presented at the MFCS: Mathematical Foundations of Computer Science, Springer.https://doi.org/10.1007/978-3-642-22993-0_37 

Osokin, A., Vetrov, D., &; Kolmogorov, V. (2011). Submodular decomposition framework for inference in associative Markov networks with global constraints (pp. 1889–1896). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE.https://doi.org/10.1109/CVPR.2011.5995361 

Tarlow, D., Batra, D., Kohli, P., &; Kolmogorov, V. (2011). Dynamic tree block coordinate ascent (pp. 113–120). Presented at the ICML: International Conference on Machine Learning, Omnipress.

Vicente, S., Rother, C., &; Kolmogorov, V. (2011). Object cosegmentation (pp. 2217–2224). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE.https://doi.org/10.1109/CVPR.2011.5995530 

Barak, B., Dodis, Y., Krawczyk, H., Pereira, O., Pietrzak, K. Z., Standaert, F., &; Yu, Y. (2011). Leftover hash lemma revisited (Vol. 6841, pp. 1–20). Presented at the CRYPTO: International Cryptology Conference, Springer.https://doi.org/ 10.1007/978-3-642-22792-9_1 

Gupta, A., Popeea, C., &; Rybalchenko, A. (2011). Solving recursion-free Horn clauses over LI+UIF. In H. Yang (Ed.) (Vol. 7078, pp. 188–203). Presented at the APLAS: Asian Symposium on Programming Languages and Systems, Kenting, Taiwan: Springer.https://doi.org/10.1007/978-3-642-25318-8_16 

Ion, A., Carreira, J., &; Sminchisescu, C. (2011). Probabilistic joint image segmentation and labeling. In NIPS Proceedings (Vol. 24, pp. 1827–1835). Granada, Spain: Neural Information Processing Systems Foundation.

Sheng, Y., Cutler, B., Chen, C., &; Nasman, J. (2011). Perceptual global illumination cancellation in complex projection environments. Computer Graphics Forum. Wiley-Blackwell.https://doi.org/10.1111/j.1467-8659.2011.01985.x 

Chen, C., &; Freedman, D. (2011). Hardness results for homology localization. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-010-9322-8 

Freedman, D., &; Chen, C. (2011). Algebraic topology for computer vision. In Computer Vision (pp. 239–268). Nova Science Publishers.

Smutny, M., Wu, S., Gomez, G., Mangold, S., Yap, A., &; Hamilton, N. (2011). Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0022458 

Weghuber, J., Aichinger, M., Brameshuber, M., Wieser, S., Ruprecht, V., Plochberger, B.,https://doi.org/10.1016/j.bbamem.2011.06.007__Schuetz, G. (2011). Cationic amphipathic peptides accumulate sialylated proteins and lipids in the plasma membrane of eukaryotic host cells. Biochimica et Biophysica Acta (BBA) - Biomembranes. Elsevier.https://doi.org/10.1016/j.bbamem.2011.06.007 

Ruprecht, V., Axmann, M., Wieser, S., &; Schuetz, G. (2011). What can we learn from single molecule trajectories? Current Protein &; Peptide Science. Bentham Science Publishers.https://doi.org/10.2174/138920311798841753 

Ruprecht, V., Wieser, S., Marguet, D., &; Schuetz, G. (2011). Spot variation fluorescence correlation spectroscopy allows for superresolution chronoscopy of confinement times in membranes. Biophysical Journal. Biophysical Society.https://doi.org/10.1016/j.bpj.2011.04.035 

Henzinger, T. A., Singh, A., Singh, V., Wies, T., &; Zufferey, D. (2011). Static scheduling in clouds (pp. 1–6). Presented at the HotCloud: Workshop on Hot Topics in Cloud Computing, USENIX.

Henzinger, T. A., &; Mateescu, M. (2011). Tail approximation for the chemical master equation. Presented at the WCSB: Workshop on Computational Systems Biology (TICSP), Tampere International Center for Signal Processing.

Henzinger, T. A., &; Mateescu, M. (2011). Propagation models for computing biochemical reaction networks (pp. 1–3). Presented at the CMSB: Computational Methods in Systems Biology, Paris, France: Springer.https://doi.org/10.1145/2037509.2037510 

Bloem, R., Chatterjee, K., Greimel, K., Henzinger, T. A., &; Jobstmann, B. (2011). Specification-centered robustness. In 6th IEEE International Symposium on Industrial and Embedded Systems (pp. 176–185). Vasteras, Sweden: IEEE.https://doi.org/10.1109/SIES.2011.5953660 

Eggermann, E., &; Jonas, P. M. (2011). How the “slow”https://doi.org/10.1038/nn.3002__Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses. Nature Neuroscience. Nature Publishing Group.https://doi.org/10.1038/nn.3002 

Van De Weygaert, R., Vegter, G., Edelsbrunner, H., Jones, B., Pranav, P., Park, C.,https://doi.org/10.1007/978-3-642-25249-5_3__Teillaud, M. (2011). Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web. In M. Gavrilova, K. Tan, &; M. Mostafavi (Eds.), Transactions on Computational Science XIV (Vol. 6970, pp. 60–101). Springer.https://doi.org/10.1007/978-3-642-25249-5_3 

Berberich, E., Halperin, D., Kerber, M., &; Pogalnikova, R. (2011). Deconstructing approximate offsets. In Proceedings of the twenty-seventh annual symposium on Computational geometry (pp. 187–196). Paris, France: ACM.https://doi.org/10.1145/1998196.1998225 

Kerber, M., &; Sagraloff, M. (2011). A note on the complexity of real algebraic hypersurfaces. Graphs and Combinatorics. Springer.https://doi.org/10.1007/s00373-011-1020-7 

Kerber, M., &; Sagraloff, M. (2011). Root refinement for real polynomials (pp. 209–216). Presented at the ISSAC: International Symposium on Symbolic and Algebraic Computation, California, USA: Springer.https://doi.org/10.1145/1993886.1993920 

Berberich, E., Hemmer, M., &; Kerber, M. (2011). A generic algebraic kernel for non linear geometric applications (pp. 179–186). Presented at the SCG: Symposium on Computational Geometry, Paris, France: ACM.https://doi.org/10.1145/1998196.1998224 

Edelsbrunner, H., Pach, J., &; Ziegler, G. (2011). Letter from the new editors-in-chief. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-010-9313-9 

Tripakis, S., Lickly, B., Henzinger, T. A., &; Lee, E. (2011). A theory of synchronous relational interfaces. ACM Transactions on Programming Languages and Systems (TOPLAS). ACM.https://doi.org/10.1145/1985342.1985345 

Halalai, R., Henzinger, T. A., &; Singh, V. (2011). Quantitative evaluation of BFT protocols (pp. 255–264). Presented at the QEST: Quantitative Evaluation of Systems, Aachen, Germany: IEEE.https://doi.org/10.1109/QEST.2011.40 

Chatterjee, K., &; Majumdar, R. (2011). Minimum attention controller synthesis for omega regular objectives. In U. Fahrenberg &; S. Tripakis (Eds.) (Vol. 6919, pp. 145–159). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Aalborg, Denmark: Springer.https://doi.org/10.1007/978-3-642-24310-3_11 

Chatterjee, K., Doyen, L., &; Singh, R. (2011). On memoryless quantitative objectives. In O. Owe, M. Steffen, &; J. A. Telle (Eds.) (Vol. 6914, pp. 148–159). Presented at the FCT: Fundamentals of Computation Theory, Oslo, Norway: Springer.https://doi.org/10.1007/978-3-642-22953-4_13 

Chatterjee, K., De Alfaro, L., &; Henzinger, T. A. (2011). Qualitative concurrent parity games. ACM Transactions on Computational Logic (TOCL). ACM.https://doi.org/10.1145/1970398.1970404 

Chatterjee, K., &; Fijalkow, N. (2011). A reduction from parity games to simple stochastic games (Vol. 54, pp. 74–86). Presented at the GandALF: Games, Automata, Logic, and Formal Verification, Minori, Italy: EPTCS.https://doi.org/10.4204/EPTCS.54.6 

Ibáñez, M., Fan, J., Li, W., Cadavid, D., Nafria, R., Carrete, A., &; Cabot, A. (2011). Means and limits of control of the shell parameters in hollow nanoparticles obtained by the Kirkendall effect. Chemistry of Materials. American Chemical Society.https://doi.org/10.1021/cm2006633 

Fisher, J., Harel, D., &; Henzinger, T. A. (2011). Biology as reactivity. Communications of the ACM. ACM.https://doi.org/10.1145/2001269.2001289 

Fisher, J., Henzinger, T. A., Nickovic, D., Piterman, N., Singh, A., &; Vardi, M. (2011). Dynamic reactive modules (Vol. 6901, pp. 404–418). Presented at the CONCUR: Concurrency Theory, Aachen, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-642-23217-6_27 

Chatterjee, K., Henzinger, T. A., Jobstmann, B., &; Singh, R. (2011). QUASY: quantitative synthesis tool (Vol. 6605, pp. 267–271). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Saarbrucken, Germany: Springer.https://doi.org/10.1007/978-3-642-19835-9_24 

Chen, C., &; Kerber, M. (2011). An output sensitive algorithm for persistent homology (pp. 207–216). Presented at the SoCG: Symposium on Computational Geometry, Paris, France: ACM.https://doi.org/10.1145/1998196.1998228 

Chatterjee, K., Henzinger, T. A., &; Tracol, M. (n.d.). The decidability frontier for probabilistic automata on infinite words. ArXiv.

Abbot, P., Abe, J., Alcock, J., Alizon, S., Alpedrinha, J., Andersson, M.,https://doi.org/10.1038/nature09831__Zink, A. (2011). Inclusive fitness theory and eusociality. Nature. Nature Publishing Group.https://doi.org/10.1038/nature09831 

Sixt, M. K., &; Parent, C. (2011). Cells on the move in Philadelphia. Molecular Biology and Evolution. Oxford University Press.https://doi.org/10.1091/mbc.E10-12-0958 

Tkadik, G., &; Walczak, A. (2011). Information transmission in genetic regulatory networks a review. Journal of Physics: Condensed Matter. IOP Publishing Ltd.https://doi.org/10.1088/0953-8984/23/15/153102 

Krens, G., Möllmert, S., &; Heisenberg, C.-P. J. (2011). Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1010767108 

Kupczok, A. (2011). Consequences of different null models on the tree shape bias of supertree methods. Systematic Biology. Oxford University Press.https://doi.org/10.1093/sysbio/syq086 

Pernia-Andrade, A., &; Jonas, P. M. (2011). The multiple faces of RIM. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2011.01.010 

Stockinger, P., Heisenberg, C.-P. J., &; Maître, J.-L. (2011). Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube. Development. Company of Biologists.https://doi.org/10.1242/dev.071233 

Polechova, J., &; Barton, N. H. (2011). Genetic drift widens the expected cline but narrows the expected cline width. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.111.129817 

Barton, N. H., &; Etheridge, A. (2011). The relation between reproductive value and genetic contribution. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.111.127555 

de Vladar, H., &; Barton, N. H. (2011). The contribution of statistical physics to evolutionary biology. Trends in Ecology and Evolution. Cell Press.https://doi.org/10.1016/j.tree.2011.04.002 

Maître, J.-L., &; Heisenberg, C.-P. J. (2011). The role of adhesion energy in controlling cell-cell contacts. Current Opinion in Cell Biology. Elsevier.https://doi.org/10.1016/j.ceb.2011.07.004 

Janovjak, H. L., Sandoz, G., &; Isacoff, E. (2011). Modern ionotropic glutamate receptor with a K+ selectivity signature sequence. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms1231 

Li, W., Shavel, A., Guzman, R., Rubio Garcia, J., Flox, C., Fan, J.,https://doi.org/10.1039/c1cc13803k__Cabot, A. (2011). Morphology evolution of Cu2xS nanoparticles: from spheres to dodecahedrons. Chemical Communications. Royal Society of Chemistry (RSC) .https://doi.org/10.1039/c1cc13803k 

Plachta, N., Bollenbach, M. T., Pease, S., Fraser, S., &; Pantazis, P. (2011). Oct4 kinetics predict cell lineage patterning in the early mammalian embryo. Nature Cell Biology. Nature Publishing Group.https://doi.org/10.1038/ncb2154 

Sixt, M. K., &; Lämmermann, T. (2011). In vitro analysis of chemotactic leukocyte migration in 3D environments. Cell Migration. Springer.https://doi.org/10.1007/978-1-61779-207-6_11 

Palero, F., Guerao, G., Clark, P., &; Abello, P. (2011). Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description. Journal of the Marine Biological Association of the United Kingdom. Cambridge University Press.https://doi.org/10.1017/S0025315410000287 

Fasy, B. T. (2011). The difference in length of curves in R^n. Acta Sci. Math. (Szeged). Szegedi Tudományegyetem.

Edelsbrunner, H., &; Kerber, M. (2011). Covering and packing with spheres by diagonal distortion in R^n. In C. Calude, G. Rozenberg, &; A. Salomaa (Eds.), Rainbow of Computer Science (Vol. 6570, pp. 20–35). Springer.https://doi.org/10.1007/978-3-642-19391-0_2 

Henzinger, T. A., Jobstmann, B., &; Wolf, V. (2011). Formalisms for specifying Markovian population models. IJFCS: International Journal of Foundations of Computer Science. World Scientific Publishing.https://doi.org/10.1142/S0129054111008441 

Alpichshev, Z., Analytis, J. G., Chu, J. H., Fisher, I. R., &; Kapitulnik, A. (2011). STM imaging of a bound state along a step on the surface of the topological insulator Bi2Te3. Physical Review B - Condensed Matter and Materials Physics. American Physical Society.https://doi.org/10.1103/PhysRevB.84.041104 

Chatterjee, K., Henzinger, T. A., &; Prabhu, V. (2011). Timed parity games: Complexity and robustness. Logical Methods in Computer Science. International Federation of Computational Logic.https://doi.org/10.2168/LMCS-7(4:8)2011 

Wang, B., Edelsbrunner, H., &; Morozov, D. (2011). Computing elevation maxima by searching the Gauss sphere. Journal of Experimental Algorithmics. ACM.https://doi.org/10.1145/1963190.1970375 

Furutani, M., Sakamoto, N., Yoshida, S., Kajiwara, T., Robert, H., Friml, J., &; Tasaka, M. (2011). Polar localized NP-like proteins regulate polarity and endocytosis of PIN-FORMED auxin efflux carriers. Development. Company of Biologists.https://doi.org/10.1242/dev.057745 

Kitakura, S., Vanneste, S., Robert, S., Löfke, C., Teichmann, T., Tanaka, H., &; Friml, J. (2011). Clathrin mediates endocytosis and polar distribution of PIN auxin transporters in Arabidopsis. Plant Cell. American Society of Plant Biologists.https://doi.org/10.1105/tpc.111.083030 

Ding, Z., Galván Ampudia, C., Demarsy, E., angowski, ., Kleine Vehn, J., Fan, Y.,https://doi.org/10.1038/ncb2208__Friml, J. (2011). Light-mediated polarization of the PIN3 auxin transporter for the phototropic response in Arabidopsis. Nature Cell Biology. Nature Publishing Group.https://doi.org/10.1038/ncb2208 

Feraru, E., Feraru, M., Kleine Vehn, J., Martinière, A., Mouille, G., Vanneste, S.,https://doi.org/10.1016/j.cub.2011.01.036__Friml, J. (2011). PIN polarity maintenance by the cell wall in Arabidopsis. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2011.01.036 

Balla, J., Kalousek, P., Reinöhl, V., Friml, J., &; Procházka, S. (2011). Competitive canalization of PIN dependent auxin flow from axillary buds controls pea bud outgrowth. Plant Journal. Wiley-Blackwell.https://doi.org/10.1111/j.1365-313X.2010.04443.x 

Robinson, D., Scheuring, D., Naramoto, S., &; Friml, J. (2011). AR localizes to the golgi and the trans Golgi network. Plant Cell. American Society of Plant Biologists.https://doi.org/10.1105/tpc.110.082099 

Zwiewka, M., Feraru, E., Möller, B., Hwang, I., Feraru, M., Kleine Vehn, J.,https://doi.org/10.1038/cr.2011.99__Friml, J. (2011). The AP 3 adaptor complex is required for vacuolar function in Arabidopsis. Cell Research. Nature Publishing Group.https://doi.org/10.1038/cr.2011.99 

Kleine Vehn, J., Wabnik, K. T., Martinière, A., angowski, ., Willig, K., Naramoto, S.,https://doi.org/10.1038/msb.2011.72__Friml, J. (2011). Recycling, clustering and endocytosis jointly maintain PIN auxin carrier polarity at the plasma membrane. Molecular Systems Biology. Nature Publishing Group.https://doi.org/10.1038/msb.2011.72 

Vanneste, S., Coppens, F., Lee, E., Donner, T., Xie, Z., Van Isterdael, G.,https://doi.org/10.1038/emboj.2011.240__Beeckman, T. (2011). Developmental regulation of CYCs contributes to tissue-specific proliferation in Arabidopsis . EMBO Journal. Wiley-Blackwell.https://doi.org/10.1038/emboj.2011.240 

Drakakaki, G., Robert, S., Szatmári, A., Brown, M., Nagawa, S., Van Damme, D.,https://doi.org/10.1073/pnas.1108581108__Hicks, G. (2011). Clusters of bioactive compounds target dynamic endomembrane networks in vivo. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1108581108 

Dubrovsky, J., Napsucialy Mendivil, S., Duclercq, J., Cheng, Y., Shishkova, S., Ivanchenko, M.,https://doi.org/ 10.1111/j.1469-8137.2011.03757.x__Benková, E. (2011). Auxin minimum defines a developmental window for lateral root initiation. New Phytologist. Wiley-Blackwell.https://doi.org/ 10.1111/j.1469-8137.2011.03757.x 

Marhavý, P., Bielach, A., Abas, L., Abuzeineh, A., Duclercq, J., Tanaka, H.,https://doi.org/10.1016/j.devcel.2011.08.014__Benková, E. (2011). Cytokinin modulates endocytic trafficking of PIN1 auxin efflux carrier to control plant organogenesis. Developmental Cell. Cell Press.https://doi.org/10.1016/j.devcel.2011.08.014 

Wabnik, K. T., Kleine Vehn, J., Govaerts, W., &; Friml, J. (2011). Prototype cell-to-cell auxin transport mechanism by intracellular auxin compartmentalization. Trends in Plant Science. Cell Press.https://doi.org/10.1016/j.tplants.2011.05.002 

Sullivan, D., Csicsvari, J. L., Mizuseki, K., Montgomery, S., Diba, K., &; Buzsáki, G. (2011). Relationships between hippocampal sharp waves ripples and fast gamma oscillation Influence of dentate and entorhinal cortical activity. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.0294-11.2011 

Tasic, B., Hippenmeyer, S., Wang, C., Gamboa, M., Zong, H., Chen Tsai, Y., &; Luo, L. (2011). Site specific integrase mediated transgenesis in mice via pronuclear injection. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1019507108 

Degennaro, M., Hurd, T., Siekhaus, D. E., Biteau, B., Jasper, H., &; Lehmann, R. (2011). Peroxiredoxin stabilization of DE-cadherin promotes primordial germ cell adhesion. Developmental Cell. Cell Press.https://doi.org/10.1016/j.devcel.2010.12.007 

Faust, S., Pietrzak, K. Z., &; Venturi, D. (2011). Tamper proof circuits How to trade leakage for tamper resilience (Vol. 6755, pp. 391–402). Presented at the ICALP: Automata, Languages and Programming, Springer.https://doi.org/10.1007/978-3-642-22006-7_33 

Jain, A., &; Pietrzak, K. Z. (2011). Parallel repetition for leakage resilience amplification revisited (Vol. 6597, pp. 58–69). Presented at the TCC: Theory of Cryptography Conference, Springer.https://doi.org/10.1007/978-3-642-19571-6_5 

Prentice, J., Homann, J., Simmons, K., Tkadik, G., Balasubramanian, V., &; Nelson, P. (2011). Fast, scalable, Bayesian spike identification for multi-electrode arrays. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0019884 

Wagner, H., Chen, C., &; Vuçini, E. (2011). Efficient computation of persistent homology for cubical data. In R. Peikert, H. Hauser, H. Carr, &; R. Fuchs (Eds.), Topological Methods in Data Analysis and Visualization II (pp. 91–106). Springer.https://doi.org/10.1007/978-3-642-23175-9_7 

Vila, R., Pierce, N., Nash, D., &; Ugelvig, L. V. (2011). A phylogenetic revision of the Glaucopsyche section (Lepidoptera: Lycaenidae), with special focus on the Phengaris-Maculinea clade. Molecular Phylogenetics and Evolution. Elsevier.https://doi.org/10.1016/j.ympev.2011.05.016 

Chen, C., &; Kerber, M. (2011). Persistent homology computation with a twist (pp. 197–200). Presented at the EuroCG: European Workshop on Computational Geometry, Morschach, Switzerland: TU Dortmund.

Raveendran, K., Wojtan, C., &; Turk, G. (2011). Hybrid smoothed particle hydrodynamics. In S. Spencer (Ed.) (pp. 33–42). Presented at the SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, Vancouver, Canada: ACM.https://doi.org/10.1145/2019406.2019411 

Wojtan, C., Müller Fischer, M., &; Brochu, T. (2011). Liquid simulation with mesh-based surface tracking. Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Vancouver, BC, Canada: ACM.https://doi.org/10.1145/2037636.2037644 

Lohse, K., Harrison, R., &; Barton, N. H. (2011). A general method for calculating likelihoods under the coalescent process. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.111.129569 

Zheng, Y., Gu, S., Edelsbrunner, H., Tomasi, C., &; Benfey, P. (2011). Detailed reconstruction of 3D plant root shape. Proceedings of the IEEE International Conference on Computer Vision. Barcelona, Spain: IEEE.https://doi.org/10.1109/ICCV.2011.6126475 

Chen, C., &; Edelsbrunner, H. (2011). Diffusion runs low on persistence fast. In Proceedings of the IEEE International Conference on Computer Vision. Barcelona, Spain: IEEE.https://doi.org/10.1109/ICCV.2011.6126271 

Edelsbrunner, H. (n.d.). Alpha shapes - a survey. In R. van de Weygaert, G. Vegter, J. Ritzerveld, &; V. Icke (Eds.), Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings. Springer.

Almagor, S., Boker, U., &; Kupferman, O. (2011). What’s decidable about weighted automatahttps://doi.org/10.1007/978-3-642-24372-1_37__(Vol. 6996, pp. 482–491). Presented at the ATVA: Automated Technology for Verification and Analysis, Taipei, Taiwan: Springer.https://doi.org/10.1007/978-3-642-24372-1_37 

Alur, R., &; Cerny, P. (2011). Streaming transducers for algorithmic verification of single pass list processing programs (Vol. 46, pp. 599–610). Presented at the POPL: Principles of Programming Languages, Texas, USA: ACM.https://doi.org/10.1145/1926385.1926454 

Piskac, R., &; Wies, T. (2011). Decision procedures for automating termination proofs. In R. Jhala &; D. Schmidt (Eds.) (Vol. 6538, pp. 371–386). Presented at the VMCAI: Verification Model Checking and Abstract Interpretation, Texas, USA: Springer.https://doi.org/10.1007/978-3-642-18275-4_26 

Boker, U., &; Kupferman, O. (2011). Co-Büching them all. In M. Hofmann (Ed.) (Vol. 6604, pp. 184–198). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Saarbrücken, Germany: Springer.https://doi.org/10.1007/978-3-642-19805-2_13 

Wang, Z., Lampert, C., Mülling, K., Schölkopf, B., &; Peters, J. (2011). Learning anticipation policies for robot table tennis (pp. 332–337). Presented at the IROS: RSJ International Conference on Intelligent Robots and Systems, San Francisco, USA: IEEE.https://doi.org/10.1109/IROS.2011.6094892 

Chatterjee, K., De Alfaro, L., &; Pritam, R. (2011). Magnifying lens abstraction for stochastic games with discounted and long-run average objectives. arXiv. ArXiv.

Chatterjee, K., Henzinger, M. H., Joglekar, M., &; Nisarg, S. (2011). Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. In G. Gopalakrishnan &; S. Qadeer (Eds.) (Vol. 6806, pp. 260–276). Presented at the CAV: Computer Aided Verification, Snowbird, USA: Springer.https://doi.org/10.1007/978-3-642-22110-1_21 

Chatterjee, K., &; Fijalkow, N. (2011). Finitary languages (Vol. 6638, pp. 216–226). Presented at the LATA: Language and Automata Theory and Applications, Tarragona, Spain: Springer.https://doi.org/10.1007/978-3-642-21254-3_16 

Brázdil, T., Broeek, V., Chatterjee, K., Forejt, V., &; Kudera, A. (2011). Two views on multiple mean payoff objectives in Markov Decision Processes. Presented at the LICS: Logic in Computer Science, Toronto, Canada: IEEE.https://doi.org/10.1109/LICS.2011.10 

Chatterjee, K., &; Prabhu, V. (2011). Synthesis of memory efficient real time controllers for safety objectives (pp. 221–230). Presented at the HSCC: Hybrid Systems - Computation and Control, Chicago, USA: Springer.https://doi.org/10.1145/1967701.1967734 

Chatterjee, K. (2011). Graph games with reachability objectives. In G. Delzanno &; I. Potapov (Eds.) (Vol. 6945, pp. 1–1). Presented at the RP: Reachability Problems, Genoa, Italy: Springer.https://doi.org/10.1007/978-3-642-24288-5_1 

Chatterjee, K., &; Henzinger, M. H. (2011). Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification (pp. 1318–1336). Presented at the SODA: Symposium on Discrete Algorithms, San Francisco, SA, United States: SIAM.https://doi.org/10.1137/1.9781611973082.101 

Boker, U., &; Henzinger, T. A. (2011). Determinizing discounted-sum automata (Vol. 12, pp. 82–96). Presented at the CSL: Computer Science Logic, Bergen, Norway: Springer.https://doi.org/10.4230/LIPIcs.CSL.2011.82