Chatterjee, Krishnendu, Damien Zufferey, and Martin Nowak. “Evolutionary Game Dynamics in Populations with Different Learners.”https://doi.org/10.1016/j.jtbi.2012.02.021__Journal of Theoretical Biology. Elsevier, 2012.https://doi.org/10.1016/j.jtbi.2012.02.021 .
LibreCat: https://research-explorer.ista.ac.at/record/2848
DOI: 10.1016/j.jtbi.2012.02.021
PMID: 22394652

Edelsbrunner, Herbert, and Nataliya Strelkova. “On the Configuration Space of Steiner Minimal Trees.”https://doi.org/10.1070/RM2012v067n06ABEH004820__Russian Mathematical Surveys. IOP Publishing Ltd., 2012.https://doi.org/10.1070/RM2012v067n06ABEH004820 .
LibreCat: https://research-explorer.ista.ac.at/record/2849
DOI: 10.1070/RM2012v067n06ABEH004820

Kiran, Nagavalli, Eva Benková, Alena Reková, Jaroslava Dubová, Jií Malbeck, Klaus Palme, and Betislav Brzobohatý. “Retargeting a Maize ;2-Glucosidase to the Vacuole - Evidence from Intact Plants That Zeatin-O-Glucoside Is Stored in the Vacuole.”https://doi.org/10.1016/j.phytochem.2012.03.012__Phytochemistry. Elsevier, 2012.https://doi.org/10.1016/j.phytochem.2012.03.012 .
LibreCat: https://research-explorer.ista.ac.at/record/2876
DOI: 10.1016/j.phytochem.2012.03.012

Bielach, Agnieszka, Jérôme Duclercq, Peter Marhavý, and Eva Benková. “Genetic Approach towards the Identification of Auxin - Cytokinin Crosstalk Components Involved in Root Development.”https://doi.org/10.1098/rstb.2011.0233__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The, 2012.https://doi.org/10.1098/rstb.2011.0233 .
LibreCat: https://research-explorer.ista.ac.at/record/2875
DOI: 10.1098/rstb.2011.0233

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2878
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2879
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2891
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2890
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2888
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2903
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2916
DOI: 10.4204/EPTCS.96.3
arXiv: 1210.2450

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2917
DOI: 10.1017/S1473550412000407

Edelsbrunner, Herbert, Alexander Ivanov, and Roman Karasev. “Open Problems in Discrete and Computational Geometry.” Automatic Control and Computer Sciences. Springer, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2911

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2930
DOI: 10.1007/978-3-642-32147-4_40

Kolmogorov, Vladimir, and Thomas Schoenemann. “Generalized Sequential Tree-Reweighted Message Passing.” ArXiv. ArXiv, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2928
arXiv: 1205.6352

Kolmogorov, Vladimir. The Power of Linear Programming for Valued CSPs: A Constructive Characterization. Unknown, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2929

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 .
LibreCat: https://research-explorer.ista.ac.at/record/2937
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2936
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2938
DOI: 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 .
LibreCat: https://research-explorer.ista.ac.at/record/2931
DOI: 10.1109/TPAMI.2012.105