Guenot, Bernadette, Emmanuelle Bayer, Daniel Kierzkowski, Richard Smith, Therese Mandel, Petra dádníková, Eva Benková, and Cris Kuhlemeier. “Pin1 Independent Leaf Initiation in Arabidopsis.”https://doi.org/10.1104/pp.112.200402__Plant Physiology. American Society of Plant Biologists, 2012.https://doi.org/10.1104/pp.112.200402 .

Bencivenga, Stefano, Sara Simonini, Eva Benková, and Lucia Colombo. “The Transcription Factors BEL1 and SPL Are Required for Cytokinin and Auxin Signaling during Ovule Development in Arabidopsis.”https://doi.org/10.1105/tpc.112.100164__Plant Cell. American Society of Plant Biologists, 2012.https://doi.org/10.1105/tpc.112.100164 .

Boker, Udi, and Thomas A Henzinger. “Approximate Determinization of Quantitative Automata.”https://doi.org/10.4230/LIPIcs.FSTTCS.2012.362__In Leibniz International Proceedings in Informatics, 18:362–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012.https://doi.org/10.4230/LIPIcs.FSTTCS.2012.362 .

Cerny, Pavol, Sivakanth Gopi, Thomas A Henzinger, Arjun Radhakrishna, and Nishant Totla. “Synthesis from Incompatible Specifications.”https://doi.org/10.1145/2380356.2380371__In Proceedings of the Tenth ACM International Conference on Embedded Software, 53–62. ACM, 2012.https://doi.org/10.1145/2380356.2380371 .

Henzinger, Thomas A. “Quantitative Reactive Models.”https://doi.org/10.1007/978-3-642-33666-9_1__In Conference Proceedings MODELS 2012, 7590:1–2. Springer, 2012.https://doi.org/10.1007/978-3-642-33666-9_1 .

Edelsbrunner, Herbert, and Olga Symonova. “The Adaptive Topology of a Digital Image,”https://doi.org/10.1109/ISVD.2012.11__41–48. IEEE, 2012.https://doi.org/10.1109/ISVD.2012.11 .

Cerny, Pavol, Martin Chmelik, Thomas A Henzinger, and Arjun Radhakrishna. “Interface Simulation Distances.”https://doi.org/10.4204/EPTCS.96.3__In Electronic Proceedings in Theoretical Computer Science, 96:29–42. EPTCS, 2012.https://doi.org/10.4204/EPTCS.96.3 .

Vladar, Harold de. “The Game of Active Search for Extra Terrestrial Intelligence Breaking the Great Silence .”https://doi.org/10.1017/S1473550412000407__International Journal of Astrobiology. Cambridge University Press, 2012.https://doi.org/10.1017/S1473550412000407 .

Edelsbrunner, Herbert, Alexander Ivanov, and Roman Karasev. “Open Problems in Discrete and Computational Geometry.” Automatic Control and Computer Sciences. Springer, 2012.

Huber, Anna, and Vladimir Kolmogorov. “Towards Minimizing K-Submodular Functions,”https://doi.org/10.1007/978-3-642-32147-4_40__7422:451–62. Springer, 2012.https://doi.org/10.1007/978-3-642-32147-4_40 .

Kolmogorov, Vladimir, and Thomas Schoenemann. “Generalized Sequential Tree-Reweighted Message Passing.” ArXiv. ArXiv, 2012.

Kolmogorov, Vladimir. The Power of Linear Programming for Valued CSPs: A Constructive Characterization. Unknown, 2012.

Almeida, José, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, and Santiago Béguelin. “Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols.”https://doi.org/10.1145/2382196.2382249__In Proceedings of the 2012 ACM Conference on Computer and Communications Security, 488–500. ACM, 2012.https://doi.org/10.1145/2382196.2382249 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Finite Automata with Time Delay Blocks.”https://doi.org/10.1145/2380356.2380370__In Roceedings of the Tenth ACM International Conference on Embedded Software, 43–52. ACM, 2012.https://doi.org/10.1145/2380356.2380370 .

Ugelvig, Line V, and Sylvia Cremer. “Effects of Social Immunity and Unicoloniality on Host Parasite Interactions in Invasive Insect Societies.”https://doi.org/10.1111/1365-2435.12013__Functional Ecology. Wiley-Blackwell, 2012.https://doi.org/10.1111/1365-2435.12013 .

Torresani, Lorenzo, Vladimir Kolmogorov, and Carsten Rother. “A Dual Decomposition Approach to Feature Correspondence.”https://doi.org/10.1109/TPAMI.2012.105__IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2012.https://doi.org/10.1109/TPAMI.2012.105 .

Henzinger, Thomas A, and Dejan Nickovic. “Independent Implementability of Viewpoints.”https://doi.org/10.1007/978-3-642-34059-8_20__In https://doi.org/10.1007/978-3-642-34059-8_20__Conference Proceedings Monterey Workshop 2012, 7539:380–95. Springer, 2012.https://doi.org/10.1007/978-3-642-34059-8_20 .

Hadizadeh Yazdi, Nastaran, Calin C Guet, Reid Johnson, and John Marko. “Variation of the Folding and Dynamics of the Escherichia Coli Chromosome with Growth Conditions.”https://doi.org/10.1111/mmi.12071__Molecular Microbiology. Wiley-Blackwell, 2012.https://doi.org/10.1111/mmi.12071 .

Dolbilin, Nikolai, Herbert Edelsbrunner, and Oleg Musin. “On the Optimality of Functionals over Triangulations of Delaunay Sets.”https://doi.org/10.1070/RM2012v067n04ABEH004807__Russian Mathematical Surveys. IOP Publishing, 2012.https://doi.org/10.1070/RM2012v067n04ABEH004807 .

Dueck, Anne, Christian Ziegler, Alexander Eichner, Eugène Berezikov, and Gunter Meister. “MicroRNAs Associated with the Different Human Argonaute Proteins.”https://doi.org/10.1093/nar/gks705__Nucleic Acids Research. Oxford University Press, 2012.https://doi.org/10.1093/nar/gks705 .