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