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