Erdös, L. (2012). Lecture notes on quantum Brownian motion (Vol. 95, pp. 3–98). Presented at the Les Houches Summer School 2010, Oxford University Press.

Chatterjee, K., Joglekar, M., &; Shah, N. (2012). Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives (Vol. 18, pp. 461–473). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.FSTTCS.2012.461 

Chatterjee, K., Randour, M., &; Raskin, J.-F. (2012). Strategy synthesis for multi-dimensional quantitative objectives. In M. Koutny &; I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory (Vol. 7454, pp. 115–131). Berlin, Heidelberg: Springer.https://doi.org/10.1007/978-3-642-32940-1_10 

Erdös, L., Yau, H., &; Yin, J. (2012). Rigidity of eigenvalues of generalized Wigner matrices. Advances in Mathematics. Academic Press.https://doi.org/10.1016/j.aim.2011.12.010 

Erdös, L., Schlein, B., Yau, H., &; Yin, J. (2012). The local relaxation flow approach to universality of the local statistics for random matrices. Annales de l’institut Henri Poincare (B) Probability and Statistics. Institute of Mathematical Statistics.https://doi.org/10.1214/10-AIHP388 

Erdös, L., Yau, H., &; Yin, J. (2012). Bulk universality for generalized Wigner matrices. Probability Theory and Related Fields. Springer.https://doi.org/10.1007/s00440-011-0390-3 

Erdös, L., &; Hasler, D. (2012). Wegner estimate and Anderson localization for random magnetic fields. Communications in Mathematical Physics. Springer.https://doi.org/10.1007/s00220-011-1373-z 

Erdös, L., &; Yau, H. (2012). Universality of local spectral statistics of random matrices. Bulletin of the American Mathematical Society. American Mathematical Society.https://doi.org/10.1090/S0273-0979-2012-01372-1 

Erdös, L., Fournais, S., &; Solovej, J. (2012). Relativistic Scott correction in self-generated magnetic fields. Journal of Mathematical Physics. American Institute of Physics.https://doi.org/10.1063/1.3697417 

Erdös, L., Fournais, S., &; Solovej, J. (2012). Second order semiclassics with self generated magnetic fields. Annales Henri Poincare. Birkhäuser.https://doi.org/10.1007/s00023-011-0150-z 

Erdös, L., Knowles, A., Yau, H., &; Yin, J. (2012). Spectral statistics of Erds-Rényi graphs II: Eigenvalue spacing and the extreme eigenvalues. Communications in Mathematical Physics. Springer.https://doi.org/10.1007/s00220-012-1527-7 

Erdös, L., Fournais, S., &; Solovej, J. (2012). Scott correction for large atoms and molecules in a self-generated magnetic field. Communications in Mathematical Physics. Springer.https://doi.org/10.1007/s00220-012-1468-1 

Erdös, L., &; Yau, H. (2012). A comment on the Wigner-Dyson-Mehta bulk universality conjecture for Wigner matrices. Electronic Journal of Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/EJP.v17-1779 

Erdös, L., &; Hasler, D. (2012). Anderson localization at band edges for random magnetic fields. Journal of Statistical Physics. Springer.https://doi.org/10.1007/s10955-012-0445-6 

Bourgade, P., Erdös, L., &; Yau, H. (2012). Bulk universality of general ;2-ensembles with non-convex potential. Journal of Mathematical Physics. American Institute of Physics.https://doi.org/10.1063/1.4751478 

Erdös, L., &; Hasler, D. (2012). Wegner estimate for random magnetic Laplacian onhttps://doi.org/10.1007/s00023-012-0177-9__2. Annales Henri Poincare. Birkhäuser.https://doi.org/10.1007/s00023-012-0177-9 

Lapp, T., Rohloff, M., Vollmer, J., &; Hof, B. (2012). Particle tracking for polydisperse sedimenting droplets in phase separation. Experiments in Fluids. Springer.https://doi.org/10.1007/s00348-011-1243-7 

De Lózar, A., Mellibovsky, F., Avila, M., &; Hof, B. (2012). Edge state in pipe flow experiments. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.108.214502 

Blaschke, J., Lapp, T., Hof, B., &; Vollmer, J. (2012). Breath figures: Nucleation, growth, coalescence, and the size distribution of droplets. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.109.068701 

Lampert, C. (2012). Dynamic pruning of factor graphs for maximum marginal prediction (Vol. 1, pp. 82–90). Presented at the NIPS: Neural Information Processing Systems, Lake Tahoe, NV, United States: Neural Information Processing Systems.

Chatterjee, K., Zufferey, D., &; Nowak, M. (2012). Evolutionary game dynamics in populations with different learners. Journal of Theoretical Biology. Elsevier.https://doi.org/10.1016/j.jtbi.2012.02.021 

Edelsbrunner, H., &; Strelkova, N. (2012). On the configuration space of Steiner minimal trees. Russian Mathematical Surveys. IOP Publishing Ltd.https://doi.org/10.1070/RM2012v067n06ABEH004820 

Kiran, N., Benková, E., Reková, A., Dubová, J., Malbeck, J., Palme, K., &; Brzobohatý, B. (2012). Retargeting a maize ;2-glucosidase to the vacuole - Evidence from intact plants that zeatin-O-glucoside is stored in the vacuole. Phytochemistry. Elsevier.https://doi.org/10.1016/j.phytochem.2012.03.012 

Bielach, A., Duclercq, J., Marhavý, P., &; Benková, E. (2012). Genetic approach towards the identification of auxin - cytokinin crosstalk components involved in root development. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The.https://doi.org/10.1098/rstb.2011.0233 

Guenot, B., Bayer, E., Kierzkowski, D., Smith, R., Mandel, T., dádníková, P.,https://doi.org/10.1104/pp.112.200402__Kuhlemeier, C. (2012). Pin1 independent leaf initiation in Arabidopsis. Plant Physiology. American Society of Plant Biologists.https://doi.org/10.1104/pp.112.200402 

Bencivenga, S., Simonini, S., Benková, E., &; Colombo, L. (2012). The transcription factors BEL1 and SPL are required for cytokinin and auxin signaling during ovule development in Arabidopsis. Plant Cell. American Society of Plant Biologists.https://doi.org/10.1105/tpc.112.100164 

Boker, U., &; Henzinger, T. A. (2012). Approximate determinization of quantitative automata. In Leibniz International Proceedings in Informatics (Vol. 18, pp. 362–373). Hyderabad, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.FSTTCS.2012.362 

Cerny, P., Gopi, S., Henzinger, T. A., Radhakrishna, A., &; Totla, N. (2012). Synthesis from incompatible specifications. In Proceedings of the tenth ACM international conference on Embedded software (pp. 53–62). Tampere, Finland: ACM.https://doi.org/10.1145/2380356.2380371 

Henzinger, T. A. (2012). Quantitative reactive models. In Conference proceedings MODELS 2012 (Vol. 7590, pp. 1–2). Innsbruck, Austria: Springer.https://doi.org/10.1007/978-3-642-33666-9_1 

Edelsbrunner, H., &; Symonova, O. (2012). The adaptive topology of a digital image (pp. 41–48). Presented at the ISVD: International Symposium on Voronoi Diagrams in Science and Engineering, New Brunswick, NJ, USA : IEEE.https://doi.org/10.1109/ISVD.2012.11 

Cerny, P., Chmelik, M., Henzinger, T. A., &; Radhakrishna, A. (2012). Interface Simulation Distances. In Electronic Proceedings in Theoretical Computer Science (Vol. 96, pp. 29–42). Napoli, Italy: EPTCS.https://doi.org/10.4204/EPTCS.96.3 

de Vladar, H. (2012). The game of active search for extra terrestrial intelligence Breaking the Great Silence . International Journal of Astrobiology. Cambridge University Press.https://doi.org/10.1017/S1473550412000407 

Edelsbrunner, H., Ivanov, A., &; Karasev, R. (2012). Open problems in discrete and computational geometry. Automatic Control and Computer Sciences. Springer.

Huber, A., &; Kolmogorov, V. (2012). Towards minimizing k-submodular functions (Vol. 7422, pp. 451–462). Presented at the ISCO: International Symposium on Combinatorial Optimization, Athens, Greece: Springer.https://doi.org/10.1007/978-3-642-32147-4_40 

Kolmogorov, V., &; Schoenemann, T. (2012). Generalized sequential tree-reweighted message passing. arXiv. ArXiv.

Kolmogorov, V. (2012). The power of linear programming for valued CSPs: a constructive characterization. Unknown.

Almeida, J., Barbosa, M., Bangerter, E., Barthe, G., Krenn, S., &; Béguelin, S. (2012). Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols. In Proceedings of the 2012 ACM conference on Computer and communications security (pp. 488–500). Raleigh, NC, USA: ACM.https://doi.org/10.1145/2382196.2382249 

Chatterjee, K., Henzinger, T. A., &; Prabhu, V. (2012). Finite automata with time delay blocks. In roceedings of the tenth ACM international conference on Embedded software (pp. 43–52). Tampere, Finland: ACM.https://doi.org/10.1145/2380356.2380370 

Ugelvig, L. V., &; Cremer, S. (2012). Effects of social immunity and unicoloniality on host parasite interactions in invasive insect societies. Functional Ecology. Wiley-Blackwell.https://doi.org/10.1111/1365-2435.12013 

Torresani, L., Kolmogorov, V., &; Rother, C. (2012). A dual decomposition approach to feature correspondence. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE.https://doi.org/10.1109/TPAMI.2012.105 

Henzinger, T. A., &; Nickovic, D. (2012). Independent implementability of viewpoints. In https://doi.org/10.1007/978-3-642-34059-8_20__Conference proceedings Monterey Workshop 2012 (Vol. 7539, pp. 380–395). Oxford, UK: Springer.https://doi.org/10.1007/978-3-642-34059-8_20 

Hadizadeh Yazdi, N., Guet, C. C., Johnson, R., &; Marko, J. (2012). Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions. Molecular Microbiology. Wiley-Blackwell.https://doi.org/10.1111/mmi.12071 

Dolbilin, N., Edelsbrunner, H., &; Musin, O. (2012). On the optimality of functionals over triangulations of Delaunay sets. Russian Mathematical Surveys. IOP Publishing.https://doi.org/10.1070/RM2012v067n04ABEH004807 

Dueck, A., Ziegler, C., Eichner, A., Berezikov, E., &; Meister, G. (2012). MicroRNAs associated with the different human Argonaute proteins. Nucleic Acids Research. Oxford University Press.https://doi.org/10.1093/nar/gks705 

Chatterjee, K., Chmelik, M., &; Majumdar, R. (2012). Equivalence of games with probabilistic uncertainty and partial observation games (Vol. 7561, pp. 385–399). Presented at thehttps://doi.org/10.1007/978-3-642-33386-6_30__ATVA: Automated Technology for Verification and Analysis, Thiruvananthapuram, India: Springer.https://doi.org/10.1007/978-3-642-33386-6_30 

Girard, J., Moussion, C., &; Förster, R. (2012). HEVs, lymphatics and homeostatic immune cell trafficking in lymph nodes. Nature Reviews Immunology. Nature Publishing Group.https://doi.org/10.1038/nri3298 

Dupret, D., &; Csicsvari, J. L. (2012). The medial entorhinal cortex keeps Up. Nature Neuroscience. Nature Publishing Group.https://doi.org/10.1038/nn.3245 

Pernia-Andrade, A., Goswami, S., Stickler, Y., Fröbe, U., Schlögl, A., &; Jonas, P. M. (2012). A deconvolution based method with high sensitivity and temporal resolution for detection of spontaneous synaptic currents in vitro and in vivo. Biophysical Journal. Biophysical.https://doi.org/10.1016/j.bpj.2012.08.039 

Behrndt, M., Salbreux, G., Campinho, P., Hauschild, R., Oswald, F., Roensch, J.,https://doi.org/10.1126/science.1224143__Heisenberg, C.-P. J. (2012). Forces driving epithelial spreading in zebrafish gastrulation. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1224143 

Maître, J.-L., Berthoumieux, H., Krens, G., Salbreux, G., Julicher, F., Paluch, E., &; Heisenberg, C.-P. J. (2012). Adhesion functions in cell sorting by mechanically coupling the cortices of adhering cells. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1225399 

Tada, M., &; Heisenberg, C.-P. J. (2012). Convergent extension Using collective cell migration and cell intercalation to shape embryos. Development. Company of Biologists.https://doi.org/10.1242/dev.073007 

Heisenberg, C.-P. J., &; Fässler, R. (2012). Cell-cell adhesion and extracellular matrix diversity counts. Current Opinion in Cell Biology. Elsevier.https://doi.org/10.1016/j.ceb.2012.09.002 

Allen, K., Rawlins, J. N., Bannerman, D., &; Csicsvari, J. L. (2012). Hippocampal place cells can encode multiple trial-dependent features through rate remapping. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.6175-11.2012 

Uhler, C. (2012). Geometry of maximum likelihood estimation in Gaussian graphical models. Annals of Statistics. Institute of Mathematical Statistics.https://doi.org/10.1214/11-AOS957 

Cremer, S., Suefuji, M., Schrempf, A., &; Heinze, J. (2012). The dynamics of male-male competition in Cardiocondyla obscurior ants. BMC Ecology. BioMed Central.https://doi.org/10.1186/1472-6785-12-7 

Aeschbacher, S., Beaumont, M., &; Futschik, A. (2012). A novel approach for choosing summary statistics in approximate Bayesian computation. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.112.143164 

Danowski, P. (2012). Kontext Open Access: Creative Commons. Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen &; Bibliothekare. VÖB.

Jesse, F., &; Riebel, K. (2012). Social facilitation of male song by male and female conspecifics in the zebra finch, Taeniopygia guttata. Behavioural Processes. Elsevier.https://doi.org/10.1016/j.beproc.2012.09.006 

Jain, A., Krenn, S., Pietrzak, K. Z., &; Tentes, A. (2012). Commitments and efficient zero knowledge proofs from learning parity with noise. In X. Wang &; K. Sako (Eds.) (Vol. 7658, pp. 663–680). Presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Beijing, China: Springer.https://doi.org/10.1007/978-3-642-34961-4_40 

Goswami, S., Bucurenciu, I., &; Jonas, P. M. (2012). Miniature IPSCs in hippocampal granule cells are triggered by voltage-gated Ca^(2+) channels via microdomain coupling. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.6104-11.2012 

Kicheva, A., Bollenbach, M. T., Wartlick, O., Julicher, F., &; Gonzalez Gaitan, M. (2012). Investigating the principles of morphogen gradient formation: from tissues to cells. Current Opinion in Genetics &; Development. Elsevier.https://doi.org/10.1016/j.gde.2012.08.004 

Zankl, G., Haxhimusa, Y., &; Ion, A. (2012). Interactive labeling of image segmentation hierarchies (Vol. 7476, pp. 11–20). Presented at the Pattern Recognition, Graz, Austria: Springer.https://doi.org/10.1007/978-3-642-32717-9_2 

Whitford, R., Fernandez, A., Tejos, R., Pérez, A., Kleine Vehn, J., Vanneste, S.,https://doi.org/10.1016/j.devcel.2012.02.002__Hilson, P. (2012). GOLVEN secretory peptides regulate auxin carrier turnover during plant gravitropic responses. Developmental Cell. Cell Press.https://doi.org/10.1016/j.devcel.2012.02.002 

Irani, N., Di Rubbo, S., Mylle, E., Van Den Begin, J., Schneider Pizo, J., Hniliková, J.,https://doi.org/10.1038/nchembio.958__Russinova, E. (2012). Fluorescent castasterone reveals BR signaling from the plasma membrane. Nature Chemical Biology. Nature Publishing Group.https://doi.org/10.1038/nchembio.958 

Grunewald, W., De Smet, I., Lewis, D., Löfke, C., Jansen, L., Goeminne, G.,https://doi.org/10.1073/pnas.1121134109__Beeckman, T. (2012). Transcription factor WRK assists auxin distribution patterns during Arabidopsis root development through local control on flavonol biosynthesis. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1121134109 

Barbez, E., Kubes, M., Roldík, J., Béziat, C., Pbndík, A., Wang, B.,https://doi.org/10.1038/nature11001__Kleine Vehn, J. (2012). A novel putative auxin carrier family regulates intracellular auxin homeostasis in plants. Nature. Nature Publishing Group.https://doi.org/10.1038/nature11001 

Nagawa, S., Xu, T., Lin, D., Dhonukshe, P., Zhang, X., Friml, J.,https://doi.org/10.1371/journal.pbio.1001299__Yang, Z. (2012). ROP GTPase-dependent actin microfilaments promote PIN1 polarization by localized inhibition of clathrin-dependent endocytosis. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.1001299 

Vanneste, S., &; Friml, J. (2012). Plant signaling: Deconstructing auxin sensing. Nature Chemical Biology (Vol. 8, pp. 415–416). Nature Publishing Group.https://doi.org/10.1038/nchembio.943 

Raveendran, K., Thuerey, N., Wojtan, C., &; Turk, G. (2012). Controlling liquids using meshes. In Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation (pp. 255–264). Aire-la-Ville, Switzerland: ACM.

Bojsen-Hansen, M., Li, H., &; Wojtan, C. (2012). Tracking surfaces with evolving topology. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/2185520.2185549 

Field, D., &; Barrett, S. (2012). Disassortative mating and the maintenance of sexual polymorphism in painted maple. Molecular Ecology. Wiley-Blackwell.https://doi.org/10.1111/j.1365-294X.2012.05643.x 

Williams, C., Chen, W., Lee, C., Yaeger, D., Vyleta, N., &; Smith, S. (2012). Coactivation of multiple tightly coupled calcium channels triggers spontaneous release of GABA. Nature Neuroscience. Nature Publishing Group.https://doi.org/10.1038/nn.3162 

Brown, G., Kerber, M., &; Reid, M. (2012). Fano 3 folds in codimension 4 Tom and Jerry Part I. Compositio Mathematica. Cambridge University Press.https://doi.org/10.1112/S0010437X11007226 

Kolmogorov, V. (2012). Minimizing a sum of submodular functions. Discrete Applied Mathematics. Elsevier.https://doi.org/10.1016/j.dam.2012.05.025 

Weissman, D., &; Barton, N. H. (2012). Limits to the rate of adaptive substitution in sexual populations. PLoS Genetics. Public Library of Science.https://doi.org/10.1371/journal.pgen.1002740 

Bergmiller, T., Ackermann, M., &; Silander, O. (2012). Patterns of evolutionary conservation of essential genes correlate with their compensability. PLoS Genetics. Public Library of Science.https://doi.org/10.1371/journal.pgen.1002803 

Guet, C. C., Gupta, A., Henzinger, T. A., Mateescu, M., &; Sezgin, A. (2012). Delayed continuous time Markov chains for genetic regulatory circuits (Vol. 7358, pp. 294–309). Presented at the CAV: Computer Aided Verification, Berkeley, CA, USA: Springer.https://doi.org/10.1007/978-3-642-31424-7_24 

Brázdil, B., Chatterjee, K., Kudera, A., &; Novotný, P. (2012). Efficient controller synthesis for consumption games with multiple resource types (Vol. 7358, pp. 23–38). Presented at the CAV: Computer Aided Verification, Berkeley, CA, USA: Springer.https://doi.org/10.1007/978-3-642-31424-7_8 

Edelsbrunner, H., &; Kerber, M. (2012). Alexander duality for functions: The persistent behavior of land and water and shore. In Proceedings of the twenty-eighth annual symposium on Computational geometry  (pp. 249–258). Chapel Hill, NC, USA: ACM.https://doi.org/10.1145/2261250.2261287 

Edelsbrunner, H., Fasy, B., &; Rote, G. (2012). Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions. In Proceedings of the twenty-eighth annual symposium on Computational geometry  (pp. 91–100). Chapel Hill, NC, USA: ACM.https://doi.org/10.1145/2261250.2261265 

Konrad, M., Pamminger, T., &; Foitzik, S. (2012). Two pathways ensuring social harmony. Naturwissenschaften. Springer.https://doi.org/10.1007/s00114-012-0943-z 

Vyleta, M., Wong, J., &; Magun, B. (2012). Suppression of ribosomal function triggers innate immune signaling through activation of the NLR inflammasome. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0036044 

Asarin, E., Donzé, A., Maler, O., &; Nickovic, D. (2012). Parametric identification of temporal properties (Vol. 7186, pp. 147–160). Presented at the RV: Runtime Verification, San Francisco, CA, United States: Springer.https://doi.org/10.1007/978-3-642-29860-8_12 

Pantazis, P., &; Bollenbach, M. T. (2012). Transcription factor kinetics and the emerging asymmetry in the early mammalian embryo. Cell Cycle. Taylor and Francis.https://doi.org/10.4161/cc.20118 

Blaschko, M., &; Lampert, C. (2012). Guest editorial: Special issue on structured prediction and inference. International Journal of Computer Vision. Springer.https://doi.org/10.1007/s11263-012-0530-y 

de Vladar, H. (2012). Amino acid fermentation at the origin of the genetic code. Biology Direct. BioMed Central.https://doi.org/10.1186/1745-6150-7-6 

Weber, M. (2012). NextGen speaks 13 . Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.336.6077.32 

Pietrzak, K. Z., &; Wikström, D. (2012). Parallel repetition of computationally sound protocols revisited. Journal of Cryptology. Springer.https://doi.org/10.1007/s00145-010-9090-x 

Chatterjee, K., &; Raman, V. (2012). Synthesizing protocols for digital contract signing (Vol. 7148, pp. 152–168). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Philadelphia, PA, USA: Springer.https://doi.org/10.1007/978-3-642-27940-9_11 

Chatterjee, K., &; Doyen, L. (2012). Games and Markov decision processes with mean payoff parity and energy parity objectives (Vol. 7119, pp. 37–46). Presented at the MEMICS: Mathematical and Engineering Methods in Computer Science, Lednice, Czech Republic: Springer.https://doi.org/10.1007/978-3-642-25929-6_3 

Pietrzak, K. Z. (2012). Cryptography from learning parity with noise (Vol. 7147, pp. 99–114). Presented at the SOFSEM: Current Trends in Theory and Practice of Computer Science, Spindlerfv Mlýn, Czech Republic: Springer.https://doi.org/10.1007/978-3-642-27660-6_9 

Edelsbrunner, H., &; Kerber, M. (2012). Dual complexes of cubical subdivisions of dn. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/s00454-011-9382-4 

Chatterjee, K. (2012). The complexity of stochastic Müller games. Information and Computation. Elsevier.https://doi.org/10.1016/j.ic.2011.11.004 

Bouajjani, A., Dragoi, C., Enea, C., &; Sighireanu, M. (2012). Abstract domains for automated reasoning about list manipulating programs with infinite data (Vol. 7148, pp. 1–22). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Philadelphia, PA, USA: Springer.https://doi.org/10.1007/978-3-642-27940-9_1 

Ion, A., Carreira, J., &; Sminchisescu, C. (2012). Image segmentation by figure-ground composition into maximal cliques. Presented at the ICCV: International Conference on Computer Vision, Barcelona, Spain: IEEE.https://doi.org/10.1109/ICCV.2011.6126486 

Dodis, Y., Pietrzak, K. Z., Kiltz, E., &; Wichs, D. (2012). Message authentication, revisited (Vol. 7237, pp. 355–374). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Cambridge, UK: Springer.https://doi.org/10.1007/978-3-642-29011-4_22 

Pietrzak, K. Z. (2012). Subspace LWE (Vol. 7194, pp. 548–563). Presented at the TCC: Theory of Cryptography Conference, Taormina, Sicily, Italy: Springer.https://doi.org/10.1007/978-3-642-28914-9_31 

Pietrzak, K. Z., Rosen, A., &; Segev, G. (2012). Lossy functions do not amplify well (Vol. 7194, pp. 458–475). Presented at the TCC: Theory of Cryptography Conference, Taormina, Sicily, Italy: Springer.https://doi.org/10.1007/978-3-642-28914-9_26 

Kolmogorov, V., &; divný, S. (2012). The complexity of conservative valued CSPs (pp. 750–759). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.

Shavel, A., Cadavid, D., Ibáñez, M., Carrete, A., &; Cabot, A. (2012). Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor. Journal of the American Chemical Society. ACS.https://doi.org/10.1021/ja209688a